«np-complete» 태그된 질문

법률 코드와 복잡성이 관련된 작업이 있는지 알고 싶습니다. 특히, "이 법률 서와 특정 상황을 감안할 때 피고인이 유죄입니까?"라는 결정 문제가 있다고 가정합니다. 어떤 복잡한 클래스에 속합니까? 카드 게임 Magic : The Gathering이 NP와 Turing-complete 인 것으로 입증 된 결과가 있으므로 법적인 코드에 대해 유사한 결과가 없어야합니까?

64 complexity-theory  np-complete  decision-problem 

subexponential-time 알고리즘으로 입증 된 NP-complete 문제가 있습니까? 나는 일반적인 사례 입력을 요구하고 있으며 여기서 다루기 힘든 특별한 사례에 대해 이야기하고 있지 않습니다. 하위 지수로, 나는 다항식보다 높지만 지수보다 작은 성장 순서를 의미합니다 (예 : .엔로그엔nlog⁡nn^{\log n}

51 complexity-theory  np-complete  np 

" NP- 완전 문제 목록 "에 관한 Wikipedia 항목을 읽고 슈퍼 마리오, 포켓몬, 테트리스 또는 캔디 크러쉬 사가와 같은 게임이 np- 완전 하다는 것을 알았습니다. 게임의 완성도를 어떻게 상상할 수 있습니까? 답변이 너무 정확할 필요는 없습니다. 게임이 np 완료 될 수 있음을 의미하는 개요를 알고 싶습니다.

50 complexity-theory  np-complete  computer-games 

배낭 문제는 동적 프로그래밍으로 쉽게 해결할 수 있습니다. 동적 프로그래밍은 다항식 시간으로 실행됩니다. 그것이 우리가하는 이유입니다. 나는 그것이 실제로 NP-complete 문제라는 것을 읽었으며, 이는 다항식 문제에서 문제를 해결하는 것이 불가능하다는 것을 의미합니다. 내 실수는 어디입니까?

50 complexity-theory  np-complete  dynamic-programming 

내가 프로그래머이고 문제를 해결해야하는 NP-complete 문제가 있다고 가정합니다. NPC 문제를 처리하기 위해 어떤 방법을 사용할 수 있습니까? 이 주제에 대한 설문 조사 또는 유사한 것이 있습니까?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

에서 알려진 문제가있는 (그리고에 없음) 완료? 내 이해는 이것이 사실 인 경우 현재 알려진 문제는 없지만 가능성으로 배제되지 않았다는 것입니다. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} 인 문제가있는 경우 (그리고 \ mathsf {P} )하지만 \ mathsf {당기 순이익 \ 텍스트 {-} 전체가} , 이것은 그 문제의 인스턴스와 사이에 존재하는 동형의 결과 일 것이다 \ mathsf …

34 complexity-theory  np-complete  p-vs-np 

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

31 complexity-theory  np-complete  traveling-salesman 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

나는 복잡한 과정을 겪고 있으며 NPC 문제 사이의 감소를 생각해내는 데 어려움을 겪고 있습니다. 문제 사이의 감소를 어떻게 찾을 수 있습니까? 사용할 수있는 일반적인 트릭이 있습니까? 문제가 NPC임을 증명하도록 요청하는 문제에 어떻게 접근해야합니까?

27 complexity-theory  np-complete  proof-techniques  reductions 

모두 많은 발생한 , 그것은 문제가있는 것을 보여주기 위해 항상 사소한 -completeness 증거 나는 (내가 기억할 수있는) 읽었습니다 , 그리고 그것이 보여주는 -하드는 ... 어려운 부분입니다. 무엇 - 완전한 문제는 그 다항식 시간 확인 프로그램이 높은 비 사소한 다음은?NPNPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}

27 complexity-theory  np-complete  np 

이 최근 XKCD 스트립 과 최근 블로그 게시물 에서 볼 수 있듯이Peter Norvig (및 후자를 특징으로하는 슬래쉬 도트 이야기)에서 나온 "regex golf"(정규식 분리 문제라고 부를 수 있음)는 세트 A의 모든 단어를 받아들이고 단어를 입력하지 않는 가장 짧은 정규식을 정의하는 퍼즐입니다. Norvig의 게시물에는 합리적으로 짧은 후보를 생성하는 알고리즘이 포함되어 있으며 그의 …

26 complexity-theory  np-complete  regular-expressions 

이 질문은 StackOverflow 에 대한 의견에서 영감을 얻었습니다 . Garey Johnson 책의 NP-complete 문제와 다른 많은 것들을 아는 것 외에도; 문제가 NP- 완전 문제인지 아닌지 알기위한 규칙이 있습니까? 나는 엄격한 것을 찾는 것이 아니라 대부분의 경우 작동하는 것을 찾고 있습니다. 물론, 문제가 NP- 완료이거나 NP- 완전 문제의 약간의 변형이라는 것을 …

26 complexity-theory  np-complete  intuition 

비공식 문제 설명 : 과 같은 문자열이 주어지면, 왼쪽에서 오른쪽으로 빨간색 글자 만 읽으면 파란색 글자 만 읽는 것과 같은 결과를 얻을 수 있도록 일부 글자는 빨간색으로, 일부 글자는 파란색으로 칠하고 (일부는 전혀 아님) 색을 지정하려고합니다.ACCABBABACCABBABACCABBAB 이 예에서는ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} 따라서 는 의 반복되는 하위 시퀀스입니다 . 또한 가장 긴 반복 하위 …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

컴퓨터 과학 전공에게 NP- 완전성을 가르치는 가장 좋은 방법에 대한 질문에 관심이 있습니다. 특히 Karp 축소를 사용하거나 Turing 축소를 사용하여 가르쳐야합니까? NP- 완전성 및 축소 개념은 모든 컴퓨터 과학 전공이 배워야 할 개념이라고 생각합니다. 그러나 NP- 완전성을 가르 칠 때 Karp 감소의 사용에는 몇 가지 단점이 있음을 알았습니다. 우선, 일부 …

25 complexity-theory  np-complete  reductions  education  didactics