[논문 리뷰] On Partial Vertex Cover on Bipartite Graphs and Trees

Bugra Caskurlu, K. Subramani|arXiv (Cornell University)|2013. 04. 22.

Graph theory and applications참고 문헌 13인용 수 9

한 줄 요약

이 논문은 부분 정점 커버(PVC) 문제의 NP-난이도를 이분 그래프에서 증명하며, 동시에 나무와 최대 차수 3인 이분 그래프에서는 다항시간 내에 해결 가능하다고 밝힌다. 이를 위해 '경계적으로 감소하지 않는 커버리지(MNC)' 성질을 도입하고 이를 활용한다. 저자들은 나무와 유계 차수를 가진 이분 그래프가 MNC 성질을 만족함을 증명함으로써, 이러한 그래프 유형에서 PVC에 대한 효율적인 알고리즘을 가능하게 한다.

ABSTRACT

It is well-known that the Vertex Cover problem is in P on bipartite graphs, however; the computational complexity of the Partial Vertex Cover problem on bipartite graphs is open. In this paper, we first show that the Partial Vertex Cover problem is NP-hard on bipartite graphs. We then identify an interesting special case of bipartite graphs, for which the Partial Vertex Cover problem can be solved in polynomial-time. We also show that the set of acyclic bipartite graphs, i.e., forests, and the set of bipartite graph where the degree of each vertex is at most 3 fall into that special case. Therefore, we prove that the Partial Vertex Cover problem is in P on trees, and it is also in P on the set of bipartite graphs where the degree of each vertex is at most 3.

연구 동기 및 목표

• 이분 그래프에서 부분 정점 커버(PVC) 문제의 열려 있는 계산 복잡도를 해결하기 위해.
• PVC에 대한 다항시간 해법을 가능하게 하는 이분 그래프와 나무의 구조적 성질을 규명하기 위해.
• 경계적으로 감소하지 않는 커버리지(MNC) 성질이 PVC의 다항시간 해법을 위한 충분조건임을 확립하기 위해.
• MNC 성질이 정점 가중치가 있는 나무로의 확장을 분석하기 위해.
• 이분 그래프와 나무에서 PVC에 대한 개선된 근사 알고리즘의 가능성을 탐색하기 위해.

제안 방법

• CLIQUES 문제에서의 축소를 통해 이분 그래프에서 PVC의 NP-난이도를 증명하였다.
• PVC의 다항시간 해법을 보장하는 구조적 조건으로 '경계적으로 감소하지 않는 커버리지(MNC)' 성질을 도입하였다.
• 나무가 MNC 성질을 만족함을 보여주어, PVC가 나무에서 P에 속함을 암시하였다.
• 최대 차수 3인 이분 그래프가 MNC 성질을 만족함을 증명하여, 이 클래스에서 PVC가 P에 속함을 암시하였다.
• 조합적 추론과 간선 수 계산을 통해, 차수 제약 조건이 MNC 성질을 위반할 수 있는 특정 구성 요소를 방지함을 보였다.
• 정점 가중치가 {1,2}인 경우조차도 MNC 성질이 정점 가중치가 있는 나무에서 성립하지 않음을 보여주는 반례를 제시하였다.

실험 결과

연구 질문

• RQ1 부분 정점 커버 문제는 이분 그래프에서 NP-난이도인가?
• RQ2 경계적으로 감소하지 않는 커버리지(MNC) 성질은 이분 그래프에서 PVC의 다항시간 해법을 특징짓는가?
• RQ3 나무나 유계 차수를 가진 이분 그래프와 같은 특정 그래프 유형에서는 PVC가 다항시간 내에 해결 가능한가?
• RQ4 MNC 성질은 정점 가중치가 있는 나무로 확장될 수 있는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ5 이분 그래프에서 PVC의 근사 비율을 4/3 이하로 개선할 수 있는가?

주요 결과

• 부분 정점 커버 문제의 NP-난이도는 CLIQUE 문제에서의 축소를 통해 이분 그래프에서 입증되었다.
• 나무는 경계적으로 감소하지 않는 커버리지(MNC) 성질을 만족하므로, PVC 문제는 나무에서 다항시간 내에 해결 가능하다.
• 모든 정점의 차수가 3 이하인 이분 그래프에서는 MNC 성질이 성립하므로, PVC 문제는 이 클래스에서 다항시간 내에 해결 가능하다.
• 정점 가중치가 {1,2}인 경우조차도 MNC 성질은 정점 가중치가 있는 나무에서 성립하지 않으며, 반례를 통해 이를 입증하였다.
• 반례에서는 연속적인 해 크기 간의 간선 커버리지 증가량이 MNC 조건을 위반함을 보였으며, 특히 OPT_T(3) - OPT_T(2) > OPT_T(2) - OPT_T(1)임을 확인하였다.
• PVC에 대한 최고의 알려진 근사 비율은 (4/3 + ε)이며, 이 비율을 4/3 이하로 개선하는 것은 유망한 연구 방향으로 지목되었다.