Запитання з тегом «np-intermediate»

Факторинговий і графічний ізоморфізм - проблеми в НП, які, як відомо, не існують в Р, а також не є NP-завершеними. Які ще (достатньо різні) природні проблеми поділяють цю властивість? Штучні приклади, що випливають безпосередньо з доказів теореми Ладнера, не враховуються. Чи є будь-який з цих прикладів NP-проміжним, припускаючи лише якусь …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Теорема Ладнера стверджує, що якщо P ≠ NP, то існує нескінченна ієрархія класів складності, яка строго містить P і суворо міститься в NP. Доказ використовує повноту SAT за багато-одного зменшення NP. Ієрархія містить класи складності, побудовані за допомогою своєрідної діагоналізації, кожен з яких містить деяку мову, до якої мови в …

45 cc.complexity-theory  reference-request  np-intermediate 

Враховуючи нову проблему в , справжня складність якої знаходиться десь між P і не є повною NP, я знаю два методи, які можуть бути використані, щоб довести, що вирішити це важко:NPNP\mathsf{NP}PP\mathsf{P} Покажіть, що проблема є GI-повною (GI = Ізоморфізм графіка) Покажіть , що проблема полягає в . За відомими результатами …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Теорема Ладнера добре відома, що якщо , то існує нескінченно багато N P- проміжних ( N P I ) задач. Також є природні кандидати на цей статус, такі як Графічний ізоморфізм та ряд інших, див. Проблеми між P та NPC . Проте, переважна більшість в натовпі відомої н в т …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Можна припустити, що оскільки зворотне значення означатиме . Теорема Ладнера встановлює, що якщо \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . Однак, схоже, доказ не узагальнює \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Пітер Шор показав, що дві найважливіші NP-проміжні проблеми, факторинг та проблема дискретного журналу, знаходяться в BQP. Навпаки, найвідоміший квантовий алгоритм для SAT (пошук Гровера) дає лише квадратичне вдосконалення порівняно з класичним алгоритмом, натякаючи на те, що проблеми, повні NP, все ще нерозв'язні на квантових комп'ютерах. Як зазначають Арора та Барак, …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Нещодавно Ласло Бабай довів, що проблема ізоморфізму Графа перебуває у квазіполіномічному часі . Дивіться також його розмови в Чиказькому університеті, примітка до переговорів Джеремі Куна GLL post 1 , GLL post 2 , GLL post 3 . Згідно з теоремою Ладнера, якщо P≠NPП≠NПP \neq NP , то не порожній, тобто …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Припустимо , що . Н Р Я є клас проблем в N P , які не є ні в Р , ні в N P -Жорсткий. Ви можете знайти перелік проблем, що передбачаються як N P I, тут .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Теорема Ладнеров в говорить нам , що якщо , …

16 cc.complexity-theory  np-hardness  np-intermediate 

Графічний ізоморфізм ( ) є хорошим кандидатом на проміжну задачу . Проміжні проблеми існують, якщо . Я шукаю природну проблему, яка складна для при зменшенні Карпа (Задача графіка така, що ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Чи існує природна графічна проблема графіка яка не є ні еквівалентною, ні відомою неповною?GIGIGIGIGIGINPNПNP

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Припустимо, P NP.≠≠\ne Теорема Ладнера говорить, що існують проміжні проблеми NP (проблеми в NP, які відсутні ні в P, ні в NP). В Інтернеті я знайшов кілька завуальованих посилань, які підказують (я думаю) про те, що в NPI існує багато "рівнів" взаємно зворотних мов, які точно не всі згортаються в …

13 cc.complexity-theory  np  np-intermediate 

Чи можемо ми довести, що для кожної мови яка не є 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}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Я намагаюся зрозуміти, до якого класу складності належить наступна проблема: Розкриття проблеми поліномального кореня (EPRP) Нехай - многочлен з з коефіцієнтами, виведеними з кінцевого поля з простим числом, а примітивним коренем для цього поля. Визначте розв’язання: (або еквівалентно нулі ), де означає експоненцію .deg ( p ) ≥ 0 G …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Як можна дивитися на проблему та причину того, що це, ймовірно, NP-Intermediate на відміну від NP-Complete? Часто досить просто подивитися на проблему і сказати, ймовірно, це NP-Complete чи ні, але мені здається, що набагато важче сказати, чи є проблема NP-Intermediate, оскільки лінія здається, що між ними є досить тонка заняття. …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Є деякі проблеми NP-Complete (S A TSAT \mathsf{SAT} , S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} тощо), як відомо, в D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} . А як щодо сублінійних просторів? Чи є якась відома проблема NP-Complete (або NP-Intermediate) у підлінійному недетермінованому …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate