[논문 리뷰] Blocking unions of arborescences

Attila Bernáth, Gyula Pap|arXiv (Cornell University)|2015. 07. 03.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 방향 그래프에서 최소비용 k-유니온-아보레센스를 모두 차단하는 다항시간 알고리즘을 제시한다. 여기서 목표는 모든 최적의 구조를 파괴하는 최소무게의 간선 집합을 찾는 것이다. 이 해결책은 내부 고립 집합의 헬리 성질과 대표 트리 데이터 구조를 활용하여 정점의 부분분할을 효율적으로 탐색하며, 비용 함수와 무게 함수가 모두 동일할 경우 다항시간 복잡도를 달성한다.

ABSTRACT

Given a digraph $D=(V,A)$ and a positive integer $k$, a subset $B\subseteq A$ is called a extbf{$k$-union-arborescence}, if it is the disjoint union of $k$ spanning arborescences. When also arc-costs $c:A o \mathbb{R}$ are given, minimizing the cost of a $k$-union-arborescence is well-known to be tractable. In this paper we take on the following problem: what is the minimum cardinality of a set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. Actually, the more general weighted problem is also considered, that is, arc weights $w:A o \mathbb{R}_+$ (unrelated to $c$) are also given, and the goal is to find a minimum weight set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. An equivalent version of this problem is where the roots of the arborescences are fixed in advance. In an earlier paper [A. Bern\'ath and Gy. Pap, \emph{Blocking optimal arborescences}, Integer Programming and Combinatorial Optimization, Springer, 2013] we solved this problem for $k=1$. This work reports on other partial results on the problem. We solve the case when both $c$ and $w$ are uniform -- that is, find a minimum size set of arcs that covers all $k$-union-arbosercences. Our algorithm runs in polynomial time for this problem. The solution uses a result of [M. B\'ar\'asz, J. Becker, and A. Frank, \emph{An algorithm for source location in directed graphs}, Oper. Res. Lett. extbf{33} (2005)] saying that the family of so-called insolid sets (sets with the property that every proper subset has a larger in-degree) satisfies the Helly-property, and thus can be (efficiently) represented as a subtree hypergraph. We also give an algorithm for the case when only $c$ is uniform but $w$ is not. This algorithm is only polynomial if $k$ is not part of the input.

연구 동기 및 목표

• 방향 그래프에서 최소비용 k-유니온-아보레센스를 모두 차단하는 최소무게 간선 집합을 찾는 문제를 해결하기 위해.
• 기존의 최적 아보레센스 차단 문제(k=1)를 일반적인 k-유니온 경우로 확장하기 위해.
• 비용 함수가 동일한 경우와 일반적인 무게 함수 버전의 차단 문제를 위한 효율적인 알고리즘 개발하기 위해.
• k가 입력에 포함될 때 비용 함수와 무게 함수가 모두 동일한 경우 다항시간으로 해결 가능함을 입증하기 위해.
• 차단 문제의 이론적 기반을 초그래프 표현과 부분분할 최적화를 통해 제공하기 위해.

제안 방법

• 모든 진입차수를 더 높이는 진부분집합을 가지는 집합인 내부 고립 집합의 헬리 성질을 활용하여 k-유니온-아보레센스의 구조를 모델링한다.
• 대표 트리를 통해 내부 고립 집합의 가족을 부분나누기 하이퍼그래프로 표현하여 효율적인 열거를 가능하게 한다.
• 정점의 부분분할(크기 2에서 k+1 사이)에 대한 근사 탐색을 통해 핵심 간선 집합을 식별한다.
• 고정된 크기 t인 부분분할에 대한 최소 진입차수 무게 합을 계산하는 서브루틴(Best-Fixed-Subpart)을 적용한다.
• 최소 s-t 컷과 진입차수 최소화 알고리즘을 서브루틴으로 활용하여 진입차수 무게를 효율적으로 계산한다.
• 가장 큰 알고리즘은 가능한 부분분할 크기와 간선 부분집합을 반복하여 최적의 차단 집합을 찾는다.

실험 결과

연구 질문

• RQ1 비용 함수와 무게 함수가 모두 동일할 때, 최소비용 k-유니온-아보레센스를 모두 차단하는 문제를 다항시간 내에 해결할 수 있는가?
• RQ2 내부 고립 집합과 부분분할을 사용하여 k-유니온-아보레센스의 최소 차단 집합에 대한 구조적 특성화가 가능한가?
• RQ3 내부 고립 집합의 헬리 성질을 어떻게 활용하여 차단 문제에 대한 효율적인 알고리즘을 설계할 수 있는가?
• RQ4 k가 고정되어 있지 않고 비용 함수만 동일할 경우, 차단 문제의 계산 복잡도는 어떻게 되는가?
• RQ5 이 문제를 내부 고립 집합의 대표 트리에서의 최소무게 부분분할 문제로 환원할 수 있는가?

주요 결과

• 비용 함수와 무게 함수가 모두 동일할 경우, k-유니온-아보레센스를 모두 차단하는 다항시간 알고리즘을 제시하였으며, 시간 복잡도는 O(mk²(nk+1m log(n²/m) + n⁴m))이다.
• 해결책은 내부 고립 집합의 헬리 성질에 기반하며, 이는 내부 고립 집합 가족을 대표 트리로 효율적으로 표현할 수 있음을 의미한다.
• 서브루틴인 Best-Fixed-Subpart는 고정된 크기 t인 부분분할에 대해 최소무게 진입차수 합을 O(nt−1HO(n,m)) 시간에 계산한다.
• 최적의 차단 집합은 모든 k-유니온-아보레센스와 교차해야 하며, 이러한 집합은 2 ≤ |X| ≤ k+1인 부분분할 X의 진입간선에서 k(|X|−1)−1개 이하의 간선만 남기고 제거함으로써 구성된다.
• 알고리즘은 정확한 이유는 모든 최적의 차단 집합이 이러한 부분분할과 대응되며, 알고리즘이 가능한 모든 구성표를 철저히 검사하기 때문이다.
• k가 입력에 포함되지 않을 경우 실행 시간은 n과 m에 대해 다항식이지만, k가 입력에 포함될 경우 지수시간이 되지만, 비용 c와 무게 w가 모두 동일할 경우 여전히 다항식 시간이 된다.