«approximation-algorithms» etiketlenmiş sorular

Tek boyutlu gezici satış elemanı yolu problemi açıkçası, sıralama ile aynı şeydir ve bu nedenle tam olarak O(nlogn)O(n\log n) zamandaki karşılaştırmalar ile çözülebilir , ancak kesin çözümün yanı sıra yaklaşık bir yaklaşımla da formüle edilir. mantıklı. Girişlerin gerçek sayılar olduğu bir hesaplama modelinde ve tam sayılara yuvarlama yapmak mümkündür;1+O(n−c)1+O(n^{-c})ccO(n)O(n)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}orijinal değerinden …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Son zamanlarda NP zor problemler için yaklaşıklık algoritmaları aramaya başladım ve onları incelemenin teorik nedenlerini merak ediyordum . (Soru iltihaplı değildir - sadece merak ediyorum). Bazı gerçekten güzel teori, yaklaşım algoritmaları - PCP teoremi ve yaklaşımın sertliği, UGC varsayımı, Goeman-Williamson yaklaşım algoritması, vb. Gezgin Satıcı, Asimetrik Gezgin Satıcı ve diğer …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Somutluk için LP'yi, her oyuncunun aksiyonu olan iki oyunculu sıfır toplamlı bir oyunu çözmek için düşünün . Getiri matrisi A'nın her girişinin mutlak değerde en fazla 1 olduğunu varsayalım . Basitlik için, hiç bir uzlaşma varsayımı yapmayalım.nnnbirAA Bu oyunun değerine yaklaşık olarak ulaşmak için çalışma zamanı olduğunu varsayalım .TTT Bu …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Bir minimizasyon problemi için bir yaklaştırma algoritması göz önüne aldığımızda, bu problem için bir IP formülasyonunun bütünlük boşluğu, belirli algoritma sınıfı (yuvarlama veya primal-dual algoritma gibi) için bir yaklaştırma oranının alt sınırını verir. Aslında, en iyi yaklaşım oranı integralite boşluğuna uyan birçok problem vardır. Bazı algoritma, bazı problemler için integralite …

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

I Başlangıç tepe verilen bir yönlendirilmiş grafikte basit yolların sayısı yaklaştırmak için bazı iyi polinom zaman algoritmanın var olduğunu söylendi verilen son tepe . Bu konuda iyi bir referans bilen var mı?sssttt Arka plan: genel bir grafikte tam yol sayısını saymak # P-tamamlandı ancak problem için polinom zaman yaklaşımları olabilir. …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Burada düşündüğümüz sorun, iyi bilinen aralık renklendirme sorununun uzantısıdır. Aralıklar yerine, eksenlere paralel kenarları olan dikdörtgenleri dikkate alıyoruz. Amaç, üst üste gelen iki dikdörtgene farklı renkler atanacak şekilde dikdörtgenleri minimum sayıda renk kullanarak renklendirmektir. Bu sorunun NP-zor olduğu bilinmektedir. Xin Han, Kazuo Iwama, Rolf Klein ve Andrezej Lingas (Kutu Grafiklerinde …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Bir dizi nxn permütasyon matrisi (bu n! Olası permütasyon matrisinin sadece küçük bir kısmıdır) göz önüne alındığında, T matrislerinin eklenmesinin her pozisyonda en az 1 olması için S'nin minimal boyutlu alt kümelerini nasıl bulabiliriz? S'nin S_n'nin küçük bir alt grubu olduğu bu soruna ilgi duyuyorum. Açgözlü algoritmalardan çok daha hızlı …

17 ds.algorithms  approximation-algorithms  set-cover  permutations 

Alt doğrusal zaman (girdi boyutunda) algoritmalarının var olduğu problemlerin spesifik özelliklere sahip olarak karakterize edilip edilemeyeceğini merak ediyordum. Bu, alt doğrusal zamanı (örneğin özellik testi, karar problemleri için alternatif bir yaklaşım kavramı), alt doğrusal alanı (örn. Turing makinesinin salt okunur bir bant, alt doğrusal bir çalışma alanı ve salt yazılabilir …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Yaklaşıklık oranının ( MIN hedefleri ile ilgili problemler için ), A - bazı algoritma A ve OPT tarafından döndürülen değer - optimum değer olduğu standart bir yaklaşım teorisi vardır . Ve başka bir teori, yaklaşıklık oranının \ inf \ frac {\ Omega-A} {\ Omega-OPT} , \ Omega - verilen örnek …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Bu soru daha önce burada Computer Science Stack Exchange'e gönderilmişti . Ülkenin dört bir yanındaki müşterileriyle çok başarılı bir seyahat satıcısı olduğunuzu düşünün. Nakliye işlemini hızlandırmak için, her biri 50 kilometrelik etkili menzile sahip tek kullanımlık teslimat uçağı filosu geliştirdiniz. Bu yenilikle, mallarınızı teslim etmek için her şehre seyahat etmek …

15 ds.algorithms  approximation-algorithms  tsp 

Polinom zamanında NP tam problemleri için yaklaşım algoritmaları ve üstel zamanda tam algoritmalar hakkında çalışmalar vardır. Formun altüssel zamanda NP tam problemlere yaklaşık algoritmalar ile ilgili herhangi bir çalışma gerçekleştirilmemiştir burada δ 2 ∈ ( 0 , 1 ) ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Özellikle, üstel zamanda Bağımsızlık sayısı ve Clique numarası gibi zordan …

15 approximation-algorithms  approximation-hardness 

Aşağıdaki sorunu göz önünde bulundurun: sorgu grafiği ve referans grafiği verildiğinde, in kenarlar öyle ki . Bu, alt bölümlerin birkaç eksik kenara kadar izomorfik olmasına izin veren ve eksik kenar sayısını en aza indirmenin yolunu bulmak istediğimiz alt izomorfizm sorununun genelleştirilmesidir .G ′ = ( V ′ , E ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Bulduğumuz istediğinizi varsayalım ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j) veya maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xben,xj)\max_x \prod_{ij \in E} f(x_i,x_j) V'nin tüm etiketlemeleri üzerinde maks veya toplam alındığında VVV, G = \ {V, E \} grafiği için ürün E'nin tüm kenarlarından alınır ve f isteğe bağlı bir fonksiyondur. Bu miktar sınırlı ağaç genişliği grafikleri için ve …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

STOC gibi bir konferansta ele alınan konular düşünüldüğünde, herhangi bir algoritma veya karmaşıklık araştırmacısı aktif olarak COQ veya Isabelle kullanıyor mu? Eğer öyleyse, araştırmalarında nasıl kullanıyorlar? Çoğu insanın bu araçları kullanamayacağını düşünüyorum, çünkü kanıtlar çok düşük düzeydedir. Bu kanıt asistanlarını, güzel bir ekin aksine araştırmaları için kritik bir şekilde kullanan …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants