«approximation-algorithms» 태그된 질문

1 차원 이동 영업 사원 경로 문제는 분명히 분류와 같은 것이므로 시간의 비교로 정확하게 해결할 수 있지만 근사와 정확한 근사 방식으로 공식화됩니다. 해결책이 합리적입니다. 계산 모델의되는 입력 실수가 있으며 정수로 라운딩하는 것은 그것이 내로 근사 쉽게 가능하다 인자, 어떤 일정에 대한 시간에, : 최소값과 최대 값을 찾아 모든 값을 원래 …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

최근에 NP-hard 문제에 대한 근사 알고리즘을 조사하기 시작했으며 이론적 인 이유를 연구하고 있습니다. (질문은 염증성이 아닙니다. 단지 궁금합니다.) PCP 정리와 근사 경도 사이의 연결, UGC 추측, Goeman-Williamson 근사 알고리즘 등 근사 알고리즘에 대한 연구에서 실제로 아름다운 이론이 나왔습니다. Traveling Salesman, Asymmetric Traveling Salesman 및 기타 변형, 메커니즘 설계의 다양한 문제 …

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

구체적으로, 각 플레이어가 액션을 갖는 2 인용 제로섬 게임을 해결하기위한 LP를 고려하십시오 . 지불 행렬 A 의 각 항목이 절대 값이 최대 1 이라고 가정 합니다. 간단하게하기 위해 희소성 가정을하지 말자.엔엔nㅏㅏA 이 게임의 가치를 추정하기 위해 런타임 를 사용할 수 있다고 가정하십시오 .티티T 이 값을 근사하는 한 가지 기술은 곱하기 …

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

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 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 

최소화 문제에 대한 근사 알고리즘을 고려할 때이 문제에 대한 IP 공식의 적분 갭은 특정 클래스의 알고리즘 (예 : 반올림 또는 기본 이중 알고리즘)에 대한 근사 비율의 하한을 제공합니다. 실제로, 근사 비율이 적분 갭과 일치하는 많은 문제가 있습니다. 일부 알고리즘은 일부 문제의 적분 갭보다 더 나은 근사화 비율을 가질 수 있지만 …

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

주어진 시작 정점 에서 주어진 끝 정점 이르기까지 지향 그래프의 간단한 경로 수를 근사하기위한 좋은 다항식 시간 알고리즘이 있다고 들었습니다 . 이 주제에 대한 좋은 언급을 아는 사람이 있습니까?에스에스s티티t 배경 : 일반 그래프에서 정확한 경로 수를 세는 것은 #P 완료이지만 문제에 대한 다항식 시간 근사가 존재할 수 있습니다. 나는 특히 …

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

여기서 고려할 문제는 잘 알려진 간격 채색 문제의 확장입니다. 간격 대신 축과 평행 한 변을 갖는 직사각형을 고려합니다. 두 개의 겹치는 사각형에 서로 다른 색이 할당되도록 최소 수의 색을 사용하여 사각형에 색을 지정하는 것이 목적입니다. 이 문제는 NP-hard로 알려져 있습니다. Xin Han, Kazuo Iwama, Rolf Klein 및 Andrezej Lingas (상자 …

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

서브 선형 시간 (입력 크기) 알고리즘이 존재하는 문제가 특정 속성을 갖는 것으로 특징 지을 수 있는지 궁금합니다. 여기에는 하위 선형 시간 (예 : 특성 테스트, 의사 결정 문제에 대한 근사치의 대체 개념), 하위 선형 공간 (예 : Turing 머신에 읽기 전용 테이프, 하위 선형 작업 공간 및 쓰기 전용 출력이있는 …

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

근사 비율이 표준 근사 이론이 있습니다 supAOPTsupAOPT\sup\frac{A}{OPT}( MINMINMIN 목표 문제의 경우 ). AAA 일부 알고리즘 A에서 반환 된 값 AAA과 OPTOPTOPT 최적 값. 그리고 또 다른 이론 은 근사 비율이 \ inf \ frac {\ Omega-A} {\ Omega-OPT} 이고 \ Omega- 주어진 인스턴스에 대해 실현 가능한 솔루션의 최악의 값인 차등 …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

nxn 순열 행렬의 집합 S (N! 가능한 순열 행렬의 작은 부분에 불과 함)를 감안할 때, T의 행렬을 추가하는 것이 모든 위치에서 적어도 1을 갖도록 S의 최소 크기 부분 집합 T를 어떻게 찾을 수 있습니까? S가 S_n의 작은 하위 그룹 인이 문제에 관심이 있습니다. 욕심 많은 알고리즘보다 훨씬 빠른 근사 알고리즘을 …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

이 질문은 이전에 컴퓨터 과학 스택 거래소에 게시했습니다 여기에 . 전국의 고객을 보유한 매우 성공적인 여행 세일즈맨이라고 상상해보십시오. 운송 속도를 높이기 위해 각각 유효 거리가 50km 인 일회용 배달 드론을 개발했습니다. 이 혁신을 통해 물품을 배달하기 위해 각 도시로 여행하는 대신 50km 이내에 헬리콥터를 비행하면 드론이 작업을 완료 할 수 …

15 ds.algorithms  approximation-algorithms  tsp 

다항식 시간의 NP 완전 문제와 지수 시간의 정확한 알고리즘에 대한 근사 알고리즘에 대한 연구가 있습니다. 형식 지수 시간에서 NP 완료 문제에 대한 근사 알고리즘에 대한 연구가 있습니까? 여기서 ? δ 2 ∈ ( 0 , 1 )2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) 나는 하위 지수 시간에서 독립 수 및 Clique 수와 같은 어려운 다항식 시간 …

15 approximation-algorithms  approximation-hardness 

다음과 같은 문제를 고려 감안할 때 쿼리 그래프 과 참조 그래프 , 우리는 단사 매핑 찾으려면 의 수를 최소화 에지 되도록 . 이것은 하위 그래프가 소수의 누락 된 가장자리까지 동형이되고 누락 된 가장자리의 수를 최소화하는 방법을 찾고자하는 하위 그래프 동형 문제 의 일반화입니다 .G ' = ( V ' , …

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

또는 를 찾고 싶다고 가정 해 봅시다. ∑엑스∏나는 j ∈ E에프( x나는, x제이)∑엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\sum_x \prod_{ij \in E} f(x_i,x_j)최대엑스∏나는 j ∈ E에프( x나는, x제이)최대엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\max_x \prod_{ij \in E} f(x_i,x_j) V의 모든 라벨링에 대해 max 또는 sum가 사용 되는 경우 그래프 G = \ {V, E \}에 대해 VVV모든 모서리 E 에서 곱이 취해 …

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

STOC와 같은 컨퍼런스에서 다루는 주제를 고려할 때 알고리즘이나 복잡성 연구원이 COQ 또는 Isabelle을 적극적으로 사용하고 있습니까? 그렇다면 연구에서 어떻게 사용하고 있습니까? 나는 증거가 너무 낮기 때문에 대부분의 사람들이 그러한 도구를 사용하지 않을 것이라고 가정합니다. 좋은 보충이 아닌 연구에 중요한 방식 으로이 증거 보조자를 사용하는 사람이 있습니까? 나는 그러한 도구 중 …

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