История
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
16 марта 2016
28 февраля 2016
25 февраля 2016
9 июня 2012
5 июня 2012
4 июня 2012
Нет описания правки
+1
Нет описания правки
-50
→Примеры NP-языков
+45
→Связь P и NP
-7
Нет описания правки
-11
→Примеры NP-языков
-52
→Связь P и NP
+53
Нет описания правки
+5
→Связь P и NP
+839
Нет описания правки
+68
Нет описания правки
-6
→См. также
-2
→Ссылки
+4
Нет описания правки
м+12
Нет описания правки
+88