Balanced connected partitions of graphs: approximation, parameterization and lower bounds

被引:0
|
作者
Phablo F. S. Moura
Matheus J. Ota
Yoshiko Wakabayashi
机构
[1] KU Leuven,Research Center for Operations Research & Statistics
[2] University of Waterloo,Department of Combinatorics and Optimization
[3] Universidade de São Paulo,Instituto de Matemática e Estatística
来源
关键词
Balanced connected partition; Fractional partition; Approximation algorithms; Fixed parameter tractable; Complexity lower bound; 68Q25; 68W25; 05C85;
D O I
暂无
中图分类号
学科分类号
摘要
A connected k-partition of a graph is a partition of its vertex set into k classes such that each class induces a connected subgraph. Finding a connected k-partition in which the classes have similar size is a classical problem that has been investigated since late seventies. We consider a more general setting in which the input graph G=(V,E)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G=(V,E)$$\end{document} has a nonnegative weight assigned to each vertex, and the aim is to find a connected k-partition in which every class has roughly the same weight. In this case, we may either maximize the weight of a lightest class (max–min BCPk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_k$$\end{document}) or minimize the weight of a heaviest class (min–max BCPk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_k$$\end{document}). Both problems are NP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {\textsc {NP}}$$\end{document}-hard for any fixed k≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\ge 2$$\end{document}, and equivalent only when k=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k=2$$\end{document}. In this work, we propose a simple pseudo-polynomial 32\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{3}{2}$$\end{document}-approximation algorithm for min–max BCP3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_3$$\end{document}, which is an O(|V||E|)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {O}(|V ||E |)$$\end{document} time 32\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{3}{2}$$\end{document}-approximation for the unweighted version of the problem. We show that, using a scaling technique, this algorithm can be turned into a polynomial-time (32+ε)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\frac{3}{2} +{\varepsilon })$$\end{document}-approximation for the weighted version of the problem with running-time O(|V|3|E|/ε)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {O}(|V |^3 |E |/ {\varepsilon })$$\end{document}, for any fixed ε>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon }>0$$\end{document}. This algorithm is then used to obtain, for min–max BCPk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_k$$\end{document}, k≥4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\ge 4$$\end{document}, analogous results with approximation ratio (k2+ε)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\frac{k}{2}+{\varepsilon })$$\end{document}. For k∈{4,5}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\in \{4,5\}$$\end{document}, we are not aware of algorithms with approximation ratios better than those. We also consider fractional bipartitions that lead to a unified approach to design simpler approximations for both min–max and max–min versions. Additionally, we propose a fixed-parameter tractable algorithm based on integer linear programming for the unweighted max–min BCP parameterized by the size of a vertex cover. Assuming the Exponential-Time Hypothesis, we show that there is no subexponential-time algorithm to solve the max–min and min–max versions of the problem.
引用
收藏
相关论文
共 50 条
  • [1] Balanced connected partitions of graphs: approximation, parameterization and lower bounds
    Moura, Phablo F. S.
    Ota, Matheus J.
    Wakabayashi, Yoshiko
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2023, 45 (05)
  • [2] Approximation and inaproximability results on balanced connected partitions of graphs
    Chataigner, Frederic
    Salgado, Liliane R. B.
    Wakabayashi, Yoshiko
    [J]. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2007, 9 (01): : 177 - 192
  • [3] Lower Bounds for Locally Highly Connected Graphs
    Adamaszek, Anna
    Adamaszek, Michal
    Mnich, Matthias
    Schmidt, Jens M.
    [J]. GRAPHS AND COMBINATORICS, 2016, 32 (05) : 1641 - 1650
  • [4] Lower Bounds for Locally Highly Connected Graphs
    Anna Adamaszek
    Michal Adamaszek
    Matthias Mnich
    Jens M. Schmidt
    [J]. Graphs and Combinatorics, 2016, 32 : 1641 - 1650
  • [5] Bounds for pairs in partitions of graphs
    Ma, Jie
    Yu, Xingxing
    [J]. DISCRETE MATHEMATICS, 2010, 310 (15-16) : 2069 - 2081
  • [6] CONNECTED GRAPHS AND FREQUENCY PARTITIONS
    FELSINGE.N
    TATTERSA.JJ
    SUN, HS
    MYERS, BR
    ROBERTS, JA
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1972, 79 (03): : 304 - &
  • [7] Counting connected partitions of graphs
    Caro, Yair
    Patkos, Balazs
    Tuza, Zsolt
    Vizer, Mate
    [J]. JOURNAL OF GRAPH THEORY, 2024, 107 (02) : 381 - 392
  • [8] On finding connected balanced partitions of trees
    Bruglieri, Maurizio
    Cordone, Roberto
    Lari, Isabella
    Ricca, Federica
    Scozzari, Andrea
    [J]. DISCRETE APPLIED MATHEMATICS, 2021, 299 (299) : 1 - 16
  • [9] Bipartite graphs with balanced (a, b)-partitions
    Handa, K
    [J]. ARS COMBINATORIA, 1999, 51 : 113 - 119
  • [10] Perfectly balanced partitions of smoothed graphs
    Ben-Eliezer, Ido
    Krivelevich, Michael
    [J]. ELECTRONIC JOURNAL OF COMBINATORICS, 2009, 16 (01):