🤖 AI Summary
This study addresses the multi-tree routing problem in power network design, aiming to minimize the combined cost of cables and shared trenches while satisfying load-balancing and power-loss constraints. Focusing on the rooted multi-Steiner tree model, the work distinguishes between low- and high-voltage scenarios—imposing depth bounds on trees accordingly—and conducts a parameterized complexity analysis with respect to the number of terminals. The main contributions include establishing that most variants are W[1]-hard when parameterized by the number of terminals, presenting the first XP algorithm for the low-voltage case on planar graphs, and proving its tightness under the Exponential Time Hypothesis (ETH). Furthermore, the paper shows that under a specific trench-cost sharing model, both voltage scenarios become fixed-parameter tractable.
📝 Abstract
We study generalizations of the Steiner Tree problem motivated by the design of power networks. While Steiner Tree asks for a single minimum-cost tree connecting given terminal vertices, a power network typically consists of multiple trees, each connecting a subset of the terminals, to avoid electrical overloads. The cost of installing depends on both the cable lengths and the cost of digging underground trenches for putting the cables where the digging costs can be shared. These leads to variants of Steiner Tree where the goal is to compute a minimum-cost set of Steiner trees with a common root, that together connect all terminals while balancing the power demand of the terminals in each tree. Two important variants arise depending on whether the network is intended for low-voltage or high-voltage power. In the low-voltage case, power loss imposes a bound on the maximum depth of each tree, while no such restriction applies in the high-voltage case. We study the parameterized complexity of several power network design problems, parameterized by the number of terminals. While Steiner Tree is fixed-parameter tractable under this parameterization, most of our variants are W[1]-hard. For low-voltage networks, we present an XP-algorithm for planar inputs based on structural bounds on the treewidth of solution subgraphs. We also give a reduction from Grid Tiling showing tightness under ETH. The XP-algorithm extends to the high-voltage setting and general graphs, albeit at a cost in the running time. For high-voltage networks, we show the problem remains W[1]-hard even on planar graphs. Finally, we explore a variant of the cost model for sharing digging costs in which both problems become fixed-parameter tractable.