«cc.complexity-theory» etiketlenmiş sorular

NP = ko-NP ve polinom in bir 3-CNF örneği için tatmin edilemezlik kanıtının uzunluğunu sınırladığını varsayın . Öyleyse uzunluğunda için herhangi bir tatminsizlik kanıtının ne tür bir sonuç alabileceği konusunda herhangi bir sonuç var mı? Genel olarak, böyle bir kanıtın örneğin, sonsuz yapılar üzerinde ikinci dereceden mantığın tüm gücünü kullanması …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Belirli bir grafik , Ayırıcı Sorunu, kaldırma bölümleri yaklaşık olarak eşit boyutlarda iki ayrık grafik halinde olan küçük bir kardinalite (veya ağırlık) tepe veya kenar kümesinin var olup olmadığını sorar . Bu, kaldırılan küme bir tepe kümesi olduğunda Köşe Ayırıcı Sorunu ve kenar kümesi olduğunda Kenar Ayırıcı Sorunu olarak adlandırılır. …

11 cc.complexity-theory  approximation-hardness 

Bir EE öğrencisiyken, kaç tane iç içe döngüye sahip oldukları açısından, boole devrelerinin güzel bir karakterizasyonunu sunan bazı derslere katıldım. Karmaşıklıkta, boole devreleri genellikle veri olarak düşünülür, ancak gerçek donanım döngülerinde yaygındır. Şimdi, bir ilmeğin ne olduğu ve iç içe bir ilmeği neyin oluşturduğu ile ilgili bazı tekniklerin modülo olduğu …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Omer Reingold'un yönlendirilmemiş st-bağlantı log-space algoritmasının tam zaman karmaşıklığı nedir ?

11 cc.complexity-theory  randomness 

Herhangi bir basit yönlendirilmemiş G grafiği göz önüne alındığında, G'nin önemsiz (kimlik dışı) otomorfizmlere sahip olup olmadığını belirlemek önemsizdir. Peki, bu karar sorununun üst / alt sınırları üzerindeki sonuçlar nelerdir?

11 cc.complexity-theory  graph-isomorphism  automorphism 

NP tanımında iki varyasyon vardır. Onlar (neredeyse kesinlikle) farklı karmaşıklık sınıfları tanımlarlar, ama sorum şu: bu sınıflara uyan sorunların doğal örnekleri var mı? (Burada doğal olarak kabul edilenler için eşiğim normalden biraz daha düşük.) Sınıf 1 (NP'nin bir süper sınıfı): Süperpolinom ancak doğrulamak için alt-üst zaman alan polinom büyüklüğündeki tanıklarla …

11 cc.complexity-theory  complexity-classes  np 

, Cohen / Baire kategorisi anlamında genel bir kehanet olsun . Let rastgele bir torpil olabilir.RGGGRRR Orada karmaşıklık sınıfı A ve B istiyorsunuz veya , A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Soru, Scott Aaronson'un yorumundan ilham aldı .

11 cc.complexity-theory  complexity-classes 

N-kraliçesi sorunu şudur: Giriş: N Çıktı: NXN satranç tahtasına N "kraliçelerinin" yerleştirilmesi, aynı satırda, sütunda veya köşegende iki kraliçenin bulunmaması. Bu konuda bir google araması yaparak, birçok profesörün birçok slaytının bunun bir NP-Zor problemi olduğunu iddia ettim. (Örn. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Ancak bir kanıt bulamadım (veya bir kanıt elde ettim). Bu soruyu …

11 cc.complexity-theory  np-hardness  csp 

Çiftler veya nöron grupları arasındaki karşılıklı bilgileri ölçen hesaplamalı bir sinirbilim laboratuvarında çalışıyorum. Son zamanlarda, patron "nöral dinamiklerin karmaşıklığını" ölçmeye odaklandı. Bu araştırma çizgisini takip ederken, grubumdaki bazı insanlar "karmaşık" ile "yüksek bir entropiye sahip" ile eşit görünüyorlar. Herhangi biri bana bilgi teorisi anlamında hesaplama karmaşıklığı (CS anlamda) ve entropi …

11 cc.complexity-theory  it.information-theory 

Bu soru teknik olmayabilir. Algoritma sınıf için yerli olmayan konuşmacı ve TA gibi, ben her zaman merak gadget 'tümcesi gadget' veya 'değişken gadget' in aracı. Sözlük, bir gadget'ın bir makine veya bir cihaz olduğunu söylüyor, ancak NP-tam kanıtı bağlamında hangi konuşma dilinin anlamına sahip olduğundan emin değilim.

11 cc.complexity-theory  np-hardness  terminology  reductions 

CNF formülünün monoton olduğu bir SAT varyasyonu ile ilgileniyorum (değişken yok sayılmaz). Böyle bir formül açık bir şekilde tatmin edilebilir. Ancak gerçek değişkenlerin sayısının, çözümümüzün ne kadar iyi olduğunun bir ölçüsü olduğunu varsayalım. Yani şu problemimiz var: MİNİMUM DOĞRU MONOTON 3SAT INSTANCE: Değişkenlerin U kümesini, bir değişmez değişkenin değişmediği (olumsuzlanmayan) …

11 cc.complexity-theory  np-hardness  sat 

Ortalama vaka karmaşıklığı en kötü vaka karmaşıklığı ile aynı olan problemler var mı? En kötü durumu ortalama duruma indirmeyi mümkün kılan bu sorunların altında yatan özellikler nelerdir?

11 cc.complexity-theory  reductions  average-case-complexity 

Birebir indirimler ve Turing indirimleri ile tanımlanan NPC sınıflarının eşit olup olmadığını merak ediyorum. Düzenleme: Başka bir soru, Turing indirimler sadece bazı C için C ve co-C sınıflarını daraltma veya Karp azaltma altında ve Turing azaltma altında olan bir sorun var gibi bir sınıfı var mı ?CCCC∪ c o - …

11 cc.complexity-theory  np-hardness  reductions 

İki renkli mükemmel eşleme problemi, bir grafiğin iki renkle renklendirilip renklendirilmemesine karar vermektir, böylece her düğüm kendisiyle aynı renkte bir komşuya sahip olur. Sorunun Schaefer tarafından NP-tamamlanmış olduğu kanıtlandı . Düzlemsel kübik grafikler için bile NP-tam kalır. Girdi grafiğinin iki renkle renklendirilip renklendirilemeyeceğine karar vermek istediğimiz bir varyantla ilgileniyorum, her …

10 cc.complexity-theory  np-hardness 

Alttan biliyoruz Çözemediğimiz içinde -sum , herhangi bir fonksiyon altında zaman (genellikle ).ET'HET'HETHKKKf( K) p o l y( n K)f(K)pÖly(nK)f(K)poly(nK)f(K)f(K)f(K)2O ( K)2Ö(K)2^{O(K)} karmaşıklığını engelleyen herhangi bir varsayım var mı (bu, gibi tamamen alt küme toplamı için üstel zamana ihtiyacımız olan olasılıkla tutarlıdır ) veya böyle bir olasılığa izin veriliyor mu?( …

10 cc.complexity-theory  subset-sum