[논문 리뷰] Fully leafed induced subtrees

Alexandre Blondin Massé, Julien de Carufel외 4명|arXiv (Cornell University)|2017. 09. 28.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 주어진 그래프의 유도 부분수나무에서 잎의 수를 최대화하는 완전 잎 유도 부분수나무(FLIS) 문제를 제안한다. 결정 문제(LIS)가 NP-완전임을 증명하고 일반 그래프에 대해 브랜치 앤 바운드 알고리즘을 제시하며, 트리에 대해서는 O(n³Δ) 동적 프로그래밍 해법을 제공하여 브루트 포스 방법에 비해 상당히 효율성을 향상시킨다.

ABSTRACT

Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $\Delta$, we provide a $\mathcal{O}(n^3\Delta)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.

연구 동기 및 목표

• 그래프 내에서 잎의 수가 최대가 되는 유도 부분수나무 문제를 체계화하고 분석하는 것.
• 결정 문제인 LIS가 NP-완전임을 증명하여 이론적 난이도를 확립하는 것.
• 임의의 단순 그래프에서 리프 함수 LG(i)를 계산하기 위한 일반적인 브랜치 앤 바운드 알고리즘을 개발하는 것.
• 시간 복잡도가 O(n³Δ)이고 공간 복잡도가 O(n²)인 다항 시간 동적 프로그래밍 알고리즘을 설계하여 트리에 대해 계산하는 것.
• 히퍼큐브 Qd(2 ≤ d ≤ 6) 및 격자 그래프를 포함한 고전적 그래프 가족에 대해 LG(i)를 계산하는 것.

제안 방법

• 기존의 알려진 NP-완전 문제로부터의 축소를 통해 LIS 결정 문제의 NP-완전성을 증명한다.
• 완전 잎 해에 도달할 수 없는 부분수나무를 제거함으로써 탐색 공간을 단순화하는 비트리비얼한 브랜치 앤 바운드 알고리즘을 제안한다.
• 트리의 경우, 각 간선을 루트로 삼아 부분수나무에서 리프 함수를 재귀적으로 계산하는 동적 프로그래밍 접근법을 사용한다.
• 간선 제거에 의해 유도되는 루트가 있는 숲에 대해 재귀적 융합 전략을 적용하며, 컨볼루션 유사 연산을 통해 최적의 리프 수를 계산한다.
• 트리의 구조와 정점의 차수 Δ을 활용하여 시간 복잡도를 제한하고, 중간 결과를 저장하여 재계산을 방지한다.
• 간선 {u,v}를 포함하고 크기가 i인 부분수나무의 최대 리프 수를 계산하는 함수 L{u,v}(i)를 구현하며, 두 개의 루트가 있는 부분수나무의 결과를 통합한다.

실험 결과

연구 질문

• RQ1 일반 그래프에 대해 잎이 있는 유도 부분수나무(LIS) 결정 문제는 NP-완전인가?
• RQ2 어떤 그래프에 대해서도 크기가 i인 유도 부분수나무에서 최대 리프 수 LG(i)를 효율적으로 계산할 수 있는 알고리즘이 존재하는가?
• RQ3 트리에 대해 LG(i)를 계산하는 시간 복잡도는 얼마이며, 브루트 포스 탐색을 초월해 개선 가능할까?
• RQ4 히퍼큐브와 격자 그래프와 같은 고전적 그래프 가족에서 LG(i)는 어떻게 행동하는가?
• RQ5 높은 대칭성을 가진 그래프의 대칭성 또는 자동사상은 LG(i) 계산을 가속화하는 데 활용될 수 있는가?

주요 결과

• LIS 결정 문제는 정규 그래프조차도 NP-완전임을 증명하여 문제의 이론적 비가역성을 입증한다.
• 비순환 부분수나무를 제거함으로써 비순리적인 부분수나무를 제거하는 일반적인 브랜치 앤 바운드 알고리즘을 개발하여 임의의 단순 그래프에서 LG(i)를 효율적으로 계산한다.
• 최대 차수 Δ인 트리에 대해 O(n³Δ) 시간 복잡도와 O(n²) 공간 복잡도를 가지는 동적 프로그래밍 알고리즘을 제시하여 모든 i에 대해 LG(i)를 계산한다.
• 이 복잡도는 루트가 있는 부분수나무에서 리프 함수를 재귀적으로 계산하고, 간선 기반 분해를 통해 결과를 융합함으로써 달성된다.
• 2 ≤ d ≤ 6인 d차원 히퍼큐브 Qd에 대해 LG(i)를 계산하여 이러한 가족에 대한 구체적인 값을 제공한다.
• 한 정점에 인접한 서로 다른 간선들 간에 숲 융합 연산을 재사용하는 데에 구조적 한계를 밝혀내어 시간 복잡도에 불가피하게 영향을 주는 Δ 요소를 설명한다.