# 2-SAT 의 임의 사례의 복잡성 이 절 밀도에 따라 어떻게 달라지는 작업이 수행 되었습니까? 즉 , 절 밀도가 변함에 따라 임의로 생성 된 2-SAT 인스턴스에 대한 만족스러운 솔루션 계산의 어려움은 어떻게 달라 집니까? 특히 임계 임계 값과 관련하여 알려진 엄격한 결과가 있습니까?
물론 2-SAT ∈ P 이므로 일반적인 계산 복잡도는 부분적으로 인스턴스가 만족할 수있는 확률에 따라 다릅니다. SAT / UNSAT에 대한 절 밀도가 임계 임계 값 보다 높은 인스턴스 는 일반적으로 한계 n → ∞ 에서 답이 거의 " 제로 " 이므로 계산이 복잡해 집니다. 그러나 유한 n에 대한 임계 임계 값에 가깝거나 그보다 높은 밀도를 갖는 2-SAT 인스턴스의 경우 계산 복잡성이 여전히 쉬울 수 있습니다. 만족스러운 인스턴스는 적은 수의 솔루션 만 가질 것으로 예상 할 수 있습니다. 제약 조건이 엄격하기 때문에 열거합니다.
들면 K -sat 으로 K ≥ 3은 인스턴스 만족할 또는 시켰음 여부를 판정 어려움 이 존재하는지 여부를 결정하는 하나 개의 시도로 부분적으로 UNSAT 상으로부터 SAT 상 분리 임계 한계에 가까운 높은 것 같다 적어도 하나에 만족스러운 솔루션. 들어 2-SAT , 어려움은 없습니다 적어도 하나의 해결책이 존재하는지 여부를 결정하는 거짓말; 따라서 중요하지만 크지 않은 만족스러운 공식에 대한 솔루션 수를 결정하는 데 어려움이있을 것으로 예상해야합니다. 제약 조건의 수-즉 변수 사이에 사소한 의존성을 유발할 수있는 충분한 제약이 있지만 가능한 할당을 과도하게 결정하기에는 충분하지 않습니다.