«reference-request» etiketlenmiş sorular

Grafiklerin Kısa Temsil gösterimi üzerine bir araştırma Galperin ve Wigderson tarafından 1983 tarihli bir makalede başlamıştır, burada bir grafikte bir üçgen bulmak gibi birçok basit problem için, içindeki kısaltılmış versiyonun . Papadimitriou ve Yanakkakis, bu araştırma hattını daha da ileriye götürdü ve bir problem için olan / olan bir problem …

26 cc.complexity-theory  reference-request  complexity-classes 

En iyi yaklaşım ve sertlik sonuçlarıyla NP optimizasyon problemlerine adanmış herhangi bir güncel wiki biliyor musunuz? Geri bildirimlere dayanarak, böyle bir kaynak olmadığını varsaymanın güvenli olduğu görülmektedir (iki yakın seçenek için bu sorunun sonuna bakın). - 8 Şubat’ta eklendi. Son yirmi yılda ortaya konan çok sayıda sonuç ve sorun olduğu …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Boole formülü B'yi Horn cümlelerinin eşdeğer bir birleşimine çevirmek mümkün mü? HornSAT hakkındaki Wikipedia makalesi , bunun olduğu anlamına geliyor gibi görünüyor, ancak hiçbir referansı takip edemedim . "Polinom zamanında" değil, "hiç" anlamına gelmediğimi unutmayın.

26 reference-request  lo.logic  sat 

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 

Göre Hertog, doğrusal, ikinci ve konveks Programlama, 1994 İç Nokta Yaklaşımı den D , olan bir doğrusal programı değişkenleri, kısıtlamaları ve hassas içinde çözülebilir olduğu zaman. Bu iyileştirildi mi?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Knuth en hacmi III Bilgisayar Programlama Sanatı (3.2 ayet bölüm 5,) listeleme Aşağıdaki tablo içerir kesin karşılaştırmaların asgari sayısını seçmek için gerekli boyutta bir sıralanmamış kümesinden inci en küçük elemanı tümü için, . Bu tablo, iyi bilinen kapalı form ifadeleri ile birlikte ve , 1976’dan bu yana sanatın çoğunu temsil …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Tarafından sonuç Robertson ve Seymour bir gösterir sabit bir grafiktir olup olmadığını test etmek için bir algoritma G küçük bir olan , H . Bu konuda iki buçuk sorum var:O (n3)O(n3)O(n^3)G,G,G'H'HH 1) O zamandan beri bu algoritmada gelişmeler olduğu anlaşılıyor. Şu anda en iyi bilinen algoritma nedir? 2a) İnsanlar en …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Aşağıdaki sorunun karmaşıklığı hakkında bilinenler: Verilen: rasyonel sayılar x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Çıktı: tamsayılar y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Amaç: en aza indirgeyin ,∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), burada e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Yani, rasyonel sayıları tam sayılara …

25 ds.algorithms  reference-request  optimization 

Arora, Barak ve Steurer, Eşsiz Oyunlar ve İlgili Sorunlar İçin Eklemsel Algoritmalar'ın son sonuçlarının ışığında, ek süre zarfında algoritmaları olan ancak polinom olarak çözülemeyeceğine inanılan grafik problemleriyle ilgileniyorum. Ünlü bir örnek, çalışma zamanının subexponential algoritmasına sahip grafik izomorfizmidir . Başka bir örnek ise yarı polinom zamanında çözülebilen log-Clique problemidir ( …

25 cc.complexity-theory  reference-request 

Bunu kapsayan herhangi bir referans var mı?

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

Tabii ki, bazı karmaşıklık sonuçları tek diller için çökebilir, ancak bu durumda bilinen sonuçları özetleyen bir anket olup olmadığını merak ediyorum: tek diller için bir tür karmaşıklık hayvanat bahçesi. Böyle bir referansı biliyor musunuz?

25 cc.complexity-theory  reference-request  big-list 

Wang çini kullanan bir Berger sonucu, bir çini grubunun uçağı döşeyip kirleyemeyeceğini belirlemenin kararsız olduğunu biliyorum . Benim sorum, verilen tek bir kiremitin düzlem döşeyebilip döşenmeyeceğini , bir tek yüzlü döşemenin fayans olup olmadığını tespit etmenin kararsız olup olmadığıdır . Eğer bu kararsız kalırsa, kararsızlık kanıtı olan bir karo grubunun …

24 reference-request  co.combinatorics  decidability  undecidability 

EDIT (v2): Sonunda sorun hakkında bildiklerime bir bölüm ekledi. EDIT (v3): Sonunda eşik derecesinde tartışma eklendi. Soru Bu soru temel olarak referans isteğidir. Sorun hakkında fazla bir şey bilmiyorum. Bu konuda daha önce yapılmış bir çalışma olup olmadığını bilmek istiyorum ve eğer öyleyse, birisi beni bu sorun hakkında konuşan herhangi …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Düzenleme: İlk önce kısıtlamamı (2) yanlış biçimlendirdim, düzeltildi. Daha fazla bilgi ve örnekler de ekledim. Bazı meslektaşlarımızla, başka bir algoritmik soruyu inceleyerek, sorunumuzu aşağıdaki ilginç soruna indirgeydik, ancak karmaşıklığı sorununu çözemedik. Sorun şu şekilde. Örnek: bir tam sayı , bir tam sayı ve bir dizi ve grubundan çift .nnnk &lt; …

24 cc.complexity-theory  ds.algorithms  reference-request 

Kuantum hesaplaması için bir gürültü eşiğinin var olduğu, bu eşiğin altında hesaplamanın, sınırlanmış olasılıkla (çoğu polinom hesaplama hesaplama ekinde) doğru sonucu verecek şekilde kodlanabileceği iyi bir şekilde tespit edilmiştir. Bu eşik, kullanılan kodlamaya ve gürültünün kesin yapısına bağlıdır ve simülasyondan kaynaklanan, sıklıkla olumsuz gürültü modelleri için kanıtlanabileceklerden çok daha yüksek …

24 quantum-computing  reference-request  fault-tolerance