«np-hardness» etiketlenmiş sorular

Let np anlamında olabildikleri bir (karar) sorunu ve # let X anlamında olabildikleri onun sayma versiyonunu.XXXXXX Hangi şartlar altında "X'in NP tamamlandı" olduğu biliniyor ⟹⟹\implies "#X # P tamamlandı"? Tabii ki cimri bir indirgemenin varlığı böyle bir durumdur, ancak bu açıktır ve bildiğim tek koşul budur. Nihai amaç hiçbir koşulun …

29 cc.complexity-theory  np-hardness  counting-complexity 

Orada iki soru ya ilişkin veya aşağıdaki soruya özel bir durum eşdeğer vardı cs.se son zamanlarda sordu: Eğer bir dizi olduğunu varsayalım a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_n ve nnn sayı olacağı şekilde ∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1). İki permütasyon, toplamı halinde ayrıştırmak ππ\pi ve bölgesinin böylece, .1 … n a i = …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Turing makinesi tarafından polinom zamanında ("verimli bir şekilde hesaplanabilir") verimli bir şekilde hesaplanabilen fonksiyonların, kabaca konuşulduğunda, (örneğin, [1] 'in Teoremleri 1’e bakınız) polinom sinir ağları tarafından ifade edilebileceğini biliyoruz. makul boyutlarda olan ve bu nedenle herhangi bir girdi dağılımında polinom örnek karmaşıklığıyla ("öğrenilebilir") öğrenilebilir. Burada "öğrenilebilir", hesaplama karmaşıklığından bağımsız olarak …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

Farklı örnekler arasındaki çoklu zaman azalmaları olarak morfizmle birlikte tüm NP-komple sorunların bir kategorisini düşünmek mantıklı mı? Hiç kimse bu konuda bir makale yayınladı mı ve eğer öyleyse nerede bulabilirim?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Bu makaleyi çok ilginç buldum . Özetlemek gerekirse: Uygulamada neden NP-tamamlanmış bir sorunun en kötü durumunu nadiren bulduğunuzu tartışır. Makaledeki fikir, her ikisinin de çözülmesi nispeten kolay olan örneklerin genellikle ya çok ya da çok kısıtlı olduğu. Daha sonra birkaç sorun için “kısıtlılık” ölçüsü önerir. Bu sorunların, 0 çözüm olasılığından% …

27 np-hardness  worst-case 

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Bir mmm ile nnn ikili matris MMM (girişler 000 ya da 111 ), problem iki ikili vektör olup olmadığını tespit etmektir, v1≠v2v1≠v2v_1 \ne v_2öyle ki Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 ( üzerinde gerçekleştirilen tüm işlemler ZZ\mathbb{Z}). Bu sorun NP zor mu? Tanık olarak iki vektör verebileceğinizden, açıkça NP’de. Eşdeğer: Verilen MMM , …

27 cc.complexity-theory  np-hardness  linear-algebra 

Bir süredir aşağıdaki problemi düşünüyordum ve bunun için bir polinom çözümü bulamadım. Sadece kaba-kırk. NP-Complete problemini de başarı ile azaltmaya çalışıyorum. İşte sorun : Bir var sıralı kümesi pozitif tamsayılar çiftlerinin. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} (Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(A_i, B_i) < (A_j, B_j) \Leftrightarrow A_i < A_j \lor (A_i = …

27 ds.algorithms  np-hardness  sorting 

Aşağıdaki sorun NP zor mu? Bir tahta konfigürasyonunu Verilen uluslararası taslaklar , tek bir tüzel hamleyi bulmak.n × nn×nn\times n Amerikan damaları için (yani İngilizce taslaklar) buna karşılık gelen problem polinom zamanında önemsiz bir şekilde çözülebilir. Bu iki oyun arasında üç ana fark var.n × nn×nn\times n İlk ve en …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Minimum set kapağı problemini aşağıdaki kısıtlamalarla düşünün : her set en fazla kkk elementi içerir ve evrenin her elementi en fazla fff setinde oluşur . Örnek: k = 4k=4k = 4 ve f= 2f=2f = 2 durumu, maksimum derece 4 olan grafiklerde minimum köşe örtüsü sorununa eşittir. Let a ( …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Herhangi İçin , bir dizi olduğunu söylemek ler tamsayılar içinde { 1 , ... , n } ise n -tamamlamak , eğer her permütasyon için p ait { 1 , ... , n } , pairwise farklı tamsayılar dizisi şeklinde yazılı p 1 , ... , p , n , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Aşağıdaki problemin karmaşıklığı incelenmiştir mi? Giriş : bir kübik (veya düzenli) grafik G = ( V , E ) , doğal bir üst sınır t333G = ( V, E)G=(V,E)G=(V,E)ttt Soru : içine bir bölümü var mı | E | / 3 boyutta parça 3 (nonnecessarily bağlı) karşılık gelen Alt Graflar …

25 graph-theory  np-hardness  co.combinatorics 

Aşağıdaki problemi göz önünde bulundurun: bir CNF formülü ve bu formüle uyan bir ödev verildiğinde, bu formül için tatmin edici başka bir ödev var mı? Bu sorunun karmaşıklığı nedir? (Kesinlikle elbette NP’de, ama aynı zamanda NP zor mu?) Peki size ödev verilmezse ve formülün benzersiz bir tatmin edici ödev olup …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Bunu kapsayan herhangi bir referans var mı?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Zengin bir literatür ve çoklayıcı bir hata bağlamında NP zorlu problemler için bilinen yaklaşık sonuç sonuçlarının sertliğini ortaya koyan çok iyi bir kitap vardır (örneğin, vertex kaplaması için 2-yaklaşım UGC'nin en iyi olduğu varsayımıdır). Bu aynı zamanda APX, PTAS ve benzeri gibi iyi anlaşılmış yaklaşım karmaşıklığı sınıflarını da içerir. Ek …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness