거의 2SAT 문제의 고정 매개 변수 다루기 힘든 이진 부울 CSP에 대한 결과가 있습니까?

하자 2CNF 식 수 및 음수가 아닌 정수. 이 논문 에서 만족 시키기 위해 최대 절을 삭제할 수 있는지 여부를 결정하는 문제 는 고정 매개 변수 다루기 쉬운데, 여기서 는 매개 변수 라는 것이 입증되었다 . 내 질문은이 결과를 다른 이진 부울 CSP로 일반화하는 작업이 있는지 여부입니다. (즉, 하나는 대부분의에서 삭제할 수 있는지 여부를 결정한다 에 의해 파라미터 일부 CSP 인스턴스 만족할 수, 있도록 제약 또는 부정적인 결과를)? $\varphi$ $k$ $k$ $\varphi$ $k$ $k$ $k$

parameterized-complexity csp fixed-parameter-tractable

— 정격
소스

나는 여기서 누락 된 점에 대해 정말로 궁금 합니다. 고정

대해 최대 2

최대

절 집합 만 있기 때문에 거의 2SAT 사소한 고정 매개 변수가 다루기 쉽지 않습니까?

k

$k$

k

$k$

— Dave

@Dave에는 약

절이 있지만 고정 매개 변수 다루기 기능 을 사용하면 런타임의 지수 부분에

가 표시 되지 않습니다 .

O (n^{k})

$O(n^k)$

k

$k$

— 규칙 성

내 지식으로는이 CSP 변형을 광범위하게 공개합니다. 설정에서 몇 가지 고정 매개 변수 다루기 쉬운 문제를 표현할 수 있습니다 (예 : d- 히팅 세트는 대부분 d + 네거티브 할당에서 크기의 양의 절이있는 경우에 해당합니다. 대략 CSP 문제가 약간 더 일반적이지만 쉽게 감소됨을 의미합니다. d-HS로 돌아가거나 적어도 가중 된 d-HS). 실재적으로 정량화 된 2-CNF 공식을 통해 구현할 수있는 제약 조건의 경우에도 복잡성이 무엇인지 알 수 있습니다. 문제는 이러한 방식으로 제약 조건을 구현할 때 2-CNF 인 동안 전체를 삭제하기 위해 하나만 지불한다는 것입니다. 따라서 다른 두 가지의 결합 인 단순한 제약조차도 어려울 수 있습니다 (나중에 예제 + 참조가있을 수 있음).

— 스테판 크라 츠
소스