Запитання з тегом «cc.complexity-theory»

P проти НП та інших обчислень, обмежених ресурсами.

1
Чи відрізняється
Чи можемо ми довести, що для кожної мови яка не є N P- твердою (це передбачає P ≠ N P ), P L ≠ P SAT ? Чи можна це довести під будь-якими розумними припущеннями?L ∈ N PL∈NPL\in\mathsf{NP}Н ПNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}ПL≠ РСБPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Чи означає, що теорема Каннана означає, що NEXPTIME ^ NP ⊄ P / poly?
Я читав документ Бурмана та Гомера «Суперполіноміальні схеми, майже розріджені оракули та експоненціальна ієрархія» . Внизу сторінки 2 вони зазначають, що з результатів Каннана випливає, що NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не має схем розмірів поліномів. Я знаю, що в експоненціальній часовій ієрархії NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} є просто Σ2EXPΣ2EXP\Sigma_2EXP , і я також знаю, що результат …
1
Жорсткість APX передбачає відсутність QPTAS?
Отже, швидкий пошук в Інтернеті змусив мене повірити, що "APXHardness означає, що жодна QPTAS не існує для проблеми, якщо [якийсь клас складності] не включений до якогось [іншого класу складності]", і це також добре відомо! Схоже, це знають усі, крім мене. На жаль, посилання на підтримку цього твердження не наводиться. У …
1
як оракул
Чи ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Ясно, що , але мені здається, що є "детермінованим", що змушує мене повірити, що це правда.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}N P ∩ c o N PNP∩coNP\mathsf{NP\cap coNP} Чи є простий доказ (а може, просто за визначенням)?
1
Виражаючий детермінант як постійний
Однією з основних проблем у TCS є проблема вираження постійного як визначального. Я читав статтю Agrawal Determinant Versus Permanent і в одному пункті він стверджує, що зворотна проблема проста. Легко бачити , що визначник матриці може бути виражений як перманент відповідної матриці X , елементи якої х я , J …
3
NP-повна властивість графа, яка є спадковою, але не адитивною?
Властивість графа називається спадковою, якщо вона закрита щодо видалення вершин (тобто всі індуковані підграграфи успадковують властивість). Властивість графа називається аддитивною, якщо вона закрита щодо прийняття роз'єднаних спілок. Не важко знайти властивості, які є спадковими, але не добавками. Два простих прикладу: \;\;\; (1) Графік закінчений. \;\;\; (2) Графік не містить двох …
2
У чому полягає складність цієї проблеми шляху?
Екземпляр: Непрямий графік з двома розрізненими вершинами s ≠ t і цілим числом k ≥ 2 .GGGs≠ts≠ts\neq tk ≥ 2k≥2k\geq 2 Питання: Чи існує шлях у G , такий, що шлях торкається не більше k вершин? (Вершина торкається шляху, якщо вершина знаходиться або на шляху, або є сусід по шляху.)с …
1
Клас складності цієї проблеми?
Я намагаюся зрозуміти, до якого класу складності належить наступна проблема: Розкриття проблеми поліномального кореня (EPRP) Нехай - многочлен з з коефіцієнтами, виведеними з кінцевого поля з простим числом, а примітивним коренем для цього поля. Визначте розв’язання: (або еквівалентно нулі ), де означає експоненцію .deg ( p ) ≥ 0 G …
4
Почніть вивчати складність доказування
Нещодавно я почав багато читати про складність доказів і дуже насолоджувався тим, що читав. Мені дуже хотілося б дізнатися більше про це, але мені важко знайти якийсь хороший матеріал для початківців. Хтось міг би порекомендувати якісь основи?
1
Мінімізація залишкових автоматів кінцевого стану
Залишкові автомати з кінцевим станом (RFSA, визначені в [DLT02]) - це NFA, які мають деякі приємні риси, спільні з DFA. Зокрема, завжди існує канонічний RFSA мінімального розміру для кожної звичайної мови, і мова, визнана кожним штатом в RFSA, є залишковою, як і в DFA. Однак, хоча мінімальні стани DFA утворюють …
1
Чи відомо, що колапс
Між кожним рівнем ієрархії поліномів містяться різні класи складності, включаючи ΔПiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , БХкBHk\text{BH}_k та ΣПi∩ ΠПiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Через відсутність кращої термінології я буду називати ці та будь-які інші як проміжні класи між рівнями iii та i + 1i+1i+1 в ієрархії поліномів. Для цілей цього питання припустимо, …
1
Ефективний алгоритм існування перестановки з послідовністю відмінностей?
Це питання мотивоване цією публікацією. Чи можете ви визначити суму двох перестановок за багаточлен? , і мій інтерес до обчислювальних властивостей перестановок. А відмінності послідовності 1 , а 2 , ... п перестановок П чисел 1 , 2 , ... п + 1 утворюється шляхом знаходження різниці між кожними двома …
2
Чи руйнується ієрархія
Чи знаємо ми, що ієрархія T C0TC0\mathsf{TC^0} не руйнується ( TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}} для всіх ddd )? Запис у зоопарку для TC0TC0\mathsf{TC^0} зазначає лише розділення між глибиною 2 та 3. Чи є стандартна посилання на те, що AC0dACd0\mathsf{AC^0_d} ієрархія не руйнується?
1
Який зв’язок між
Який взаємозв'язок між та ? Іншими словами, чи є приблизними проблеми, які допускають локальний пошук багаточлена? Чи загальні проблеми оптимізації мають на увазі загальний алгоритм пошуку?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}
1
Згладжений аналіз алгоритмів наближення
Згладжений аналіз застосовується багато разів для розуміння часу виконання точних алгоритмів для багатьох проблем, таких як лінійне програмування та k-засоби. У цій царині є досить загальні результати, наприклад, Хайко Рьоглін та Бертольд Векінг, Згладжений аналіз цілого програмування , 2005. Деякі з цих загальних результатів, схоже, покладаються на ізоляційні леми, щоб …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.