이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 그래프 이론 의 Clique 문제에 관한이 Wikipedia 기사에서는 처음에 그래프 G에서 K 크기의 크릭을 찾는 문제가 NP- 완전 함을 나타냅니다. Cliques는 컴퓨터 과학에서도 연구되었습니다. 그래프에 주어진 …
강사가 질문 한 내용에 대한 힌트를 찾고 있습니다. 그래서 나는이 결정 문제가 라는 것을 알았습니다 NP-completeNP-complete\sf{NP\text{-}complete}. 그래프 에는 잎 에 세트가 포함 된 스패닝 트리가 ? 이 결정 문제에 대한 해밀턴 경로를 줄임으로써 임을 증명할 수있었습니다 .GGGG지GS={x1,x2,…,xn}S={x1,x2,…,xn}S=\{x_1, x_2,\ldots, x_n\}NP-completeNP-complete\sf{NP\text{-}complete} 그러나 선생님도 수업 시간에 우리에게 물었습니다. 또한이 될 것 경우 대신 …
저는 프로그래머라고 말하면서 문제를 시작하고 싶습니다. 복잡성 이론에 대한 배경 지식이 많지 않습니다. 내가 주목 한 것은 많은 문제가 NP- 완전하지만 최적화 문제로 확장 될 때 일부는 다른 것보다 훨씬 더 어렵다는 것입니다. 좋은 예는 TSP입니다. 모든 종류의 TSP가 NP- 완전하지만, 해당 최적화 문제는 연속적인 단순화로 더 쉽고 더 쉽게 …
라고 가정 해 봅시다 . 는 또는 -hard에 없는 의 문제 클래스입니다 . 추측되는 문제 목록은 여기에서 찾을 수 있습니다 .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}피P\mathsf{P}N PNP\mathsf{NP}N P INPI\mathsf{NPI} 라드의 정리는 우리에게 알려줍니다 경우 그 다음의 무한 …
결정 문제가 다음과 같이 정의된다는 생각을 이해합니다. 비용이 C보다 낮은 경로 P가 있습니까? 수신 경로를 확인하여 이것이 사실인지 쉽게 확인할 수 있습니다. 그러나이 기준에 맞는 경로가 없으면 어떻게됩니까? 최고의 경로 TSP 문제를 해결하지 않고 "아니오"라는 대답을 어떻게 확인하고 가장 좋은 방법을 찾는 것이 C보다 비용이 더 비쌉니까?
부분 집합 합계 문제는 일반적인 NP 완료 문제입니다. 숫자 과 목표 k 의 목록이 주어지면, L 부터 k 까지의 숫자의 부분 집합이 있습니까?엘LL케이kk엘LL케이kk 한 학생이 "서브 세트 제품"문제라는이 변형이 NP- 완전한 것인지 물었습니다. 숫자 과 목표 k 의 목록이 주어지면, L 의 곱이 k 인 숫자의 부분 집합이 있습니까?엘LL케이kk엘LL케이kk 몇 …
계산 복잡성 클래스를 연구하기위한 가능한 동기 중 하나는 다양한 종류의 계산 자원 (무작위, 비결 정성, 양자 효과 등)의 힘을 이해하는 것입니다. 이 관점에서 보면 어떤 모델에서 어떤 계산이 가능한지 특성화하려는 시도에 대해 하나의 가능한 공리를 얻을 수있는 것처럼 보입니다. 실행 가능한 계산은 항상 다른 실행 가능한 계산을 서브 루틴으로 호출 …
여기에 문제가 있습니다. 주어지면 각 입니다. 거기 서브셋 최대 크기 되도록 모든 ? 이 문제를 SAT로 줄이기 위해 노력하고 있습니다. 해결책에 대한 내 생각은 1에서 까지 변수 를 갖는 것입니다 . 경우 각 에 대해 절 하십시오 . 그런 다음이 모든 절을 함께 사용하십시오. 그러나 이것은 의 제약을 나타내지 않으므로 …
유 방향 그래프 와 두 개의 노드 및 가 있다고 가정 합니다. 다음 결정 문제를 계산하기위한 알고리즘이 이미 있는지 알고 싶습니다.G = ( V, E)G=(V,E)G=(V,E)B에이AA비BB 길이가 같은 와 사이에 두 개 이상의 경로가 있습니까?B에이AA비BB 복잡성은 어떻습니까? 다항식 시간으로 해결할 수 있습니까? 그래프에 새로운 제약 조건을 추가하고 싶습니다. 아마도 문제는 더 …
최근에 나는 논문 [1]에서 2 / 2 / 4-SAT 라는 특수 대칭 버전의 SAT를 발견했다 . 그러나 많은 변형이 있습니다 (예 : MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} - SAT , Planar-NAE- SAT 등의 다른 변형이 있습니다 .222SATSAT\text{SAT}SATSAT\text{SAT} NP- 완료 (또는 P ) 로 입증 된 모든 (이상한) 변형을 …
나는 하노이 타워의 복잡성에 대해 다음과 같은 의혹에 부딪쳤다 . NP에 있습니까? 시도 된 답변 : Peggy (발표자)가 문제를 해결하고 Victor (확인자)에게 제출한다고 가정합니다. 빅터는 솔루션의 최종 상태가 선형 (linear time)으로 옳다는 것을 쉽게 알 수 있지만, 자신이 불법적으로 움직이지 않도록하기 위해 Peggy의 각 움직임을 거치는 것 외에는 선택의 여지가 …
이것은 인터뷰 질문에서 영감을 얻은 것 입니다. 우리는 정수 의 배열을 제공받으며, 고유 한 가 있는지 확인해야 합니다. I < J < Kㅏ1, ... ,엔a1,…,ana_1, \dots, a_n나는 < j < ki<j<ki \lt j \lt k ㅏ케이− aj= aj− a나는ak−aj=aj−aia_k - a_j = a_j - a_i k − j = j …
Wikipedia 는 하위 집합 합계 문제가 주어진 정수의 여러 하위 집합을 찾는 것으로서 그 합계는 0입니다. 또한 그것은 합 서브셋 발견에 해당한다고 에스ss 주어진 위해 에스ss . 그래서 나는 그것들이 동등하다는 것을 믿습니다. 중 하나 에스ss 제로를 설정하여 사소한 s = 0s=0s = 0 . 그러나 나는 0에서 감소 찾는 …