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

Класи складності обчислювальної техніки та їх співвідношення

2
Що таке еквівалентне визначення mP / poly з точки зору машини Тьюрінга?
P / poly - клас задач вирішення, який вирішується сімейством булевих ланцюгів поліноміального розміру. Він також може бути визначений як поліномальна машина Тьюрінга, яка отримує рядок поради, яка має розмір полінома в n і заснована виключно на розмірі n. mP / poly - клас задач вирішення, який вирішується сімейством однотонних …
3
Якими будуть наслідки PH = PSPACE?
Недавній питання (див Наслідки NP = PSPACE ) просив для "противних" наслідків . Перераховують відповіді чимало наслідків обвалення, в тому числі N P = C O N P і інші, забезпечуючи безліч причин вважати N P ≠ P S P A C E .NП= РSПА СЕNP=PSPACENP=PSPACENП= c o NПNP=coNPNP=coNPNП≠ РSПА …
3
Чи може обмеження жорстких мов бути простим?
Чи можуть утримуватися наступні всі одночасно? L s + 1 sLсLsL_s міститься в для всіх натуральних чисел .Ls + 1Ls+1L_{s+1}сss { 0 , 1 }L = ⋃сLсL=⋃sLsL = \bigcup_s L_s - мова всіх кінцевих слів понад .{ 0 , 1 }{0,1}\{0,1\} Існує певний клас складності і поняття відповідного скорочення для …
1
Чи є безперервна версія теореми про паралельне повторення
Теорема про паралельне передбачення Різа є важливим результатом PCP, непроявленості тощо. Теорема формулюється так. Гра , де - кінцеві множини, - розподіл на , а предикат . Визначте значення гри І n -складна гра G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …
6
"Природні" вирішувані проблеми, які, як відомо, відсутні в НП.
Кожного разу, коли я викладаю NP-повноту, студенти запитують, "чи існують проблеми, які, як відомо, не належать до NP?" Як би ти відповів? Я, як правило, даю їм нерозв'язну проблему як приклад, але це часто не виходить добре: (а) якщо я даю їм проблему зупинки, вони вважають, що це якийсь тупий …
2
Чи має L визначення у схемах?
Багато класів складності, визначених машинами Тьюрінга, мають визначення з точки зору рівномірних схем. Наприклад, P також може бути визначений за допомогою однорідних схем розмірів поліномів, і аналогічно BPP, NP, BQP тощо можуть бути визначені з однорідними схемами. Так чи є на основі схеми визначення L? Очевидною ідеєю було б дозволити …
1
Чому ці два визначення PPAD еквівалентні?
Клас складності PPAD зазвичай визначають, заявивши, що End-Of-The-Line є PPAD-повним. Кінцева лінія - проблема пошуку. Вхід складається з спрямованого графа, в якому кожен вузол має ступінь і ступінь не більше 1. Графік задається функцією обчислювальної функції в поліномі в часі яка повертає попередника і наступника . Крім того, одному надається …
3
Гра на кілька графіків
Розглянемо наступну гру на спрямованому зваженому графі з мікросхемою на якомусь вузлі.ГGG Усі вузли позначені A або B.ГGG Є два гравці Аліса та Боб. Мета Аліси (Боб) - перенести чіп на вузол, який позначений A (B). Спочатку Аліса та Боб мали та доларів відповідно.мАmAm_AмБmBm_B Якщо гравець перебуває в програшній позиції …
1
Складність тестування, якщо два набори
Уявіть, у нас є дві величини mmm множини точок X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Яка (часова) складність тестування, якщо вони відрізняються лише ротацією? : існує матриця обертання OOT=OTO=IOOT=OTO=IOO^T=O^TO=I така, що X=OYX=OYX=OY ? Тут існує проблема представлення реальних значень - для простоти припустимо, що існує (коротка) алгебраїчна формула для кожної координати, така що …
1
Ієрархії часу в DSPACE (O (s (n)))
Теорема про ієрархію часу стверджує, що машини для тюрінгу можуть вирішити більше проблем, якщо у них буде (достатньо) більше часу. Чи це утримується якимось чином, якщо простір обмежено асимптотично? Яким чином DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) стосується DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) якщо fgfg\frac{f}{g} росте досить швидко? Мене особливо цікавить випадок, коли s(n)=ns(n)=ns(n) = n , …
1
До якого класу складності належить задача цієї теорії чисел?
'Дано a , b , c ∈ Na,b,c∈Na,b,c\in\Bbb N , чи існує х , у∈ Nx,y∈Nx,y\in\Bbb N , а х2+ б у= cax2+by=cax^2+by=c ' є NPNP\mathsf{NP} -комплектним. До якого класу складності 'Враховуючи a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , чи належать x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c '?
1
Великі класи, які містять LOGSPACE, для яких суворі включення невідомі
Сторінка вікіпедії на PSPACE зазначає, що включення як відомо, не є суворим (на жаль, без посилань).NL⊂PHNL⊂PHNL\subset PH Q1: Що з та - чи відомо, що вони суворі?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2: Якщо ні, чи існує встановлений клас який містить і для якого невідомо, чи включення суворе?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C Q3: Чи обговорюються такі …
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
як оракул
Чи ?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} Чи є простий доказ (а може, просто за визначенням)?
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.