,
Pål Grønås Drange
,
Fedor V. Fomin
,
Petr A. Golovach
,
Laure Morelle
Creative Commons Attribution 4.0 International license
We study the problem of finding a family of diverse minimum edge s-t cuts in a directed weighted graph G. Given integers k and d, the task is to decide whether G contains k minimum s-t cuts C_1, …, C_k such that for any i,j ∈ [k], the number of edges in the symmetric difference C_i △ C_j is at least d.
For d ∈ {1,2}, the problem corresponds to counting minimum s-t cuts in G, which is #P-complete [Provan and Ball, SICOMP 1983]. The problem is also known to be NP-complete already for k = 3 [de Berg, López Martínez, Spieksma, ISAAC 2024]. Our main result shows that the problem is fixed-parameter tractable (FPT) when parameterized by the combined parameter k + d.
The main ingredients of our FPT algorithm build on novel structural properties of diverse minimum s-t cuts and a non-trivial application of the flow-augmentation technique of Kim, Kratsch, Pilipczuk, and Wahlström [JACM 2025].
@InProceedings{dehaleesan_et_al:LIPIcs.ESA.2026.148,
author = {Dehaleesan, Krishnan and Drange, P\r{a}l Gr{\o}n\r{a}s and Fomin, Fedor V. and Golovach, Petr A. and Morelle, Laure},
title = {{An FPT Algorithm for Diverse Minimum s-t Cuts}},
booktitle = {34th Annual European Symposium on Algorithms (ESA 2026)},
pages = {148:1--148:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-445-1},
ISSN = {1868-8969},
year = {2026},
volume = {388},
editor = {Bille, Philip and Pettie, Seth and Storandt, Sabine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2026.148},
URN = {urn:nbn:de:0030-drops-272847},
doi = {10.4230/LIPIcs.ESA.2026.148},
annote = {Keywords: Minimum s-t-cut, diversity, parameterized complexity, color coding, flow-augmentation}
}