[논문 리뷰] On Making Directed Graphs Eulerian

Manuel Sorge|arXiv (Cornell University)|2011. 01. 22.

Advanced Graph Theory Research참고 문헌 27인용 수 5

한 줄 요약

이 논문은 방향 그래프에서 올리어런스 확장(EE) 문제를 연구하며, 목표는 총 무게가 최소가 되도록 화살표를 추가하여 방향 다중그래프를 올리어런스로 만드는 것이다. 이 논문은 $c$ (연결 요소의 수)와 $b$ (양의 들어오는 차수와 나가는 차수의 불균형 합)를 매개변수로 사용하는 파라미터화된 알고리즘을 제안하며, 이 알고리즘의 실행 시간은 $\mathcal{O}(4^{c\log(bc^2)}n^2(b^2 + n\log n) + n^2m)$이다. 또한 고유한 매칭 기반 재구성 방식을 제안하여 $c$에 대해 고정 매개변수 복잡도(fixed-parameter tractability) 가능성을 탐색한다. 주요 기여는 기존의 $k$ (추가되는 화살표 수)를 매개변수로 사용한 연구 대비 파라미터화된 효율성에서의 상당한 향상이다.

ABSTRACT

A directed graph is called Eulerian, if it contains a tour that traverses every arc in the graph exactly once. We study the problem of Eulerian extension (EE) where a directed multigraph G and a weight function is given and it is asked whether G can be made Eulerian by adding arcs whose total weight does not exceed a given threshold. This problem is motivated through applications in vehicle routing and flowshop scheduling. However, EE is NP-hard and thus we use the parameterized complexity framework to analyze it. In parameterized complexity, the running time of algorithms is considered not only with respect to input length, but also with respect to other properties of the input - called "parameters". Dorn et. al. proved that EE can be solved in O(4^k n^4) time, where k denotes the parameter "number of arcs that have to be added". In this thesis, we analyze EE with respect to the (smaller) parameters "number c of connected components in the input graph" and "sum b over indeg(v) - outdeg(v) for all vertices v in the input graph where this value is positive". We prove that there is an algorithm for EE whose running time is polynomial except for the term 4^(c log(bc^2)). To obtain this result, we make several observations about the sets of arcs that have to be added to the input graph in order to make it Eulerian. We build upon these observations to restate EE in a matching context. This matching formulation of EE might be an important tool to solve the question of whether EE can be solved within running time whose superpolynomial part depends only on c. We also consider polynomial time preprocessing routines for EE and show that these routines cannot yield instances whose size depends polynomially only on either of the parameters b, c, k unless coNP is contained in NP/poly.

연구 동기 및 목표

• 방향 그래프에서 NP-난이도인 올리어런스 확장(EE) 문제를 다루며, 차량 경로 설정 및 스케줄링 응용에 기인한 동기를 제공한다.
• 표준 $k$ (추가되는 화살표 수)보다 더 작은 매개변수를 사용하여 EE를 파라미터화된 복잡도 이론으로 분석한다.
• 실행 시간이 $c$ (요소 수)와 $b$ (양의 차수 불균형 합)에만 의존하는 효율적인 알고리즘을 개발한다.
• EE를 매칭 문제로 재구성하여 $c$에 대해 고정 매개변수 복잡도 가능성을 탐색한다.
• EE에 대한 다항시간 전처리의 한계를 조사하며, 다항시간 문제 커널이 $b$, $c$, 또는 $k$에 대해 다항식 크기로 존재할 가능성이 없음을 보여준다. 이는 다항시간 문제 커널이 존재할 가능성이 낮음을 의미한다.

제안 방법

• 새로운 두 매개변수인 $c$ (연결 요소 수)와 $b$ (들어오는 차수와 나가는 차수의 불균형 합의 양수 부분)를 도입하고 분석한다.
• 실행 시간이 $\mathcal{O}(4^{c\log(bc^2)}n^2(b^2 + n\log n) + n^2m)$인 다변량 알고리즘을 개발한다. 여기서 $m$은 화살표 수이다.
• 그래프를 올리어런스로 만들기 위해 필요한 화살표 집합의 구조적 관찰을 통해 문제를 단순화하고, 이를 매칭 문제로 환원한다.
• EE를 결합 이분 매칭(Conjoining Bipartite Matching, CBM) 문제로 재구성함으로써 EE와 자연스러운 매칭 문제 간의 연결 고리를 설정한다.
• 다항시간 전처리가 $b$, $c$, 또는 $k$에 대해 다항식 크기의 문제 커널을 생성할 수 없음을 증명한다. 이는 $\text{coNP} \subseteq \text{NP}/\text{poly}$가 성립하지 않는 한 그러한 커널이 존재하지 않음을 의미한다.
• 동적 프로그래밍과 그래프 분해 기법을 활용하여 EE를 조인 제약 조건이 있는 이분 그래프 위의 제약 매칭 문제로 환원한다.

실험 결과

연구 질문

• RQ1 매개변수 $k$ (추가되는 화살표 수) 대신 $c$ (요소 수)와 $b$ (양의 차수 불균형 합)를 주요 매개변수로 사용하여 올리어런스 확장 문제를 더 효율적으로 해결할 수 있는가?
• RQ2 매개변수 $c$에 대해 고정 매개변수 복잡도 알고리즘이 존재하는가? 그리고 매칭 재구성 방식이 이를 달성하는 데 도움이 될 수 있는가?
• RQ3 다항시간 전처리를 통해 EE 인스턴스를 $b$, $c$, 또는 $k$에 대해 다항식 크기로 줄일 수 있는 정도는 어느 정도인가?
• RQ4 EE를 Conjoining Bipartite Matching(CBM)으로 재구성함으로써 EE의 구조적 복잡도를 이해하는 데 어떤 도움이 되는가?
• RQ5 방향 그래프의 경우에 얻은 통찰을 무방향 변형의 EE로 확장할 수 있으며, 매칭 재구성 방식은 일반화 가능한가?

주요 결과

• 실행 시간이 $\mathcal{O}(4^{c\log(bc^2)}n^2(b^2 + n\log n) + n^2m)$인 EE 알고리즘을 제시하며, 이는 $c$와 $b$에 대해 초다항적으로만 의존하여 이전의 $\mathcal{O}(4^k n^4)$ 알고리즘보다 향상된 성능을 보인다.
• 문제 EE는 Conjoining Bipartite Matching(CBM) 문제로 재구성되어, $c$에 대해 고정 매개변수 복잡도 가능성을 탐색할 수 있는 새로운 구조적 시각을 제공한다.
• 다항시간 전처리가 $b$, $c$, 또는 $k$에 대해 다항식 크기의 문제 커널을 생성할 수 없음을 증명하였다. 이는 $\text{coNP} \subseteq \text{NP}/\text{poly}$가 성립하지 않는 한 그러한 커널이 존재하지 않음을 의미한다.
• $b$와 $c$가 $k$에 의해 상한으로 제한됨을 보여주어, $c$와 $b$가 작을 경우 새로운 알고리즘이 파라미터화된 복잡도 측면에서 더 효율적임을 시사한다.
• 기존의 동적 프로그래밍 접근 방식이 지수적 공간을 사용하는 데 비해, 이 알고리즘은 다항식 공간만을 사용할 것으로 예상된다.
• EE와 CBM 간의 동치성은 CBM의 조인 집합 크기 기반 해결이 $c$에 대해 고정 매개변수 복잡도를 확보할 수 있음을 시사하며, 이는 EE의 고정 매개변수 복잡도 문제를 해결할 수 있다.