«cc.complexity-theory» etiketlenmiş sorular

Shiva Kintali sadece (! Serin) bir açıkladı neden olan genişliğinin sınırlı treewidth grafikler için grafik izomorfizm olan ⊕ L -Sert≥ 4≥4\geq 4⊕ L⊕L\oplus L . Gayriresmi olarak sorum şu, "Bu ne kadar zor?" Uniformiformly , bu sorunun cevabını bakın biliyoruz . Biz de olası olduğunu biliyoruz ⊕ L = P …

26 cc.complexity-theory  complexity-classes  logspace 

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 

Bir makinesi rastgele Boole fonksiyonu oracle erişim verilir f : { 0 , 1 } , n → { - 1 , 1 } ve iki Fourier spektrumları, g ve h .PHPHPHf:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \}ggghhh Bir fonksiyon Fourier spektrumları olarak tanımlanır F : { 0 , 1 } , …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

#P = FP'nin sonuçları hangisidir? Hem pratik hem de teorik sonuçlarla ilgileniyorum. Pratik açıdan, Yapay Zeka ile ilgili sonuçlara özellikle ilgi duyuyorum. Bildirilere veya kitaplara işaretçiler daha fazla açığız. Lütfen #P = FP'nin P = NP anlamına geldiğini söyleme, bunu zaten biliyorum. Ayrıca, “algoritma zaman içinde çalışırsa pratik sonuçların , …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Bir 3CNF formül için CCC izin M(C)M(C)M(C) için bir atama memnun maddeleri, maksimum sayıda olması CCC . Max-3SAT'ın yaklaşık olarak zor olduğu (P ≠ NP'ye tabi) olduğu, yani girişi bir 3CNF formül CCC olan ve çıktısının M′M′M' olan M(C)M(C)M(C) olduğu bir çoklu zaman algoritması olmadığı bilinmektedir. M> ' den çarpımsal …

26 cc.complexity-theory  sat 

İçinde herhangi bir doğal sorunları var mı değilsiniz (olduğu bilinen / olduğu düşünülen) ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Açıkçası, herkesin bildiği büyük olanı , faktoringin karar versiyonudur (n'nin en fazla k boyutunda bir faktörü yoktur), ama aslında .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Bu çok iyi bilinmektedir yönlendirilmiş St-bağlantı olup -Komple. Reingold atılım sonucu olduğunu gösterdi yönsüz st-bağlantı içindedir L . Düzlemsel yönelimli bağlantıların U L ∩ c o U L olduğu bilinmektedir . Cho ve Huynh parametreli bir sırt çantası problemini tanımladı ve L ve N L arasında bir problem hiyerarşisi sergiledi …

26 cc.complexity-theory  space-bounded 

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 

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 

Bir (tercihen doğal) NP bütünleşik bir dil var , öyle ki, her için n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tutar mı? Başka bir deyişle, L içeren tam yarım hepsinden n bitlik örnekleri.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

-SAT örneklerinin iyi bilinen bir özelliği, cümlelerinin sayısının değişken sayısı üzerine , yani " " oranına oranıdır . Her için için st \ eşik değeri vardır , çoğu örnek tatmin edicidir ve çoğu örnek tatmin edilemez. Sorunları için yapılan bir çok araştırma olmuştur ve yeterince küçük olan sorunlar için ,kkkmmmnnnρ=m/nρ=m/n\rho …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Karmaşıklık teorisindeki (standart) varsayımların diğer matematik alanlarındaki (yani teorik bilgisayar bilimi dışındaki) ilginç sonuçlarını biliyor musunuz? Cevapları tercih ederim nerede: karmaşıklık teorisi varsayımı mümkün olduğunca genel ve standarttır; Belirli sorunların sertliğinin sonuçlarıyla da iyiyim, ancak sorunların çok zor olduğuna inanılıyorsa (ya da en azından birkaç makalede daha fazla çalışılmışsa) iyi …

25 cc.complexity-theory  conditional-results 

Genel sayı alanlarındaki faktoring tam sayılarının hesaplamalı karmaşıklığı hakkında ne bilinmektedir? Daha spesifik olarak: Tamsayılar üzerinde tamsayıları ikili açılımları ile temsil ediyoruz. Tam sayıların genel sayı alanlarındaki analog gösterimi nedir? Sayı alanlarındaki önceliğin P veya BPP'de olduğu biliniyor mu? Sayı alanlarını çarpanlara ayırmak için en iyi bilinen algoritmalar hangileridir? ( …

25 cc.complexity-theory  nt.number-theory  comp-number-theory