«complexity-theory» etiketlenmiş sorular

Problem çözmenin (hesaplamalı) karmaşıklığı ile ilgili sorular

1
3SAT'tan Hamilton yolu sorununa kolay azaltma
Sipser'in "Hesaplama teorisine giriş", sayfa 286'da 3SAT'tan Hamilton yolu sorununa bir azalma var. Daha basit bir azalma var mı? Daha basit bir ifadeyle, (öğrenciler için) anlaşılması daha kolay bir indirgeme kastediyorum. Doğrusal sayıda değişken kullanan bir azalma var mı? Sipser'deki azalma, cümlelerinin sayısı ve değişkenlerin sayısı olduğu değişkenlerini kullanır . …
1
Bir sinir ağının VC boyutunu etkili bir şekilde hesaplamak veya yaklaşık olarak hesaplamak
Amacım, girdi ve çıktı ile tanımladığım aşağıdaki sorunu çözmek: Giriş: düğümleri, kaynakları ve lavabo ( ) ile yönlendirilmiş bir asiklik grafikG,G,Gmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Çıktı: VC-boyutu topolojisi ile sinir ağı için (ya da yaklaşık bir) .G,G,G Daha fazla özellik : her bir düğüm sigmoid bir …
1
Min. Kesim ağ akışından daha kolay olabilir mi?
Maksimum akışlı min-kesme teoremi sayesinde, bir -min-cut'u hesaplamak için bir ağ grafiğindeki maksimum akışı hesaplamak için herhangi bir algoritmayı kullanabileceğimizi biliyoruz . Bu nedenle, en az işlem karmaşıklığı maksimum işlem karmaşıklığını daha fazla kes Akışlı.( s , t ) ( s , t )(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) Daha az olabilir mi? Herhangi bir …
1
'Sıfır-bir' yapboz bulmacalar NP tam mı?
Hafif bir fayans çeşidi ile ilgileniyorum, 'yapboz' bulmacası: (kare) karonun her kenarı den bir sembolle etiketlenmiştir ve iki karo bitişik olarak yerleştirilebilir Bir döşemenin karşılıklı kenarındaki sembol k ve diğer döşemenin karşılıklı kenarındaki sembol ˉ k ise , bazıları k ∈ { 1 … n } için . Daha sonra, …
2
Herhangi bir NP-tam probleminden sınırlı PCP'ye polinom azalması
Her yerdeki ders kitapları, Sınırlı Posta Yazışma Sorununun NP-tamamlanmış olduğunu varsayar ( tekrarlarla fazla indekse izin verilmez). Bununla birlikte, hiçbir yerde başka bir NP-tam probleminden basit bir (olduğu gibi, bir lisans öğrencisinin anlayabileceği bir şey) polinom zamanı azalması gösterilmemiştir.NNN Ancak aklıma gelen her azalma çalışma zamanında üsteldir ( veya serinin …
1
Bu N'inci nüks nüksünün (in) izlenebilirliğinin kanıtlanması
Önceki sorumdan şu şekilde , eğlence matematiği olarak Riemann hipotezi ile oynuyorum . Bu süreçte oldukça ilginç bir tekrarlamaya geldim ve adı, indirimleri ve asal sayılar arasındaki boşluğun çözülebilirliğine yönelik izlenebilirliği merak ediyorum. Tersine, her asal sayı arasındaki boşluğu , önceki aday primerlerin tekrarı olarak tanımlayabiliriz . Örneğin, için bir …
4
X'teki bir sorunun X-Complete olmadığını gösterme
Reals Varoluşsal Teorisi olduğunu Pspace , ama olup olmadığını bilmiyorum Pspace Tamamlama . Durum böyle olmadığına inanırsam, bunu nasıl kanıtlayabilirim? Daha genel olarak, bazı karmaşıklık sınıfı X'da bir problem göz önüne alındığında , bunun X-Complete olmadığını nasıl gösterebilirim ? Örneğin, X, olabilir NP , Pspace , EXPTIME .
2
Büyük tam sayıları çarpanlara ayırmak neden zor olarak değerlendiriliyor?
En verimli bir algoritma faktörler hesaplayabilir bulunan bir yerde okumak zaman, ama yazdığı kod O ( n ) ya da Muhtemelen O ( n log n ) bölünme ve modülün ne kadar hızlı olduğuna bağlı olarak ... Bir yerde bir şeyleri yanlış anladığımdan eminim, ama nerede olduğundan emin değilim.O(exp((64/9⋅b)1/3⋅(logb)2/3)O(exp⁡((64/9⋅b)1/3⋅(log⁡b)2/3)O(\exp((64/9 \cdot …
5
NP-Complete DEĞİL bir problem nasıl kanıtlanır?
Bir sorunun NP-Complete olmadığını kanıtlamak için genel bir teknik var mı? Bu soruyu, bazı problemlerin (aşağıya bakınız) NP-Complete olup olmadığını göstermemi isteyen sınavda aldım. Gerçek bir çözüm düşünemedim ve bunun P'de olduğunu kanıtladım. Açıkçası bu gerçek bir cevap değil. NP-Complete, NP'de bulunan bir dizi problem olarak tanımlanır ve tüm NP …
3
Galois teoreminin karmaşıklık bakış açısı var mı?
Galois'in teoremi, katsayıların ve radikallerin rasyonel işlevlerini kullanarak derece = polinom derecesinin köklerini ifade edemediğini söyler - bu, polinom verildiğinde kökleri bulmak için deterministik bir algoritma olmadığı söylenemez mi? Şimdi, "Gerçek köklü bir polinom ve k sayısı verildiğinde, en azından k boşluğunda üçüncü ve dördüncü en yüksek kökü olduğu " …
1
Turing makinelerinin evrensel simülasyonu
Let fff sabit zaman constructable fonksiyon olsun. TM'ler için klasik evrensel simülasyon sonucu (Hennie ve Stearns, 1966), verilen iki bantlı TM olduğunu belirtir.UUU bir TM açıklaması ve⟨M⟩⟨M⟩\langle M \rangle bir giriş dizesi ,xxx adımları için çalışır ve üzerinde cevabını döndürür . Ve içinde herhangi bir fonksiyon olarak alınabilir .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) …
1
Asimptotik alt sınırlar kriptografi ile ilgili mi?
Üstel sertlik gibi asimptotik bir alt sınırın genellikle bir problemin "doğası gereği zor" olduğunu ima ettiği düşünülmektedir. "Doğası gereği zor" olan şifrelemenin güvenli olduğu düşünülmektedir. Bununla birlikte, asimptotik bir alt sınır, büyük ama sonlu bir sorunlu örnek sınıfının kolay olma olasılığını (örneğin, 10 1000'den küçük boyutlu tüm örnekler) dışlamaz.10100010100010^{1000} ) …
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.