주어진 일반 부울 공식 (CNF-SAT), 주어진 DNF 공식 또는 주어진 2SAT 공식에서 만족스러운 할당 수를 계산하는 문제는 # P- 완전한 문제 라는 것을 알고 있습니다. 이제 음수 리터럴이없는 CNF-SAT ( , 항상 A )를 고려하십시오. 결정 문제는 매우 쉽습니다 (모든 변수를 TRUE로 설정하고 대입이 수식을 만족하는지 확인). 그러나 만족하는 대입 …
SETH ( 강한 지수 시간 가설 ) 의 비 결정적 확장에 대해 논의한 이 논문 에 따르면 , 윌리엄스는 최근 k-TAUT의 멀린-아더 복잡성에 관한 관련 가설이 거짓임을 보여 주었다. 그러나 그 신문은 개인적인 의사 소통 만 인용합니다. MA 버전의 SETH는 어떻게 거짓으로 증명됩니까? 나는 그것이 공식을 대 수화 하는 것과 …
에서 Bundeswettberweb Infomatik 2010/2011, 흥미로운 문제가 발생했습니다 : 고정 경우 최소 k 와 맵을 찾으십시오. φ : { ( i , j ) | i ≤ j ≤ n } → { 1 , … , k } 이므로 φ ( i ) 가 포함 된 3 중 ( i …
있음을 불러 폭 해상도의 논박의 CNF 수식의 발생 임의 절 리터의 최대 개수 . 모든 내용 , 시켰음 수식있다 마다 해상도 논박 3 CNF 명세서 적어도 폭을 요구 .F R w F F w아르 자형RR에프FF아르 자형RR승ww에프FF에프FF승ww 너비 4의 분해능 반박이없는 3-CNF (가능한 한 작고 간단한)에서 만족할 수없는 공식의 구체적인 예가 …
관심있는 최적화 문제를 해결하기 위해 SAT 솔버에 의존 할 가능성을 조사하기 시작했으며 현재 SAT 변형 (예 : 결과 변환)에 대한 "영리한"변환의 예를 특징으로하는 설문 조사를 찾고 있습니다. 적당한 크기의 문제에서 경도 결과를 증명하는 데 관심이 없지만 실제로 문제를 해결하는 데 관심이 있기 때문에) Greenlaw와 Petreschi의 입방 그래프 에 대한 조사에서 …
Monotone-2CNF 공식은 각 절이 정확히 2 개의 양의 리터럴로 구성된 CNF 공식입니다. 이제 Monotone-2CNF 공식 있습니다. S 를 F를 만족시키는 할당 의 집합으로 하자 . 또한 다음 정보를 제공 할 수 있는 오라클 O 가 있습니다.FFFSSSFFFOOO 세트 의 카디널리티 (즉, F 의 솔루션 수 )SSSFFF 변수 주어지면 : xxx 양의 …
나는 모든 만족할 수있는 명제 논리 공식, SAT 의 언어를 고려하고 있습니다 (이것은 유한 알파벳을 갖기 위해 우리는 명제 문자를 적절한 방법으로 인코딩 할 것입니다 . [편집 : 대답은 질문에 대한 대답이 강력하지 않을 수 있다고 지적했습니다 다양한 인코딩으로 인해 더 구체적이어야합니다-아래 내 결론 참조] ). 내 간단한 질문은 가 …
어떤 속성이 2-CNF (2-SAT)로 표현 될 수 없다는 것을 어떻게 알 수 있습니까? 페블 게임과 같은 게임이 있습니까? 고전적인 블랙 페블 게임과 블랙-화이트 페블 게임은 이것에 부적합한 것으로 보입니다 (Hytel과 Pitassi, SIAM J of Computing, 2010에 따르면 PSPACE는 완벽합니다). 아니면 게임 이외의 기술이 있습니까? 편집 : 나는 알 수없는 술어 …
고유 한 SAT는 잘 알려진 문제입니다. CNF 공식 주어지면 F 에 정확히 하나의 모형이 있다는 것이 사실 입니까?FFFFFF « 정확한 SAT»문제에 관심이 있습니다 : CNF 공식 F 와 정수 m > 1이 주어지면 F 가 정확히 m 개의 모형을 가지고 있다는 것이 사실 입니까?mmmFFFm>1m>1m>1FFFmmm 두 문제는 비슷해 보입니다. 그래서 내 …
CNF 공식은 무작위 대 구조의 두 가지 클래스로 나눌 수 있다는 것이 널리 알려져 있습니다. 랜덤 CNF 공식과 반대로 구조화 된 CNF 공식은 우연히 일어날 가능성이없는 패턴을 보여주는 일종의 순서를 나타냅니다. 그러나 어느 정도의 무작위성을 나타내는 구조화 된 수식 (예 : 특정 특정 절 그룹은 다른 것보다 훨씬 덜 구조화 …
랜덤 K-SAT를 정의 할 때 가질 수있는 제약에는 4 가지가 있습니다. 1) 주어진 절의 총 리터럴 수는 정확히 K 또는 AT입니다 K) 2) 주어진 리터럴은 동일한 절 (A 또는 A 또는 A)에서 교체하거나 사용하지 않고 사용할 수 있습니다. 동일한 조항에서 대체없이 (A 또는 ~ A 또는 ~ A) 4) 주어진 …
내가 특히 궁금한 것은 그러한 문제가 다루기 쉬운 것을 보장하기 위해 3SAT 공식을 만족시키는 과제의 비율에 흥미로운 조건이 있는지 여부입니다. 예를 들어, 2 n 가능한 대입 중 이 부울 공식을 만족시키는 3SAT 문제의 클래스를 가정하십시오 . 만족스러운 과제를 효율적으로 찾을 수 있습니까? 무엇을 위해 ε는 P의 결과 문제가?ϵ ( n …