Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 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-КНФ (→Доказательство)
- 18:20, 17 марта 2010 (разн. | история) . . (+35) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 18:12, 17 марта 2010 (разн. | история) . . (-44) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 18:11, 17 марта 2010 (разн. | история) . . (+109) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 18:07, 17 марта 2010 (разн. | история) . . (+2) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 18:06, 17 марта 2010 (разн. | история) . . (+305) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:56, 17 марта 2010 (разн. | история) . . (-143) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 15:25, 17 марта 2010 (разн. | история) . . (0) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NP)
- 15:21, 17 марта 2010 (разн. | история) . . (+52) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NP)
- 15:20, 17 марта 2010 (разн. | история) . . (+628) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NP)
- 15:05, 17 марта 2010 (разн. | история) . . (-30) . . NP-полнота задачи BH1N (→Доказательство)
- 15:04, 17 марта 2010 (разн. | история) . . (-111) . . NP-полнота задачи BH1N (→Доказательство)
- 15:03, 17 марта 2010 (разн. | история) . . (+11) . . NP-полнота задачи BH1N (→Доказательство)
- 14:55, 17 марта 2010 (разн. | история) . . (+130) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство)
- 14:54, 17 марта 2010 (разн. | история) . . (-25) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство CNFSAT \in NP)
- 14:51, 17 марта 2010 (разн. | история) . . (+64) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство)
- 14:51, 17 марта 2010 (разн. | история) . . (-71) . . NP-полнота задачи BH1N (→Доказательство)
- 14:50, 17 марта 2010 (разн. | история) . . (-53) . . NP-полнота задачи BH1N (→Определение языка BH_{1N})
- 14:49, 17 марта 2010 (разн. | история) . . (-20) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:49, 17 марта 2010 (разн. | история) . . (+11) . . NP-полнота задачи BH1N (→Определение языка BH_{1N})
- 14:48, 17 марта 2010 (разн. | история) . . (-14) . . NP-полнота задачи BH1N (→Определение языка BH_{1N})
- 14:48, 17 марта 2010 (разн. | история) . . (+20) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:46, 17 марта 2010 (разн. | история) . . (+1) . . Понятие NP-трудной и NP-полной задачи (→Определение класса NP-трудных задач)
- 14:46, 17 марта 2010 (разн. | история) . . (+3) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:44, 17 марта 2010 (разн. | история) . . (+11) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:42, 17 марта 2010 (разн. | история) . . (+4) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
