«cc.complexity-theory» etiketlenmiş sorular

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

1
Yaklaşım algoritmalarının düzgün analizi
Doğrusal programlama ve k-yolları gibi birçok problem için kesin algoritmaların çalışma zamanını anlamak için birçok kez düzgünleştirilmiş analiz uygulanmıştır. Bu alanda oldukça genel sonuçlar var, örneğin Heiko Röglin ve Berthold Vöcking, Tamsayılı programlamanın düzgünleştirilmiş analizi , 2005. Bu genel sonuçların bazıları, benzersiz bir optimum çözümle bir örnek üretmek için izolasyon …
1
İkili Sudoku bulmacası ne kadar zordur?
Sudoku, NP-tam olarak bilinen iyi bir bilmecedir. İkili Sudoku, sadece ve sayılarına izin veren bir varyanttır . Kurallar aşağıdaki gibidir.1000111 Her satır ve her sütun eşit sayıda sıfır ve bir sütun içermelidir. Her satır ve her sütun benzersizdir. Hiçbir satır veya sütun sıfır veya üç ardışık üçlü içermez ( ardışık …
1
Schaefer teoremi ve sınırsız genişlikteki CSP'ler
Schaefer'in ikilik teoremi, üzerindeki her CSP sorununun polinom zamanında çözülebildiğini veya NP-tamamlandığını göstermektedir. Bu, yalnızca SAT ve Horn-SAT hariç sınırlı genişlikteki CSP sorunları için geçerlidir. Sınırsız genişlikteki genel CSP sorunları çok zor olabilir (hatta hesaplanamaz), bu yüzden kendimizi "doğal" ve NP'de olan problemlerle sınırlayalım.{ 0 , 1 }{0,1}\{0,1\} Sınırsız genişlikte …
4
sınırlı dereceli grafiklerde kromatik sayıya yaklaşma sertliği
Sınırlı dereceye sahip grafiklerin vertex renklendirmesinde sertlik sonuçları arıyorum. Bir grafik verildiğinde, , olmadığı sürece, değerini bir faktörü içinde tahmin zor olduğunu biliyoruz. [ 1 ]. Peki ya maksimum derecesi ile sınırlanmışsa ? Bu durumda (bazı ) formunun sertlik oranları var mı?G(V,E)G(V,E)G(V,E)ϵ>0ϵ>0\epsilon>0χ(G)χ(G)\chi(G)|V|1−ϵ|V|1−ϵ|V|^{1-\epsilon}NP=ZPPNP=ZPP\textit{NP}=\textit{ZPP}GGGdddd1−ϵd1−ϵd^{1-\epsilon}ϵϵ\epsilon Daha kolay bir soru şudur: Kenar boyutları ile …
1
Optimal NP çözücüler
bir NP tam arama sorununu, örneğin SAT arama formunu düzeltin . Levin araması X'i çözmek için bir anlamda optimal olan bir algoritma L sağlar . Özellikle, algoritma " Bazı x P yanıtını doğru test edip yanıtlamadığını sorduktan sonra x girişindeki tüm olası P programlarını çalıştır ." X'i zaman karmaşıklığı ile …
1
Grafik İzomorfizmi (GI) problemine özdeş parçacıklar yaklaşımı üzerinde olumsuz sonuçlar
Sert çekirdekli bozonların kuantum rasgele yürüyüşünü (simetrik ancak çift doluluk yok) kullanarak grafik izomorfizm problemine saldırmak için bazı çabalar olmuştur. Umut verici görünen bitişiklik matrisinin simetrik gücünün, Amir Rahnamai Barghi ve Ilya Ponomarenko tarafından bu yazıda genel grafikler için eksik olduğu kanıtlandı . Diğer benzer yaklaşımlar da Jamie Smith tarafından …
2
Verimli evrensel problem çözücü?
Bir algoritma için bir "problem" tanımlama doğal sayı kabul ve geri dönen, 0 ya da döner 1 1 , en az biri üzerinde , n ∈ N . Böyle bir n'ye A'nın "çözümü" denir.birAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Bir problemi kabul eden ve çözümlerinden birini döndüren bir algoritması olarak bir "evrensel problem …
1
Üstel hızlanan kuantum algoritmaları span programları kullanılarak yeniden oluşturulabilir mi?
Genel düşmanın alt sınırının artık Reichardt ve ark.'nın atılım çalışmaları nedeniyle kuantum sorgu karmaşıklığını karakterize ettiği bilinmektedir. Aynı çalışma hattı, kuantum algoritmalarını tasarlamak için yayılma programı çerçevesine bağlantılar da kurar. Simon algoritması ve Shor'un dönem bulma algoritması gibi üstel hızlananlar da dahil olmak üzere birçok ilginç kuantum algoritması, kuantum sorgu …
2
Levenshtein düzenleme mesafesi için optimum dize hizalamasını hesaplamak için alan karmaşıklığı
ve boyutunda iki dize , standart Levenshtein düzenleme mesafesi hesaplaması, zaman karmaşıklığı ve boşluk karmaşıklığı olan dinamik bir algoritma ile . (Düzenleme mesafesinin bir fonksiyonu olarak bazı iyileştirmeler yapılabilir , ancak nin özellikle küçük olduğu konusunda herhangi bir varsayımımız yoktur .) Yalnızca düzenleme mesafesinin değeri ile ilgileniyorsanız (yani, minimum düzenleme …
2
Çok kutuplu otomata, bağlama duyarlı tüm belirleyici dillere karar verebilir mi?
Bir MPA (multipebble otomat) bir 2DFA aslında en fazla çakıl (keyfi numarasını kullanabilirsiniz (iki yönlü deterministik sonlu durum makinesi) 'dir belirli bir girdinin üzerine çakıl giriş iki ucu arasındaki bantta yazılır - - ). Hesaplama sırasında, bir MPA kafanın altındaki sembolün bir çakıl taşı olup olmadığını tespit edebilir ve daha …
3
P / BPP'ye benzer AM / MA ve NP
Arora ve Barak, B P ⋅ N P olarak ifade edilebildiğini, yani 3SAT'a rastgele indirgeme yapan dil kümesini gösterir. M bir de doğal bir randomize bir genellemedir N , P , bir randomize bir deterministik verifier yerine olmasıyla.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Bunlardan birinin "NP olduğu gibi P, BPP'ye ne kadar yakın" olduğu …
3
Bir dilin sonlu görünümünü karşılayan minimal DFA
Diyelim ki bir dil , ancak hangi dizelerin aslında dilin bir parçası olduğunu bilmez. Hepsini bir dil sonlu bir görünüşüdür: dizeleri sonlu grubu dilde olduğu bilinmektedir, ve şeritler bir sonlu grubu bilinmektedir dilde olmamak.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) Örneğin, Diyelim ki ve . dilinde , çünkü …
2
Eşiklik sorularının sonluluk sorularına indirgenmesi
Sınırlamanın "polinom zaman cinsinden hesaplanabilir" gibi bir eşik yerine hesaplamanın sonluluğu olduğu kalkülüs hakkında akıl yürütmek genellikle daha kolaydır. Örgün diller teorisinde örneğin kullanmak yerine . x n + 1 = x n∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n , aperiodik monoidi karakterize etmek için, sonsuz kelimeler kullanmak daha kolaydır xω+1=xωxω+1=xωx^{\omega+1} = …
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.