eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2023-03-03
5:1
5:19
10.4230/LIPIcs.STACS.2023.5
article
Packing Odd Walks and Trails in Multiterminal Networks
Akhmedov, Maxim
1
https://orcid.org/0000-0002-7947-1416
Babenko, Maxim
2
https://orcid.org/0000-0003-2877-9725
Department of Mathematical Logic and Algorithms, Moscow State University, Russia
Higher School of Economics, Moscow, Russia
Let G be an undirected network with a distinguished set of terminals T ⊆ V(G) and edge capacities cap: E(G) → ℝ_+. By an odd T-walk we mean a walk in G (with possible vertex and edge self-intersections) connecting two distinct terminals and consisting of an odd number of edges. Inspired by the work of Schrijver and Seymour on odd path packing for two terminals, we consider packings of odd T-walks subject to capacities cap.
First, we present a strongly polynomial time algorithm for constructing a maximum fractional packing of odd T-walks. For even integer capacities, our algorithm constructs a packing that is half-integer. Additionally, if cap(δ(v)) is divisible by 4 for any v ∈ V(G)-T, our algorithm constructs an integer packing.
Second, we establish and prove the corresponding min-max relation.
Third, if G is inner Eulerian (i.e. degrees of all nodes in V(G)-T are even) and cap(e) = 2 for all e ∈ E, we show that there exists an integer packing of odd T-trails (i.e. odd T-walks with no repeated edges) of the same value as in case of odd T-walks, and this packing can be found in polynomial time.
To achieve the above goals, we establish a connection between packings of odd T-walks and T-trails and certain multiflow problems in undirected and bidirected graphs.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol254-stacs2023/LIPIcs.STACS.2023.5/LIPIcs.STACS.2023.5.pdf
Odd path
signed and bidirected graph
multiflow
polynomial algorithm