«complexity-theory» etiketlenmiş sorular

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

1
Kombinatoryal ILP algoritması için bilinen en hızlı karmaşıklık?
Merak ediyorum, Tamsayı Doğrusal Programlama'yı çözmek için Big- gösterimi açısından en iyi bilinen algoritma nedir?ÖOO Sorunun olduğunu biliyorum , bu yüzden polinom bir şey beklemiyorum. CPLEX gibi pratik uygulamalarda kullanılan birçok buluşsal yöntem ve bunun olduğunu biliyorum, ancak daha kesin bir algoritmanın resmi, en kötü durum karmaşıklığıyla ilgileniyorum.N-PNPNP Bazı -Komple …
1
Karp-Lipton teoreminin kanıtı
"Hesaplamalı Karmaşıklık: Modern bir yaklaşım" (2009) kitabında belirtildiği gibi Karp-Lipton teoreminin kanıtını anlamaya çalışıyorum. Özellikle, bu kitap aşağıdakileri belirtir: Karp-Lipton teoremi Eğer NP , daha sonra pH .P ∖ p o l y = Σ p 2⊆⊆\subseteq P∖ p o l yP∖polyP_{\backslash poly} = Σp2=Σ2p= \Sigma^p_2 Korumalı: teoreminin 5.4 ile …
2
İfade denkliği için etkili bir algoritma var mı?
örneğin ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) İfadeler sıradan lise cebirindendir, ancak ters, çıkarma veya bölme olmadan aritmetik toplama ve çarpma (örn. ) ile sınırlıdır . Harfler değişkenlerdir.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Eğer yardımcı olursa, dışındaki sayısal değerlerle temsil edilen herhangi bir ifadeyi yasaklayabiliriz ; yani x 2 veya 3 x veya 4 değil :111x2x2x^23x3x3x444 çok hatlı , …
2
Reel sayılarla belirlenmiş karmaşıklık sınıfları var mı?
Bir öğrenci kısa süre önce benden onlar için bir NP sertlik kanıtı kontrol etmemi istedi. Şunlar boyunca bir azalma gerçekleştirdiler: Bu sorun azaltmak NP-tam benim problem için olduğu bilinir böylece (a poli-zamanlı birçok kimse azalma ile birlikte) NP-zor. P PP'P′P'PPPPPP Cevabım temel olarak: Yana değerlerle örneği var Eğer azalma atlamak …
6
Bir aralıkta iki sayının maksimum XOR değerini bulma: ikinci dereceden daha iyisini yapabilir miyiz?
İki ve sayısı verildiğini ve l \ le i, \, j \ le r için bulmak istediğimizi varsayalım .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Saf algoritma tüm olası çiftleri kontrol eder; örneğin yakutta: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max …
3
Yavru Kedi Evlat Edinme Probleminin Karmaşıklığı
Bu, Kablolama Uzunluğu Minimizasyonu hakkındaki bu soruya cevap vermeye çalışırken ortaya çıktı . Ben buna "çok eşli evlilik" problemi diyecektim, ama internet, yavru kediler. Yaşasın! Elimizdeki varsayalım tarafından kabul edilmesi gerekmektedir yavru kedi insanlar, . Her yavru kedi, ve her bir kişi için bir maliyet . Tüm yavru köpekleri benimsemenin …
1
Önemsiz olan herhangi bir şey için çalışma zamanı sınırları kararlaştırılabilir mi?
Sorun Giriş uzunluğu ile ilgili olarak çalışma zamanını bilen bir Turing makinesi verildiğinde , nin çalışma zamanı midir?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Yukarıdaki problem bazı önemsiz ve çiftleri için karar verilebilir mi? ise bir çözüm önemsizdir .gggfffg(n)∈O(f(n))g(n)∈O(f(n))g(n) \in O(f(n)) Bu sorunla ilgilidir P çalışma zamanı sınırları karar verilebilir mi? (cevap: hayır) . …
2
Paralel hesaplama ve NC sınıfı hakkında bazı sorular
Bu iki konuyla ilgili birkaç sorum var. İlk olarak, çoğu karmaşıklığı metinleri yalnızca sınıf geçiştirmeye . Araştırmayı daha derinlemesine kapsayan iyi bir kaynak var mı? Örneğin, aşağıdaki tüm sorularımı tartışan bir şey. Ayrıca, N C'nin paralelleşme bağlantısı nedeniyle hala oldukça fazla araştırma gördüğünü varsayıyorum , ancak yanlış olabilirim. Karmaşık hayvanat …
2
Eksik eleman problemi için zaman uzayı dengesi
İşte iyi bilinen bir sorun. Pozitif tamsayıların dizisi verildiğinde, dizide A[1…n]A[1…n]A[1\dots n]olmayan en küçük pozitif tamsayıyı çıktılar. Sorun O(n)O(n)O(n) uzayda ve zamanda çözülebilir : diziyi okuyun, 1 , 2 , … , n + 1'in meydana gelip gelmediğini O(n)O(n)O(n) uzayda takip edin, en küçük elemanı tarayın.1,2,…,n+11,2,…,n+11,2,\dots,n+1 Zaman için yer ticareti …
2
Her NP sorununun poli boyutlu bir ILP formülasyonu var mı?
Tamsayı Doğrusal Programlama NP-tam olduğundan, NP'deki herhangi bir problemden Karp azalması vardır. Bunun NP'deki herhangi bir problem için her zaman polinom boyutlu bir ILP formülasyonu olduğunu ima ettiğini düşündüm. Ama insanların "bu ilk çok boyutlu formülasyon" veya "bilinen çok boyutlu bir formülasyon yok" gibi şeyler yazdığı belirli NP problemleri hakkında …
1
Doğrudan indirgeme
Biliyoruz ki olduğu tarafından Immerman-Szelepcsenyi teoremi teoremi ve beri olan bu nedenle , indirgenebilen bir-bir günlük alanıdır . Ancak, Turing makinelerinin içindeki konfigürasyon grafiğinden geçmeyen doğrudan / kombinatoryal bir azalma var mı?N L s t - c o n n e c t i v i t y N L …
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.