«np-intermediate» etiketlenmiş sorular

Faktoring ve grafik izomorfizmi, NP'de P de olduğu veya NP-Komple olmadığı bilinen problemlerdir. Bu özelliği paylaşan diğer (yeterince farklı) doğal problemler nelerdir? Doğrudan Ladner teoreminin kanıtından gelen yapay örnekler sayılmaz. Bu örneklerden herhangi biri, yalnızca “makul” bir hipotez olduğu varsayımıyla kanıtlanabilir bir NP-orta aracı mıdır?

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

Ladner'ın Teoremi , eğer P if NP ise, o zaman kesinlikle P içeren ve kesinlikle NP içinde bulunan sonsuz bir karmaşıklık sınıfları hiyerarşisi olduğunu belirtir . Kanıt, NP'deki bir-çok azaltma altında SAT'ın bütünlüğünü kullanır. Hiyerarşi, her biri alt sınıflardaki dillerin birden fazla indirgenemez olduğu bazı dilleri içeren bir tür köşegenleştirme …

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

Asıl karmaşıklığı arasında bir yerde olan yeni bir sorun göz önüne alındığında ve NP-eksiksiz olmak, bunun çözülmesinin zor olduğunu ispatlamak için kullanabileceğim iki yöntem var:NPNP\mathsf{NP}PP\mathsf{P} Sorunun GI-tamamlandığını gösterin (GI = Graph Isomorphism) Sorunun içinde olduğunu gösterin . Bilinen sonuçlara göre, böyle bir sonuç, eğer problem NP tamamlandıysa, PH'nin ikinci seviyeye …

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

Ladner Teoremi tarafından iyi bilinir, eğer , o zaman sonsuz sayıda N P- orta ( N P I ) problemi vardır. Bu durum için Graph Isomorphism ve diğerleri gibi doğal adaylar da var, bakınız P ve NPC Arasındaki Sorunlar . Bununla birlikte, bilinen taraftar büyük çoğunluğu , n , bir …

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

Bu tahmin ediliyor olduğu tersi anlamına zira . Ladner'ın teoremi, eğer \ mathsf {P} \ ne \ mathsf {NP} o zaman \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ fincan \ mathsf {P}) \ ne \ emptyset . Bununla birlikte, ispat \ mathsf {P} / …

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

Peter Shor faktoring ve ayrık kütük probleminin en önemli NP-ara problemlerinden ikisinin BQP'de olduğunu gösterdi . Buna karşılık, SAT için en iyi bilinen kuantum algoritması (Grover'ın araması), klasik algoritma üzerinde sadece ikinci dereceden bir gelişme sağlar; NP-tamamlanmış sorunların hala kuantum bilgisayarlarda anlaşılmaz olduğunu ima eder. Arora ve Barak'ın işaret ettiği …

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

László Babai geçtiğimiz günlerde Grafik İzomorfizmi probleminin kuasipolinom zamanda olduğunu kanıtladı . Ayrıca Chicago Üniversitesi'ndeki konuşmasına bakın , Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 tarafından yapılan görüşmelerden not alın . Ladner teoremine göre, eğer , boş değilse, yani ne ne de problemleri içerir …

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

Diyelim varsayalım . N P ı sorunların sınıfıdır , N , P içinde ne olan P ne de buna N P -Sert. Sen olması conjectured sorunların bir listesini bulabilirsiniz N P ben burada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Ladner teoremi eğer söyler sonra sonsuz bir hiyerarşi yoktur N P Ben sorunları, yani …

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

Graph İzomorfizmi ( ) problem için iyi bir adaydır . problemler olmadığı sürece vardır . I için zor olan doğal bir sorun arıyorum Karp indirgenmesi (bir grafik sorunu altında şekilde ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Doğal var mı ne olduğunu -Zor grafik sorunu -eşdeğer ne de olduğu bilinen -Komple?G I N PGIGIGIGIGIGINPNPNP

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

P NP olduğunu varsayın .≠≠\ne Ladner Teoremi NP Ara problemler olduğunu (NP'de ne P ne de NP-Complete'te olmayan problemler) söylüyor. Ben NPI içinde kesinlikle hepsi tek bir çökmek değil birçok "düzeyleri" karşılıklı azaltılabilir dillerin olduğunu düşündüren bazı örtülü referanslar çevrimiçi bulduk. Bu seviyelerin yapısı hakkında bazı sorularım var. "NP-Intermediate-Complete" problemleri …

13 cc.complexity-theory  np  np-intermediate 

Her dil için ispat edebilir o değil -Zor (bu varsayar ), ? Alternatif olarak, bu herhangi bir makul varsayım altında kanıtlanabilir mi?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠ POTURDUPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

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

Aşağıdaki sorunun hangi karmaşıklık sınıfına ait olduğunu anlamaya çalışıyorum: Üstel Polinom Kök Sorunu (EPRP) Let be bir polinom ile ° ( p ) ≥ 0 sonlu alanından çekilen katsayılı G F ( k ) ile q asal sayı ve r bu alan için ilkel kök. : Çözeltilerini belirlemek p ( …

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

NP-Complete'in aksine bir probleme ve bunun muhtemelen NP-Intermediate olmasının sebebine nasıl bakılır? Bir soruna bakmak ve muhtemelen NP-Complete olup olmadığını söylemek oldukça basittir, ancak bir sorun NP-Orta olup olmadığını söylemek çok daha zor görünüyor, çünkü çizgi ikisi arasında oldukça ince görünüyor sınıflar. Temelde sorduğum, neden polinom zamanında doğrulanabilen (eğer varsa) …

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

Bazı NP-Complete sorunları var (S A TSAT \mathsf{SAT} , , vb.) içinde olduğu bilinmektedir . Alt doğrusal uzaylar ne olacak?S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} Alt doğrusal belirsiz olmayan alanda bilinen NP-Complete (veya NP-Intermediate) problemleri var …

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