«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

3
Süper Sicimi Tam Olarak Çözme
En kısa süper sicim sorununun karmaşıklığı hakkında bilinenler nelerdir? daha hızlı çözülebilir O∗(2n)O∗(2n)O^*(2^n)mi? TSP'ye indirgenmeden en kısa süper sicimi çözen bilinen algoritmalar var mı? UPD: polinom faktörlerini bastırır.O∗(⋅)O∗(⋅)O^*(\cdot) En kısa superstring problemi, cevabı belirli bir dizeden her dizeyi içeren en kısa dize olan bir sorundur. Soru, ünlü NP-hard problemi Shortest …
2
XORifikasyonun Kullanım Alanları
XORification her değişken değiştirerek bir Boole fonksiyonu ya da formül zorlaştırmaya tekniktir ve XOR ile k ≥ 2 farklı değişkenler X 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Bu tekniğin kanıt karmaşıklığı içindeki kullanımlarının farkındayım, özellikle çözünürlük tabanlı kanıtlama sistemleri için alandan daha düşük …
1
dönüştürmenin en etkili yolu
EDIT (22 Ağu 2011): Soruyu daha da basitleştiriyorum ve soruya bir lütuf katıyorum. Belki de bu daha basit sorunun cevabı kolay olacaktır. Ayrıca orijinal sorunun artık geçerli olmayan tüm kısımlarına da değineceğim. (Orijinal soruyu kısmen cevapladıkları için Stasys Jukna ve Ryan O'Donnell'e teşekkürler!) Arka fon: AC verilen 0 derinliği k …
3
Zaman ve sorgu karmaşıklığı arasında takas
Zaman karmaşıklığı veya devre alt sınırları ile doğrudan çalışmak korkutucu. Bu nedenle, alt sınırların üstesinden gelmek için sorgu karmaşıklığı (veya karar ağacı karmaşıklığı) gibi araçlar geliştiriyoruz. Her sorgu en az bir birim adım attığından ve sorgular arasındaki hesaplamalar serbest olarak sayıldığından, zaman karmaşıklığı en azından sorgu karmaşıklığı kadar yüksektir. Ancak, …
4
Test hataların olmadığını gösterebilir mi?
(n+1)(n+1)(n + 1) noktaları benzersiz bir derece polinom belirlemek için gereklidir ; örneğin, bir düzlemdeki iki nokta tam olarak bir çizgiyi belirler.nnn Kaç puan hesaplanabilir bir fonksiyon belirlemek benzersiz gerekmektedir bir programın uzunluğu göz önüne alındığında, bu değerlerini hesaplar sabit dilde? (yani Kolmogorov karmaşıklığına bağlı ).f ff:N→Nf:N→Nf : N \rightarrow …
4
Doğrudan SAT-3-SAT azaltma
Burada amaç, en az sayıda cümle ve değişken kullanarak polinom zamanda keyfi bir SAT problemini 3-SAT'a indirmektir. Benim sorum meraktan kaynaklanıyor. Daha az resmi olarak şunu bilmek isterim: "SAT'dan 3-SAT'a 'en doğal' azalma nedir?" Şimdi her zaman ders kitaplarında gördüğüm azalma şöyle olur: Öncelikle SAT örneğinizi alın ve SAT devresini …
5
P = NP neden P = AP (yani P = PSPACE) anlamına gelmiyor?
Şu iyi bilinmektedir ki eğer P=NPP=NP\mathbf{P}=\mathbf{NP} sonra polinom hiyerarşi çöker ve P=PHP=PH\mathbf{P}=\mathbf{PH} . Bu, oracle makineleri kullanılarak endüktif olarak kolayca anlaşılabilir. Soru - neden endüktif sürece sürekli bir değişim seviyesinin ötesinde devam edemiyoruz ve P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (aka AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} ) ispatlayamıyoruz ? Sezgisel bir cevap arıyorum.
2
PH için bir Zaman Hiyerarşisi teoremi var mı?
O zaman içinde polinom hiyerarşi çözülebilir içinde sorunlar olduğunu doğru mudur içinde çözülebilir değildir (polinom hiyerarşinin bazı düzeyde makineyi Turing ardışımı ile) O ( n k - 1 ) herhangi seviyesindeki polinom hiyerarşisi? Başka bir deyişle - polinom hiyerarşisi için P ve NP'de olduğu gibi bir zaman hiyerarşisi teoremi var …
4
Karmaşıklık Teorisi Uygulamaları
Karmaşıklık teorisi, bazı problemlerin diğerlerinden daha zor olduğu sezgisel fikrini resmileştirdiği için evrenin yapısı hakkında temel bir şeyi ele alıyor gibi görünmektedir. Scott Aaronson tahmin "NP Sertlik Varsayım sonunda Termodinamik veya süperlüminal sinyal imkansızlığı İkinci Kanunu benzer olarak görülecektir." Sözde "zor problemler" modern kriptografinin temelidir. Herhangi var mıdır başka , …
4
P = BQP ise, bu PSPACE (= IP) = AM anlamına mı geliyor?
Son zamanlarda Watrous ve arkadaşları QIP (3) = PSPACE'in dikkate değer bir sonuç olduğunu kanıtladı. Bu, en azını söylemek benim için şaşırtıcı bir sonuçtu ve beni düşünmeye itti ... Quantum Bilgisayarların Klasik Bilgisayarlar tarafından verimli bir şekilde simüle edilebileceğini merak ettim. Bu, IP ve AM arasındaki Bölme ile ilgili SADECE …
1
Hakim küme problemi maksimum NP 3 tam düzlemsel bipartit grafiklerle mi sınırlı?
Herkes DOMINATING SET problemi için maksimum derece 3 düzlemsel iki taraflı grafik sınıfıyla sınırlı NP tamlık sonucunu biliyor mu? Maksimum derece düzlemsel grafiklerin sınıfı için NP-tamamlanmış olduğunu biliyorum (bkz. Garey ve Johnson kitabı) ve maksimum derece 3'lük iki taraflı grafikler (bkz. M. Chlebík ve J. Chlebíková, " sınırlı dereceli grafiklerde …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.