«primal-dual» etiketlenmiş sorular

Arora-Kale SDP çözücüsünün Goemans-Williamson gevşemesine neredeyse lineer zamanda nasıl yaklaştığını, Plotkin-Shmoys-Tardos çözücüsünün kesirli “paketleme” ve “örtme” problemlerine neredeyse lineer zamanda nasıl yaklaşdığını ve algoritmaların nasıl olduğunu anlamak istiyorum. “Uzmanlardan öğrenme” soyut çerçevesinin somutlaşmış örnekleridir. Kale'nin tezinin mükemmel bir sunumu var ama doğrudan soyut çerçeveye atlamayı çok zor buluyorum ve ne …

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming 

LP dualitesi hakkında 'eve gelmek' için iyi bir gayri resmi / sezgisel kanıt ne olabilir? Minimize edilmiş objektif fonksiyonun, sınırı anlamak için sezgisel bir yolla gerçekten minimum olduğunu nasıl gösterebiliriz? Bana öğretilen yol Dualite sadece bildiğim bir çok insan tarafından paylaşıldığından emin olduğum bir anlayışa yol açtı: Karşılık gelen her …

19 linear-programming  primal-dual 

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 

Makalede , RANKING algoritmasının ( 1 - 1) olduğunu kanıtlarken, Online Bipartite Matching için RANKING'in Randomize Primal-Dual analizi.-Rekabetçi, yazarlar ikili ikili beklenti içinde uygulanabilir olduğunu göstermektedir (bkz. Lemma 3 sayfa 5). Sorum şu:( 1 - 1e)(1−1e)\left(1 - \frac{1}{e}\right) Doğrusal program kısıtlamalarının beklentide karşılanması yeterli mi? Nesnel işlevin beklenen değerinin bir …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

Macar algoritması, polinom zamanında maksimum ağırlık bipartit eşleştirme problemini çözen ve önemli primal-dual yönteminin daha sonra geliştirilmesini öngören bir kombinatoryal optimizasyon algoritmasıdır . Algoritma 1955 yılında Harold Kuhn tarafından geliştirilen ve "Macar algoritması" adını veren algoritma geliştirildi ve yayınlandı çünkü algoritma iki Macar matematikçinin eski eserlerine dayanıyordu: Dénes Kőnig ve …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

Literatürde SDP dualite boşluğunun ortadan kalktığının kesin bir karakterizasyonunu bulamadım. Veya "güçlü ikilik" ne zaman geçerli? Örneğin, bir kişi Lasserre ve SOS SDP arasında gidip geldiğinde, prensipte bir dualite boşluğu vardır. Ancak, bir şekilde bu boşluğun orada olmamasının "önemsiz" bir nedeni var gibi görünüyor. Slater'in durumu yeterli, ancak gerekli görünmüyor …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

Dualite hakkında konuşurken tamamlayıcı gevşeklik (CS) yaygın olarak öğretilir. Matematiksel bir bakış açısından primal ve ikili kısıtlama / değişkenler arasında güzel bir ilişki kurar. CS başvurusunun iki temel nedeni (lisansüstü derslerde ve ders kitaplarında öğretildiği gibi): LP'nin uygunluğunu kontrol etmek İkili çözmenize yardımcı olmak için Günümüzün bilgi işlem gücü ve …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual