«sat» 태그된 질문

3SAT의 시간 및 회로 깊이에 대한 최상의 전류 하한은 무엇입니까?

46 cc.complexity-theory  lower-bounds  sat 

또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT 솔버가 실제로 성공하기 위해 어떤 이론적 설명이 있습니까? 누군가 "wikipedia-style"개요와 설명을 함께 묶을 수 있습니까? 유추 하여, 심플 렉스 알고리즘에 대한 평활화 된 분석 ( arXiv 버전 )은 최악의 경우 지수 시간이 걸리고 NP- 전능 한 ( arXiv 버전 ) 사실에도 불구하고 실제로 왜 잘 작동하는지 설명하는 훌륭한 역할을합니다 …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

이 질문에서 3CNF 공식은 각 절이 정확히 세 개의 고유 한 변수를 포함하는 CNF 공식을 의미 합니다. 상수 0의 경우 < 의 <1, 갭 - 3SAT 의는 다음과 같은 약속의 문제이다 : 갭 - 3SAT 의 인스턴스 , • 3CNF 공식 φ. 그렇습니다 약속 : φ는 만족합니다. 약속 없음 : …

32 cc.complexity-theory  sat  approximation-hardness 

다음과 같은 정량화 된 부울 공식인지 결정 ∀ x1∃ x2∀ x삼⋯ ∃ x엔φ ( ×1, x2, … , x엔) ,∀엑스1∃엑스2∀엑스삼⋯∃엑스엔φ(엑스1,엑스2,…,엑스엔),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), 항상 참으로 평가되는 것은 고전적인 PSPACE- 완전 문제입니다. 이것은 교대로 움직이는 두 플레이어 사이의 게임으로 볼 수 있습니다. 첫 …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

정의 - 언어의 클래스로 언어가되도록 와 무한히 많은 , 및 은 길이 모든 인스턴스에 동의합니다 . (이것은 "언더 지수 시간에 무한정 자주 풀 수있는"언어 클래스입니다.)S U B E X P L L ' ∈ ∩ ε > 0 T I M E ( 2 N ε ) N L의 L …

30 cc.complexity-theory  sat  oracles 

누군가이 연구 분야의 관계가 무엇인지 명확히하려고하거나 도전 수준에서 좀 더 구체적으로 답변하려고합니까? 어느 것이 널리 받아 들여진 일부 제형을 가정 한 것을 포함한다. 내가 이것을 올바르게 받으면 SAT에서 SMT로 갈 때 기본적으로 CSP 필드에 들어갑니다. 반대로 CSP를 부울로 제한하면 기본적으로 SAT와 #SAT와 같은 몇 가지 관련 문제에 대해 이야기하는 것입니다. …

30 soft-question  sat  terminology 

고전 알고리즘은 시간 (무작위 화) 또는 시간 (결정적)으로 3-SAT를 해결할 수 있습니다 . (참고 : SAT 최고 상한 )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n 비교를 위해, 양자 컴퓨터에서 Grover 알고리즘을 사용 하면 무작위 로 의 솔루션을 찾고 제공 할 수 있습니다 . (여전히 솔루션의 존재 여부에 대한 지식이 여전히 필요할 수 있지만, 그 범위가 여전히 …

29 quantum-computing  sat  exp-time-algorithms 

나는 통계 물리학에 휴리스틱 논증이있어 엄격한 증거가 알려지지 않았거나 도달하기 어려운 확률 이론을 초래한다고 들었습니다. 그러한 현상의 간단한 장난감 예는 무엇입니까? 대답이 통계 물리학에 거의 배경이 없다고 가정하면 이러한 신비한 휴리스틱이 무엇이며 어떻게 비공식적으로 정당화 될 수 있는지 설명 할 수 있습니다. 또한 누군가는 이러한 휴리스틱을 얼마나 정당화 할 수 …

29 sat  pr.probability  physics  statistical-physics 

Scott Aaronson의 블로그 게시물은 오늘 흥미로운 열린 문제 / 작업 목록을 복잡하게 나열했습니다. 특히 하나는 내 관심을 끌었다 : 가능한 한 적은 변수와 절을 사용하여 3SAT 인스턴스로 구성된 공개 라이브러리를 구축하면 해결 될 때 주목할만한 결과가 발생합니다. (예를 들어, RSA 인수 분해 문제를 인코딩하는 인스턴스입니다.)이 라이브러리에서 최고의 최신 SAT 솔버의 …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

n 개의 변수에 대한 3-SAT 문제를 고려하십시오. 가능한 고유 한 절 수는 다음과 같습니다. C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. 문제 인스턴스의 수는 가능한 한 조항들 세트의 모든 부분 집합의 수이다 : . 당연히, 각 , 적어도 하나의 만족스러운 인스턴스와 하나의 불만족스러운 …

28 cc.complexity-theory  sat 

"복잡성 계산에서 승리를 선언 할 때입니까?" 기사를 읽는 동안 이상에서 "괴델의 분실 문자 및 P = NP" 블로그, 그들은 CSP의의 이분법을 언급했다. 인터넷 링크와 위키 핑을 따라 간 링크를 따라 Ladner Theorem을 발견했습니다 . 라드의 정리 : 만약 , 다음에 문제가있는 아닌 - 완전한은.N P ∖ P N PP ≠ …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

만족스러운 "쉬운 영역"이란 무엇입니까? 다시 말해, 일부 SAT 솔버가 존재한다고 가정하여 만족스러운 할당을 찾을 수있는 충분한 조건입니다. 한 가지 예는 각 절이 LLL의 건설적 증거 로 인해 다른 절과 변수를 공유 하는 경우 해당 줄을 따라 다른 결과가 있습니까? 거기에 상당한 문학 믿음 전파 쉬운 지역에가, satisfiability에 대한 그 라인을 …

27 cc.complexity-theory  sat 

SAT 솔버에서 절단 평면 방법, 가변 전파, 분기 및 바운드, 절 학습, 지능형 역 추적 또는 핸드 메이드 인간 휴리스틱을 찾을 수 있습니다. 그러나 수십 년 동안 최고의 SAT 솔버는 해상도 증명 기술에 크게 의존해 왔으며 단순히 다른 스타일의 조합을 사용하여 도움을주고 해상도 스타일을 직접 검색했습니다. 분명히 어떤 알고리즘이라도 적어도 …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

일반 그래프에서 지수가되는 일부 NP-hard 문제는 트리 폭이 최대 이고 트리 폭에서 지수 이기 때문에 평면 그래프에서 하위 지수입니다.4.9 | V( G ) |−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} 기본적으로 NP-complete 인 PLANAR SAT에 대한 하위 지수 알고리즘이 있는지에 관심이 있습니다. 하자 변수에 CNF 식 수 는 AND 번째 절은 .x i i c …

26 graph-theory  sat  reductions