반반 그래프·코매칭·매칭을 제외한 그래프에서 독립집합·클리크·지배집합 문제의 매개변수 복잡도 완전 분류

초록

이 논문은 매칭, 코매칭, 반반 그래프(half‑graph) 패턴의 반인도 지수를 기준으로 여덟 가지 그래프 클래스(각 지수가 제한되는 경우)를 정의하고, 각 클래스에서 독립집합, 클리크, 지배집합 문제의 파라메트릭 복잡도를 완전히 분류한다. 특히 반반 그래프와 코매칭 지수가 동시에 제한된 클래스에서는 독립집합이 FPT임을 보이며, 반반 그래프 지수만 제한된 경우에도 독립집합이 W

상세 분석

논문은 먼저 두 정점 집합 A와 B 사이에 나타날 수 있는 세 가지 기본적인 이분 그래프 패턴을 정의한다. 매칭 M_t는 i=j 일 때만 간선이 존재하고, 코매칭 C_t는 i≠j 일 때만 간선이 존재하며, 반반 그래프 H_t는 i≤j 일 때 간선이 존재한다. Ding·Oporowski·Oxley·Vertigan의 정리(또는 동등한 결과)를 이용해, 충분히 큰 트윈‑프리 그래프는 이 세 패턴 중 하나를 큰 규모로 반인도(semi‑induced) 형태로 포함한다는 사실을 이용한다. 이를 바탕으로 각 그래프 G에 대해 매칭 지수, 코매칭 지수, 반반 그래프 지수를 정의하고, 이 지수들이 유한한 상수 이하인지 여부에 따라 여덟 가지 클래스(모두, 일부, 전혀 제한되지 않음)를 만든다.

표 1은 이 여덟 클래스에 대해 독립집합(Independent Set), 클리크(Clique), 지배집합(Dominating Set)의 파라메트릭 복잡도를 정리한다. 기존 문헌에서 알려진 결과는 크게 두 종류로 나뉜다. (1) 매칭 지수가 제한되면 모든 분할에 대해 mim‑width가 제한되어 독립집합과 지배집합이 다항시간에 해결 가능하고, 클리크는 다항시간에 해결된다. (2) 반반 그래프와 코매칭이 동시에 제한된 경우, Fabiański 등은 지배집합이 FPT임을 보였으며, 이 논문은 같은 조건에서 독립집합도 FPT임을 새롭게 증명한다. 이 증명은 인디스커니블(indiscernibility) 기반의 구조적 감소 규칙을 활용하여, 긴 정점 시퀀스가 존재하면 외부 정점이 거의 전부 혹은 거의 전혀 연결되는 상황을 찾아내어 문제를 효율적으로 축소한다.

반면, 반반 그래프 지수만 제한된 경우에는 독립집합이 여전히 W