[논문 리뷰] The parameterized complexity of k-edge induced subgraphs

Bingkai Lin, Yijia Chen|arXiv (Cornell University)|2011. 05. 03.

Advanced Graph Theory Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 k-edge 유도 부분그래프 문제의 고정 매개변수 다항시간 가능성(FPT)을 입증하여, 레이젠 카이가 제기한 열린 문제를 해결한다. 저자들은 국소적으로 유계인 트리너프를 가진 그래프에 대해 일阶논리의 모델 체크 기반 방법(Frick와 Grohe의 FPT 모델 체크)과 조합 기법—특히 삼각수에 관한 가우스의 유크레아 정리와 램지 유형의 추론—을 융합하여 국소적으로 유계가 아닌 그래프의 경우를 다루며, 잔여 그래프에 대한 재귀적 분해와 유계 정점 커버 추론을 통해 FPT를 최종적으로 증명한다.

ABSTRACT

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews, 86], and a generalization of the well-known fpt-algorithm for the model-checking problem for first-order logic on graphs with locally bounded tree-width due to Frick and Grohe [Frick and Grohe, 01]. On the other hand, we show that two natural counting versions of the problem are hard. Hence, the $k$-edge induced subgraph problem is one of the rare known examples in parameterized complexity that are easy for decision while hard for counting.

연구 동기 및 목표

• 레이젠 카이가 제기한 매개변수 복잡도 문제인 k-edge 유도 부분그래프 결정 문제의 복잡도를 해결하기 위해.
• k를 매개변수로 삼을 때, k-edge 유도 부분그래프의 존재 여부를 효율적으로 결정할 수 있는지 여부를 판단하기 위해.
• 기존의 계수 문제에 대한 하드니스 결과를 고려할 때, 결정 문제와 계수 문제 간의 복잡도 격차를 조사하기 위해.
• 일반 그래프에 대해 유효한 새로운 FPT 알고리즘을 개발하기 위해, 논리 기반 모델 체크와 조합적 분해 기법을 융합하기 위해.
• 특히 국소 트리너프나 차수 유계 조건이 적용되지 않을 경우, 문제의 다항시간 가능성 유지 조건을 분석하기 위해.

제안 방법

• k-edge 유도 부분그래프의 존재를 일阶논리로 표현함으로써, 국소적으로 유계인 트리너프를 가진 그래프에 대해 Frick와 Grohe의 FPT 모델 체크 결과를 적용할 수 있도록 한다.
• 논리 기반 접근을 차수 함수에 따라 k에 유계인 그래프로 확장하여, 낮은 차수 및 높은 차수 정점 모두에 대해 보완 그래프를 활용한 FPT 알고리즘을 가능하게 한다.
• 매우 낮거나 매우 높은 차수를 가진 정점(도수 극단 그래프)을 도입하고, 동일한 논리 기반 기계장치를 사용하여 이러한 그래프의 FPT 다항시간 가능성을 증명한다.
• 중간 정도의 차수를 가진 중심 정점 주변의 정점 집합을 재귀적으로 분할하여, 유계된 간선 컷 집합을 가진 부분그래프로 그래프를 분해한다.
• 램지 정리를 사용하여 유계 크기의 집합 B를 제거한 후의 잔여 그래프의 구조를 분석함으로써, 큰 독립 집합 또는 세 개의 서로 인접하지 않는 클리크 집합이 존재할 것임을 보인다.
• 가우스의 삼각수 합에 관한 정리를 활용하여, 세 개의 서로 분리된 클리크 집합이 존재하는 경우에 k-edge 유도 부분그래프의 존재를 증명함으로써 FPT 증명을 완성한다.

실험 결과

연구 질문

• RQ1 k를 매개변수로 삼을 때, k-edge 유도 부분그래프를 찾는 결정 문제는 고정 매개변수 다항시간 가능성(FPT)을 갖는가?
• RQ2 트리너프나 차수에 유계 조건이 적용되지 않는 일반 그래프로 FPT 결과를 확장할 수 있는가?
• RQ3 결정 문제의 FPT 성질에도 불구하고, 왜 계수 문제의 복잡도는 여전히 높은가?
• RQ4 어떤 그래프의 구조적 성질이 k-edge 유도 부분그래프의 존재 여부를 FPT 시간 내에 결정할 수 있도록 하는가?
• RQ5 국소적으로 유계가 아닌 문제에 대해, 조합적 분해와 논리 기반 방법을 효과적으로 융합할 수 있는가?

주요 결과

• k-edge 유도 부분그래프 결정 문제는 고정 매개변수 다항시간 가능성을 갖는다. 이는 레이젠 카이의 열린 문제를 해결한 것이다.
• FPT 알고리즘은 Frick와 Grohe의 논리 기반 모델 체크와 램지 이론, 삼각수에 관한 가우스의 정리를 포함한 조합 기법을 융합한다.
• 알고리즘은 k에 대해 삼중 지수 시간 복잡도를 가지나, 이론적 복잡도 분석에 있어 여전히 중요한 결과이다.
• 문제의 계수 문제 버전 p-#Edge-Induced-Subgraph는 #P-hard이며, 결정 문제보다 계산 복잡도가 더 높음을 보여준다.
• 고립 정점을 제외한 제한된 계수 문제 버전 p-#Edge-Induced-Subgraph∗는 fpt 튜링 감소를 통해 p-#Independent-Set에서 유도되며, #W[1]-hard이다.
• 증명 과정에서 임의의 그래프는 또는 직접적인 구조적 분해를 통해 k-edge 유도 부분그래프를 포함하거나, 가우스의 정리에 의해 존재가 보장되는 경우로 환원됨을 입증하였다.