[논문 리뷰] Clique-Width and Directed Width Measures for Answer-Set Programming

Bernhard Bliem, Sebastian Ordyniak외 1명|arXiv (Cornell University)|2016. 06. 30.

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

한 줄 요약

이 논문은 프로그램의 부호付き 인cidience 그래프의 부호付き 클리크-폭에 기반하여 고정 매개변수 가능(FPT) 동적 프로그래밍 알고리즘을 제안한다. 이는 ASP가 부호付き 클리크-폭에 대해 FPT임을 보여주며, SAT를 초월하여 두 번째 수준의 다항계층 문제에 대해 FPT 알고리즘을 제공하는 첫 번째 사례이다. 또한 대부분의 방향성 넓이 측정법이 FPT 결과를 도출하지 못한다는 점을 보여준다.

ABSTRACT

Disjunctive Answer Set Programming (ASP) is a powerful declarative programming paradigm whose main decision problems are located on the second level of the polynomial hierarchy. Identifying tractable fragments and developing efficient algorithms for such fragments are thus important objectives in order to complement the sophisticated ASP systems available to date. Hard problems can become tractable if some problem parameter is bounded by a fixed constant; such problems are then called fixed-parameter tractable (FPT). While several FPT results for ASP exist, parameters that relate to directed or signed graphs representing the program at hand have been neglected so far. In this paper, we first give some negative observations showing that directed width measures on the dependency graph of a program do not lead to FPT results. We then consider the graph parameter of signed clique-width and present a novel dynamic programming algorithm that is FPT w.r.t. this parameter. Clique-width is more general than the well-known treewidth, and, to the best of our knowledge, ours is the first FPT algorithm for bounded clique-width for reasoning problems beyond SAT.

연구 동기 및 목표

• ASP 프로그램의 의존성 그래프에 대한 표준적인 방향성 넓이 측정법이 고정 매개변수 가능(FPT) 결과를 도출하는지 조사한다.
• 클리크-폭, 특히 부호付き 클리크-폭이 ASP에서 FPT 알고리즘을 달성하기 위한 구조적 매개변수로 가능성이 있는지 탐색한다.
• 부호付き 클리크-폭에 대해 FPT인 새로운 동적 프로그래밍 알고리즘을 개발한다.
• 클리크-폭이 유계인 경우, SAT를 초월하여 다항계층의 두 번째 수준에서의 추론 문제에 대해 FPT 결과를 확립한다.
• 무부호 인cidience 그래프의 클리크-폭에 대해 ASP의 매개변수 복잡도를 조사한다.

제안 방법

• 논문은 NP-완전 문제인 클리크 문제에서 분리된 ASP 프로그램으로의 환원을 구축하여, 그래프 $G$에 크기 $k$의 클리크가 존재하는 것과 프로그램 $\Pi$에 해답 집합이 존재하는 것이 동치임을 보여준다.
• ASP 프로그램 $\Pi$의 부호화된 인cidience 그래프 $\textup{SINC}_{L}(\Pi)$를 정의하여, 원소, 규칙, 그리고 그들의 의존성을 나타내기 위해 정점과 간선에 레이블을 할당한다.
• 클리크-폭이 유계임을 보장하기 위해 레이블 연산($\eta_{i,j}^{\ell}$)을 통한 정점 도입, 분리합집합, 간선 추가를 통해 부호화된 인cidience 그래프에 대한 $k'$-표현을 명시적으로 구성한다.
• 동적 프로그래밍 알고리즘은 $k'$-표현을 하향식으로 처리하며, 부분 해를 유지하고 규칙 및 원소 정점 간의 일관성을 강제한다.
• 알고리즘은 클리크-폭이 유계인 그래프에 대해 MSO$_1$ 논리의 쿠르셀의 메타정리에 기반하며, ASP 프로그램의 특정 구조에 맞게 이를 변형한다.
• 구축된 프로그램의 부호화된 인cidience 그래프가 클리크-폭 최대 $k' = 2k + k^2$를 가짐을 증명하여, 환원에 대해 매개변수가 유계임을 입증한다.

실험 결과

연구 질문

• RQ1 ASP 프로그램의 의존성 그래프에 대한 표준적인 방향성 넓이 측정법이 ASP에 대해 고정 매개변수 가능(FPT) 알고리즘을 도출하는가?
• RQ2 부호화된 클리크-폭이 ASP에서 FPT 알고리즘을 달성하기 위한 타당한 매개변수인가, 특히 다항계층의 두 번째 수준 문제에 대해?
• RQ3 유계 부호화된 클리크-폭을 활용하여 효율적으로 ASP를 해결할 수 있는 동적 프로그래밍 알고리즘을 설계할 수 있는가?
• RQ4 무부호 인cidience 그래프의 클리크-폭에 대해 ASP의 매개변수 복잡도는 XP인지 FPT인지인가?
• RQ5 클리크-폭에 대한 이론적 FPT 결과를 실제로 구현 가능한 ASP 알고리즘으로 전환할 수 있는가?

주요 결과

• 논문에서의 부정적 결과에 따르면, ASP 프로그램의 의존성 그래프 또는 인cidience 그래프에 대한 대부분의 방향성 넓이 측정법은 FPT 결과를 도출하지 못한다.
• 논문은 그래프 $G$에 크기 $k$의 클리프가 존재하는 것과 프로그램 $\Pi$에 해답 집합이 존재하는 것이 동치임을 보여주는 분리된 ASP 프로그램 $\Pi$를 구축한다.
• 구축된 프로그램의 부호화된 인cidience 그래프 $\textup{SINC}_{L}(\Pi)$는 클리크-폭 최대 $k' = 2k + k^2$를 가지며, 이는 매개변수의 유계성을 입증한다.
• 부호화된 클리크-폭에 대해 매개변수화된 경우 FPT 시간 내에 ASP를 해결하는 새로운 동적 프로그래밍 알고리즘이 제시된다. 이는 $k'$-표현이 제공된 경우에 한해 성립한다.
• 이것은 클리크-폭이 유계일 때, SAT를 초월하여 다항계층의 두 번째 수준에서 추론 문제에 대해 FPT 결과를 도출하는 첫 번째 알고리즘이다.
• 클리크-폭이 작은 프로그램의 경우, 특히 기반화 단계나 외부 도구를 통해 $k'$-표현이 제공되는 경우, 이 알고리즘이 효율적으로 작동할 것으로 기대된다.