랜덤 3-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 ratio could possibly take?

이 질문을하는 동기는 비율이 수 있다면, NAE -3- SAT 3-SAT의 다음 표준 환원 (바뀌는조항 및으로 변수조항 및변수)의 비율로 제공가능성 보이지만 꽤 것, 멋있는. $2+\sqrt{5} \approx 4.236$ $m$ $n$ $2m$ $m+n+1$ $\phi$

sat phase-transition random-k-sat

— 앤드류 디 킹
소스

비율이 중요하다는 의미를 정의해야합니다.

— Tyson Williams

나는 이것이 표준 용어라고 생각합니다. 임계 비율은 실수

이므로

절을 갖는 임의의 3-SAT 공식 은 거의 확실하게 만족스럽고

절을 가진 임의의 3-SAT 공식 은 거의 확실하게 만족스럽지 않습니다. 거의 확실하게 여기 확률이가는 의미

로

α

$\alpha$

< α n

$< \alpha n$

> α n

$> \alpha n$

1

$1$

n \to \infty

$n \to \infty$

— Sasho 니콜 로프

가능한 k-sat 및 / 또는 3-sat에 대한 (un) 만족도 임계 값에서 현재 가장 잘 알려진 상한 및 하한

— András Salamon

나는 그 질문이 분명하다고 주장한다. 나는 공동체의 어떤 전문가에게도 충격을주지 않는 일련의 가치에 대한 추정치를 찾고있다. 예를 들어, 4 세 미만은 자격이 없다고 생각합니다. (이것은 어느 정도 개인 마일리지

— Andrew D. King

Ding--Sly--Sun의 1 단계 복제본 대칭 검증 kSAT에 대한 속보 그림 (k가 충분히 큰 경우) 이제 3SAT 만족도를 위해 MPZ / MMZ로 추측 된 공식에 대해 전문가들은 매우 놀랄 것입니다. 임계 값 (대략적인 값 : 4.2667)이 올바르지 않습니다.

— 라이언 오도넬
소스

나는 이것이 Jian Ding, Allan Sly 및 Nike Sun (118 페이지!) 이이 답변에서 언급 한 논문 이라고 생각합니다 .

— Moot