Вклад участника

Перейти к: навигация, поиск

Leugenea

8 мая 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Добавил определение
20:44
+1012

7 мая 2012

Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
ToDo
20:07
Обсуждение:Схемная сложность и класс P/poly
ОГОСПАДЕ ЧТО ЭТО
18:48
Теоремы о временной и ёмкостной иерархиях
Убрана очевидность
м
15:53
-2
Класс P
‎Задача равенства P и NP
м
15:50
+83

6 мая 2012

Обсуждение:Теоремы о временной и ёмкостной иерархиях
+1 к todo
м
12:38
+321
Теоремы о временной и ёмкостной иерархиях
Чуточку подправил читабельность
м
12:35
+12
Обсуждение:Класс P
Todo №n
12:23
+1344

30 апреля 2012

Обсуждение:Класс P
Вторая волна todo
м
12:10
+453
Класс P
Ссылка на определение DTIME
м
12:07
+91

29 апреля 2012

Обсуждение:Класс P
‎TODO
м
23:27
Обсуждение:Теоремы о временной и ёмкостной иерархиях
todo
22:48
Обсуждение:Класс P
todo
17:40
Обсуждение:Теорема Махэни
todo
16:44

27 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Нет описания правки
м
15:28
+149
Обсуждение:Теорема Бермана — Форчуна
‎ToDo
14:34
+247
Обсуждение:Примеры NP-полных языков. Теорема Кука
Обязательно todo
14:18

24 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Нет описания правки
м
00:33
+74

18 апреля 2012

Обсуждение:Теорема Бермана — Форчуна
‎ToDo
м
13:10
-325
Обсуждение:Теорема Бермана — Форчуна
ToDo
02:01

15 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Определение полного языка
22:38
+822
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Добавил определение сложного языка
22:32
+570
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Нет описания правки
м
22:12
+114
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Добавил теорему о транзитивности
22:05
+1830
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Добавил пример сведения
21:24
+2447
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Добавил определение
20:46

4 апреля 2012

Теория сложности
Добавлены темы первой волны
20:03
+1356
Заглавная страница
Разделены старая и новая версия «теории сложности»
м
19:41
+181
Теория сложности
Убран редирект
19:40
-112
Теория сложности
переименовал Теория сложности в Теория сложности (старая трешовая версия): Мы создаём свой конспект. Хороший, красивый и ясный.
19:32
Теория сложности (старая трешовая версия)
переименовал Теория сложности в Теория сложности (старая трешовая версия): Мы создаём свой конспект. Хороший, красивый и ясный.
м
19:32

24 января 2012

Автоматы с магазинной памятью
‎Недетерминированный автомат с магазинной памятью
м
21:07
-1
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Идиотский баг
м
06:13
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Бысрый фикс
м
06:04
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
‎Эквивалентность двухстековой машины трёхсчётчикой машине
м
04:22
+44
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
‎Эквивалентность двухстековой машины трёхсчётчикой машине
м
04:14
+18
Лемма о разрастании для КС-грамматик
‎Лемма о разрастании для КС-грамматик
м
02:04
+27
Лемма о разрастании для КС-грамматик
Нет описания правки
м
01:11
Теорема Райса-Шапиро
Тире
м
00:53
+10
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Некоторое пояснение
00:09
+165

23 января 2012

Лемма о разрастании для КС-грамматик
Нет описания правки
м
23:55
-27
Лемма о разрастании для КС-грамматик
Идиотский фиск
м
23:50
-2
Вычислимые функции
Мелкий фикс (всё-таки на питоноподобном языке пишем)
м
22:23
Вычислимые функции
«утверждение» → «лемма»
м
22:20
-7
Удаление eps-правил из грамматики
‎Алгоритм удаления ε-правил из грамматики
м
08:08
+2
Удаление eps-правил из грамматики
‎Доказательство корректности
м
07:49
+34
Удаление eps-правил из грамматики
‎Алгоритм удаления ε-правил из грамматики
м
07:45
-2
Удаление eps-правил из грамматики
‎Алгоритм удаления ε-правил из грамматики
м
07:43
-2
Удаление бесполезных символов из грамматики
Фикс русского
м
07:30
+23
Удаление бесполезных символов из грамматики
«т.к.» → «так как»
м
07:29
+6

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Leugenea»

Вклад участника

Leugenea

8 мая 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

7 мая 2012

Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS

Обсуждение:Схемная сложность и класс P/poly

Теоремы о временной и ёмкостной иерархиях

Класс P

6 мая 2012

Обсуждение:Теоремы о временной и ёмкостной иерархиях

Теоремы о временной и ёмкостной иерархиях

Обсуждение:Класс P

30 апреля 2012

Обсуждение:Класс P

Класс P

29 апреля 2012

Обсуждение:Класс P

Обсуждение:Теоремы о временной и ёмкостной иерархиях

Обсуждение:Класс P

Обсуждение:Теорема Махэни

27 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Обсуждение:Теорема Бермана — Форчуна

Обсуждение:Примеры NP-полных языков. Теорема Кука

24 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

18 апреля 2012

Обсуждение:Теорема Бермана — Форчуна

Обсуждение:Теорема Бермана — Форчуна

15 апреля 2012

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи

4 апреля 2012

Теория сложности

Заглавная страница

Теория сложности

Теория сложности

Теория сложности (старая трешовая версия)

24 января 2012

Автоматы с магазинной памятью

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ

Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ

Лемма о разрастании для КС-грамматик

Лемма о разрастании для КС-грамматик

Теорема Райса-Шапиро

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

23 января 2012

Лемма о разрастании для КС-грамматик

Лемма о разрастании для КС-грамматик

Вычислимые функции

Вычислимые функции

Удаление eps-правил из грамматики

Удаление eps-правил из грамматики

Удаление eps-правил из грамматики

Удаление eps-правил из грамматики

Удаление бесполезных символов из грамматики

Удаление бесполезных символов из грамматики

Навигация

Поиск