Вклад участника
31 октября 2014
15 июня 2013
25 июня 2012
Теорема Лаутемана
Теорема: Там вроде не нужно "-2"
м-4
Теорема Лаутемана
Теорема: Поправки, вроде финальные для этого куска
+68
Теорема Лаутемана
Теорема: Поправки продолжаются, ещё не всё
+7
Теорема Лаутемана
Попытка исправить
+534
4 июня 2012
Класс P
P-полные задачи: Всё-таки, там ref выглядит страшно
мКласс P
Мелкие правки
м-4
Класс P
P-полные задачи: Дважды ссылка на одно и то же - перебор
м-218
Класс P
P-полные задачи: Параметризуем общее определение вместо своего
-2
Класс P
Устойчивость класса P к изменению модели вычислений: Правки корявости
м+7
Класс P
Нечто про устойчивость
+988
Класс P
Ссылка на сведение ещё одна
м+153
Класс P
Ссылка на книгу с доказательством P-полноты CIRCVAL
+125
Класс P
Пример P-полной задачи: Определение P-полноты, всё же
+382
Класс P
Добавил что-то по пункту "7" из требований АС
+565
Класс P
Примеры задач и языков из P: Союз "и" нелеп
м-3
Класс P
Склонение
мКласс P
Попытки что-то исправить (пункты от АС №3, 4, 5)
-117
Класс P
Свойства класса P: Замена жаргонизма
м+8
2 июня 2012
Класс P
Свойства класса P: Попытки пояснить...
+245
Класс P
Свойства класса P: Так. К ограничению сверху, наверное, нужны ещё пояснения
+968
Класс P
Свойства класса P: + mathrm
м+9
Класс P
Свойства класса P: Тривиальное доказательство первого свойства
+562
Класс P
Свойства класса P: Разбиение свойств на 3 леммы, первые 2 ещё без доказательств
-64
6 мая 2012
Обсуждение:Класс P
TODO 2: Всё сделал
+38
Класс P
Задача равенства P и NP: Ааааа, вот как ссылка пилится норм
-10
Класс P
Задача равенства P и NP: Ссылка на ДМТ и НМТ
м+217
Класс P
NP в tex'е и ref
м+24
Класс P
Свойства класса P: Упихал доказательство в отдельную лемму
+58
Класс P
Определение: "В перечислениях в конце каждого пункта ставится либо точка, либо точка с запятой"
м+2
2 мая 2012
Класс P
Свойства класса P: Точка.
м+1
Класс P
Свойства класса P: Улучшаем асимптотику
м+25
Обсуждение:Класс P
"Написал довольно строгое доказательство замкнутости замыкания Клини. Остальные очень простые, смысла их расписывать не вижу."
+238
Класс P
Свойства класса P: Поправочка худшей оценки
+404
Класс P
Свойства класса P: Теперь чёткое доказательство замкнутости замыкания Клини
+533
30 апреля 2012
Класс P
Свойства класса P
+803
Обсуждение:Класс P
Последний ответ проверяющему
+450
Обсуждение:Класс P
Ответы проверяющему (кроме одного)
+869
Класс P
Задача равенства P и NP: По определению P, а не просто по какому-то там
м+13
Класс P
+ ссылки
+266
Класс P
Определение: Забытые теги <tex></tex>
м+11
Класс P
Свойства класса P: Чиню ошибки форматирования
м+9
Класс P
Определение: Теперь, мне кажется, что логично написать сюда слово "Итого"
м+12
Класс P
Определение в нужное место; "Но, " - нафиг
-38
16 апреля 2012
Класс P
Может это моё личное мнение, но заголовки с tex-ом выглядят ужасно, к тому же из содержания tex-овские куски выпадают
м-88
Класс P
Примеры задач и языков из P: + упоминание ещё одной задачи
м+68
Класс P
Точки
м+2
Класс P
+ ещё теоремка
+570
Класс P
+ теоремка
+303
