«satisfiability» 태그된 질문

저는 컴퓨터 과학에 관심이있는 고등학교 2 학년입니다. #SAT를위한 멋진 알고리즘을 개발했으며 과학 박람회 프로젝트를 구현하고 있습니다. 우리 학교에서 최고의 과학 교사이자 AP Comp Sci 교사이기도 한 고문은 그녀가 내 프로젝트에 대해 전혀 전혀 모른다고 말하며 #SAT가 왜 그런지 그녀에게 간단히 설명 할 수 있어야한다고 말했습니다. 5 분 안에 중요합니다. SAT가 …

9 algorithms  satisfiability 

Valiant & Vazirani는 SAT가 다항식 시간의 확률 적 확률 적 감소로 UNIQUE SAT로 환원 될 수 있음을 증명했습니다. Calabro et al . UNIQUE k-SAT는 k-SAT만큼 어렵습니다. 이제 문제는 누군가가 고유 k-SAT가 P에 있음을 나타내면 P = NP를 의미합니까? 참고 문헌 LG Valiant와 VV Vazirani는 "NP는 고유 한 솔루션을 탐지하는 것만 …

9 complexity-theory  satisfiability  p-vs-np 

이 문제에 이름이 있는지 궁금합니다. 가장자리가 빨강, 파랑 및 녹색으로 표시된 간단한 그래프가 주어지면 라는 정점 채색 있습니까? 모든 모서리에는 같은 색의 끝 점이 있습니까?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} 또한 이것이 NP- 완전한 것으로 알려져 있습니까? 이는 또한 각 제약 조건이 3 개의 값 중 하나를 취할 수있는 2 개의 변수의 …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

허락하다 LϵLϵL_\epsilon 모두의 언어가되다 222-CNF 공식 φφ\varphi적어도 (12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon) 의 φφ\varphi의 조항을 충족시킬 수 있습니다. 나는 존재한다는 것을 증명해야한다 ϵ′ϵ′\epsilon' 성 LϵLϵL_\epsilon 이다 NPNP\mathsf{NP}-어려운 ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'. 우리는 알고 Max2SatMax2Sat\text{Max}2\text{Sat} 대략적 일 수있다 55565556\frac{55}{56} 에서 절의 precent Max3SatMax3Sat\text{Max}3\text{Sat}절감. 이 문제를 어떻게 해결해야합니까?

9 complexity-theory  satisfiability  approximation