Archiv/Složitost II
|
242 |
2014-06-26 05:17:37z |
49018 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Lemma (translační) */ |
|
|
|
|
|
|
Archiv/Složitost II
|
241 |
2014-06-25 22:14:02z |
49015 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta */ |
|
|
|
|
|
|
Archiv/Složitost II
|
240 |
2014-06-25 22:01:10z |
48995 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta (redukce počtu pásek pro časovou složitost - logaritmická) */ |
|
|
|
|
|
|
Archiv/Složitost II
|
239 |
2014-06-25 19:18:09z |
49195 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Borodinova věta o mezerách */ |
|
|
|
|
|
|
Archiv/Složitost II
|
238 |
2014-06-25 16:55:37z |
48396 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Příklad PSPACE-úplného problému */ |
|
|
|
|
|
|
Archiv/Složitost II
|
237 |
2014-06-25 13:16:50z |
47968 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta o vztahu PH a PSPACE */ |
|
|
|
|
|
|
Archiv/Složitost II
|
236 |
2014-06-25 13:13:39z |
47907 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta o vztahu PH a PSPACE */ |
|
|
|
|
|
|
Archiv/Složitost II
|
235 |
2014-06-25 12:39:57z |
47252 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Polynomiální hierarchie */ |
|
|
|
|
|
|
Archiv/Složitost II
|
234 |
2014-06-25 12:31:15z |
47099 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Borodinova věta o mezerách */ |
|
|
|
|
|
|
Archiv/Složitost II
|
233 |
2014-06-25 11:56:17z |
47086 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta (o deterministické časové hierarchii) */ |
|
|
|
|
|
|
Archiv/Složitost II
|
232 |
2014-06-25 11:55:40z |
47075 |
|
admin
|
MediaWiki |
[Ivan Kuckir] /* Věta (o deterministické prostorové hierarchii) */ |
|
|
|
|
|
|
Archiv/Složitost II
|
22 |
2005-06-14 21:15:04z |
18403 |
|
admin
|
MediaWiki |
[Maker] /* Převoditelnost a úplnost */ |
|
|
|
|
|
|
Archiv/Složitost II
|
21 |
2005-06-14 20:51:49z |
16726 |
|
admin
|
MediaWiki |
[Maker] /* Polynomiální hierarchie */ |
|
|
|
|
|
|
Archiv/Složitost II
|
20 |
2005-06-14 20:19:50z |
15799 |
|
admin
|
MediaWiki |
[Maker] /* Turingovská převoditelnost a relatizované třídy */ |
|
|
|
|
|
|
Archiv/Složitost II
|
19 |
2005-06-14 20:05:27z |
14760 |
|
admin
|
MediaWiki |
[Maker] Turingovy stroje s orákulem. |
|
|
|
|
|
|
Archiv/Složitost II
|
18 |
2005-06-14 17:08:17z |
12909 |
|
admin
|
MediaWiki |
[Maker] /* Poznámky */ |
|
|
|
|
|
|
Archiv/Složitost II
|
17 |
2005-06-14 17:03:09z |
12669 |
|
admin
|
MediaWiki |
[Maker] /* Zkouška */ + terminy |
|
|
|
|
|
|
Archiv/Složitost II
|
16 |
2005-06-13 15:52:47z |
11848 |
|
admin
|
MediaWiki |
[Che] /* Důkaz */ prázdný parametr u todo template |
|
|
|
|
|
|
Archiv/Složitost II
|
15 |
2005-06-12 19:28:56z |
11846 |
|
admin
|
MediaWiki |
[Maker] /* Konstruovatelnost funkcí */ překlep |
|
|
|
|
|
|
Archiv/Složitost II
|
14 |
2005-06-12 15:57:31z |
11846 |
|
admin
|
MediaWiki |
[Maker] /* Poznámky */ změna sekci + konstruovatelnost funkcí |
|
|
|
|
|
|
Archiv/Složitost II
|
13 |
2005-06-12 12:41:49z |
10695 |
|
admin
|
MediaWiki |
[Maker] /* Důkaz */ + část 2 |
|
|
|
|
|
|
Archiv/Složitost II
|
12 |
2005-06-12 11:01:49z |
7667 |
|
admin
|
MediaWiki |
[Maker] /* Věta o redukci počtu pásek pro časovou složitost */ + důkaz 1 časti |
|
|
|
|
|
|
Archiv/Složitost II
|
11 |
2005-06-12 10:43:53z |
6862 |
|
admin
|
MediaWiki |
[Maker] /* Důkaz */ + TODO |
|
|
|
|
|
|
Archiv/Složitost II
|
10 |
2005-06-12 10:32:39z |
6844 |
|
admin
|
MediaWiki |
[Maker] /* Věta o lineárním zrychlení */ přeorganizovaní + idea důkazu |
|
|
|
|
|
|
Archiv/Složitost II
|
9 |
2005-06-12 08:53:49z |
6198 |
|
admin
|
MediaWiki |
[Maker] /* Věta o redukci počtu pásek pro prostorovou složitost */ + idea důkazu |
|
|
|
|
|
|
Archiv/Složitost II
|
8 |
2005-06-12 08:45:30z |
5806 |
|
admin
|
MediaWiki |
[Maker] /* Věta o lineární prostorové kompresi */ přeorganizovaní |
|
|
|
|
|
|
Archiv/Složitost II
|
7 |
2005-06-11 20:35:59z |
5733 |
|
admin
|
MediaWiki |
[Maker] /* Věty */ + znění dalších vět |
|
|
|
|
|
|
Archiv/Složitost II
|
6 |
2005-06-11 15:55:47z |
3641 |
|
admin
|
MediaWiki |
[MiEro] /* Odkazy */ alt odkaz |
|
|
|
|
|
|
Archiv/Složitost II
|
5 |
2005-06-11 14:10:04z |
3569 |
|
admin
|
MediaWiki |
[Maker] /* Věty */ + věta lineární prostorové kompresi |
|
|
|
|
|
|
Archiv/Složitost II
|
4 |
2005-06-11 12:40:35z |
1549 |
|
admin
|
MediaWiki |
[Maker] /* Turingův stroj */ oprava překlepu |
|
|
|
|
|
|
Archiv/Složitost II
|
3 |
2005-06-11 12:23:38z |
1549 |
|
admin
|
MediaWiki |
[Maker] /* Odkazy */ +odkaz na slajdy z přednášky. |
|
|
|
|
|
|
Archiv/Složitost II
|
2 |
2005-06-11 12:12:46z |
1427 |
|
admin
|
MediaWiki |
[Maker] /* Poznámky */ základní definice |
|
|
|
|
|
|
Archiv/Složitost II
|
1 |
2005-06-11 11:34:37z |
194 |
|
admin
|
MediaWiki |
[Maker] základ |
|
|
|
|
|
|