«unique-solution» 태그된 질문

복잡성 클래스 는 문제로 구성되는데, 이는 계산 경로가 최대 하나 인 다항식 비 결정적 튜링 머신으로 결정할 수 있습니다. 즉, 솔루션 은 이러한 의미에서 고유 합니다. Valiant-Vazirani 정리에 따르면 이는 의미 하기 때문에 모든 문제가 있을 가능성은 거의 없습니다 .N P U P P N P = R PUPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} 반면, …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

용감한-Vazirani 정리 말한다 정확히 하나 개 만족 할당을 가지는 SAT 식 및 식 시켰음을 구별하기위한 다항식 시간 알고리즘 (결정 론적 또는 랜덤)이 있다면 - 후 NP = RP에게 . 이 정리는 UNIQUE-SAT가 무작위 감소 에서 NP - hard 임을 보여줌으로써 증명됩니다 . 그럴듯한 탈 무작위 화 추측에 따라, 정리는 "유일한 …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

다음 문제점을 고려하십시오. CNF 공식 및이 공식을 만족하는 지정이 주어지면이 공식에 대해 만족스러운 다른 지정이 있습니까? 이 문제의 복잡성은 무엇입니까? (가장 확실하게 NP에 있지만 NP-hard입니까?) 할당이 주어지지 않고 수식에 고유 한 만족 할당이 있는지 여부를 결정하려면 어떻게해야합니까? 감사.

25 cc.complexity-theory  np-hardness  sat  unique-solution 

2011/02/08에서 편집 : 일부 참고 자료 찾기 및 읽기 후에 원래 질문을 두 개의 개별 질문으로 분리하기로 결정했습니다. UP과 NP에 관한 부분은 다음과 같습니다. 구문 및 의미 클래스의 경우 구문 및 의미 클래스의 이점을 참조하십시오 . U PUP\mathsf{UP} (명백한 다항식 시간, 참조를 위해 위키 및 동물원 참조)은 -기계에 의해 결정된 …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Josh Grochow의 제안에 따라 이전 질문의 의견을 새로운 질문으로 변환합니다. 대한 증거는 무엇입니까 ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 여기서 은 "yes"인스턴스에 고유 한 허용 경로가 있고 "no"인스턴스에 허용 경로가없는 다항식 비 결정적 튜링 머신으로 인식 할 수있는 언어 클래스입니다.UPUP\mathsf{UP} 분명히 인데 왜 봉쇄가 엄격하다고 생각합니까? 내가 찾을 수있는 증거는 오라클 분리입니다 : …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

NP- 완전 문제에 대한 두 번째 해결책을 찾는 문제의 NP- 완전성에 관한 일반적인 결과 또는 예가 있는지 확인하려고합니다. 보다 정확하게는 다음 형식의 문제에 관심이 있습니다. 솔루션을 감안할 때 인스턴스에 I NP에 완성 문제의 해결책이 S ' ≠ S 에 내가 ?SSSIIIS′≠SS′≠SS' \neq SIII 이러한 종류의 문제, NP- 완료 여부와 일반적인 …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

전문. 복잡성 등급 AM 은 검증 자 "Merlin"과 검증 자 "Arthur"사이의 양방향 대화 형 증명 시스템으로 해결할 수있는 문제입니다. 다음과 같은 경우 객체 X 의 일부 속성을 테스트하는 문제 는 AM입니다 . 대한 찬성 (다항식 길이) 임의의 "도전"메시지의 경우, 아더는 멀린은 (다항식 길이)를 공식화 아서 증거로 사용할 수있는 회신 할 …

15 cc.complexity-theory  interactive-proofs  unique-solution 

나는 최근 Valiant와 Vazirani 의 매우 훌륭한 논문을 읽었으며 이면 만족스럽지 않거나 독특한 해결책이 있다고 약속하더라도 SAT를 해결하는 효율적인 알고리즘이 없다는 것을 보여줍니다 . 따라서 SAT가 최대 하나의 솔루션이 있다고 약속하더라도 효율적인 알고리즘을 인정하지 않음을 보여줍니다.N P ≠ R P엔피≠아르 자형피\mathbf{NP \neq RP} 엄숙한 축소 (솔루션 수를 유지하는 축소)를 통해 …

14 np-hardness  np-complete  unique-solution  promise-problems 

"두 번째 "문제는 문제 인스턴스에 대해 특정 솔루션과 다른 다른 솔루션의 존재를 결정하는 문제입니다.XXX 일부 - 완전한 장애, 제 2 용액 버전은 - 완전한 다른 것이 (제 NAE SAT) 중 사소한하거나 수 없지만 (부분 라틴 방진 종료 문제에 대한 다른 솔루션의 존재를 결정하는) - 완전한 복잡하게 추측되는 복잡성 추측에서 (입방 …

11 cc.complexity-theory  unique-solution