Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 11:11, 14 апреля 2010 (разн. | история) . . (+559) . . Вероятностные машины Тьюринга
- 11:10, 14 апреля 2010 (разн. | история) . . (+7) . . Измеримое множество (→Определение)
- 11:10, 14 апреля 2010 (разн. | история) . . (+148) . . Н Измеримое множество (Новая страница: «==Определение== Множество называется измеримым, если представимо в виде отрезков.»)
- 21:49, 13 апреля 2010 (разн. | история) . . (+52) . . Теория сложности (старая трешовая версия)
- 21:29, 13 апреля 2010 (разн. | история) . . (+1110) . . Сложностные классы RP и coRP
- 20:07, 10 апреля 2010 (разн. | история) . . (+129) . . Вероятностные машины Тьюринга (→Определение)
- 20:05, 10 апреля 2010 (разн. | история) . . (+439) . . Вероятностные машины Тьюринга (→Определение)
- 19:39, 10 апреля 2010 (разн. | история) . . (+56) . . Вероятностные машины Тьюринга (→Определение)
- 19:28, 10 апреля 2010 (разн. | история) . . (+6) . . Вероятностные машины Тьюринга (→Определение)
- 19:27, 10 апреля 2010 (разн. | история) . . (+262) . . Н Вероятностные машины Тьюринга (Новая страница: «==Определение== Вероятностной является машина Тьюринга с односторонне-бесконечной лентой,…»)
- 18:15, 10 апреля 2010 (разн. | история) . . (+62) . . Теория сложности (старая трешовая версия) (→Практика 7)
- 11:08, 9 апреля 2010 (разн. | история) . . (+55) . . Теория сложности (старая трешовая версия) (→Лекция 6)
- 16:39, 8 апреля 2010 (разн. | история) . . (+2) . . Класс NL
- 16:35, 8 апреля 2010 (разн. | история) . . (+96) . . Класс NL
- 15:34, 7 апреля 2010 (разн. | история) . . (-15) . . Класс L
- 13:47, 7 апреля 2010 (разн. | история) . . (+305) . . Н Класс L (Новая страница: «Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с и…»)
- 22:50, 6 апреля 2010 (разн. | история) . . (+2701) . . NL-полнота задачи о достижимости в графе (→Доказательство NL-трудности задачи STCON)
- 22:17, 6 апреля 2010 (разн. | история) . . (+2708) . . Н Теорема о связи вопросов EXP=NEXP и P=NP (Новая страница: «=== Формулировка === :<tex>\text{P=NP} \Rightarrow \text{EXP=NEXP}</tex> === Доказательство === Рассмотрим <tex>\text{NEXP---}</…»)
- 13:54, 6 апреля 2010 (разн. | история) . . (+39) . . Теория сложности (старая трешовая версия)
- 12:12, 4 апреля 2010 (разн. | история) . . (+1525) . . Н Классы Sigma i и Pi i (Новая страница: «Пусть имеется предикат <tex>R(x, y_1 \ldots y_i)</tex> от <tex>i+1</tex> переменной. Классом сложности <tex>\Sigma_i…»)
- 11:50, 4 апреля 2010 (разн. | история) . . (-26) . . Полиномиальная иерархия (→Классы из полиномиальной иерархии)
- 11:49, 4 апреля 2010 (разн. | история) . . (+8) . . Полиномиальная иерархия (→Классы из полиномиальной иерархии)
- 11:48, 4 апреля 2010 (разн. | история) . . (-4) . . Класс PH
- 11:47, 4 апреля 2010 (разн. | история) . . (+1001) . . Полиномиальная иерархия
- 11:21, 4 апреля 2010 (разн. | история) . . (+72) . . Класс PH
- 11:16, 4 апреля 2010 (разн. | история) . . (+1120) . . Полиномиальная иерархия
- 10:58, 4 апреля 2010 (разн. | история) . . (+308) . . Н Класс PH (Новая страница: «Классом сложности <math>PH</math> (англ. polynomial hierarchy) называется объединение классов сложности из…»)
- 10:55, 4 апреля 2010 (разн. | история) . . (+20) . . Теория сложности (старая трешовая версия) (→Практика 6)
- 16:20, 1 апреля 2010 (разн. | история) . . (+156) . . PS-полнота задачи Generalized geography
- 16:13, 1 апреля 2010 (разн. | история) . . (+180) . . PS-полнота задачи Generalized geography (small fix)
- 16:05, 1 апреля 2010 (разн. | история) . . (+13) . . PS-полнота задачи Generalized geography (→Доказательство принадлежности задачи классу PSH)
- 18:16, 30 марта 2010 (разн. | история) . . (+65) . . PS-полнота задачи Generalized geography (рис1, 2, 3.)
- 14:29, 30 марта 2010 (разн. | история) . . (+1762) . . Теоремы о коллапсе полиномиальной иерархии
- 14:01, 30 марта 2010 (разн. | история) . . (+6) . . Теоремы о коллапсе полиномиальной иерархии
- 14:00, 30 марта 2010 (разн. | история) . . (+126) . . Теоремы о коллапсе полиномиальной иерархии (→Доказательство)
- 13:58, 30 марта 2010 (разн. | история) . . (+1674) . . Н Теоремы о коллапсе полиномиальной иерархии (Новая страница: «== Утверждение теоремы == Если <math>\Sigma_i = \Sigma_{i+1}</math>, то <math>\Sigma_i = PH</math>. == Доказательство == Из …»)
- 13:22, 30 марта 2010 (разн. | история) . . (+86) . . Теория сложности (старая трешовая версия) (→Практика 6)
- 13:21, 30 марта 2010 (разн. | история) . . (-37) . . Полиномиальная иерархия
- 13:07, 30 марта 2010 (разн. | история) . . (+164) . . Н Полиномиальная иерархия (Новая страница: «Полиномиальной иерархией называется класс <math>PH = \cup_{n=0}^{\infty} \Sigma_n</math>. ---- См. Классы Sigma_i»)
- 12:46, 30 марта 2010 (разн. | история) . . (-28) . . Теория сложности (старая трешовая версия) (→Практика 6)
- 12:46, 30 марта 2010 (разн. | история) . . (+77) . . Теория сложности (старая трешовая версия) (→Практика 6)
- 12:43, 30 марта 2010 (разн. | история) . . (+51) . . Теория сложности (старая трешовая версия)
- 12:41, 30 марта 2010 (разн. | история) . . (+26) . . Теория сложности (старая трешовая версия) (Практика 6)
- 11:20, 20 марта 2010 (разн. | история) . . (-21) . . NP-полнота задачи о раскраске графа
- 23:14, 19 марта 2010 (разн. | история) . . (+241) . . NP-полнота задач о гамильтоновом цикле и пути в графах (→Доказательство принадлежности к NPH)
- 20:13, 19 марта 2010 (разн. | история) . . (-7) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ (→Доказательство принадлежности 3SAT классу NPH)
- 19:25, 19 марта 2010 (разн. | история) . . (-11) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NPH)
- 19:24, 19 марта 2010 (разн. | история) . . (+76) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NPH)
- 19:22, 19 марта 2010 (разн. | история) . . (+336) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NPH)
- 19:09, 19 марта 2010 (разн. | история) . . (+25) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство принадлежности классу NPH)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)