[논문 리뷰] Multi-Budgeted Directed Cuts

Stefan Kratsch, Shaohua Li외 3명|arXiv (Cornell University)|2019. 01. 01.

Optimization and Search Problems인용 수 3

한 줄 요약

이 논문은 간선이 색상으로 칠해지고 각 색상이 개별 예산을 가진 다중예산 방향 컷 문제를 제안한다. 유량 유도 간선 용량 증가 기반의 새로운 분기 기법과 '중요한 다중예산 분리자'의 열거를 통해 총 예산 k에 대해 세 가지 문제—최소 컷, 스케우 멀티컷, 방향 피드백 아크 세트—에 대해 FPT 알고리즘을 제시한다. 주요 기여는 총 예산 매개변수에 대해 이러한 NP-난이도가 높은 변형 문제에 대해 고정매개변수 다항시간 성립성을 입증한 것으로, 가중치가 부여된 버전과 체인-SAT 변형에 대한 열린 질문들을 해결한다.

ABSTRACT

In this paper, we study multi-budgeted variants of the classic minimum cut problem and graph separation problems that turned out to be important in parameterized complexity: Skew Multicut and Directed Feedback Arc Set. In our generalization, we assign colors 1,2,...,l to some edges and give separate budgets k_1,k_2,...,k_l for colors 1,2,...,l. For every color i in {1,...,l}, let E_i be the set of edges of color i. The solution C for the multi-budgeted variant of a graph separation problem not only needs to satisfy the usual separation requirements (i.e., be a cut, a skew multicut, or a directed feedback arc set, respectively), but also needs to satisfy that |C cap E_i| <= k_i for every i in {1,...,l}. Contrary to the classic minimum cut problem, the multi-budgeted variant turns out to be NP-hard even for l = 2. We propose FPT algorithms parameterized by k=k_1 +...+ k_l for all three problems. To this end, we develop a branching procedure for the multi-budgeted minimum cut problem that measures the progress of the algorithm not by reducing k as usual, by but elevating the capacity of some edges and thus increasing the size of maximum source-to-sink flow. Using the fact that a similar strategy is used to enumerate all important separators of a given size, we merge this process with the flow-guided branching and show an FPT bound on the number of (appropriately defined) important multi-budgeted separators. This allows us to extend our algorithm to the Skew Multicut and Directed Feedback Arc Set problems. Furthermore, we show connections of the multi-budgeted variants with weighted variants of the directed cut problems and the Chain l-SAT problem, whose parameterized complexity remains an open problem. We show that these problems admit a bounded-in-parameter number of "maximally pushed" solutions (in a similar spirit as important separators are maximally pushed), giving somewhat weak evidence towards their tractability.

연구 동기 및 목표

• 가중치가 부여되고 제약 조건이 있는 방향 그래프 분리 문제의 고정매개변수 복잡도를 다루기 위해, 가중치가 있는 st-컷과 체인 ℓ-SAT을 포함한다.
• 간선이 색상으로 칠해지고 각 색상이 별도의 예산을 가지는 다중예산 방향 컷 문제를 정의하고 연구한다.
• 총 예산 k에 대해 다중예산 최소 컷, 스케우 멀티컷, 방향 피드백 아크 세트에 대해 고정매개변수 다항시간(FPT) 알고리즘을 개발한다.
• 다중예산 설정에서 '최대로 밀린' 해의 수가 유한함을 보여주는 이론적 근거를 제공함으로써, 체인 ℓ-SAT과 가중치가 있는 st-컷과 같은 열린 문제들의 다항시간 성립 가능성에 대한 증거를 제공한다.

제안 방법

• 각 색상 i가 예산 ki를 가지며, 해가 색상 i의 간선 최대 ki개를 잘라내야 하는 그래프 분리 문제의 다중예산 변형을 도입한다.
• k를 줄이는 대신 진행도를 측정하기 위해 간선 용량을 증가시키는 새로운 분기 절차를 개발하여, 유량 기반 탐색을 가능하게 한다.
• 유량 기반 접근을 사용하여 '중요한 다중예산 분리자'를 정의하고 열거하며, 그 수가 2^{O(k² log k)} 이하로 유 bounds됨을 보인다.
• 이러한 분리자의 구조를 활용하여 알고리즘을 스케우 멀티컷과 방향 피드백 아크 세트로 확장한다.
• 다중예산 프레임워크를 가중치가 부여된 방향 컷과 체인 ℓ-SAT의 변형에 연결하여, '최대로 밀린' 해의 수가 유한함을 보여준다.

실험 결과

연구 질문

• RQ1 총 예산 k에 대해 다중예산 최소 컷 문제의 고정매개변수 복잡도가 성립하는가?
• RQ2 다중예산 최소 컷에 대한 FPT 접근법을 스케우 멀티컷과 방향 피드백 아크 세트와 같은 더 복잡한 문제로 확장할 수 있는가?
• RQ3 다중예산 설정에서 '최대로 밀린' 해의 수가 유한하다는 사실이 체인 ℓ-SAT과 가중치가 있는 st-컷 문제의 다항시간 성립 가능성에 대한 증거가 될 수 있는가?
• RQ4 가중치가 있는 st-컷 문제와 체인 ℓ-SAT의 정확한 고정매개변수 복잡도는 무엇이며, 이들은 다중예산 프레임워크로 환원될 수 있는가?

주요 결과

• ℓ=2인 경우에도 다중예산 방향 컷 문제는 NP-난이도를 가지며, 이는 다중예산 변형이 고전적 최소 컷 문제보다 엄격히 더 어렵다는 것을 보여준다.
• 총 예산 k에 대해 다중예산 최소 컷 문제에 대해 2^{O(k² log k)} 시간 이내에 다항식 요소를 곱한 시간 내에 실행 가능한 FPT 알고리즘을 개발하였다.
• 중요한 다중예산 분리자의 수는 2^{O(k² log k)} 이하로 유 bounds되며, 이는 컷 문제에 대한 FPT 알고리즘의 가능성을 보장한다.
• 이 프레임워크는 스케우 멀티컷과 방향 피드백 아크 세트로 확장되며, 이들 문제에 대해 총 예산 매개변수 기반으로 처음으로 FPT 알고리즘을 제공한다.
• 다중예산 설정에서 '최대로 밀린' 해의 수가 유한함을 보여주는 약하지만 구조적인 증거를 제공함으로써, 체인 ℓ-SAT과 가중치가 있는 st-컷 문제의 다항시간 성립 가능성에 대한 근거를 마련한다.