Вклад участника
10 сентября 2010
Теорема Кука
Доказательство того, что SAT ∈ NPH
м-2
Теорема Кука
Доказательство того, что SAT ∈ NPH
м+32
14 апреля 2010
Уменьшение ошибки в классе RP, сильное и слабое определение
Доказательство эквивалентности определений
-1
Уменьшение ошибки в классе RP, сильное и слабое определение
Нет описания правки
+970
Уменьшение ошибки в классе RP, сильное и слабое определение
Новая страница: «==Определение классов <tex>PR, RP_1, RP_2</tex>== Множество языков '''RP''' оп…»
Теория сложности (старая трешовая версия)
Практика 7
+113
