## Abstract

We study a broad class of graph partitioning problems. Each problem is defined by two constants, α_{1} and α_{2}. The input is a graph G, an integer k and a number p, and the objective is to find a subset U⊆ V of size k, such that α_{1}m_{1} + α_{2}m_{2} is at most (or at least) p, where m_{1}, m_{2} are the cardinalities of the edge sets having both endpoints, and exactly one endpoint, in U, respectively. This class of fixed-cardinality graph partitioning problems (FGPPs) encompasses Max (k, n − k)-Cut, Mink-Vertex Cover, k-Densest Subgraph, and k-Sparsest Subgraph. Our main result is a 4^{k + o(k)}Δ^{k}⋅n^{O(1)} time algorithm for any problem in this class, where Δ ≥ 1 is the maximum degree in the input graph. This resolves an open question posed by Bonnet et al. (Proc. International Symposium on Parameterized and Exact Computation, 2013). We obtain faster algorithms for certain subclasses of FGPPs, parameterized by p, or by (k + p). In particular, we give a 4^{p + o(p)}⋅n^{O(1)} time algorithm for Max (k, n − k)-Cut, thus improving significantly the best known p^{p}⋅n^{O(1)} time algorithm by Bonnet et al.

Original language | English |
---|---|

Pages (from-to) | 721-738 |

Number of pages | 18 |

Journal | Theory of Computing Systems |

Volume | 61 |

Issue number | 3 |

DOIs | |

State | Published - 1 Oct 2017 |

Externally published | Yes |

## Keywords

- Graph partitioning
- Parameterized algorithm
- Random separation
- Representative family

## ASJC Scopus subject areas

- Theoretical Computer Science
- Computational Theory and Mathematics