여기서 목표는 가장 적은 수의 절과 변수를 사용하여 임의의 SAT 문제를 다항식 시간으로 3-SAT로 줄이는 것입니다. 내 질문은 호기심에 의해 동기 부여됩니다. 덜 공식적으로 저는 "SAT에서 3-SAT로 '가장 자연적인'감축이 무엇입니까?" 이제 교과서에서 항상 본 축소는 다음과 같습니다. 먼저 SAT를 예로 들어 Cook-Levin 정리를 적용하여 SAT를 회로 SAT로 줄이십시오. 그런 다음 …
Satisfiability의 문제는 물론, 이론적 인 CS의 근본적인 문제이다. 나는 무한히 많은 변수로 한 가지 버전의 문제로 놀고있었습니다.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} 기본 설정. 하자 비어 있지 않은 및 수 의 가능성이 무한한 변수 . 리터럴은 변수 x ∈ X 또는 그 부정 ¬ x 입니다. c 절 은 한정된 수의 리터럴을 분리 한 …
짧은 버전. # 2-SAT가 # P- 완전 하다는 원래의 증거 는 사실, 단조로운 (변수의 부정을 포함하지 않음) 및 이분 (모두의 변수는 이분 그래프입니다)는 #P -hard입니다. 따라서 # 2-MONOTONE-SAT 및 # 2-BIPARTITE-SAT의 두 가지 특수 사례는 #P -hard입니다. #P -hard 인 공식의 '자연'속성으로 특징 지을 수있는 다른 특별한 경우가 있습니까? 긴 …
과거에는 SAT와 규칙적인 제약 조건 만족을 엔진의 핵심 워크로 사용하여 조정 모델을 구현했습니다. 이 작업 라인을 계속하면서 모델을 대화식으로 만들고 싶습니다.이 작업을 수행하는 가장 좋은 방법은 더 이상 블랙 박스가 아닌 제약 조건 솔버를 여는 것입니다. 따라서 제약 조건에 외부 변수 , 술어 및 함수 라고 부르는 제약 조건이있는 제약 …
이 질문은 아마도 주제와 주제 사이의 경계에있을 것입니다. 그러나 여기서 비슷한 질문을 보았으므로 질문하겠습니다. 입력이 최대 1 개의 만족스러운 할당을 갖는 k -CNF 공식 인 Unique kkk -SAT 솔버를 구현하고 있습니다. 그것의 실제적인 행동을 테스트하기 위해서는 그러한 공식이 필요합니다. 나는 웹에서 그것들을 검색했지만 아무것도 찾지 못했습니다 (반면에, 일반적인 k -CNF …
c n 절을 갖는 n 변수에 대한 랜덤 CNF 공식 은 충분히 큰 상수 c에 대해 높은 확률로 만족스럽지 못합니다 (즉, 모순입니다) . 따라서, 임의의 k- CNF 공식 ( 충분히 c )은 만족할 수없는 부울 공식 (또는 이중, 타우 톨 로지 , 즉 모순의 부정)에 대한 자연 분포를 구성합니다. 이 …
Kuroda의 고전적인 결과로, 복잡성 클래스 NSPACE [ ]엔nn (NLIN-SPACE라고도 함)는 상황에 맞는 언어 의 클래스 CSL입니다 . 만족도 문제 SAT 는 NSPACE [ ]에 있습니다. 솔루션에 대한 선형 크기 추정값은 기장을 위해 최대 선형 양의 오버 헤드로 확인할 수 있기 때문입니다. 이는 SAT에 상황에 맞는 문법 (CSG) 이 있어야 함을 …
경우 , 다음 LOGSPACE 알고리즘 떨어져 있음을 해결해 결정 버전 2의 SAT.L=NLL=NL\mathsf{L = NL} 가요 하기 LOGSPACE 알고리즘이 있음을 암시하는 것으로 알려져 만족 할당을 얻을 때 입력으로 만족할 -2- SAT 인스턴스 주어진?L=NLL=NL\mathsf{L = NL} 그렇지 않다면, 서브 라인 공간을 사용하는 알고리즘은 어떻습니까?
이 질문은 다른 게시물과 밀접한 관련이 있습니다. NP 어려운 문제의 단계 전환 이지만 다소 다릅니다. 그 질문은 NP 하드 문제의 특정 사례의 경도에 관한 것이지만, 이것은 동일한 사례의 난이도를 평가 하는 것에 관한 것 입니다. Phase Transition 이라는 효과에 대한 참고 문헌이 많이 있습니다 . 특히 결막 정규형 (CNF)의 랜덤 …
SAT 솔버는 하나의 수량 자로 부울 수식의 유효성을 확인할 수있는 강력한 방법을 제공합니다. 예를 들어, 의 유효성을 검사합니다 . φ ( x ) , SAT 솔버를 사용하여 φ ( x ) 가 만족 스러운지 여부를 결정할 수 있습니다. ∀ x 의 유효성을 검사합니다 . φ ( x ) , SAT …
임의의 3-SAT에 대한 변수에 대한 절의 임계 비율은 3보다 크고 6보다 작으며 일반적으로 "4.2 주위"또는 "4.25 주위"로 설명됩니다. Mezard, Parisi 및 Zecchina는 (물리적 의미에서) 임계 비율이 4.256 임을 증명하고, 첫 번째 및 세 번째 저자 는 그것이 4.267 임을 증명 합니다. What is the range of values that the critical …
인터넷에서 검색했지만 SAT 문제의 변형 된 '큰 목록'을 찾을 수 없었습니다. (공통)을 제외하고 수능, k-SAT, MAX-kSAT, 반토, XOR-SAT, NAE-SAT 다른 변형이 있습니까? (또한 복잡한 클래스가 제공되는 경우 (가능한 경우) 실제로 유용합니다)