Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 11:16, 18 апреля 2013 (разн. | история) . . (+165) . . Н Полиномиальная иерархия/Задачи/P\poly contains unsolvable (Новая страница: « Показать, что <m>P/poly</m> содержит некоторые невычислимые функции. Category:Нерешенные задачи»)
- 11:14, 18 апреля 2013 (разн. | история) . . (+273) . . Н Полиномиальная иерархия/Задачи/PH collapse if PHC exists (Новая страница: « <latex> Если в $PH$ существует полный язык относительно полиномиальной сводимости по Карпу, …»)
- 11:12, 18 апреля 2013 (разн. | история) . . (+101) . . Н Полиномиальная иерархия/Задачи/PH \subseteq PSPACE (Новая страница: « Докажите, что <m>PH\subseteq PSPACE</m> Category:Нерешенные задачи»)
- 11:11, 18 апреля 2013 (разн. | история) . . (+25) . . Полиномиальная иерархия/Задачи/compliment-in-ph
- 11:11, 18 апреля 2013 (разн. | история) . . (+48) . . Полиномиальная иерархия/Задачи/compliment-in-ph
- 11:10, 18 апреля 2013 (разн. | история) . . (0) . . м Полиномиальная иерархия/Задачи/compliment-in-ph (переименовал Полиномиальная иерархия/Задачи/task-07 в Полиномиальная иерархия/Задачи/compliment-in-ph)
- 11:10, 18 апреля 2013 (разн. | история) . . (+111) . . Н Полиномиальная иерархия/Задачи/task-07 (переименовал Полиномиальная иерархия/Задачи/task-07 в Полиномиальная иерархия/Задачи/compliment-in-ph) (текущая)
- 11:09, 18 апреля 2013 (разн. | история) . . (+182) . . Н Полиномиальная иерархия/Задачи/compliment-in-ph (Новая страница: «<latex> Для любого натурального $k, \ k \geq 0$, верно соотношение $$ L \in \Sigma^p_k \ \iff \ \{0,1\}^*\setminus L \in \Pi^…»)
- 10:41, 18 апреля 2013 (разн. | история) . . (+101) . . Н Полиномиальная иерархия/Задачи/P^BPP (Новая страница: «Какой класс будет <m> P^{BPP} = ? </m> Category:Нерешенные задачи»)
- 10:38, 18 апреля 2013 (разн. | история) . . (+105) . . Н Полиномиальная иерархия/Задачи/\Sigma^p k=NP^(\Sigma^p (k-1)) (Новая страница: «Докажите <m> \Sigma^p_k=NP^{\Sigma^p_{k-1}} </m> Category:Нерешенные задачи»)
- 10:35, 18 апреля 2013 (разн. | история) . . (+91) . . Н Полиномиальная иерархия/Задачи/NP^SAT=\Sigma^p 2 (Новая страница: «Докажите <m>NP^{SAT}=\Sigma^p_2</m> Category:Нерешенные задачи»)
- 10:33, 18 апреля 2013 (разн. | история) . . (+104) . . Н Полиномиальная иерархия/Задачи/P^(\Sigma^p k)=P^(\Pi^p k) (Новая страница: «Докажите <m> P^{\Sigma^p_{k}}=P^{\Pi^p_{k}} </m> Category:Нерешенные задачи»)
- 10:32, 18 апреля 2013 (разн. | история) . . (-1) . . Полиномиальная иерархия/Задачи/NP \cup co-NP \subseteq P^NP
- 10:31, 18 апреля 2013 (разн. | история) . . (-1) . . Полиномиальная иерархия/Задачи/P^SAT=P^NP
- 10:31, 18 апреля 2013 (разн. | история) . . (+89) . . Н Полиномиальная иерархия/Задачи/P^SAT=P^NP (Новая страница: « Докажите <m>P^{SAT}=P^{NP}</m> Category:Проблемы в решении»)
- 10:30, 18 апреля 2013 (разн. | история) . . (-1) . . Полиномиальная иерархия/Задачи/NP \cup co-NP \subseteq P^NP
- 10:30, 18 апреля 2013 (разн. | история) . . (+105) . . Н Полиномиальная иерархия/Задачи/NP \cup co-NP \subseteq P^NP (Новая страница: «Докажите <m> NP \cup co-NP \subseteq P^{NP} </m> Category:Проблемы в решении»)
- 10:17, 18 апреля 2013 (разн. | история) . . (+1) . . Н Полиномиальная иерархия/Задачи (Новая страница: «.») (текущая)
- 10:16, 18 апреля 2013 (разн. | история) . . (+67) . . Н Полиномиальная иерархия (Новая страница: «=== Слайды === == Записи лекций == === 2013 ===»)
- 10:15, 18 апреля 2013 (разн. | история) . . (+52) . . Курс лекций «Сложность алгоритмов» (ИСПРАН, 3 курс МФТИ)
- 09:38, 18 апреля 2013 (разн. | история) . . (-4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-halt-empty-tape
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-no-enumeration-of-cycled
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-obfuscation-undecidable
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-copy-lowerbound
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-max-time-grows
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-unsolvable-exists
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-data
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-good-data
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальный в среднем алгоритм для задачи о рюкзаке/Задачи/Проблемы определения «в среднем»
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальный в среднем алгоритм для задачи упаковки/Задачи/ex-packing-average-bad-and-good-data
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-exists-enumeration-of-halts
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-halt-empty-tape
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Формально об алгоритмах. Вычислительные модели/Задачи/ex-lost
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/k-подсемейство множеств - NPC
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/nonapprox TSP
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Permission denied
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-triange-in-p
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Tautology in coNP
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Vcover-clique
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-2sat-in-p
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-equiv-in-3knf
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-hamilton-cycle-in-np
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-limited-3sat-npc
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . PCP и аппроксимируемость/Задачи/ex-max2sat-in-npc
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-p-in-np-and-conp
- 07:42, 18 апреля 2013 (разн. | история) . . (+4) . . Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-polynomial-diofant-is-in-np
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)