Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 19:05, 19 марта 2010 (разн. | история) . . (+167) . . Теорема Кука
- 19:03, 19 марта 2010 (разн. | история) . . (-11) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NP)
- 19:03, 19 марта 2010 (разн. | история) . . (-47) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Теорема)
- 19:02, 19 марта 2010 (разн. | история) . . (+16) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Теорема)
- 19:00, 19 марта 2010 (разн. | история) . . (+2) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Теорема)
- 19:00, 19 марта 2010 (разн. | история) . . (+26) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Теорема)
- 18:59, 19 марта 2010 (разн. | история) . . (+91) . . Теорема Кука
- 18:57, 19 марта 2010 (разн. | история) . . (+70) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 18:53, 19 марта 2010 (разн. | история) . . (+5) . . Теорема Ладнера (→Доказательство)
- 16:52, 19 марта 2010 (разн. | история) . . (+15) . . Теорема Кука (→Доказательство того, что SAT ∈ NPH)
- 16:48, 19 марта 2010 (разн. | история) . . (+545) . . Теорема Кука
- 16:41, 19 марта 2010 (разн. | история) . . (+21) . . NP-полнота задачи о раскраске графа
- 16:39, 19 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи о раскраске графа
- 16:37, 19 марта 2010 (разн. | история) . . (+13) . . NP-полнота задачи о раскраске графа
- 16:37, 19 марта 2010 (разн. | история) . . (+48) . . NP-полнота задачи о раскраске графа
- 16:33, 19 марта 2010 (разн. | история) . . (-20) . . NP-полнота задачи о раскраске графа (s/math/tex/g)
- 16:27, 19 марта 2010 (разн. | история) . . (-34) . . Теорема Левина
- 16:24, 19 марта 2010 (разн. | история) . . (+22) . . NP-полнота задачи о раскраске графа
- 15:51, 19 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи о независимом множестве (→Формулировка)
- 15:22, 19 марта 2010 (разн. | история) . . (-1) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 15:10, 19 марта 2010 (разн. | история) . . (-12) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 15:06, 19 марта 2010 (разн. | история) . . (+161) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 15:04, 19 марта 2010 (разн. | история) . . (+27) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 15:04, 19 марта 2010 (разн. | история) . . (+314) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 15:00, 19 марта 2010 (разн. | история) . . (-1) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 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)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
