Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 16:40, 5 июня 2012 (разн. | история) . . (+18) . . м Теорема о соотношении coNP и IP
- 15:02, 5 июня 2012 (разн. | история) . . (+80) . . м Теорема Махэни
- 01:19, 5 июня 2012 (разн. | история) . . (+196) . . м Интерактивные протоколы. Класс IP. Класс AM (→Язык GNI)
- 01:13, 5 июня 2012 (разн. | история) . . (+90) . . м Интерактивные протоколы. Класс IP. Класс AM (→Соотношения с другими классами теории сложности)
- 01:08, 5 июня 2012 (разн. | история) . . (+479) . . м Интерактивные протоколы. Класс IP. Класс AM (→Определения)
- 01:08, 5 июня 2012 (разн. | история) . . (+4169) . . Интерактивные протоколы. Класс IP. Класс AM (Отмена правки 23980 участника Байдаров Андрей (обсуждение))
- 01:07, 5 июня 2012 (разн. | история) . . (-4169) . . м Интерактивные протоколы. Класс IP. Класс AM
- 00:48, 5 июня 2012 (разн. | история) . . (+461) . . м Теорема о соотношении coNP и IP
- 00:23, 5 июня 2012 (разн. | история) . . (+9420) . . Н Теорема о соотношении coNP и IP (Новая страница: «{{Определение |definition= <tex>\mathrm{\#SAT}=\{\langle \varphi, k \rangle \bigm| \varphi</tex> имеет ровно <tex>k</tex> удовлетво...»)
- 00:21, 5 июня 2012 (разн. | история) . . (+4) . . м Теория сложности (→Интерактивные протоколы)
- 19:30, 4 июня 2012 (разн. | история) . . (+179) . . м Теорема Махэни
- 16:55, 4 июня 2012 (разн. | история) . . (+1) . . м Лемма о соотношении coNP и IP
- 16:46, 4 июня 2012 (разн. | история) . . (+256) . . м Лемма о соотношении coNP и IP
- 16:25, 4 июня 2012 (разн. | история) . . (+121) . . м Лемма о соотношении coNP и IP
- 16:23, 4 июня 2012 (разн. | история) . . (-27) . . м Лемма о соотношении coNP и IP
- 16:23, 4 июня 2012 (разн. | история) . . (-57) . . м Лемма о соотношении coNP и IP
- 16:09, 4 июня 2012 (разн. | история) . . (+10) . . м Лемма о соотношении coNP и IP
- 16:07, 4 июня 2012 (разн. | история) . . (-494) . . Лемма о соотношении coNP и IP
- 14:42, 4 июня 2012 (разн. | история) . . (+18) . . м Лемма о соотношении coNP и IP
- 14:03, 4 июня 2012 (разн. | история) . . (+3) . . м PCP-система (→Определения)
- 12:35, 4 июня 2012 (разн. | история) . . (+54) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 03:34, 4 июня 2012 (разн. | история) . . (+1) . . м Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 02:02, 4 июня 2012 (разн. | история) . . (+2) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 01:38, 4 июня 2012 (разн. | история) . . (-12) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 01:36, 4 июня 2012 (разн. | история) . . (+366) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 01:22, 4 июня 2012 (разн. | история) . . (0) . . м Интерактивные протоколы. Класс IP. Класс AM
- 01:17, 4 июня 2012 (разн. | история) . . (+47) . . м Лемма о соотношении coNP и IP
- 01:14, 4 июня 2012 (разн. | история) . . (+108) . . м Лемма о соотношении coNP и IP
- 21:01, 3 июня 2012 (разн. | история) . . (0) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:59, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:56, 3 июня 2012 (разн. | история) . . (-18) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:28, 3 июня 2012 (разн. | история) . . (+424) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 17:39, 3 июня 2012 (разн. | история) . . (-59) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 17:28, 3 июня 2012 (разн. | история) . . (+6) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 16:01, 3 июня 2012 (разн. | история) . . (+11) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:45, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:37, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:29, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:27, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:23, 3 июня 2012 (разн. | история) . . (-536) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 13:15, 3 июня 2012 (разн. | история) . . (+2) . . м PS-полнота языка верных булевых формул с кванторами (TQBF)
- 12:12, 3 июня 2012 (разн. | история) . . (+5) . . м Лемма о соотношении coNP и IP
- 01:26, 3 июня 2012 (разн. | история) . . (+4) . . м Теорема Махэни
- 01:25, 3 июня 2012 (разн. | история) . . (+4) . . м Теорема Махэни
- 01:03, 3 июня 2012 (разн. | история) . . (+22) . . м Лемма о соотношении coNP и IP
- 23:41, 2 июня 2012 (разн. | история) . . (+68) . . м Арифметизация булевых формул с кванторами
- 23:20, 2 июня 2012 (разн. | история) . . (-3) . . м Лемма о соотношении coNP и IP
- 22:44, 2 июня 2012 (разн. | история) . . (+402) . . м Лемма о соотношении coNP и IP
- 19:56, 2 июня 2012 (разн. | история) . . (0) . . м Теорема о непринадлежности XOR классу AC⁰ (→Теорема)
- 18:01, 2 июня 2012 (разн. | история) . . (-1) . . м Классы NC и AC (→Теоремы)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
