[논문 리뷰] Maximum Rooted Connected Expansion

Ioannis Lamprou, Russell Martin외 3명|arXiv (Cornell University)|2018. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 7인용 수 1

한 줄 요약

이 논문은 주어진 루트 노드를 포함하는 연결된 부분그래프 중에서 그 닫힌 이웃의 크기와 자신의 크기의 비율을 최대화하는 '최대 루트 연결 확장(MRCE)' 문제를 제안한다. 저자들은 분할 그래프에서의 NP-난이도를 증명하고, 분할 그래프에 대해 다항시간 근사계승(PTAS)을 제시하며, 예산이 부여된 연결 독립집합 문제 기법을 활용해 일반 그래프에 대해 1/6(1−1/e)-근사 알고리즘을 제안하고, 구간 그래프에 대해 최적의 O(n³) 시간 알고리즘을 개발한다.

ABSTRACT

Prefetching constitutes a valuable tool toward efficient Web surfing. As a result, estimating the amount of resources that need to be preloaded during a surfer's browsing becomes an important task. In this regard, prefetching can be modeled as a two-player combinatorial game [Fomin et al., Theoretical Computer Science 2014], where a surfer and a marker alternately play on a given graph (representing the Web graph). During its turn, the marker chooses a set of $k$ nodes to mark (prefetch), whereas the surfer, represented as a token resting on graph nodes, moves to a neighboring node (Web resource). The surfer's objective is to reach an unmarked node before all nodes become marked and the marker wins. Intuitively, since the surfer is step-by-step traversing a subset of nodes in the Web graph, a satisfactory prefetching procedure would load in cache all resources lying in the neighborhood of this growing subset. Motivated by the above, we consider the following problem to which we refer to as the Maximum Rooted Connected Expansion (MRCE) problem. Given a graph $G$ and a root node $v_0$, we wish to find a subset of vertices $S$ such that $S$ is connected, $S$ contains $v_0$ and the ratio $|N[S]|/|S|$ is maximized, where $N[S]$ denotes the closed neighborhood of $S$, that is, $N[S]$ contains all nodes in $S$ and all nodes with at least one neighbor in $S$. We prove that the problem is NP-hard even when the input graph $G$ is restricted to be a split graph. On the positive side, we demonstrate a polynomial time approximation scheme for split graphs. Furthermore, we present a $\frac{1}{6}(1-\frac{1}{e})$-approximation algorithm for general graphs based on techniques for the Budgeted Connected Domination problem [Khuller et al., SODA 2014]. Finally, we provide a polynomial-time algorithm for the special case of interval graphs.

연구 동기 및 목표

• 주어진 노드를 루트로 하는 연결 부분그래프의 확장 비율을 최대화하는 문제를 모델링하고 해결하는 것.
• 다양한 그래프 클래스에서 최대 루트 연결 확장(MRCE) 문제의 계산 복잡도를 규명하는 것.
• 일반 및 특수 그래프 클래스에서 MRCE에 대한 효율적인 근사 및 정확 알고리즘을 개발하는 것.
• MRCE와 독립집합 문제, 특히 예산이 부여된 연결 독립집합 문제 간의 관계를 탐색하는 것.
• 웹 그래프에서의 프리패칭 효율성에 대한 이론적 및 알고리즘적 통찰을 제공하는 것.

제안 방법

• 루트 노드 v0를 포함하는 연결된 집합 S에 대해 |N[S]|/|S|의 최대화를 통해 MRCE 문제를 제안한다.
• 기존의 알려진 NP-난이도 문제로의 환원을 통해 분할 그래프에 국한된 경우에도 MRCE의 NP-난이도를 증명한다.
• 동적 프로그래밍과 구조적 분해 기반으로 분할 그래프에 대한 다항시간 근사계승(PTAS)을 설계한다.
• 예산이 부여된 연결 독립집합 문제(BCDS)에서 유래한 기법을 응용하여 일반 그래프에 대해 1/6(1−1/e)-근사 알고리즘을 도출한다.
• 구간 순서와 독립적인 왼쪽/오른쪽 확장을 활용하여 동적 프로그래밍 기반 알고리즘을 개발하여, 구간 그래프에 대해 O(n³) 시간 내에 해결한다.
• 모든 최대 연결 부분집합을 탐색하기 위해 재귀적 확장 함수(Expand)와 조합 루틴(Combine)을 사용한다.

실험 결과

연구 질문

• RQ1 분할 그래프와 같은 제한된 그래프 클래스에 대해서도 MRCE 문제가 NP-난이도인가?
• RQ2 분할 그래프에서 MRCE 문제에 대해 다항시간 근사계승(PTAS)을 설계할 수 있는가?
• RQ3 BCDS와 같은 관련 문제의 기법을 활용할 때 일반 그래프에 대해 달성 가능한 최고의 근사 비율은 무엇인가?
• RQ4 구간 그래프에 대해 MRCE 문제에 대해 다항시간 정확 알고리즘이 존재하는가?
• RQ5 체로랄 그래프의 구조적 성질을 활용하여 MRCE에 대한 효율적인 알고리즘을 설계할 수 있는가?

주요 결과

• 입력 그래프가 분할 그래프일지라도 MRCE 문제는 여전히 NP-난이도이다.
• 분할 그래ph에서 MRCE 문제에 대해 다항시간 근사계승(PTAS)이 존재한다.
• 일반 그래프에 대해서는 예산이 부여된 연결 독립집합 문제와의 연결을 통해 1/6(1−1/e)-근사 알고리즘을 제시한다.
• 구간 그래프에 대해 최적의 O(n³)-시간 알고리즘이 제공되어 다항시간 내에 정확하게 MRCE를 해결한다.
• 구간 그래프 알고리즘은 각 노드에서 독립적인 왼쪽 및 오른쪽 확장을 사용하며, 동적 프로그래밍을 통해 확장 비율을 최대화하도록 조합한다.
• 구간 그래프 알고리즘의 정확성은, 임의의 부분최적 해는 탐색 공간 내에서 탐색된 해보다 열등하다는 것을 보여줌으로써 증명된다.