Parameterized tractability of multiway cut with parity constraints

• Authors: Daniel Lokshtanov;M. S. Ramanujan
• Venue: ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
• Year: 2012

In this paper, we study a parity based generalization of the classical Multiway Cut problem. Formally, we study the Parity Multiway Cut problem, where the input is a graph G, vertex subsets Te and To (T=Te∪To) called terminals, a positive integer k and the objective is to test whether there exists a k-sized vertex subset S such that S intersects all odd paths from v∈To to T∖{v} and all even paths from v∈Te to T∖{v}. When Te=To, this is precisely the classical Multiway Cut problem. If To=∅ then this is the Even Multiway Cut problem and if Te=∅ then this is the Odd Multiway Cut problem. We remark that even the problem of deciding whether there is a set of at most k vertices that intersects all odd paths between a pair of vertices s and t is NP-complete. Our primary motivation for studying this problem is the recently initiated parameterized study of parity versions of graphs minors (Kawarabayashi, Reed and Wollan, FOCS 2011) and separation problems similar to Multiway Cut. The area of design of parameterized algorithms for graph separation problems has seen a lot of recent activity, which includes algorithms for Multi-Cut on undirected graphs (Marx and Razgon, STOC 2011, Bousquet, Daligault and Thomassé, STOC 2011), k-way cut (Kawarabayashi and Thorup, FOCS 2011), and Multiway Cut on directed graphs (Chitnis, Hajiaghayi and Marx, SODA 2012). A second motivation is that this problem serves as a good example to illustrate the application of a generalization of important separators which we introduce, and can be applied even when most of the recently develped tools fail to apply. We believe that this could be a useful tool for several other separation problems as well. We obtain this generalization by dividing the graph into slices with small boundaries and applying a divide and conquer paradigm over these slices. We show that Parity Multiway Cut is fixed parameter tractable (FPT) by giving an algorithm that runs in time $f(k)n^{{\mathcal{O}}(1)}$. More precisely, we show that instances of this problem with solutions of size ${\cal O}(\log \log n)$ can be solved in polynomial time. Along with this new notion of generalized important separators, our algorithm also combines several ideas used in previous parameterized algorithms for graph separation problems including the notion of important separators and randomized selection of important sets to simplify the input instance.