«exp-time-algorithms» etiketlenmiş sorular

Metrik TSP'nin içinde yaklaştırabildiği ve polinom zamanında den daha iyi olamayacağı bilinmektedir . Üstel bir zamanda yaklaşık çözüm bulma konusunda bilinen herhangi bir şey var mı (örneğin, yalnızca polinom alanı olan adımdan az )? Örneğin, hangi zaman ve mekanda OPT'nin mesafesi daha fazla olan bir tur bulabiliriz ?1231.51.51.5 2, n1.1xOPT123122123122123\over …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Bir grafiktir -choosable (aynı zamanda -Tedarikçilerin listesi-renklendirilebilir her fonksiyonu için, eğer varsa) kümelerine köşe haritalar renk, bir renk atama olduğunu gibi tüm noktalar için, bu , de ve öyle ki, tüm kenarlar için , .kkkkkkfffkkkcccvvvc(v)∈f(v)c(v)∈f(v)c(v)\in f(v)vwvwvwc(v)≠c(w)c(v)≠c(w)c(v)\ne c(w) Şimdi bir grafiğinin seçilebilir olmadığını varsayalım. Yani, köşelerden geçerli renk ataması olmayan renklerin …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

Klasik algoritmalar 3- sürede (randomize) veya 1.3303 n zamanında (deterministik) çözebilir . (Referans: SAT Üzerindeki En İyi Üst Sınırlar )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Karşılaştırma için, Grover'in algoritmasını kuantum bilgisayarlarda kullanmak , randomize olarak bir çözüm arayacak ve sunacaktı . (Bu hala ne kadar çözüm olabileceği veya olamayacağı konusunda biraz bilgi gerektirebilir, bu sınırların …

29 quantum-computing  sat  exp-time-algorithms 

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 …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Aşağıdaki karar problemini düşünün Girdi : Bir monoton CNF ve bir monoton DNF .ΦΦ\PhiΨΨ\Psi Soru : bir totoloji midir?Φ→ΨΦ→Ψ\Phi \to \Psi Kesinlikle bu sorunu -zamanında çözebilirsiniz , burada değişken sayısı ve giriş uzunluğudur. Öte yandan, bu sorun coNP-complete'tur. Ayrıca, coNP-tamlığı sağlayan bir azalma da SETH başarısız olmadığı sürece bu problem …

14 exp-time-algorithms  boolean-formulas  fine-grained 

Bu soru, kutu kısıtlamaları (kutu-QP) ile ikinci dereceden programlama problemleri, yani formun optimizasyon problemleri ile ilgilidir. en aza indirmek tabi .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Eğer yarı-tanımlı olumlu oldu, sonra her şey kolay güzel ve dışbükey ve olurdu ve biz polinom zamanda bu sorunu çözebilirdi.AAA …

13 ds.algorithms  optimization  exp-time-algorithms 

Pratik bir problem boyutu için , üstel bir algoritmanın en iyi bilinen polinom zaman muadilinden çok daha hızlı çalıştığı herhangi bir problemi (tercihen en azından biraz iyi bilinir) biliyor musunuz? Örneğin, bir sorunun pratik boyutu * ve bilinen iki algoritma olduğunu varsayalım : Biri ve diğeri , bazı sabit . …

13 time-complexity  polynomial-time  exp-time-algorithms 

mümkün müdür ? Bu tür muhafazanın ilginç sonuçları var mı? Üstel Zaman Hipoteziyle çelişir mi?SA T¯¯¯¯¯¯¯¯¯¯∈ NTbenME( exp( n0.9) )SbirT¯∈N-TbenME(tecrübe⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Impagliazzo, Paturi ve Calabro, Impagliazzo, Paturi Üstel Zaman Hipotezi (ETH) ve Güçlü Üstel Zaman Hipotezi'ni (SETH) tanıttı. Kabaca SETH, SAT zamanını çözen bir algoritma olmadığını söylüyor . 1.99n1.99n1.99^n Bunun SETH'ı kırmak için ne anlama geleceğini merak ediyordum. Kesinlikle SAT'ı az adımda çözen bir algoritma bulmamız gerekiyor , ancak hangi hesaplama …

11 cc.complexity-theory  sat  exp-time-algorithms 

Bir sorun olması mu EXP-zaman tam olduğunu ima bir değil D , T I M E ( 2 O ( n ) ) ?birAAbirAADTbenME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Zaman hiyerarşi teoremiyle, E = D T I M E ( 2 O ( n ) ) içine dahil edilmediğinin farkındayım . …

10 exp-time-algorithms  complexity 

Eleman sayısı bazı fonksiyonlarla (örn. ) sınırlandırılırsa Set Cover probleminin ne kadar zor olduğu, burada n problem örneğinin boyutudur. Resmi olaraklognlog⁡n\log nnnn Let ve F = { S 1 , ⋯ , S , n } S i ⊆ U ve m = O ( log n ) . Aşağıdaki …

10 np-hardness  set-cover  exp-time-algorithms 

Naif algoritmayı yenen aşağıdaki sorun için bilinen algoritmalar var mı? Girdi: bir sistem olup ve m eşitsizlikler lineer.Ax≤bAx≤bAx \le bmmm Çıkış: bir olası çözüm eğer varsa.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n ve b'nin tamsayı girişleri olduğunu varsayın . En kötü sınırlarla ilgileniyorum.AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms 

Fix . Yeterince büyük , boyutundaki tüm alt kümeleri tam olarak den pozitif tamsayılarla etiketlemek istiyoruz . Bu etiketlemenin aşağıdaki özelliği karşılamasını istiyoruz: bir dizi tamsayı var, stk≥5k≥5k\ge5nnn{1..n}{1..n}\{1..n\}n/kn/kn/k{1...T}{1...T}\{1...T\}SSS Eğerkkk boyutu alt kümeleri n/kn/kn/k değil kesiştiği yapmak (yani bu setleri birliği tüm set oluşturan {1..n}{1..n}\{1..n\} ), sonra etiketlerine toplamı ise SSS …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Naif algoritmayı yenen aşağıdaki sorun için bilinen algoritmalar var mı? Giriş: matris AAA ve vektörler b,cb,cb,c, burada tüm girişler A,b,cA,b,cA,b,c negatif olmayan tamsayılardır. Çıktı: optimum çözüm x∗x∗x^* için max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \}. Bu soru, önceki sorumun rafine bir sürümüdür 0-1 programlama …

9 np-hardness  integer-programming  exp-time-algorithms 

Michael Held ve Richard M. Karp tarafından " Sıralama Sorunlarına Dinamik Programlama Yaklaşımı " konusuna baktığımda , şu soruyu buldum: TSP için algoritmalarının karmaşıklığı neden (s. 199), yani faktörünü nereden alıyorlar ? Doğru anladıysam , her bir şehir alt kümesi için toplama sayısı anlamına gelir. O zaman neden her ekleme …

9 ds.algorithms  tsp  exp-time-algorithms