«traveling-salesman» 태그된 질문

따라서 TSP (Travelling salesman problem) 의사 결정 문제는 NP 완료 입니다. 그러나 다항식 시간에서 최적의 솔루션을 찾을 수있는 방법이 없기 때문에 TSP에 대한 주어진 솔루션이 실제로 다항식 시간에서 최적임을 확인할 수있는 방법을 이해하지 못합니다 (P에 문제가 없기 때문에)? 실제로 다항식 시간에 검증을 수행 할 수 있다는 것을 알 수있는 방법이 …

31 complexity-theory  np-complete  traveling-salesman 

어떤 크기의 스도쿠를 부분적으로 채운 경우 완성 된 스도쿠를 제공하는 프로그램이 있다고 가정 해 봅시다. 이 프로그램을 블랙 박스 로 취급 하고이를 사용하여 TSP를 해결할 수 있습니까? TSP 문제를 부분적으로 채워진 스도쿠로 표현할 수있는 방법이 있으므로 스도쿠의 답변을 제공하면 다항식 시간으로 TSP에 대한 해결책을 말할 수 있습니까? 그렇다면 어떻게? TSP를 …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

결정 문제가 다음과 같이 정의된다는 생각을 이해합니다. 비용이 C보다 낮은 경로 P가 있습니까? 수신 경로를 확인하여 이것이 사실인지 쉽게 확인할 수 있습니다. 그러나이 기준에 맞는 경로가 없으면 어떻게됩니까? 최고의 경로 TSP 문제를 해결하지 않고 "아니오"라는 대답을 어떻게 확인하고 가장 좋은 방법을 찾는 것이 C보다 비용이 더 비쌉니까?

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

1962 년 에 33 개 도시에 정의 된 유클리드 여행 세일즈맨 문제에 대한 해결책을 찾은 경우 $ 10 000 ( 오늘 돈에 약 $ 80000)의 상금을받을 수 있습니다. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html 그림을 보면 문제가 매우 쉬운 것 같습니다. 그러나 문제에 대한 자세한 리소스를 찾지 못했습니다. 정확한 거리 및 최적의 솔루션과 같은 자세한 …

13 optimization  traveling-salesman 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

TSP가 반복 된 도시의 가능성을 부인하는 것이 이상하게 보입니다. 이 여행하는 세일즈맨의 목표는 가능한 한 빨리 가서 모든 도시를 방문하는 것입니다. 이미 가본 도시를 더 빨리 여행한다면 어떨까요?

9 terminology  traveling-salesman