TY - GEN
T1 - Online Disjoint Spanning Trees and Polymatroid Bases
AU - Chandrasekaran, Karthekeyan
AU - Chekuri, Chandra
AU - Zhu, Weihao
N1 - This work was supported in part by NSF grant CCF-2402667.
PY - 2025/6/30
Y1 - 2025/6/30
N2 - Finding the maximum number of disjoint spanning trees in a given graph is a well-studied problem with several applications and connections. The Tutte-Nash-Williams theorem provides a min-max relation for this problem which also extends to disjoint bases in a matroid and leads to efficient algorithms [13]. Several other packing problems such as element disjoint Steiner trees, disjoint set covers, and disjoint dominating sets are NP-Hard but admit an O(log n)-approximation [7, 4]. Călinescu, Chekuri, and Vondrák [2] viewed all these packing problems as packing bases of a polymatroid and provided a unified perspective. Motivated by applications in wireless networks, recent works have studied the problem of packing set covers in the online model [11, 6, 1]. The online model poses new challenges for packing problems. In particular, it is not clear how to pack a maximum number of disjoint spanning trees in a graph when edges arrive online. Motivated by these applications and theoretical considerations, we formulate an online model for packing bases of a polymatroid, and describe a randomized algorithm with a polylogarithmic competitive ratio. Our algorithm is based on interesting connections to the notion of quotients of a polymatroid that has recently seen applications in polymatroid sparsification [12]. We generalize the previously known result for the online disjoint set cover problem [6] and also address several other packing problems in a unified fashion. For the special case of packing disjoint spanning trees in a graph (or a hypergraph) whose edges arrive online, we provide an alternative to our general algorithm that is simpler and faster while achieving the same poly-logarithmic competitive ratio.
AB - Finding the maximum number of disjoint spanning trees in a given graph is a well-studied problem with several applications and connections. The Tutte-Nash-Williams theorem provides a min-max relation for this problem which also extends to disjoint bases in a matroid and leads to efficient algorithms [13]. Several other packing problems such as element disjoint Steiner trees, disjoint set covers, and disjoint dominating sets are NP-Hard but admit an O(log n)-approximation [7, 4]. Călinescu, Chekuri, and Vondrák [2] viewed all these packing problems as packing bases of a polymatroid and provided a unified perspective. Motivated by applications in wireless networks, recent works have studied the problem of packing set covers in the online model [11, 6, 1]. The online model poses new challenges for packing problems. In particular, it is not clear how to pack a maximum number of disjoint spanning trees in a graph when edges arrive online. Motivated by these applications and theoretical considerations, we formulate an online model for packing bases of a polymatroid, and describe a randomized algorithm with a polylogarithmic competitive ratio. Our algorithm is based on interesting connections to the notion of quotients of a polymatroid that has recently seen applications in polymatroid sparsification [12]. We generalize the previously known result for the online disjoint set cover problem [6] and also address several other packing problems in a unified fashion. For the special case of packing disjoint spanning trees in a graph (or a hypergraph) whose edges arrive online, we provide an alternative to our general algorithm that is simpler and faster while achieving the same poly-logarithmic competitive ratio.
KW - Base Packing
KW - Disjoint Spanning Trees
KW - Online Algorithms
KW - Polymatroids
UR - https://www.scopus.com/pages/publications/105009906295
UR - https://www.scopus.com/pages/publications/105009906295#tab=citedBy
U2 - 10.4230/LIPIcs.ICALP.2025.44
DO - 10.4230/LIPIcs.ICALP.2025.44
M3 - Conference contribution
AN - SCOPUS:105009906295
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025
A2 - Censor-Hillel, Keren
A2 - Grandoni, Fabrizio
A2 - Ouaknine, Joel
A2 - Puppis, Gabriele
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 52nd EATCS International Colloquium on Automata, Languages, and Programming, ICALP 2025
Y2 - 8 July 2025 through 11 July 2025
ER -