[논문 리뷰] General and Fractional Hypertree Decompositions: Hard and Easy Cases

Wolfgang Fischl, Georg Gottlob외 1명|arXiv (Cornell University)|2016. 11. 03.

Algorithms and Data Compression참고 문헌 51인용 수 14

한 줄 요약

이 논문은 고정된 k ≥ 2에 대해 분수 초수형 폭(fhw) ≤ k 여부를 확인하는 문제와 일반화된 초수형 폭(ghw) ≤ 2 여부를 확인하는 문제의 NP-완전성을 입증하며, 오랫동안 남아있던 열린 문제를 해결한다. 또한 fhw와 ghw의 다항시간 계산 또는 효율적인 근사화를 가능하게 하는 다항시간 계산이 가능한 제약 조건—예를 들어 유계 다중교차 성질(BMIP)과 유계 교차 성질(BIP)—를 규명하여, 합성 조건 쿼리와 CSP 최적화를 위한 실용적인 알고리즘을 제공한다.

ABSTRACT

Hypertree decompositions, as well as the more powerful generalized hypertree decompositions (GHDs), and the yet more general fractional hypertree decompositions (FHD) are hypergraph decomposition methods successfully used for answering conjunctive queries and for the solution of constraint satisfaction problems. Every hypergraph H has a width relative to each of these decomposition methods: its hypertree width hw(H), its generalized hypertree width ghw(H), and its fractional hypertree width fhw(H), respectively. It is known that hw(H) <= k can be checked in polynomial time for fixed k, while checking ghw(H) <= k is NP-complete for any k greater than or equal to 3. The complexity of checking fhw(H) <= k for a fixed k has been open for more than a decade. We settle this open problem by showing that checking fhw(H) <= k is NP-complete, even for k=2. The same construction allows us to prove also the NP-completeness of checking ghw(H) <= k for k=2. After proving these hardness results, we identify meaningful restrictions, for which checking for bounded ghw or fhw becomes tractable.

연구 동기 및 목표

• 고정된 k에 대해 fhw(H) ≤ k 여부를 확인하는 것이 다항시간으로 가능한지 여부를 해결하는 것.
• 일반화된 초수형 폭(ghw)의 복잡도 격차를 닫기 위해 ghw ≤ 2 여부의 NP-완전성을 증명하는 것.
• fhw와 ghw의 다항시간 계산 또는 좋은 근사화를 보장하는 현실적이고 비자명한 초그래프 제약 조건을 규명하는 것.
• BMIP 및 BIP와 같은 구조적 제약 조건 하에서 fhw에 대한 다항시간 알고리즘 또는 근사화 기법을 제공하는 것.

제안 방법

• 3-SAT에서의 축소를 통해 fhw ≤ 2 및 ghw ≤ 2 여부 확인 문제의 NP-완전성을 입증하기 위한, 폭 제약 조건을 유지하는 구성 방법을 사용한다.
• 유계 다중교차 성질(BMIP)을 도입하여, 임의의 c개의 간선의 교차 크기가 최대 i 이하인 초그래프 클래스를 정의한다.
• 유계 VC-차원과 구조적 성질을 활용하여 간선에 의해 뒤집어지는 집합의 크기를 제한함으로써 폭 근사화를 가능하게 한다.
• 분수 간선 커버 근사화를 사용하여, BMIP를 만족하는 초그래프에 대해 fhw를 O(k·log k) 요소 내에서 다항시간에 근사화하는 알고리즘을 설계한다.
• 유계 교차 성질(BIP)을 적용하여 fhw에 대해 임의로 가까운 다항시간 근사화를 달성한다.
• 유계 차수 성질(BDP)을 사용하여 간선의 겹침과 차수 제약 조건을 통해 Check (FHD, k) 및 Check (GHD, k)의 다항시간 계산 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 고정된 k ≥ 2에 대해 fhw(H) ≤ k 여부를 확인하는 것은 NP-완전인가?
• RQ2 ghw(H) ≤ 2 여부를 확인하는 것은 NP-완전인가?
• RQ3 초그래프에 대한 의미 있는 구조적 제약 조건이 fhw와 ghw의 다항시간 계산 또는 근사화를 보장할 수 있는가?
• RQ4 유계 다중교차 성질(BMIP)이 fhw의 다항시간 근사화를 로그 요소 내에서 가능하게 하는가?
• RQ5 Grohe와 Marx(2014)가 제안한 특수 조건이 그 조건 하에서 fhw의 효율적인 인식을 가능하게 하는가?

주요 결과

• fhw(H) ≤ k 여부 확인은 모든 k ≥ 2에 대해 NP-완전이며, 15년간 남아있던 열린 문제를 해결한다.
• ghw(H) ≤ 2 여부 확인은 NP-완전이며, 일반화된 초수형 폭의 마지막 열린 케이스를 닫는다.
• 유계 다중교차 성질(BMIP)은 fhw에 대해 다항시간 O(k·log k)-근사화를 가능하게 한다.
• 유계 교차 성질(BIP)은 fhw에 대해 임의로 가까운 다항시간 근사화를 가능하게 한다.
• 유계 차수 성질(BDP)은 Check (FHD, k) 및 Check (GHD, k)의 다항시간 계산 가능성을 보장한다.
• BMIP 또는 BIP를 만족하는 초그래프는 실제의 합성 조건 쿼리와 CSP에서 흔히 나타나며, 이 제약 조건의 실용적 관련성을 입증한다.