Abstract
We prove a conjecture of Younger, that for every integern≥0 there exists an integert≥0 such that for every digraphG, eitherG hasn vertex-disjoint directed circuits, orG can be made acyclic by deleting at mostt vertices.
Similar content being viewed by others
References
P. Erdős andL. Pósa: On the independent circuits contained in a graph,Canad. J. Math.,17 (1965), 347–352.
P. Erdős andG. Szekeres: A combinatorial problem in geometry,Compositio Math.,2 (1935), 463–470.
S. Fortune, J. E. Hopcroft andJ. Wyllie: The directed subgraph homeomorphism problem,J. Theoret. Comput. Sci.,10 (1980), 111–121.
T. Gallai: Problem 6, inTheory of Graphs, Proc. Colloq. Tihany 1966 (New York), Academic Press, 1968, p.362.
W. McCuaig: Intercyclic digraphs,Graph Structure Theory, (Neil Robertson and Paul Seymour, eds.),AMS Contemporary Math.,147 (1993), 203–245.
F. P. Ramsey: On a problem of formal logic,Proc. London Math. Soc.,30 (1930), 264–286.
P. D. Seymour: Packing directed circuits fractionally,Combinatorica,15 (1995), 281–288.
D. H. Younger: Graphs with interlinked directed circuits,Proceedings of the Midwest Symposium on Circuit Theory,2 (1973), XVI 2.1-XVI 2.7.
Author information
Authors and Affiliations
Additional information
Research partially supported by DONET ECHM contract CHRXCT930090.
Research partially supported by DIMACS, by NSF grant DMS-9401981 and by ONR grant N00014-92-J-1965, and partially performed under a consulting agreement with Bellcore.
Research partially supported by DIMACS, by Université de Paris VI, by NSF grant DMS-9303761 and by ONR grant N00014-93-1-0325, and partially performed under a consulting agreement with Bellcore.