«np» 태그된 질문

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

51 complexity-theory  np-complete  np 

내 동료와 나는 방금 우리 교수 중 한 명에게 연락했다. 이 메모에는 다항식 시간 (PF 클래스에 있음)으로 해결할 수 있지만 다항식 시간에 검증 할 수없는 (NPF 클래스에는 없음) 작업이 있습니다. 이 클래스들에 대해 설명하기 위해 : 우리는 입력 X를 얻고 출력 X를 생성하여 (X, Y)가 우리의 작업을 나타내는 R에있다. 다항식 …

34 complexity-theory  np 

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

27 complexity-theory  np-complete  np 

저는 프로그래머라고 말하면서 문제를 시작하고 싶습니다. 복잡성 이론에 대한 배경 지식이 많지 않습니다. 내가 주목 한 것은 많은 문제가 NP- 완전하지만 최적화 문제로 확장 될 때 일부는 다른 것보다 훨씬 더 어렵다는 것입니다. 좋은 예는 TSP입니다. 모든 종류의 TSP가 NP- 완전하지만, 해당 최적화 문제는 연속적인 단순화로 더 쉽고 더 쉽게 …

22 complexity-theory  optimization  np  approximation 

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

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

Galois의 정리는 계수와 근호의 합리적인 함수를 사용하여> = 5 정도의 다항식의 근을 표현할 수 없다고 효과적으로 말합니다. 이제, "실제 다항식 와 숫자 k가 적어도 k의 갭에있는 의 세 번째와 네 번째 루트는 ?"pppppp 이 의사 결정 질문에 대한 증명 인증서는이 다항식의 근본이되며 짧은 인증서이므로 BUT이 Galois 정리가 아닌 것처럼 보입니다. …

16 complexity-theory  np-complete  np  polynomials 

P = NP 문제에 대한 해결책의 증명 복잡성에 대한 연구가 있었습니까? 그렇지 않다면, 문제에 대한 진전이 없다면, P = NP 문제를 해결하는 증거가 초 다수의 단계를 필요로한다고 추측하는 것이 합리적이지 않습니까?

15 complexity-theory  np 

강사가 진술했다 유한 문제는 NP-Complete 일 수 없습니다 그는 당시 스도쿠에 대해 이야기하면서 8x8 스도쿠의 경우 유한 솔루션 세트가 있지만 그가 말한 것을 정확하게 기억할 수는 없다고 말합니다. 나는 인용했지만 여전히 이해하지 못한다는 메모를 작성했습니다. 내가 실수하지 않으면 스도쿠는 NP 완성입니다. 진부한 문제는 NP-Complete이며 4-Clique 문제가있는 경우 NP-Complete라는 유한 한 …

13 np-complete  np 

나는에서 본 이 게시물에 그 간격의 소수가 있는지 숫자의 간격을 체질에 대한 몇 가지 상대적으로 빠른 알고리즘이 있다는 것을 유래에. 그러나 이것은 (간격에 프라임이 있습니까?)의 전반적인 결정 문제가 P에 있음을 의미합니까? 중복 또는 불필요). 한편, 구간이 충분히 큰 경우 (예 : ) Bertrand 's Postulate와 같은 것이 적용되며이 구간에는 확실히 …

13 complexity-theory  np  polynomial-time  primes 

나는 NPC 와 PSPACE 와의 관계 에 대해 읽었 으며 최악의 다항식 공간 요구 사항을 가진 알고리즘을 사용하여 NPC 문제를 결정 론적으로 해결할 수 있는지, 지수 시간 (P는 다항식 인 경우 2 ^ P (n))을 취할 수 있는지 알고 싶습니다. 또한 일반적으로 EXPTIME 으로 일반화 할 수 있습니까? 내가 묻는 …

12 complexity-theory  np-complete  np 

나는 Sipser의 책 서신 후 문제에 대한 계산 이론 소개의 일부 페이지를 읽었으며 PCP가 실제로 NP에 있다고 생각합니다. 인증 자이다 : 더미의 입력 구성 연접 문자열로서 와 연접 을 문자열 로 설정 한 다음 와 를 비교 하여 둘이 같은지 확인한 다음 입력이 실제로 PCP에 대한 솔루션이라고 결론을 내립니다.(t1/b1,t2/b2,...tn/bn)(t1/b1,t2/b2,...tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1,t2,...,tnt1,t2,...,tnt_1, …

12 complexity-theory  decision-problem  np 

나는 NP = CoNP에 대해 매우 간단한 "증거"를 가지고 있으며 어딘가에 잘못한 것으로 생각하지만 잘못된 것을 찾을 수 없습니다. 누군가 나를 도울 수 있습니까? A는 NP에서 문제가되고 M은 A의 결정자로하자. B는 보수가된다. 즉 B는 CoNP에있다. M은 결정자이므로이를 사용하여 B도 결정할 수 있습니다 (답을 뒤집기 만하면 됨). 똑같은 M으로 NP와 CoNP …

12 complexity-theory  p-vs-np  check-my-proof  np 

나는 문제가 있고 그것이 NP-hard라고 생각하지만 그것을 증명할 수는 없다. 레이어 0은 가장 낮은 레이어이고 레이어 L은 가장 낮은 레이어 그래프입니다. 층들 사이에 약간의 방향성 가장자리가 있으며, 여기서 가장자리 (A, B)는 노드 A가 노드 B를 커버 할 수 있음을 나타냅니다. 그 자체. 마지막으로 여기에 노드 S 세트가 있습니다. 다른 노드 …

11 graphs  np 

최근에 Google Research 블로그에서 신경망에 대한 흥미로운 블로그 항목을 읽었습니다. 기본적으로 그들은 이미지 인식과 같은 다양한 문제를 해결하기 위해이 신경망을 사용합니다. 그들은 축삭의 무게를 "진화"시키기 위해 유전자 알고리즘을 사용합니다. 기본적으로 내 생각은 다음과 같습니다. 숫자를 인식하는 프로그램을 작성해야한다면 시작하는 방법을 모를 것입니다. 신경망이 진화하기 위해 올바른 맥락을 만들어 내 신경망은 …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

이 질문은 NP- 완료 세트의 세트 연산으로 구성된 세트에 대한 이전 질문 과 다소 반대입니다 . 두 개의 결정 가능한 세트 및 의 결합, 교차 또는 카티 전 곱으로 세트 가 NP- 완료이면 중 하나 이상이 반드시 NP-hard입니까? P가 이러한 설정 작업에서 닫혀 있기 때문에 둘 다 P에있을 수는 없습니다 …

10 complexity-theory  np-hard  np  np-intermediate