Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 14:58, 19 марта 2010 (разн. | история) . . (+45) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:57, 19 марта 2010 (разн. | история) . . (+489) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:51, 19 марта 2010 (разн. | история) . . (-1) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:51, 19 марта 2010 (разн. | история) . . (-1) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:50, 19 марта 2010 (разн. | история) . . (+133) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:47, 19 марта 2010 (разн. | история) . . (+255) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:44, 19 марта 2010 (разн. | история) . . (+8) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:43, 19 марта 2010 (разн. | история) . . (-6) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:42, 19 марта 2010 (разн. | история) . . (+532) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 14:29, 19 марта 2010 (разн. | история) . . (+17) . . NP-полнота задачи о рюкзаке
- 14:27, 19 марта 2010 (разн. | история) . . (+300) . . NP-полнота задачи о рюкзаке (описание сведения)
- 14:24, 19 марта 2010 (разн. | история) . . (+12) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 22:11, 18 марта 2010 (разн. | история) . . (-1) . . Теорема Кука (→Доказательство того, что SAT ∈ NPH)
- 19:38, 18 марта 2010 (разн. | история) . . (+34) . . Теорема о ёмкостной иерархии (→Доказательство)
- 19:37, 18 марта 2010 (разн. | история) . . (+126) . . Теорема о ёмкостной иерархии (→Доказательство)
- 19:33, 18 марта 2010 (разн. | история) . . (+219) . . Теорема о ёмкостной иерархии (→Доказательство)
- 18:51, 18 марта 2010 (разн. | история) . . (-1) . . Теорема о ёмкостной иерархии (→Доказательство)
- 18:50, 18 марта 2010 (разн. | история) . . (-24) . . Конструируемая по памяти функция (→Определение)
- 18:49, 18 марта 2010 (разн. | история) . . (+87) . . Теорема о ёмкостной иерархии (→Доказательство)
- 18:44, 18 марта 2010 (разн. | история) . . (-139) . . Конструируемая по времени функция (→Определение)
- 18:39, 18 марта 2010 (разн. | история) . . (0) . . Теорема о временной иерархии (→Доказательство)
- 18:37, 18 марта 2010 (разн. | история) . . (-104) . . Теорема о временной иерархии (→Доказательство)
- 18:35, 18 марта 2010 (разн. | история) . . (+115) . . Теорема о временной иерархии (→Доказательство)
- 18:17, 18 марта 2010 (разн. | история) . . (+16) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:15, 18 марта 2010 (разн. | история) . . (-26) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:10, 18 марта 2010 (разн. | история) . . (+72) . . Теорема о временной иерархии (→Доказательство)
- 18:10, 18 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:09, 18 марта 2010 (разн. | история) . . (-51) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:08, 18 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NPH)
- 18:05, 18 марта 2010 (разн. | история) . . (-7) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:03, 18 марта 2010 (разн. | история) . . (+70) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:01, 18 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 18:00, 18 марта 2010 (разн. | история) . . (-65) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1N} классу NP)
- 17:57, 18 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1} классу NPH)
- 17:57, 18 марта 2010 (разн. | история) . . (+2) . . NP-полнота задачи BH1N (→Доказательство)
- 17:57, 18 марта 2010 (разн. | история) . . (-13) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1} классу NP)
- 17:53, 18 марта 2010 (разн. | история) . . (+1) . . Теорема о временной иерархии (→Формулировка)
- 17:52, 18 марта 2010 (разн. | история) . . (-10) . . Конструируемая по времени функция (→Определение)
- 17:52, 18 марта 2010 (разн. | история) . . (-7) . . NP-полнота задачи BH1N (→Доказательство принадлежности BH_{1} классу NP)
- 17:51, 18 марта 2010 (разн. | история) . . (-12) . . Класс DTIME (→Определение)
- 17:51, 18 марта 2010 (разн. | история) . . (+213) . . NP-полнота задачи BH1N
- 17:51, 18 марта 2010 (разн. | история) . . (-30) . . Класс DTIME (→Определение)
- 17:49, 18 марта 2010 (разн. | история) . . (-1) . . Теорема о временной иерархии (→Доказательство)
- 17:46, 18 марта 2010 (разн. | история) . . (-56) . . Теорема о временной иерархии (→Доказательство)
- 17:34, 18 марта 2010 (разн. | история) . . (+3) . . Понятие NP-трудной и NP-полной задачи
- 17:14, 18 марта 2010 (разн. | история) . . (+8) . . Теорема о ёмкостной иерархии (→Доказательство)
- 17:04, 18 марта 2010 (разн. | история) . . (0) . . Теорема о временной иерархии (→Доказательство)
- 19:41, 17 марта 2010 (разн. | история) . . (+102) . . NP-полнота задачи о сумме подмножества (ссылка на 3CNF-sat)
- 18:25, 17 марта 2010 (разн. | история) . . (+114) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 18:24, 17 марта 2010 (разн. | история) . . (+58) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)