Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 19:50, 14 марта 2013 (разн. | история) . . (+139) . . Теорема Иммермана (Исправлено доказательство)
- 18:05, 14 марта 2013 (разн. | история) . . (+6) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 18:04, 14 марта 2013 (разн. | история) . . (+277) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 18:01, 14 марта 2013 (разн. | история) . . (+122) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:57, 14 марта 2013 (разн. | история) . . (+11) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:56, 14 марта 2013 (разн. | история) . . (-29) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:51, 14 марта 2013 (разн. | история) . . (-5) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:40, 14 марта 2013 (разн. | история) . . (0) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:39, 14 марта 2013 (разн. | история) . . (+880) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:18, 14 марта 2013 (разн. | история) . . (-23) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:12, 14 марта 2013 (разн. | история) . . (-10) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:04, 14 марта 2013 (разн. | история) . . (+19) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 17:00, 14 марта 2013 (разн. | история) . . (+2) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 16:59, 14 марта 2013 (разн. | история) . . (+86) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 16:55, 14 марта 2013 (разн. | история) . . (+814) . . Полнота относительно L-сведения. NL-полнота. P-полнота
- 16:42, 14 марта 2013 (разн. | история) . . (+7326) . . Н Полнота относительно L-сведения. NL-полнота. P-полнота (Новая страница: «В {{ Определение |definition=Задача <tex>\mathrm{CONN} = \{\langle G, s, t \rangle \bigm|</tex> в графе G есть путь из s в t<t...»)
- 16:39, 14 марта 2013 (разн. | история) . . (+37) . . Теория сложности (→Сложность по памяти, классы PS, L, NL, coNL)
- 16:26, 14 марта 2013 (разн. | история) . . (+25) . . NL-полнота задачи о достижимости
- 16:21, 14 марта 2013 (разн. | история) . . (+125) . . NL-полнота задачи о достижимости
- 16:18, 14 марта 2013 (разн. | история) . . (+6) . . NL-полнота задачи о достижимости
- 16:16, 14 марта 2013 (разн. | история) . . (+34) . . NL-полнота задачи о достижимости
- 16:14, 14 марта 2013 (разн. | история) . . (+107) . . NL-полнота задачи о достижимости
- 16:09, 14 марта 2013 (разн. | история) . . (+1) . . NL-полнота задачи о достижимости
- 16:08, 14 марта 2013 (разн. | история) . . (0) . . NL-полнота задачи о достижимости
- 16:07, 14 марта 2013 (разн. | история) . . (+4) . . Классы L, NL, coNL
- 16:07, 14 марта 2013 (разн. | история) . . (+1) . . Классы L, NL, coNL
- 16:01, 14 марта 2013 (разн. | история) . . (+1139) . . NL-полнота задачи о достижимости
- 15:39, 14 марта 2013 (разн. | история) . . (+4) . . Классы L, NL, coNL
- 15:36, 14 марта 2013 (разн. | история) . . (+1) . . Классы L, NL, coNL
- 19:41, 11 июня 2012 (разн. | история) . . (-8) . . Вычисления с оракулом
- 19:37, 11 июня 2012 (разн. | история) . . (+1) . . Сложностные классы (→Определения)
- 17:09, 11 июня 2012 (разн. | история) . . (+1) . . Сложностные классы (→Определения)
- 21:45, 4 июня 2012 (разн. | история) . . (-941) . . Вероятностные вычисления. Вероятностная машина Тьюринга (→Вероятностные классы сложности)
- 21:44, 4 июня 2012 (разн. | история) . . (+941) . . Классы BPP
- 21:42, 4 июня 2012 (разн. | история) . . (+263) . . Классы RP и coRP (→Определения)
- 20:57, 4 июня 2012 (разн. | история) . . (+342) . . Теорема Иммермана
- 20:57, 4 июня 2012 (разн. | история) . . (+5885) . . Н NL-полнота задачи о достижимости (Новая страница: «{{ Определение |definition=Задача <tex>\mathrm{CONN} = \{\langle G, s, t \rangle \bigm|</tex> в графе G есть путь из s в t<tex>\...»)
- 20:56, 4 июня 2012 (разн. | история) . . (+733) . . Классы L, NL, coNL
- 20:54, 4 июня 2012 (разн. | история) . . (+4) . . Классы L, NL, coNL
- 20:49, 4 июня 2012 (разн. | история) . . (+2) . . Классы L, NL, coNL
- 20:46, 4 июня 2012 (разн. | история) . . (+275) . . Классы L, NL, coNL
- 20:41, 4 июня 2012 (разн. | история) . . (+798) . . Н Классы L, NL, coNL (Новая страница: «{{Определение |definition='''Класс <tex>\mathrm{L}</tex>''' — множество языков, разрешимых на детерминиро...»)
- 20:41, 4 июня 2012 (разн. | история) . . (+43) . . Теория сложности (→Сложность по памяти, классы PS, L, NL, coNL)
- 18:22, 4 июня 2012 (разн. | история) . . (+47) . . Сложностные классы. Вычисления с оракулом
- 17:47, 4 июня 2012 (разн. | история) . . (+1462) . . Сложностные классы. Вычисления с оракулом
- 17:47, 4 июня 2012 (разн. | история) . . (+42) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 20:45, 3 июня 2012 (разн. | история) . . (0) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:44, 3 июня 2012 (разн. | история) . . (+121) . . Обсуждение:Сложностные классы. Вычисления с оракулом
- 19:19, 3 июня 2012 (разн. | история) . . (+6) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:14, 3 июня 2012 (разн. | история) . . (-6) . . PS-полнота языка верных булевых формул с кванторами (TQBF) (Отмена правки 23524 участника Berezhkovskaya (обсуждение))
- 19:13, 3 июня 2012 (разн. | история) . . (+6) . . PS-полнота языка верных булевых формул с кванторами (TQBF) (Отмена правки 23526 участника Berezhkovskaya (обсуждение))
- 19:10, 3 июня 2012 (разн. | история) . . (-6) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:04, 3 июня 2012 (разн. | история) . . (+6) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 18:33, 3 июня 2012 (разн. | история) . . (-5) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 18:32, 3 июня 2012 (разн. | история) . . (-6) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 16:53, 3 июня 2012 (разн. | история) . . (-11) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 15:53, 3 июня 2012 (разн. | история) . . (+1) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 15:53, 3 июня 2012 (разн. | история) . . (+74) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 15:32, 3 июня 2012 (разн. | история) . . (+129) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:30, 3 июня 2012 (разн. | история) . . (-1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:17, 3 июня 2012 (разн. | история) . . (+7) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:10, 3 июня 2012 (разн. | история) . . (-11) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:09, 3 июня 2012 (разн. | история) . . (-16) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:05, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 15:05, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:39, 3 июня 2012 (разн. | история) . . (+185) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 14:31, 3 июня 2012 (разн. | история) . . (+330) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:25, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 14:24, 3 июня 2012 (разн. | история) . . (+174) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 21:17, 2 июня 2012 (разн. | история) . . (+288) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:50, 2 июня 2012 (разн. | история) . . (+698) . . Н Обсуждение:Классы RP и coRP (Новая страница: «Обозначение "программа m" меня убивает. Если программа, то все-таки р, m - это МТ. '''then''' на сл...»)
- 14:29, 1 июня 2012 (разн. | история) . . (+327) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+864) . . Н Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга (Новая страница: «Претензии по сути: 1) вступление; я его не очень поняла; что значит, что "программы получаю...»)
- 07:04, 14 мая 2012 (разн. | история) . . (-6) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:18, 13 мая 2012 (разн. | история) . . (-5) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:17, 13 мая 2012 (разн. | история) . . (+41) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:15, 13 мая 2012 (разн. | история) . . (+423) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 18:08, 13 мая 2012 (разн. | история) . . (+27) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 17:32, 13 мая 2012 (разн. | история) . . (-100) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:30, 13 мая 2012 (разн. | история) . . (+57) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:25, 13 мая 2012 (разн. | история) . . (+4464) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 19:42, 30 апреля 2012 (разн. | история) . . (+895) . . Обсуждение:Сложностные классы. Вычисления с оракулом
- 19:31, 30 апреля 2012 (разн. | история) . . (+2) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:31, 30 апреля 2012 (разн. | история) . . (+1534) . . Н Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF) (Новая страница: «Претензии по содержанию * Формулировка леммы 2 не совсем корректна. "Для любого L из PS след...»)
- 13:50, 30 апреля 2012 (разн. | история) . . (+2487) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:39, 29 апреля 2012 (разн. | история) . . (+592) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:20, 29 апреля 2012 (разн. | история) . . (+7738) . . Н Классы L, NL, coNL. NL-полнота задачи о достижимости (Новая страница: «{{Определение |definition='''Класс <tex>L</tex>''' — множество языков, разрешимых на детерминированно...»)
- 05:36, 23 января 2012 (разн. | история) . . (-1464) . . Детерминированные автоматы с магазинной памятью
- 05:33, 23 января 2012 (разн. | история) . . (+77) . . МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
- 05:30, 23 января 2012 (разн. | история) . . (+177) . . Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 05:18, 23 января 2012 (разн. | история) . . (+18) . . Лемма Огдена
- 05:14, 23 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 04:59, 23 января 2012 (разн. | история) . . (-3) . . Примеры неразрешимых задач: однозначность грамматики
- 04:52, 23 января 2012 (разн. | история) . . (+137) . . Примеры неразрешимых задач: однозначность грамматики
- 01:53, 23 января 2012 (разн. | история) . . (0) . . Удаление бесполезных символов из грамматики (→Достижимые и недостижимые нетерминалы)
- 01:35, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:29, 23 января 2012 (разн. | история) . . (-19) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:25, 23 января 2012 (разн. | история) . . (+18) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)