arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2604.09522cs.DS
收藏

紧凑子图的打包及其在选区划分中的应用

Packing Compact Subgraphs with Applications to Districting

National Taiwan University(国立台湾大学);Rutgers University(罗格斯大学);George Mason University(乔治梅森大学)

Ho-Lin Chen, Po-Yu Chou, Prathamesh Dharangutte, Jie Gao, Shang-En Huang, Fang-Yi Yu

AI总结:

本文研究了在给定图中打包不相交子图的问题,重点是满足特定组成要求的紧凑连通子图,提出了改进的算法和分析,实现了对平衡星形选区的O(1)近似率,并扩展到更广泛的图类。

摘要:

在给定图中打包不相交子图是一个基础问题,具有广泛的应用。受政治选区划分启发,我们关注具有紧凑性(如从单一中心顶点有常数半径)且满足额外组成要求的连通子图,如最低人口/重量阈值或平衡重量类型(如政治归属)。我们旨在通过满足这些要求的不相交选区最大化覆盖。本文提出了新的结果,显著改进了平面图和删边图中平衡星形选区的已知界限(Dharangutte等人,2025)。特别是,我们通过相同算法但更精细的分析,将近似因子从O(log n)改进到O(1)。我们还扩展了结果到删边图以及更广泛的图类,即扩张受限图。此外,我们获得了在平面图和顶点删边图中打包半径-k选区(常数k)的O(1)近似率。为了获得(1+ε)近似最大覆盖,我们证明如果允许平衡参数的轻微放松(因子可任意接近1),则可以在平面图和顶点删边图上实现。我们还证明,如果强制每个选区有最低重量阈值作为组成要求,而非平衡性,所有这些结果也可以获得。我们通过图和选区类型展示了该变体的难度和近似难度结果。

英文摘要:

Packing disjoint subgraphs in a given graph is a fundamental problem with many applications. Motivated by political districting, we focus on connected subgraphs that are compact (e.g., having constant radius from a single center vertex) and that satisfy additional composition requirements, such as a minimum population/weight threshold or balanced weight types (e.g., political affiliations). We aim to maximize coverage by disjoint districts that meet these requirements. In this work, we present new results that substantially improve the previously known bounds on balanced star districts for planar and minor-free graphs (Dharangutte et al. 2025). In particular, we improve the approximation factor from $O(\log n)$ to $O(1)$ for packing balanced star districts using the exact same algorithm, but with a refined analysis. We also extend the results beyond planar graphs to minor-free graphs and an even broader family of graphs of bounded expansion. Additionally, we obtain an $O(1)$ approximation for packing radius-$k$ districts (with a constant $k$) in planar and apex-minor-free graphs. In order to get a $(1+\varepsilon)$ approximation on the max coverage, we show that this can be achieved if we allow a slight relaxation of the balancedness parameters (by a factor that can be made arbitrarily close to $1$), for bounded radius-$k$ districts on planar and apex-minor-free graphs. We show that all of these results can also be obtained if we enforce a minimum weight threshold for each district as the composition requirement, rather than balancedness. We present various results on hardness and hardness of approximation for this variant, by graph and district types.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑