加载中…
Consider a directed multigraph that is balanced (i.e., at each vertex, the indegree equals the outdegree). Let be its set of arcs. Fix an integer . Let be a vertex of . We show that the number of -element subsets of that contain no cycles but contain a path from each vertex to (we call them “-convergences”) is independent on . This generalizes known facts about spanning arborescences, acyclic orientations and maximal acyclic subdigraphs (or, equivalently, minimum feedback arc sets). Moreover, this result can be generalized even further, replacing “contain no cycles” with “have a given set of cycles”.

生成讲解博客的中文版本

生成AI智能校验的中文版本