История
4 сентября 2022
1 сентября 2022
14 ноября 2018
21 февраля 2017
22 мая 2016
8 апреля 2016
→Свойства: ехало полиномиальное время через полиномиальное время, видит полиномиальное время: в полиномиальное время полиномиальное
+180
→Связь P и NP: заменил интервики про гамильтонов цикл
+62
→Связь P и NP: Заменил внешнюю ссылку на примечание
+42
→Язык гамильтоновых графов
+86
→Язык гамильтоновых графов: добавил пояснение про время работы
+312
Добавил категорий
+192
7 апреля 2016
1 апреля 2016
→Связь P и NP: Заменил внешнюю ссылку на 2SAT на интервики
-59
→TAUT: добавил интервики на теорему Бермана — Форчуна
+58
31 марта 2016
→Связь P и NP
м+55
→Примеры языков из NP: Добавил простой пример, удалил пример про клики
-136
→Связь P и NP
м-1
→Связь P и NP: Заменил ссылки на примечания
+181
→Примеры языков из coNP: Заменил первый пример на язык негамильтоновых графов
-544
30 марта 2016
→Связь P и NP: Переоформил примеры похожих задач из P и NPC в табличку и добавил ссылки
+146
Добавил категорию «Раскраски графов»
+56
→Примеры языков из NP: добавил ссылки на основные статьи для примеров, добавил больше теха в псевдокод
+125
→Проблема раскраски вершин графа в k цветов: переформулировал в терминах принадлежности языку, пофиксил время работы
+323
25 марта 2016
→Свойства: Пофиксил отступы у списка
+207
→Определения, связь Σ₁ и NP: Исправил знаки неравенств и обернул псевдокод в ТеХ
+49
24 марта 2016
→Проблема раскраски вершин графа в k цветов: оформил псевдокод в техе
+24
→Свойства: оформил псевдокод в техе
+273
→Примеры языков из coNP: переоформил примеры, доказал первый
+723
→Примеры языков из NP: переформатировал примеры
+420
→Определение: добавил определение Π₁ и переименовал раздел
+1178
22 марта 2016
→Определение: добавил интервики на недетерминированные вычисления, обернул NP в ТеХ
+84
→Свойства: заменил «;» на «.» в перечислении свойств
→Определение
-4
→Определение: вернул псевдокод на место
-3
→Определение: изменил маркированный список на стрелочки
+42
Переименовал co-NP в coNP
-3
→Примеры языков из NP
м+84
→Определение: return жирным
+6
17 марта 2016
переименовал Классы NP и Σ₁ в Классы NP, coNP, Σ₁, Π₁: недостаточно полное название
м→Примеры языков из co-NP
+33
→Примеры языков из co-NP: доказательство TAUT
+200
→Примеры языков из co-NP: добавил TAUT
+121
