Запитання з тегом «primal-dual»

Мені хотілося б зрозуміти, як вирішувач SDP Arora-Kale наближає релаксацію Гомена-Вільямсона майже в лінійний час, як розв'язувач Плоткін-Шмойс-Тардос наближає дробові проблеми "упаковки" та "покриття" за майже лінійний час та як алгоритми є мотивами абстрактної рамки "навчання у експертів". Дисертація Кейла має чудову презентацію, але мені дуже важко безпосередньо перейти до …

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

Що може бути хорошим неофіційним / інтуїтивним доказом для того, щоб "вдарити до дому" про подвійність LP? Як найкраще показати, що мінімізована цільова функція дійсно є мінімумом з інтуїтивним способом розуміння пов'язаного? Те, як мене навчали «Подвійності», призвело лише до одного розуміння, яке, я впевнений, поділяє багато людей, яких я …

19 linear-programming  primal-dual 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

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 

У статті Randomized Primal-Dual аналіз RANKING for Online Bipartite Matching , доказуючи, що алгоритм RANKING -конкурентоспроможні, автори показують, що подвійне можливо в очікуванні (див. лему 3 на стор. 5). Моє запитання:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) Чи достатньо, щоб лінійні обмеження програм були задоволені в очікуванні? Одне показати, що очікуване значення цільової функції …

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

Угорський алгоритм - це комбінаторний алгоритм оптимізації, який вирішує задачу співвідношення максимальної ваги за двома частинами в поліноміальний час та передбачає подальший розвиток важливого первинно-подвійного методу . Алгоритм був розроблений та опублікований Гарольдом Куном у 1955 році, який дав назву "Угорський алгоритм", оскільки алгоритм був заснований на попередніх роботах двох …

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

Я не зміг знайти в літературі точну характеристику зникнення розриву дуалізму СДП. Або коли тримається "сильна подвійність"? Наприклад, коли між «Лассером» і «SOS SDP» рухається туди-сюди, в принципі виникає розрив у подвійності. Однак якось, здається, є якась "тривіальна" причина, чому цього розриву немає. Стан Слейтера здається достатнім, але не потрібним, …

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

Комплементарна млявість (КС) зазвичай навчається, коли йдеться про подвійність. Він встановлює приємне співвідношення між первинним і подвійним обмеженням / змінними з математичної точки зору. Дві основні причини застосування CS (як викладають в аспірантурах та підручниках): Для перевірки оптимальності LP Щоб вирішити подвійне Враховуючи сьогоднішні обчислювальні потужності та поліномічні алгоритми для …

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