Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 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})
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)