[논문 리뷰] On Covering a Graph Optimally with Induced Subgraphs

Shripad Thite|ArXiv.org|2006. 04. 06.

Advanced Graph Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 최대 크기의 부분 그래프를 최소화하기 위해 k개의 유도 부분 그래프로 그래프를 최적 덮개를 찾는 문제를 다루며, 이 문제가 NP-완전임을 증명하고 특정 그래프 클래스에 대해 근사 알고리즘을 제시한다. 정점 순서와 이웃 수에 기반하여 (c+1)-근사 알고리즘을 도출하였으며, 삼각형이 없는 그래프에 대해 2-근사, 외평면 그래프에 대해 3-근사, 평면 그래프에 대해 6-근사 알고리즘을 얻는다.

ABSTRACT

We consider the problem of covering a graph with a given number of induced subgraphs so that the maximum number of vertices in each subgraph is minimized. We prove NP-completeness of the problem, prove lower bounds, and give approximation algorithms for certain graph classes.

연구 동기 및 목표

• 모든 부분 그래프의 정점 수의 최댓값을 최소화하는 방식으로 k개의 유도 부분 그래프로 그래프를 덮는 문제를 다루는 것.
• 강한 NP-완전성 문제인 3-Partition 문제로부터의 감소를 통해 이 문제가 삼각형이 없는 그래프에 대해서조차 NP-완전임을 증명하는 것.
• 이웃 수나 분리 정점 집합의 성질이 제한된 그래프 클래스에 대해 하한을 설정하고 근사 알고리즘을 개발하는 것.
• 고정된 최대 크기의 부분 그래프를 갖는 조건에서 최소한의 유도 부분 그래프 수를 찾는 이중 문제를 탐색하는 것.
• 초그래프로의 프레임워크 일반화: 각 초간선이 적어도 한 개의 유도 부분 그래프에 완전히 포함되어야 하며, 필요에 따라 동일한 초간선을 여러 부분 그래프가 커버할 수 있도록 허용하는 것.

제안 방법

• 3-Partition 문제를 그래프 덮개 문제로 감소시키기 위해, 3-Partition 인스턴스의 각 정수에 해당하는 길이의 분리된 경로로 이루어진 삼각형이 없는 그래프를 구성하는 것.
• 정점 순서를 정하고, 각 정점을 이웃 정점 중 인덱스가 높은 정점들과 함께 포함시키며, 해당 정점을 할당하는 근사 알고리즘을 제안함으로써 간선을 커버하는 것.
• 각 유도 부분 그래프의 크기에 대한 상한을 (c+1)⌈n/k⌉로 도출함. 여기서 c는 순서에서 더 높은 인덱스를 가진 이웃의 최대 수이다.
• 삼각형이 없는 그래프(정점 순서에서 c=1), 외평면 그래프(정점 순서에서 c=2), 평면 그래프(정점 순서에서 c=5)에 대해 각각 2-근사, 3-근사, 6-근사 알고리즘을 적용함.
• 하나의 하위그래프에 대해 부분 그래프 A, B, C(분리 정점 집합)로 분할하고, A∪C와 B∪C에 대해 하위 문제를 해결하는 방식으로 재귀적 분리 기반 분해를 적용함.
• 각 초간선이 적어도 한 개의 유도 부분 그래프에 완전히 포함되어야 하며, 정점은 여러 하위집합에 포함될 수 있도록 하여 초그래프로 문제를 일반화함.

실험 결과

연구 질문

• RQ1 최대 부분 그래프 크기를 최소화하기 위해 k개의 유도 부분 그래프로 그래프를 덮는 문제는 NP-완전인가?
• RQ2 정점 순서와 이웃 제약 조건에 기반하여 (c+1)-근사 알고리즘을 설계할 수 있는가?
• RQ3 삼각형이 없는 그래프, 외평면 그래프, 평면 그래프와 같은 특정 그래프 클래스에 대해 어떤 근사 비율을 달성할 수 있는가?
• RQ4 하나의 하위그래프에 대해 부분 그래프 A, B, C(분리 정점 집합)로 분할하고, A∪C와 B∪C에 대해 하위 문제를 해결하는 방식으로 재귀적 분리 기반 알고리즘이 하위선형 분리 정점 집합을 가진 그래프 클래스에서 어떻게 작동하는가?
• RQ5 고정된 최대 크기를 갖는 부분 그래프 수를 최소화하는 이중 문제의 복잡도와 구조는 어떠한가?

주요 결과

• 문제 <span style="font-variant:small-caps">Cover(G,k)</span>는 강한 NP-완전 문제인 3-Partition 문제로부터 다항 시간 감소를 통해 NP-완전임을 증명함.
• c는 정점 순서에서 더 높은 인덱스를 가진 이웃의 최대 수일 때, (c+1)-근사 알고리즘을 개발함. 이에 따라 삼각형이 없는 그래프에 대해 2-근사 알고리즘을 도출함.
• 외평면 그래프에 대해서는 3-근사 알고리즘을, 평면 그래프에 대해서는 6-근사 알고리즘을 도출함. 이는 유한한 이웃 수에 기반함.
• 하나의 하위그래프에 대해 부분 그래프 A, B, C(분리 정점 집합)로 분할하고, A∪C와 B∪C에 대해 하위 문제를 해결하는 방식으로 재귀적 분리 기반 알고리즘이 하위선형 분리 정점 집합을 가진 그래프 클래스(예: 평면, 외평면 그래프)에서 근사 최적해를 제공함.
• 고정된 최대 크기를 갖는 부분 그래프 수를 최소화하는 이중 문제 역시 동일한 감소를 통해 NP-완전임을 증명함.
• 프레임워크는 초그래프로 일반화 가능하며, 각 초간선이 적어도 한 개의 유도 부분 그래프에 완전히 포함되어야 하며, 필요에 따라 동일한 초간선을 여러 부분 그래프가 커버할 수 있음.