«primal-dual» 태그된 질문

Arora-Kale SDP 솔버가 거의 선형 시간에 Goemans-Williamson 이완을 근사화하는 방법, Plotkin-Shmoys-Tardos 솔버가 거의 선형 시간의 분수 "패킹"및 "커버링"문제를 근사화하는 방법 및 알고리즘을 이해하고 싶습니다. "전문가로부터의 학습"추상 프레임 워크의 인스턴스입니다. Kale의 논문은 훌륭한 프리젠 테이션을 가지고 있지만 추상 프레임 워크로 직접 들어가는 것이 매우 어렵다는 것을 알았습니다. 나는해야 할 일이 명백한 …

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

LP 이중성에 대한 '포인트 홈을 치다'는 좋은 비공식 / 직관적 인 증거는 무엇입니까? 한계를 이해하는 직관적 인 방법으로 최소화 된 목적 함수가 실제로 최소라는 것을 가장 잘 보여주는 방법은 무엇입니까? 내가 배운 방식을 배운 방식은 내가 아는 많은 사람들이 공유하고 있다고 확신하는 한 가지 이해로만 이어졌습니다. 해당하는 모든 최소화 문제마다 …

19 linear-programming  primal-dual 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

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 

종이에서 온라인 양자 매칭 순위의 무작위의 근원 - 듀얼 분석 순위 알고리즘이 있음을 증명하는 동안, 경쟁적이며, 저자는 이중이 기대에 부합 함을 보여준다 (5 페이지의 Lemma 3 참조). 내 질문은 :(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) 선형 프로그램 제약 조건이 기대에 충족되기에 충분합니까? 목적 함수의 예상 값이 무엇인가를 보여주는 것은 한 가지입니다. 그러나 타당성 …

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

헝가리어 알고리즘은 다항식 시간에서 최대 중량의 이분법 매칭 문제 를 해결 하고 중요한 초기 이중 법 의 추후 개발을 예상 하는 조합 최적화 알고리즘입니다 . 이 알고리즘은 1955 년 Harold Kuhn에 의해 개발 및 출판되었으며,이 알고리즘은 헝가리의 두 수학자 인 Dénes Kőnig와 Jenő Egerváry의 초기 작업을 기반으로했기 때문에 "헝가리어 알고리즘"이라는 …

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

나는 문헌에서 SDP 이중성 격차의 소멸에 대한 정확한 특성을 찾을 수 없었습니다. 또는 "강한 이중성"은 언제 유지됩니까? 예를 들어, Lasserre와 SOS SDP 사이를 오가는 경우 원칙적으로 이중성 차이가 있습니다. 그러나 어떻게 든이 차이가없는 "사소한"이유가있는 것 같습니다. 슬레이터의 상태 는 충분하지만 필요한 것은 아니며 모든 볼록한 프로그램에 적용됩니다. SDP의 경우 특히 …

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

보 완성 느슨 함 (CS)은 일반적으로 이원성에 대해 이야기 할 때 배웁니다. 수학적 관점에서 원시와 이중 구속 조건 / 변수 사이의 좋은 관계를 설정합니다. CS를 적용해야하는 두 가지 주요 이유 (대학원 과정 및 교과서에서 가르치는) : LP의 최적 성을 확인하려면 듀얼을 해결하기 위해 LP를 해결하기위한 오늘날의 컴퓨팅 능력과 다항식 알고리즘을 …

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