Вклад участника
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)
- 13:24, 15 апреля 2010 (разн. | история) . . (+692) . . Сложностный класс BPP
- 13:14, 15 апреля 2010 (разн. | история) . . (+30) . . Сложностный класс ZPP (→Доказательство)
- 13:14, 15 апреля 2010 (разн. | история) . . (+1241) . . Теорема Карпа-Липтона
- 13:11, 15 апреля 2010 (разн. | история) . . (+2066) . . Сложностный класс BPP
- 12:28, 15 апреля 2010 (разн. | история) . . (+4) . . Теорема Карпа-Липтона (→Формулировка)
- 12:27, 15 апреля 2010 (разн. | история) . . (+167) . . Н Теорема Карпа-Липтона (Новая страница: «== Формулировка == '''Теорема Карпа-Липтона''' <tex>NP \in P/poly</tex> то <tex>sigma2=pi2</tex> == Доказательство …»)
- 12:22, 15 апреля 2010 (разн. | история) . . (+68) . . Теория сложности (старая трешовая версия) (Добавлена лекция 7)
- 10:42, 15 апреля 2010 (разн. | история) . . (+11) . . Сложностный класс BPP
- 10:40, 15 апреля 2010 (разн. | история) . . (+121) . . Сложностный класс BPP
- 10:36, 15 апреля 2010 (разн. | история) . . (+392) . . Сложностный класс BPP
- 10:25, 15 апреля 2010 (разн. | история) . . (+325) . . Сложностный класс BPP
- 10:16, 15 апреля 2010 (разн. | история) . . (-2) . . Сложностный класс BPP (→Определение класса PP)
- 10:13, 15 апреля 2010 (разн. | история) . . (-1) . . Сложностный класс BPP (→Определение класса PP)
- 10:11, 15 апреля 2010 (разн. | история) . . (+927) . . Н Сложностный класс BPP (Новая страница: «==Определение класса PP== Классом <tex>\mbox{PP}</tex> называется множество языков, для которых сущес…»)
- 10:01, 15 апреля 2010 (разн. | история) . . (+43) . . Теория сложности (старая трешовая версия) (→Практика 7)
- 14:04, 14 апреля 2010 (разн. | история) . . (0) . . Сложностный класс ZPP (→Альтернативное определения)
- 14:04, 14 апреля 2010 (разн. | история) . . (+4) . . Сложностный класс ZPP (→Доказательство)
- 13:41, 14 апреля 2010 (разн. | история) . . (+1652) . . Сложностный класс ZPP
- 11:47, 14 апреля 2010 (разн. | история) . . (+1259) . . Н Сложностный класс ZPP (Новая страница: «===Определения=== Классом <tex>ZPP</tex> называется множество языков, для которых существует [[Вер…»)
- 11:26, 14 апреля 2010 (разн. | история) . . (+1407) . . Н Вероятностная машина Тьюринга (Новая страница: «==Определение== Вероятностной лентой называется односторонне-бесконечная лента, в каждой …»)
- 11:26, 14 апреля 2010 (разн. | история) . . (0) . . Теория сложности (старая трешовая версия) (→Практика 7)
- 11:25, 14 апреля 2010 (разн. | история) . . (+1407) . . Н Вероятностная машины Тьюринга (Новая страница: «==Определение== Вероятностной лентой называется односторонне-бесконечная лента, в каждой …»)
- 11:25, 14 апреля 2010 (разн. | история) . . (0) . . Теория сложности (старая трешовая версия) (→Практика 7)
- 11:19, 14 апреля 2010 (разн. | история) . . (+20) . . Теория сложности (старая трешовая версия) (→Практика 7)
- 11:16, 14 апреля 2010 (разн. | история) . . (-44) . . Вероятностные машины Тьюринга (→Определение)
- 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)
- 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)
- 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-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:41, 17 марта 2010 (разн. | история) . . (+171) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Доказательство)
- 14:36, 17 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:35, 17 марта 2010 (разн. | история) . . (+15) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:33, 17 марта 2010 (разн. | история) . . (+5) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:31, 17 марта 2010 (разн. | история) . . (+3) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:30, 17 марта 2010 (разн. | история) . . (-1) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:29, 17 марта 2010 (разн. | история) . . (+3) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определение)
- 14:29, 17 марта 2010 (разн. | история) . . (+279) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 14:16, 17 марта 2010 (разн. | история) . . (+2) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ (→Определения)
- 14:14, 17 марта 2010 (разн. | история) . . (+225) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 14:11, 17 марта 2010 (разн. | история) . . (+193) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:58, 17 марта 2010 (разн. | история) . . (+2) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:57, 17 марта 2010 (разн. | история) . . (-8) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:55, 17 марта 2010 (разн. | история) . . (+4) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:52, 17 марта 2010 (разн. | история) . . (+170) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:48, 17 марта 2010 (разн. | история) . . (+6) . . NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- 13:47, 17 марта 2010 (разн. | история) . . (+24) . . Н NP-полнота задачи о выполнимости булевой формулы в форме КНФ (Новая страница: «=Определение=»)
- 13:44, 17 марта 2010 (разн. | история) . . (+115) . . Теория сложности (старая трешовая версия)
- 17:39, 16 марта 2010 (разн. | история) . . (+34) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:37, 16 марта 2010 (разн. | история) . . (+6) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:37, 16 марта 2010 (разн. | история) . . (+54) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:36, 16 марта 2010 (разн. | история) . . (+112) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:35, 16 марта 2010 (разн. | история) . . (+4) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:33, 16 марта 2010 (разн. | история) . . (+389) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:27, 16 марта 2010 (разн. | история) . . (-21) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 17:26, 16 марта 2010 (разн. | история) . . (+176) . . NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- 13:12, 16 марта 2010 (разн. | история) . . (-28) . . Теорема Кука
- 12:51, 16 марта 2010 (разн. | история) . . (+11) . . Теорема Кука (→Доказательство)
- 12:45, 16 марта 2010 (разн. | история) . . (0) . . Теорема Кука
- 12:42, 16 марта 2010 (разн. | история) . . (+166) . . Теорема Кука (→Доказательство)
- 12:04, 16 марта 2010 (разн. | история) . . (+4) . . NP-полнота задачи BH1N (→Определение языка BH_{1N})
- 12:02, 16 марта 2010 (разн. | история) . . (+11) . . NP-полнота задачи BH1N
- 12:00, 16 марта 2010 (разн. | история) . . (+78) . . Н NP-полнота (Перенаправление на Понятие NP-трудной и NP-полной задачи) (текущая)
- 11:59, 16 марта 2010 (разн. | история) . . (+78) . . Н NPH (Перенаправление на Понятие NP-трудной и NP-полной задачи) (текущая)
- 01:06, 16 марта 2010 (разн. | история) . . (+5829) . . Н NP-полнота задачи BH1N (Новая страница: «==Определение языка BH_{1N}== Языком <tex>BH_{1N}</tex>(от англ. bounded halting unary) называется множество трое…»)
- 01:04, 16 марта 2010 (разн. | история) . . (-3) . . Теория сложности (старая трешовая версия) (→Практика 2)
- 01:03, 16 марта 2010 (разн. | история) . . (-11) . . Теория сложности (старая трешовая версия) (→Практика 2)
- 00:57, 16 марта 2010 (разн. | история) . . (-91) . . Понятие NP-трудной и NP-полной задачи
- 00:56, 16 марта 2010 (разн. | история) . . (+78) . . Н NPC (Перенаправление на Понятие NP-трудной и NP-полной задачи) (текущая)
- 00:56, 16 марта 2010 (разн. | история) . . (-22) . . Теория сложности (старая трешовая версия) (→Практика 2)
- 00:55, 16 марта 2010 (разн. | история) . . (+33) . . Теория сложности (старая трешовая версия) (→Практика 2)
- 00:50, 16 марта 2010 (разн. | история) . . (+2) . . Понятие NP-трудной и NP-полной задачи (→Определение класса NP-трудных задач)
- 00:49, 16 марта 2010 (разн. | история) . . (-1) . . Понятие NP-трудной и NP-полной задачи (→Определение класса NP-полных задач)
- 00:49, 16 марта 2010 (разн. | история) . . (+719) . . Н Понятие NP-трудной и NP-полной задачи (Новая страница: «==Понятие <tex>NP</tex>-трудной и <tex>NP</tex>-полной задачи== ==Определение класса <tex>NP</tex>-трудных зад…»)
- 00:47, 16 марта 2010 (разн. | история) . . (+114) . . Теория сложности (старая трешовая версия) (→Практика 2)
- 18:25, 15 марта 2010 (разн. | история) . . (+4) . . NP-полнота задачи о гамильтоновом пути в графе (Перенаправление на NP-полнота задач о гамильтоновом цикле и пути в графах) (текущая)
- 16:34, 15 марта 2010 (разн. | история) . . (+124) . . Н 3CNFSAT (Перенаправление на NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ) (текущая)
- 12:06, 14 марта 2010 (разн. | история) . . (+328) . . Н Обсуждение:NP-полнота задачи о независимом множестве (Новая страница: «<<Задача о независимом множестве(IND) решает вопрос о том, содержит ли граф G подграф H размер…») (текущая)
- 20:42, 13 марта 2010 (разн. | история) . . (+32) . . Тег tex
- 16:25, 13 марта 2010 (разн. | история) . . (-25 433) . . NP-полнота задачи о гамильтоновом пути в графе (Содержимое страницы заменено на «см. NP-полнота задач о гамильтоновом цикле и пути в графах»)
- 16:24, 13 марта 2010 (разн. | история) . . (+103) . . Теория сложности (старая трешовая версия)
- 16:23, 13 марта 2010 (разн. | история) . . (+25 540) . . Н NP-полнота задач о гамильтоновом цикле и пути в графах (Новая страница: «==Определения== ===Определение 1=== '''Гамильтоновым путем''' в графе <math>G</math> называется упоряд…»)
- 16:13, 13 марта 2010 (разн. | история) . . (+2251) . . NP-полнота задачи о гамильтоновом пути в графе
- 16:10, 13 марта 2010 (разн. | история) . . (+3116) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство принадлежности к NPH)
- 15:57, 13 марта 2010 (разн. | история) . . (+8435) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство принадлежности к NPH)
- 14:56, 13 марта 2010 (разн. | история) . . (+1650) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство принадлежности к NPH)
- 14:49, 13 марта 2010 (разн. | история) . . (+1) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство принадлежности к NPH)
- 14:49, 13 марта 2010 (разн. | история) . . (+1413) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство принадлежности к NPH)
- 14:36, 13 марта 2010 (разн. | история) . . (+15) . . NP-полнота задачи о гамильтоновом пути в графе
- 14:32, 13 марта 2010 (разн. | история) . . (+2010) . . NP-полнота задачи о гамильтоновом пути в графе
- 14:24, 13 марта 2010 (разн. | история) . . (-2) . . NP-полнота задачи о гамильтоновом пути в графе (→Доказательство NP-полноты задачи об гамильтоновом пути в графе (UHAMP))
- 14:24, 13 марта 2010 (разн. | история) . . (+1350) . . NP-полнота задачи о гамильтоновом пути в графе
- 14:07, 13 марта 2010 (разн. | история) . . (+1076) . . NP-полнота задачи о гамильтоновом пути в графе
- 13:54, 13 марта 2010 (разн. | история) . . (+101) . . NP-полнота задачи о гамильтоновом пути в графе
- 13:52, 13 марта 2010 (разн. | история) . . (+4124) . . Н NP-полнота задачи о гамильтоновом пути в графе (Новая страница: «==Определения== ===Определение 1=== '''Гамильтоновым путем''' в графе <math>G</math> называется упоряд…»)
- 03:49, 13 марта 2010 (разн. | история) . . (+7654) . . Н PS-полнота задачи Generalized geography (Новая страница: «== Формулировка задачи== Городки (Geography) - игра, в которой игроки по очереди называют города с…»)
- 22:58, 12 марта 2010 (разн. | история) . . (-25) . . Теорема Ладнера (→Утверждение 2)
- 12:08, 10 марта 2010 (разн. | история) . . (+59) . . Теория сложности (старая трешовая версия) (→Лекция 1)
- 11:57, 10 марта 2010 (разн. | история) . . (0) . . NP-полнота задачи о раскраске графа
- 11:50, 10 марта 2010 (разн. | история) . . (+13) . . NP-полнота задачи о раскраске графа
- 14:04, 8 марта 2010 (разн. | история) . . (-15) . . Класс DSPACE
- 14:03, 8 марта 2010 (разн. | история) . . (+29) . . Класс DSPACE
- 13:49, 8 марта 2010 (разн. | история) . . (+465) . . Н Класс DSPACE (Новая страница: «Классом <math>DSPACE(f(n))</math> называется множество языков для которых существует машина Тьюринг…»)
- 12:27, 8 марта 2010 (разн. | история) . . (+26) . . Теория сложности (старая трешовая версия) (→Лекция 1)
- 19:00, 25 февраля 2010 (разн. | история) . . (+82) . . Заглавная страница
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)