[논문 리뷰] A Variant of the Maximum Weight Independent Set Problem

Sayan Bandyapadhyay|arXiv (Cornell University)|2014. 08. 31.

Complexity and Algorithms in Graphs참고 문헌 33인용 수 8

한 줄 요약

이 논문은 각 정점에 무게와 예산이 부여되고 총 예산 제약 조건 하에 최대 무게의 독립 집합을 찾는 문제인 최대 무게 예산 부여 독립 집합(MWBIS) 문제를 제안한다. 저자는 나무, 산림, 사이클, 간격 그래프에 대해 정확한 알고리즘을 제시하고, $d+1$-클로벌 프리 그래프에 대해 비율 $d$의 근사 알고리즘을 제시하며, 베이커 기법의 확장을 통해 평면 그래프에 대해 PTAS를 제시한다.

ABSTRACT

We study a natural extension of the Maximum Weight Independent Set Problem (MWIS), one of the most studied optimization problems in Graph algorithms. We are given a graph $G=(V,E)$, a weight function $w: V ightarrow \mathbb{R^+}$, a budget function $b: V ightarrow \mathbb{Z^+}$, and a positive integer $B$. The weight (resp. budget) of a subset of vertices is the sum of weights (resp. budgets) of the vertices in the subset. A $k$-budgeted independent set in $G$ is a subset of vertices, such that no pair of vertices in that subset are adjacent, and the budget of the subset is at most $k$. The goal is to find a $B$-budgeted independent set in $G$ such that its weight is maximum among all the $B$-budgeted independent sets in $G$. We refer to this problem as MWBIS. Being a generalization of MWIS, MWBIS also has several applications in Scheduling, Wireless networks and so on. Due to the hardness results implied from MWIS, we study the MWBIS problem in several special classes of graphs. We design exact algorithms for trees, forests, cycle graphs, and interval graphs. In unweighted case we design an approximation algorithm for $d+1$-claw free graphs whose approximation ratio ($d$) is competitive with the approximation ratio ($\frac{d}{2}$) of MWIS (unweighted). Furthermore, we extend Baker's technique \cite{Baker83} to get a PTAS for MWBIS in planar graphs.

연구 동기 및 목표

• NP-난이도의 최대 무게 독립 집합(MWIS) 문제의 자연스러운 일반화를 정점별 예산과 전역 예산 제약 조건을 도입하여 연구한다.
• 나무, 간격 그래프, 평면 그래프 등의 특수 그래프 클래스에서 MWBIS에 대한 효율적인 알고리즘을 설계한다.
• 베이커 기법과 동적 프로그래밍과 같은 기존 기법을 확장하여 MWBIS에서의 예산 제약 조건을 다룰 수 있도록 한다.
• 특히 $d+1$-클로벌 프리 그래프 및 기하 그래프에서 MWBIS의 근사 가능성을 분석한다.
• MWBIS와 스케줄링 및 무선 네트워크와 같은 실질적 응용 간의 연결 고리를 설정한다.

제안 방법

• 간격 그래프에 대해 2차원 테이블 $M(j,t)$를 사용하는 동적 프로그래밍 접근법을 제안하여 첫 $j$개 간격의 예산 $t$를 가진 최대 무게 독립 집합을 저장하며, 각 항목은 무게와 포함 여부 플래그를 추적한다.
• 각 간격 $I_j$에 대해 예산 허용 시 포함하는 경우와 포함하지 않는 경우의 두 가지 경우를 계산하며, 충돌을 방지하기 위해 사전 계산된 직전 정점들을 활용한다.
• 전처리 단계를 통해 $l_j$를 계산하여 $l < j$ 이면서 $I_l$와 $I_j$가 교차하지 않는 가장 큰 인덱스 $l$을 확보함으로써 DP 테이블의 효율적 재귀를 가능하게 한다.
• 그래프를 층으로 분해하고 각 층에서 부분 문제를 해결함으로써 평면 그래프에서 MWBIS에 대한 다항 시간 근사 스킴(PTAS)을 설계하기 위해 베이커 기법을 적용한다.
• 표준 MWIS 동적 프로그래밍 프레임워크를 확장하여 예산 제약 조건을 통합하며, 상태를 무게와 예산 사용량의 조합으로 유지한다.
• KNAPSACK 문제로부터의 감소를 통해 별 나무에서조차도 MWBIS가 NP-난이도임을 증명함으로써 문제의 계산 난이도를 입증한다.

실험 결과

연구 질문

• RQ1 최대 무게 독립 집합 문제는 정점별 예산과 전역 예산 제약 조건을 도입함으로써 의미적으로 일반화될 수 있는가?
• RQ2 나이트, 간격 그래프, 평면 그래프 등의 특수 그래프 클래스에서 MWBIS에 대해 어떤 정확한 알고리즘이 설계될 수 있는가?
• RQ3 $d+1$-클로벌 프리 그래프에서 비중량화된 버전(MBIS)에 대해 일정 요율 근사가 가능할 수 있는가? 이는 기존의 MWIS에 대한 $\frac{d}{2}$-근사와 비교해 어떻게 다른가?
• RQ4 베이커 기법을 확장하여 평면 그래프에서 MWBIS에 대해 PTAS를 제공할 수 있는가? MWIS에 대해 적용된 바와 마찬가지로 말이다.
• RQ5 MWBIS의 다항 시간 해법 가능성에 대한 계산적 한계는 무엇이며, 어떤 그래프 클래스에서 상수 $c$에 대해 $O(n^c)$ 시간 알고리즘이 존재하는가?

주요 결과

• 간격 그래프에서 2차원 테이블과 직전 정점 사전 계산을 활용한 동적 프로그래밍을 통해 $O(n(n+B))$ 시간 정확 알고리즘을 설계하였다.
• $d+1$-클로벌 프리 그래프에서 비중량화된 MWBIS(MBIS)에 대해 $d$-근사 알고리즘을 개발하였으며, 이러한 그래프에서 비중량화된 MWIS에 대해 알려진 최고의 근사 비율과 일치한다.
• 베이커 기법을 확장하여 예산 제약 조건을 다룰 수 있도록 함으로써 평면 그래프에서 MWBIS에 대해 다항 시간 근사 스킴(PTAS)을 달성하였다.
• KNAPSACK 문제로부터의 감소를 통해 별 나무에서도 MWBIS가 NP-난이도임을 증명함으로써 일반적인 경우의 강한 비가역성을 입증하였다.
• 미해결 문제를 규명하였으며, 이는 비트리비트 그래프 클래스에서 상수 $c$에 대해 $O(n^c)$ 시간 알고리즘이 존재하는지 여부와, 동적 프로그래밍 접근법을 유계 트리너비 그래프로 확장할 수 있는지 여부이다.