«np» etiketlenmiş sorular

Parite-P , yalnızca çift sayı veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan kabul yolu yerine) arasında ayrım yapabilen, deterministik olmayan bir Turing makinesi tarafından tanınan diller kümesidir. Bu nedenle Parity-P, temelde PP'nin bodur küçük kardeşi: PP, bir NP makinesinin kabul yollarının sayısının çoğunluk olup olmadığını ( yani bu …

18 cc.complexity-theory  complexity-classes  np 

Üç tür düğüm ile bir anahtar ağı (ad icat edilir) yapılır: bir Başlangıç ​​düğümü bir Bitiş düğümü bir veya daha fazla Anahtar düğümü Anahtar düğümünde 3 çıkış bulunur: Sol, Yukarı, Sağ; iki L ve R durumu ve bir hedef durumu TL veya TR'dir . Her anahtar aşağıdaki kurallara göre hareket …

17 ds.algorithms  reference-request  graph-algorithms  np 

Bırakın 0≤p≤10≤p≤10\le p\le 1 ve karar problemini düşünün CLIQUE p Giriş: tamsayı s , t köşeleri olan grafik G ve ⌈ p ( tpp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceilkenarları Soru:etmezGGGen az bir klik ihtivasssköşe? CLIQUE p örneği, olası tüm kenarlardan bir p oranı içerir . Açıkça CLIQUE p , bazı p değerleri …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Değişkenlerin sayısı sabitse tamsayı doğrusal programlamanın polinominal zamanda çözülebildiğini okudum , yani n ∈ O ( 1 ) . Değişken sayısı logaritmik olarak büyüyorsa, yani belirli bir N boyutu girişi için n ∈ O ( log 2 ( N ) ) , sorun polinom zamanında hala çözülebilir mi, yoksa açık …

16 cc.complexity-theory  np  open-problem 

Tamamen soyut bir matematik / hesaplamalı akıl yürütme bakış açısıyla, 3-SAT, Altküme Toplamı, Seyahat Eden Satıcı vb. Onları sadece işlevsel bakış açısıyla anlamlı bir şekilde aklımızdan çıkartabilir miyiz ? Hatta mümkün olabilir mi? Bu soruyu, lambda hesabı hesaplama modelini öğrenmenin bir parçası olarak tamamen kendi kendini sorgulama noktasından alıyorum. Bunun …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP , çözeltilerin sayısına (giriş boyutunda) polinom bağlı problemleri sınıfıdır NPNPNP. F e w P'de bilinen bir NPNPNP tamamlama problemi yoktur . Bu gözlemi ne kadar uzatabileceğimizle ilgileniyorum.fewPfewPfewP Herhangi bir doğal var NPNPNP yarı-polinom üst çözeltiler (tanıklar) sayısına bağlı olan Komple sorun? Bu olasılığı ortadan kaldıracak yaygın kabul görmüş bir …

15 cc.complexity-theory  np 

Orada var mıdır , simetri grupları bazı ailesi var bir NP veya P-komple dili G n (veya grupoidinin setleri üzerinde (polinom zamanda), ama sonra algoritmik sorular daha açık hale) etki eden L n = { l ∈ L ∣ | l | = n } öyle ki az yörünge olacak, …

14 np  algebra  gr.group-theory  complexity  symmetry 

Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Rice teoremi, bir Turing makinesi tarafından tanınan setin önemsiz her özelliğinin kararsız olduğunu belirtir. Karmaşıklık teorisi arıyorum NP tipi hangi önemsiz özelliklerin inatçı olduğunu söyleyen Rice tipi teorem arıyorum.

14 cc.complexity-theory  computability  np 

İşte sorun: Bazı hücrelerde 1.N'den bazı sayılar içeren bir karemiz var. Sihirli bir kareye tamamlanıp tamamlanamayacağını belirlemek gerekir. Örnekler: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

Soru, Dana Moshkovitz'in başka bir konuya cevap vermesiyle ortaya çıktı . Let bir olmak NP Dili ve izin ilgili olmak NP ilişkisi. Bazı polinom var olduğunu biliyoruz :R L pLLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Yukarıdaki ifade sadece böyle bir varlığını gerektirir …

13 cc.complexity-theory  np 

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 

Ola Svensson'un bu ders notlarında: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , Öklid TSP'nin NP'de olup olmadığını bilmediğimiz söylenir: Bunun nedeni, kareköklerin nasıl verimli bir şekilde hesaplanacağını bilmememizdir. Öte yandan Papadimitriou'nun bu makalesi var: http://www.sciencedirect.com/science/article/pii/0304397577900123 NP-tamamlanmış olduğunu söylüyor, bu da NP'de olduğu anlamına geliyor. Gazetede kanıtlamamasına rağmen, genellikle bu tür problemlerde olduğu gibi NP üyeliğini …

12 np  tsp  computing-over-reals 

Çalışılacak iyi topolojik özelliklere sahip NP tam (hatta NP sert veya NP) problemleri var mı? NP problemlerinde düğüm teorik formülasyonları var mı? Jones polinomu hakkında # sonucu biliyoruz . Grafik problemleri (düğünler?), Özellikle grafik renklendirmelerinin güzel düğüm teorik özelliklerine sahip olduğu görülebilir. Bu açık uçlu bir sorudur ve bu konuyla …

12 ct.category-theory  np 

Bir grafik özelliği, köşeleri silme (örneğin, tüm indüklenen altgraflar özelliği miras alır) ile ilgili olarak kapatılırsa kalıtsal olarak adlandırılır . Bir grafik özelliğine, ayrık sendikaların alınmasıyla kapalıysa, katkı maddesi denir . Kalıtsal, ancak katkı maddesi olmayan özellikler bulmak zor değildir. İki basit örnek: \;\;\; (1) The graph is complete. \;\;\; …

12 cc.complexity-theory  graph-theory  graph-algorithms  np