«np-hardness» 태그된 질문

Norbert Blum은 최근 P - ne NP 라는 38 페이지의 증거 를 게시했습니다 . 맞습니까?P≠NPP≠NPP \ne NP 또한 주제 : 인터넷에서 그 정확성이 논의되는 곳은 어디입니까? 참고 :이 질문 텍스트의 초점은 시간이 지남에 따라 변경되었습니다. 자세한 내용은 질문 의견을 참조하십시오.

232 cc.complexity-theory  np-hardness  complexity-classes 

팩토링 및 그래프 동형화는 P에서 또는 NP-Complete로 알려지지 않은 NP의 문제입니다. 이 속성을 공유하는 다른 (충분히 다른) 자연 문제는 무엇입니까? Ladner 정리 증명에서 직접 나오는 인공적인 예는 포함되지 않습니다. "합리적인"가설 만 가정 할 때 이러한 예 중 NP- 중간에 해당되는 사례가 있습니까?

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

현재 완전 문제 또는 완전 문제를 해결하는 것은 일반적으로 큰 입력에 대해서는 불가능합니다. 그러나 둘 다 지수 시간과 다항식 공간에서 해결할 수 있습니다.P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE 우리는 비 결정적이거나 '운이 좋은'컴퓨터를 만들 수 없기 때문에 문제가 또는 이라면 우리에게 어떤 차이가 있습니까?P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE

66 cc.complexity-theory  np-hardness  big-picture 

나는 매개 변수화 된 문제의 예를 찾고 있는데 , 여기서 문제의 경도는 에서 비단 조적 이다 . 내 경험상 대부분의 문제에는 단일 위상 전이가 있습니다. 예를 들어 -SAT에는 (문제가 P 인 경우)에서 (여기서 문제는 NP- 완료입니다). 증가함에 따라 양방향에서 상 전환 이 쉬운 문제에 관심이 있습니다 .k∈Nk∈Nk \in \mathbb{N}k k …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

2SAT를 해결하는 다항식 알고리즘을 보았습니다. SAT 인스턴스의 모든 (또는 다른 많은) 인스턴스가 NP-Complete 인 곳에서 2SAT가 P에 있음을 알게되었습니다. 이 문제가 다른 이유는 무엇입니까? 그렇게 쉬운 이유는 무엇입니까 (NL- 완료-P보다 훨씬 쉬움)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

일반 그래프에서 NP-hard로 알려진 여러 최적화 문제는 입력 그래프가 트리 일 때 다항식 시간 (일부 선형 시간에서도)으로 쉽게 해결할 수 있습니다. 예로는 최소 정점 커버, 최대 독립 세트, 하위 그래프 동형이 있습니다. 나무에 NP-hard로 남아있는 자연 최적화 문제를 언급하십시오.

47 cc.complexity-theory  np-hardness  tree 

Arora와 Barak 의 책은 다음과 같은 문제를 고려합니다. FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} 또한 2 장에서 가 소수 라는 사실을 제거 하면이 문제가 NP- 완전하게되지만 숫자를 계산하는 어려움과는 관련이 …

45 cc.complexity-theory  np-hardness  factoring 

다음과 같은 문제를 생각하고 있습니다. 특정 문자열 집합 (예 : 유효한 전자 메일 주소)과 일치하고 다른 문자열과 일치하지 않는 (잘못된 전자 메일 주소) 정규식을 찾고 싶습니다. 정규식으로 정의 된 유한 상태 기계를 의미한다고 가정하면, 정확한 용어에 익숙하지 않지만 허용되는 표현 클래스에 동의합시다. 수동으로 표현식을 작성하는 대신 긍정적이고 부정적인 예를 제시하고자합니다. …

41 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

이것은 math.stackexchange 의 크로스 포스트입니다 . 정수 인수 분해 문제를 나타내는 사실을 보자 : 주어진 찾을 소수 및 정수 하도록n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. RSA가 이고 가 소수 인 특수한 인수 분해 문제를 나타냅니다 . 즉, 이러한 인수 분해가없는 경우 소수 또는 NONE을 찾습니다 .n=pqn=pqn …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

왜 대부분의 사람들이 튜링 감소와 같이 NP- 완전성을 정의하기 위해 많은 감소를 사용하는 것을 선호합니까?

39 cc.complexity-theory  np-hardness  reductions 

Rubik 's Cube 의 명백한 일반화를 고려하십시오 . 주어진 스크램블 큐브를 해결하는 최단 이동 시퀀스 를 계산하는 것은 NP-hard입니까 , 아니면 다항식 알고리즘이 있습니까?n×n×nn×n×nn\times n\times n [일부 관련 결과는 최근 블로그 게시물에 설명되어 있습니다.]

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

와 completes 사이에 진정한 복잡성이 존재하는 의 새로운 문제를 감안할 때 ,이를 해결하는 것이 어렵다는 것을 증명하는 데 사용할 수있는 두 가지 방법이 있습니다.NPNP\mathsf{NP}PP\mathsf{P} 문제가 GI- 완료임을 보여줌 (GI = 그래프 동형) 문제가 줍니다. 알려진 결과에 따르면, 이러한 결과는 문제가 NP- 완료이면 PH가 두 번째 수준으로 축소됨을 의미합니다. 예를 들어, …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Mark Dominus 는 다양한 NP-hard 문제에서“정규적인 표현”매칭 으로 다항식 시간을 줄이는 몇 가지 예를 모았습니다 . 다항식 시간 검증을 구상 하는 것은 큰 도약이 아닙니다. Deolalikar의 논문에 대한 최근의 소란을 이해하고자하는 학부생이나 다른 분야의 친구들에게 NP 완료 클래스를 어떻게 설명합니까?

34 np-hardness  big-list 

역사적인 질문이 있습니다. 그래프의 3 색도 (또는 주어진 k ≥ 3의 색도 )가 NP-hard 라는 사실에 대한 참조를 결정하려고합니다 .kkkk≥3k≥3k\geq 3 유혹적인 대답은 "Karp 's original paper"이지만 잘못입니다. 여기에 스캔이있다 : 조합 문제들 사이의 환원성, Karp (1972) . 색수 (입력 : 그래프, 출력 : )가 어렵다는 것을 증명합니다 . 이는 …

33 np-hardness  ho.history-overview 

모든 자연수는 비트 시퀀스로 간주 될 수 있으므로 자연수를 입력하는 것은 0-1 시퀀스를 입력하는 것과 동일하므로 자연 입력에 대한 NP- 완전 문제가 분명히 존재합니다. 그러나 자연적인 문제, 즉 숫자의 인코딩과 특수 해석을 사용하지 않는 문제가 있습니까? 예를 들어 "나는 소수입니까?" 그런 자연적인 문제이지만 이것은 P에 있습니다. 또는 "3, 5, n, …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory