인과 그래프와 구성 요소 크기의 새로운 시각 SP 폐쇄 그래프 클래스와 그 너머

초록

이 논문은 계획 문제의 인과 그래프에서 약한 연결 성분의 크기가 제한될 때는 다항시간으로 해결 가능하지만, 성분 크기가 무한히 커지는 경우는 NP‑hard임을 표준 복잡도 이론 관점에서 증명한다. 특히 “SP‑폐쇄”라는 추가 제한을 두어도 성분이 무한히 커지는 그래프 클래스는 계획 문제를 다항시간으로 해결할 수 없으며, 설사 성분이 천천히 성장하고 그래프 클래스가 희소하더라도 다항계층이 붕괴되지 않는 한 효율적인 알고리즘은 존재하지 않는다. 이러한 결과는 비순환(acyclic) 인과 그래프에도 그대로 적용된다.

상세 분석

논문은 먼저 인과 그래프(causal graph)를 계획 인스턴스의 구조적 요약으로 활용한다는 점을 강조한다. 기존 연구에서는 그래프의 트리폭, 경로 폭, 혹은 변수 도메인 크기와 같은 정형화된 파라미터와 결합해 복잡도 경계를 분석했지만, Chen과 Giménez는 그래프를 구성하는 약한 연결 성분(weakly connected components)의 크기만을 고려해 “성분 크기가 상수이면 다항시간, 그렇지 않으면 비트리비얼하게 난해”라는 결과를 제시했다. 그러나 그들의 비트리비얼함 증명은 파라미터화 복잡도 이론의 W