Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström
{"title":"Flow-augmentation II: Undirected graphs","authors":"Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström","doi":"10.1145/3641105","DOIUrl":null,"url":null,"abstract":"<p>We present an undirected version of the recently introduced <i>flow-augmentation</i> technique: Given an undirected multigraph <i>G</i> with distinguished vertices <i>s</i>, <i>t</i> ∈ <i>V</i>(<i>G</i>) and an integer <i>k</i>, one can in randomized \\(k^{\\mathcal {O}(1)} \\cdot (|V(G)| + |E(G)|) \\) time sample a set \\(A \\subseteq \\binom{V(G)}{2} \\) such that the following holds: for every inclusion-wise minimal <i>st</i>-cut <i>Z</i> in <i>G</i> of cardinality at most <i>k</i>, <i>Z</i> becomes a <i>minimum-cardinality</i> cut between <i>s</i> and <i>t</i> in <i>G</i> + <i>A</i> (i.e., in the multigraph <i>G</i> with all edges of <i>A</i> added) with probability \\(2^{-\\mathcal {O}(k \\log k)} \\). </p><p>Compared to the version for directed graphs [STOC 2022], the version presented here has improved success probability (\\(2^{-\\mathcal {O}(k \\log k)} \\) instead of \\(2^{-\\mathcal {O}(k^4 \\log k)} \\)), linear dependency on the graph size in the running time bound, and an arguably simpler proof. </p><p>An immediate corollary is that the <span>Bi-objective <i>st</i>-Cut</span> problem can be solved in randomized FPT time \\(2^{\\mathcal {O}(k \\log k)} (|V(G)|+|E(G)|) \\) on undirected graphs.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"208 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Transactions on Algorithms","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1145/3641105","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
We present an undirected version of the recently introduced flow-augmentation technique: Given an undirected multigraph G with distinguished vertices s, t ∈ V(G) and an integer k, one can in randomized \(k^{\mathcal {O}(1)} \cdot (|V(G)| + |E(G)|) \) time sample a set \(A \subseteq \binom{V(G)}{2} \) such that the following holds: for every inclusion-wise minimal st-cut Z in G of cardinality at most k, Z becomes a minimum-cardinality cut between s and t in G + A (i.e., in the multigraph G with all edges of A added) with probability \(2^{-\mathcal {O}(k \log k)} \).
Compared to the version for directed graphs [STOC 2022], the version presented here has improved success probability (\(2^{-\mathcal {O}(k \log k)} \) instead of \(2^{-\mathcal {O}(k^4 \log k)} \)), linear dependency on the graph size in the running time bound, and an arguably simpler proof.
An immediate corollary is that the Bi-objective st-Cut problem can be solved in randomized FPT time \(2^{\mathcal {O}(k \log k)} (|V(G)|+|E(G)|) \) on undirected graphs.
期刊介绍:
ACM Transactions on Algorithms welcomes submissions of original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way, either in the objective or in the analysis. Most welcome are new algorithms and data structures, new and improved analyses, and complexity results. Specific areas of computation covered by the journal include
combinatorial searches and objects;
counting;
discrete optimization and approximation;
randomization and quantum computation;
parallel and distributed computation;
algorithms for
graphs,
geometry,
arithmetic,
number theory,
strings;
on-line analysis;
cryptography;
coding;
data compression;
learning algorithms;
methods of algorithmic analysis;
discrete algorithms for application areas such as
biology,
economics,
game theory,
communication,
computer systems and architecture,
hardware design,
scientific computing