Вклад участника
- 16:15, 2 июня 2010 (разн. | история) . . (+6) . . Доказательства с нулевым разглашением 
 - 16:11, 2 июня 2010 (разн. | история) . . (-4) . . Sharp SAT 
 - 22:59, 1 июня 2010 (разн. | история) . . (+4) . . Сложностный класс BPP 
 - 22:56, 1 июня 2010 (разн. | история) . . (+4) . . Сложностный класс BPP 
 - 21:53, 1 июня 2010 (разн. | история) . . (+2) . . Теорема Карпа-Липтона 
 - 21:48, 1 июня 2010 (разн. | история) . . (+1) . . Теорема Карпа-Липтона 
 - 21:47, 1 июня 2010 (разн. | история) . . (+4) . . Теорема Карпа-Липтона 
 - 17:23, 29 апреля 2010 (разн. | история) . . (+28) . . Sharp SAT 
 - 10:17, 28 апреля 2010 (разн. | история) . . (+199) . . Sharp SAT 
 - 09:56, 28 апреля 2010 (разн. | история) . . (-29) . . Sharp SAT 
 - 17:32, 27 апреля 2010 (разн. | история) . . (+468) . . Sharp SAT 
 - 07:54, 27 апреля 2010 (разн. | история) . . (-191) . . Sharp SAT 
 - 22:10, 25 апреля 2010 (разн. | история) . . (-21) . . Sharp SAT 
 - 23:04, 22 апреля 2010 (разн. | история) . . (+1) . . Sharp SAT 
 - 23:02, 22 апреля 2010 (разн. | история) . . (+519) . . Sharp SAT 
 - 18:45, 22 апреля 2010 (разн. | история) . . (+891) . . Sharp SAT 
 - 17:25, 22 апреля 2010 (разн. | история) . . (+43) . . Sharp SAT 
 - 17:23, 22 апреля 2010 (разн. | история) . . (+4216) . . Sharp SAT 
 - 23:10, 17 апреля 2010 (разн. | история) . . (+2580) . . Sharp SAT 
 - 21:56, 17 апреля 2010 (разн. | история) . . (0) . . Теория сложности (старая трешовая версия) 
 - 21:55, 17 апреля 2010 (разн. | история) . . (-64) . . Теория сложности (старая трешовая версия) 
 - 21:54, 17 апреля 2010 (разн. | история) . . (0) . . м Sharp SAT  (переименовал «Интерактивное доказательство для языка» в «Sharp SAT»)
 - 21:54, 17 апреля 2010 (разн. | история) . . (+45) . . Н Интерактивное доказательство для языка  (переименовал «Интерактивное доказательство для языка» в «Sharp SAT») (текущая)
 - 21:50, 17 апреля 2010 (разн. | история) . . (0) . . м Sharp SAT  («\u0023SAT» переименована в «Интерактивное доказательство для языка» поверх перенаправления: откат)
 - 21:50, 17 апреля 2010 (разн. | история) . . (+109) . . Н \u0023SAT  («\u0023SAT» переименована в «Интерактивное доказательство для языка» поверх перенаправления: откат)
 - 21:42, 17 апреля 2010 (разн. | история) . . (0) . . м Sharp SAT  (переименовал «Интерактивное доказательство для языка» в «\u0023SAT»)
 - 20:56, 15 апреля 2010 (разн. | история) . . (+777) . . Н Sharp SAT  (Новая страница: «== Определение == <tex>\#SAT = \{ <\varphi, k> | \varphi</tex> имеет <tex>k</tex> удовлетворяющих наборов <tex>\}</tex> == У…»)
 - 20:14, 15 апреля 2010 (разн. | история) . . (+106) . . Теория сложности (старая трешовая версия) 
 - 16:13, 15 марта 2010 (разн. | история) . . (-32) . . Теорема Левина 
 - 16:11, 15 марта 2010 (разн. | история) . . (+138) . . Теорема Левина 
 - 15:17, 14 марта 2010 (разн. | история) . . (+172) . . Теорема Левина 
 - 13:34, 14 марта 2010 (разн. | история) . . (+2) . . Теорема Левина 
 - 13:15, 14 марта 2010 (разн. | история) . . (0) . . Теорема Левина 
 - 12:53, 14 марта 2010 (разн. | история) . . (-4) . . Теорема Левина 
 - 11:59, 14 марта 2010 (разн. | история) . . (+15) . . Теорема Левина 
 - 11:56, 14 марта 2010 (разн. | история) . . (+4) . . Теорема Левина 
 - 11:42, 14 марта 2010 (разн. | история) . . (-47) . . Теорема Левина 
 - 11:40, 14 марта 2010 (разн. | история) . . (+452) . . Теорема Левина 
 - 18:31, 10 марта 2010 (разн. | история) . . (+3316) . . Теорема Левина 
 - 16:16, 10 марта 2010 (разн. | история) . . (+2377) . . Теорема Левина 
 - 21:38, 9 марта 2010 (разн. | история) . . (+632) . . Нм Теорема Левина  (Новая страница: «== Формулировка == '''Теорема Левина об оптимальной NP-программе''' утверждает, что для любого …»)