«random-k-sat» 태그된 질문

중요한 3- 만족도 (3-SAT) 밀도 있습니다. 무작위로 생성 된 3-SAT 절의 수가 이상인 경우 그러한 가 존재한다고 추측 됩니다. 거의 만족할 수 없습니다. (여기서 은 작은 상수이고 은 변수의 수입니다.) 숫자가 이하이면 거의 확실하게 만족할 수 있습니다.αα\alphaαα\alpha(α+ϵ)n(α+ϵ)n(\alpha + \epsilon) nϵϵ\epsilonnnn(α−ϵ)n(α−ϵ)n(\alpha - \epsilon) n Elitza Nikolaeva Maneva의 제약 만족 문제 문제 …

26 pr.probability  random-k-sat 

SAT 사례 의 잘 알려진 특성은 변수 개수 대한 절 개수 의 비율 , 즉 몫 입니다. 모든 에 대해 대한 임계 값 st \ 가 있으며 대부분의 인스턴스는 만족스럽고 대부분의 인스턴스는 만족스럽지 않습니다. 문제를 다 많은 연구가 있었다 , 충분히 작은 문제에 대한 ,m n ρ = m / …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

# 2-SAT 의 임의 사례의 복잡성 이 절 밀도에 따라 어떻게 달라지는 작업이 수행 되었습니까? 즉 , 절 밀도가 변함에 따라 임의로 생성 된 2-SAT 인스턴스에 대한 만족스러운 솔루션 계산의 어려움은 어떻게 달라 집니까? 특히 임계 임계 값과 관련하여 알려진 엄격한 결과가 있습니까? 물론 2-SAT ∈ P 이므로 일반적인 계산 …

18 cc.complexity-theory  counting-complexity  random-k-sat 

c n 절을 갖는 n 변수에 대한 랜덤 CNF 공식 은 충분히 큰 상수 c에 대해 높은 확률로 만족스럽지 못합니다 (즉, 모순입니다) . 따라서, 임의의 k- CNF 공식 ( 충분히 c )은 만족할 수없는 부울 공식 (또는 이중, 타우 톨 로지 , 즉 모순의 부정)에 대한 자연 분포를 구성합니다. 이 …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-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 …

14 sat  phase-transition  random-k-sat 

FOCS2013의 최근 논문 인 Gaspers 와 Szeider의 Bounded Treewidth SAT 에 대한 강력한 백도어 는 SAT 절 그래프 의 트리 폭 과 인스턴스 경도 간의 연결에 대해 설명합니다 . 랜덤 3-SAT, 즉 랜덤으로 선택된 3-SAT 인스턴스의 경우 절 그래프의 트리 폭과 인스턴스 경도 사이의 상관 관계는 무엇입니까? "인스턴스 경도"는 "일반적인 …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances