«sat» 태그된 질문

의 증명 시도의 일부가 있습니다. 증명 시도는 -완전한 문제 3- 일반 정점 표지에서 SAT 로의 Karp 축소로 구성됩니다 .⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus 입방 그래프 주어지면 , 감소 는 다음 특성을 모두 갖는 CNF 공식 를 출력 합니다.GGGFFF FFF 는 최대 만족스러운 과제를 가지고 있습니다.111 FFF 의 정점 커버 수가 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

변수 발생 수가 제한된 1-in-3-SAT의 복잡성 클래스에 대해 알려진 결과가 있습니까? Peter Nightingale과 함께 다음과 같은 비열한 감소를 생각해 냈지만 이것이 알려지면 인용하고 싶습니다. 여기에 우리가 생각 해낸 트릭이 있습니다. 이는 변수 당 3 개의 발생으로 제한되는 1-in-3-SAT가 NP 완료이고 #P 완료 (1-in-3-SAT이므로) 이므로 3-SAT가 3 개의 발생으로 제한됨 은 …

11 reference-request  sat  reductions 

Impuriliazzo, Paturi 및 Calabro, Impagliazzo, Paturi 는 ETH (Exponential-Time Hypothesis) 및 SETH (강하게 지수-시간 가설)를 도입했습니다. 대략 SETH는 시간에 SAT를 해결하는 알고리즘이 없다고 말합니다 . 1.99엔1.99n1.99^n 나는 그것이 SETH를 깨뜨리는 것이 무엇을 의미하는지 궁금했습니다. 우리는 확실히 단계 미만으로 SAT를 해결하는 알고리즘을 찾아야 하지만, 어떤 계산 모델을 사용해야하는지 잘 모르겠습니다. 내가 …

11 cc.complexity-theory  sat  exp-time-algorithms 

하자 부울 변수 벡터 될. C , D 를 x의 두 부울 회로라고 합시다 . 다음 과 같은 경우 C 가 D 와 유사 하다고 가정 하십시오.x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D 는 그래프 편집 거리가 작은 양만큼 다릅니다 (편집 거리는 회로의 크기보다 훨씬 작습니다 예 : 또는 작은 상수)). 의 …

11 sat  application-of-theory 

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

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

내가 아는 모든 #SAT 솔버 (예 : RelSat, C2D)는 만족할만한 인스턴스 수만 반환합니다. 그러나 각 인스턴스를 알고 싶습니다. 이러한 #SAT 솔버가 있거나 사용 가능한 #SAT 솔버를 수정하여 어떻게해야합니까? 감사합니다.

11 lo.logic  sat  software 

SAT 솔버를 특수 그래프 알고리즘과 경쟁적으로 만드는 데 어떤 장애물이 있습니까? 다시 말해, 알고리즘 디자이너의 역할을 대체 할 수있는 SAT 솔버를 예상 할 수 있습니까? 즉, 문제 구조를 자동으로 인식 한 후 특수 알고리즘만큼 빨리 해결할 수 있습니까? 다음은 오늘날의 SAT 솔버에게 도전적인 몇 가지 예입니다. 크기 의 독립 세트를 …

11 ds.algorithms  graph-theory  sat 

나는 한동안 SAT 알고리즘을 개발해 왔으며 그것을 공유하고 싶은 시점에 도달했다. 나는 컴퓨터 과학 분야의 많은 사람들을 모른다. 정확히 어디로 돌릴 지 잘 모르겠다. 게시를 고려중인 알고리즘을 가진 사람이 사용할 수있는 리소스가 궁금합니다. 또한 알고리즘의 런타임 및 정확성을 분석하는 데 도움이 필요합니다. 내 주요 문제는 런타임 분석에 있습니다. 이에 대한 …

11 sat  soft-question  proofs 

CNF 공식이 모노톤 (변인은 무시되지 않음) 인 SAT 변형에 관심이 있습니다. 이러한 공식은 분명히 만족할 만하다. 그러나 진정한 변수의 수는 솔루션이 얼마나 좋은지 측정하는 것이라고 말합니다. 따라서 다음과 같은 문제가 있습니다. 최소 참 모노톤 3SAT INSTANCE : 리터럴이 변수 (부정되지 않음) 인 변수의 U, 3 개의 리터럴의 분리 절 모음 …

11 cc.complexity-theory  np-hardness  sat 

Elberfeld, Jakoby 및 Tantau 2010 ( ECCC TR10-062 )은 공간 효율적인 버전의 Bodlaender 정리를 증명했습니다. 그들은 가 최대 트리 폭인 그래프의 경우 로그 공간을 사용하여 폭 k 의 트리 분해를 찾을 수 있음을 보여주었습니다 . 공간 제한의 상수 계수는 k에 따라 다릅니다 . (Bodlaender의 정리는 상수 인자 에서 k 에 …

10 cc.complexity-theory  sat  treewidth  space-complexity 

인스턴스를 더 크게 만들지 않고 -Clique를 SAT 로 줄이는 데 관심이 있습니다.kkk Clique는 NP에 있으므로 대수 공간을 사용하여 SAT로 줄일 수 있습니다. 간단한 Garey / Johnson 교과서 축소는 인스턴스를 입방 크기로 날려 버립니다 . 그러나 Clique는 모든 고정 대해 P에 있으므로 적어도 고정 대한 효율적인 감소가 "필요"해야한다 .kkkkkkkkk 축소를 구축하는 …

10 cc.complexity-theory  sat  reductions  clique 

Planar 3-SAT의 표준 정의는 무엇입니까? 나는 여러 가지 다른 정의를 보았다. 그것을 정의하고 NP- 완전하다는 것을 증명 한 최초의 논문은 무엇입니까?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

3 개 이상의 절의 총 수 (너비는 아님)가 상수로 제한 될 때 CNF SAT 문제 NP가 어렵습니까? 그러한 절이 하나만있을 때 구체적으로 어떻습니까?

10 np-hardness  sat  upper-bounds 

CNF 공식 의 자연적 클래스 가 있습니까 -바람직하게는 문헌에서 이전에 연구 된 것 – 다음과 같은 특성을 갖습니다 :CCC C F ∈ CCCC 는 예를 들어 혼 또는 2-CNF와 같은 SAT의 쉬운 경우이다. 즉, 구성원 은 다항식 시간으로 테스트 될 수 있고, 식 는 다항식 시간에서 만족 스러운지 테스트 될 …

10 sat  proof-complexity 

문맥 : Kavvadias 및 Sideri을 감안할 때 : 역 3-SAT 문제가 CONP가 완료되었음을 보여 주었다 φϕ\phi 에 모델 세트 Nnn 하는 3-CNF 공식은이 변수 φ는ϕ\phi 모델의 정확한 설정되어 있습니까? 즉각적인 후보 수식 모델 모두 만족하는 모든 3 절의 함께 발생되는 φϕ\phi . 그것은 암시 모든 3 절을 포함하기 때문에, 이러한 …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat