[논문 리뷰] Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough

Reinhard Pichler, Stefan Rümmele외 2명|2012. 04. 13.

Logic, Reasoning, and Knowledge참고 문헌 18인용 수 10

한 줄 요약

이 논문은 가중치 제약 조건을 갖는 정답집합 프로그래밍의 처리 가능성에 대해 유계 트리폭을 사용하여 조사하며, 표준 트리폭만으로는 처리 가능성에 부족하다는 것을 보여준다. 추가로 제약 폭을 새로운 매개변수로 도입하고, PCC(카디널리티 제약 조건)에 대해 비균일 다항시간 복잡도를 달성하는 동적 프로그래밍 알고리즘을 제시한다. 그러나 표준 가정 하에 W[1]-난이도임을 증명함으로써 고정 매개변수 처리 가능성(FPT)이 이루어지지 않을 가능성이 있음을 밝힌다.

ABSTRACT

Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks related to programs with cardinality or weight constraints - like checking the consistency of a program - are intractable. Many intractable problems in the area of knowledge representation and reasoning have been shown to become linear time tractable if the treewidth of the programs or formulas under consideration is bounded by some constant. The goal of this paper is to apply the notion of treewidth to programs with cardinality or weight constraints and to identify tractable fragments. It will turn out that the straightforward application of treewidth to such class of programs does not suffice to obtain tractability. However, by imposing further restrictions, tractability can be achieved.

연구 동기 및 목표

• 유계 트리폭만으로도 가중치 제약 조건을 갖는 정답집합 프로그래밍의 처리 가능성을 보장하는지 여부를 규명하는 것.
• PWC와 PCC에 대해 트리폭을 초월하는 추가적인 구조적 매개변수를 규명하여 처리 가능한 해법을 가능하게 하는 것.
• PCC에 대해 비균일 다항시간 복잡도를 달성하는 동적 프로그래밍 알고리즘을 개발하는 것.
• PCC와 PWC의 일致성 문제의 매개변수 복잡도를 다양한 매개변수화 방식 하에서 분석하는 것.
• 제안된 알고리즘의 시간 복잡도 향상 가능성을 이론적으로 한계를 설정하는 것.

제안 방법

• PWC 또는 PCC의 트리폭을 그의 인cidenece 그래프를 사용하여 정의한다.
• 제약 폭을 각 가중치 제약 조건의 하한 또는 상한에 나타나는 가장 큰 정수로 정의한다.
• 트리 분해를 기반으로 하여 각 버킷 안의 원자 순서를 추적하는 동적 프로그래밍 알고리즘을 설계한다.
• 트리 모델과 관련 모델 집합을 활용하여 잠재적 모델와 그 최소성 조건을 유지하는 자료 구조를 사용한다.
• PCC의 일치성 문제의 W[1]-난이도를 증명함으로써 고정 매개변수 처리 가능성(FPT)이 이루어지지 않을 것임을 보여, 트리폭에 대해 매개변수화했을 때의 문제 난이도를 분석한다.
• 트리 분해 및 알고리즘 구성 요소의 효율적 구현을 위해 SHARP 프레임워크와 htdecomp 라이브러리를 활용한다.

실험 결과

연구 질문

• RQ1 가중치 제약 조건을 갖는 정답집합 프로그래밍의 일치성 문제에 대해 유계 트리폭만으로 처리 가능성을 보장할 수 있는가?
• RQ2 트리폭을 초월하는 추가적인 구조적 매개변수—예를 들어 제약 폭 등—이 PWC와 PCC에 대해 처리 가능한 해법을 가능하게 할 수 있는가?
• RQ3 유계 트리폭 하에서 PCC의 일치성 문제에 대해 달성 가능한 최적의 시간 복잡도는 무엇인가?
• RQ4 제안된 동적 프로그래밍 알고리즘을 가중치가 유니터리 표현 방식을 갖는 PWC로 확장할 수 있는가?
• RQ5 트리폭에 대해 매개변수화했을 때 PCC의 일치성 문제에 대해 고정 매개변수 처리 가능성(FPT)을 달성할 수 있는가?

주요 결과

• PWC의 일치성 문제는 트리폭이 1로 유계일지라도 여전히 NP-완전하므로, 트리폭만으로는 처리 가능성 보장이 불가능하다.
• 트리폭과 제약 폭이 모두 상수로 유계일 경우, PWC의 일치성 문제는 선형 시간 처리 가능해진다.
• PCC의 경우, 동적 프로그래밍 알고리즘이 비균일 다항시간 복잡도를 달성하며, 실행 시간은 O(f(w) · n^{2w})로 표현되며, 여기서 w는 트리폭이고 n은 프로그램 크기이다.
• 문제가 트리폭에 대해 매개변수화했을 때 W[1]-난이도임을 증명함으로써 알고리즘의 시간 복잡도는 표준 복잡도 가정 하에 최적임을 입증한다.
• 가중치가 유니터리 표현 방식을 갖는 PWC로 알고리즘을 확장하면 비균일 다항시간 처리 가능성이 달성된다.
• 고정 매개변수 처리 가능성(FPT)은 이루어지지 않을 가능성이 높으며, 문제의 트리폭에 대해 매개변수화했을 때 W[1]-난이도이므로, 일반적인 가정 하에 현재의 복잡도 상한이 최선임을 시사한다.