[논문 리뷰] Directed Multicut with linearly ordered terminals

Robert F. Erbacher, Trent Jaeger외 2명|arXiv (Cornell University)|2014. 07. 28.

Advanced Graph Theory Research참고 문헌 20인용 수 6

한 줄 요약

이 논문은 선형으로 순서가 지정된 종점이 있는 Directed Multicut 문제를 도입하고 분석하며, 컷세트 크기 $ p $ 에 대해 고정 매개변수 복잡도(Fixed-Parameter Tractability, FPT)임을 증명한다. 이 경우에 대해 $ O(4^p p n^4) $ 시간에 실행되는 알고리즘이 존재한다. 주요 기여는 이 특수 케이스에 대해 다항시간 내에 FPT 알고리즘을 제공하는 것으로, 네트워크 보안 분야에 응용 가능하며, 매개변수화된 감소를 통해 일반 Directed Multicut 문제와 복잡도에서 동등함을 입증한다.

ABSTRACT

Motivated by an application in network security, we investigate the following "linear" case of Directed Mutlicut. Let $G$ be a directed graph which includes some distinguished vertices $t_1, \ldots, t_k$. What is the size of the smallest edge cut which eliminates all paths from $t_i$ to $t_j$ for all $i < j$? We show that this problem is fixed-parameter tractable when parametrized in the cutset size $p$ via an algorithm running in $O(4^p p n^4)$ time.

연구 동기 및 목표

• 네트워크 보안 응용에 기반하여 종점이 선형으로 순서가 지정된 경우의 Directed Multicut 문제의 복잡도를 조사하기 위해.
• 이 특수 케이스가 고정 매개변수 복잡도(Fixed-Parameter Tractability, FPT) 해법을 갖는지 판단하기 위해.
• 선형 순서가 지정된 경우와 일반 Directed Multicut 문제 간의 매개변수화된 복잡도 측면에서의 동등성을 확립하기 위해.
• 선형 순서가 지정된 종점 케이스에 대해 다항시간 내에 FPT 알고리즘을 제공하기 위해.

제안 방법

• 기본 Directed Multicut 문제를 선형 순서가 지정된 케이스로 변환함으로써 원본 그래프에 보조 노드와 간선을 통합하는 변환을 통해 감소시킨다.
• 부분 순서가 종점 간의 필수 분리 순서를 반영하는 Poset Cut 인스턴스를 구성한다.
• i < j 인 $ s_i $ 에서 $ t_j $ 로의 경로들이 컷세트의 간선가 제거되지 않는 한 유지되도록 기계적 구성 요소을 설계한다.
• 크기가 $ p $ 이하인 최소 간선 컷을 탐색하기 위해 동적 프로그래밍 및 그래프 분해 기법을 활용하는 매개변수화된 알고리즘을 적용한다.
• 양방향 다항시간 감소를 통해 선형 케이스와 일반 Directed Multicut 문제 간의 동등성을 증명한다.
• 두 번의 호출을 통해 종점 순서를 뒤집어 Directed Multiway Cut에 대해 2-근사 알고리즘을 얻는다.

실험 결과

연구 질문

• RQ1 선형으로 순서가 지정된 종점이 있는 Directed Multicut 문제가 컷세트 크기 $ p $ 에 대해 고정 매개변수 복잡도(FPT)인가?
• RQ2 선형 순서가 지정된 케이스를 다항시간 내에 일반 Directed Multicut 문제로 감소시킬 수 있으며, 매개변수화된 복잡도가 유지되는가?
• RQ3 선형 순서가 지정된 케이스에 대해 $ O(4^p p n^4) $ 시간 복잡도를 갖는 다항시간 FPT 알고리즘이 존재하는가?
• RQ4 선형 순서가 지정된 케이스를 이용해 Directed Multiway Cut 문제를 2배 이내의 근사율로 근사할 수 있는가?
• RQ5 세 종점($ k = 3 $)에 대해 Linear Cut 문제가 NP-완전인가?

주요 결과

• 선형으로 순서가 지정된 종점이 있는 Directed Multicut 문제는 컷세트 크기 $ p $ 에 대해 고정 매개변수 복잡도(Fixed-Parameter Tractability, FPT)이며, $ O(4^p p n^4) $ 시간에 실행되는 알고리즘이 존재한다.
• 세 종점($ k = 3 $)에 대해 조건이 선형 순서로 지정되어 있더라도 문제는 여전히 NP-완전하다.
• 선형 순서가 지정된 경우는 매개변수화된 복잡도 측면에서 일반 Directed Multicut 문제와 동등하며, 상호 간에 다항시간 내에 감소 가능하다.
• 종점 순서를 두 번 뒤집어 선형 컷 알고리즘을 두 번 실행함으로써 Directed Multiway Cut에 대해 2-근사 알고리즘을 확보할 수 있다.
• 무방향 Multiway Cut에서 Linear Cut로의 감소는 해의 크기를 유지하며 다항시간 내로 계산 가능하다.
• Poset Cut 문제와 Directed Multicut 문제 간의 고정 매개변수 복잡도 측면에서의 동등성이 입증되었으며, 이는 FPT 기법의 적용 범위를 확장한다.