SAT에 대한 하위 지수 증명 / 알고리즘의 결과

SAT에 기하 급수적 비 확대 증거가 있거나 SAT에 기하 급수 알고리즘이 있다면 더 큰 결과가 발생합니까?

cc.complexity-theory sat proof-complexity

— 고르다
소스

그것은 다양한 결과를 낳는 지수 시간 가설 을 반증 할 것입니다 (wikipedia 기사에서 다룹니다).

— Artem Kaznatcheev

@ArtemKaznatcheev 코멘트-> 답변?

— Suresh Venkat

@SureshVenkat는 Ryan Williams가 더 나은 것을 제공 할 수있을 때 대답하기가 어색하다고 느낍니다. 나는 지금 당장 하나를 줬지만 Ryan과 다른 사람들이 더 멋진 것을 원합니다.

— Artem Kaznatcheev

대답이 맞다면 누가 그것을 제공하는지는 중요하지 않습니다 :)

— Suresh Venkat

죄송합니다 Artem, 내 대답은 당신보다 훨씬 시원하지 않을 것입니다 ... 추가해야 할 한 가지는 ETH가 거짓이라는 것이 새로운 초 선형 회로 하한을 의미한다는 것입니다 (동일한 종이).

— 라이언 윌리엄스

SAT에 하위 지수 시간 알고리즘이있는 경우 지수 시간 가설을 반증합니다 .

재미있는 결과를 위해 : 변수와 회로 게이트를 사용 하여 AND, OR, NOT에 대한 회로 SAT 가 사소한 접근법 보다 더 빨리 해결 될 수 있다는 것을 보여 주면 Ryan Williams의 논문 에서 그 . $n$ $poly(n)$ $2^n poly(n)$ $NEXP \not\subseteq P/poly$

— 아르 템 카즈 나체 예프
소스

답의 첫 번째 단락은 지수 시간 가설의 정의 일 뿐이라고 생각합니다.

— Ito Tsuyoshi