Abstract
In this paper we establish a min–max relation in arc-weighted reducible flow graphs. In particular, we prove that the maximum cardinality of feedback arc set packings equals the minimum total weight of cycles. We also present an \(O(n^2 m)\) algorithm for finding a maximum feedback arc set packing in reducible flow graphs.
Similar content being viewed by others
Notes
‘First available’ here refers to the unused \(r-t\) cut \(\partial ^+(U_i)\) with the least index i.
References
Ahuja RK, Magnanti TL, Orlin JB (1993) Network flows—theory, algorithms, and applications. Prentice Hall Inc., Englewood Cliffs
Chen X, Zang W (2006) An efficient algorithm for finding maximum cycle packings in reducible flow graphs. Algorithmica 44(3):195–211
Frank A, Gyarfas A (1976) Directed graphs and computer programs. Problemes Combinatoires et Theorie des Graphes 260:157–158
Hecht MS (1977) Flow analysis of computer programs. North-Holland, New York
Hecht MS, Ullman JD (1972) Flow graph reducibility. SIAM J Comput 1(2):188–202
Hecht MS, Ullman JD (1974) Characterizations of reducible flow graphs. J Assoc Comput Mach 21(3):367–375
Hopcroft JE, Ullman JD (1972) An \(n\log n\) algorithm for detecting reducible graphs. In: Proceedings of 6th Annual Princeton Conference on Information Sciences and Systems, pp. 119–122. Princeton, NJ
Ramachandran V (1988) Finding a minimum feedback arc set in reducible flow graphs. J Algorithms 9(3):299–313
Ramachandran V (1990) A minimax arc theorem for reducible flow graphs. SIAM J Discret Math 3(4):554–560
Shamir A (1979) A linear time algorithm for finding minimum cutsets in reducible graphs. SIAM J Comput 8(4):645–655
Tarjan RE (1974) Testing flow graph reducibility. J Comput Syst Sci 9(3):355–365
Acknowledgments
The author would like to thank Prof. Wenan Zang for his invaluable suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Xiao, H. Packing feedback arc sets in reducible flow graphs. J Comb Optim 32, 951–959 (2016). https://doi.org/10.1007/s10878-015-9922-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-015-9922-6