eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-07-04
112:1
112:6
10.4230/LIPIcs.ICALP.2018.112
article
Brief Announcement: Bounded-Degree Cut is Fixed-Parameter Tractable
Xiao, Mingyu
1
https://orcid.org/0000-0002-1012-2373
Nagamochi, Hiroshi
2
School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China
Department of Applied Mathematics and Physics, Graduate School of Informatics, Kyoto University, Japan
In the bounded-degree cut problem, we are given a multigraph G=(V,E), two disjoint vertex subsets A,B subseteq V, two functions u_A, u_B:V -> {0,1,...,|E|} on V, and an integer k >= 0. The task is to determine whether there is a minimal (A,B)-cut (V_A,V_B) of size at most k such that the degree of each vertex v in V_A in the induced subgraph G[V_A] is at most u_A(v) and the degree of each vertex v in V_B in the induced subgraph G[V_B] is at most u_B(v). In this paper, we show that the bounded-degree cut problem is fixed-parameter tractable by giving a 2^{18k}|G|^{O(1)}-time algorithm. This is the first single exponential FPT algorithm for this problem. The core of the algorithm lies two new lemmas based on important cuts, which give some upper bounds on the number of candidates for vertex subsets in one part of a minimal cut satisfying some properties. These lemmas can be used to design fixed-parameter tractable algorithms for more related problems.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol107-icalp2018/LIPIcs.ICALP.2018.112/LIPIcs.ICALP.2018.112.pdf
FPT
Important Cuts
Graph Cuts
Graph Algorithms