Given a directed graph D=(V,A) with a set of d specified vertices S={s 1,…,s d }⊆V and a function f : S→ℕ where ℕ denotes the set of positive integers, we consider the problem which asks whether there exist ∑ i=1 d f(s i ) in-trees denoted by Ti,1,Ti,2,¼,Ti,f(si)T_{i,1},T_{i,2},ldots,T_{i,f(s_{i})} for every i=1,…,d such that Ti,1,¼,Ti,f(si)T_{i,1},ldots,T_{i,f(s_{i})} are rooted at s i , each T i,j spans vertices from which s i is reachable and the union of all arc sets of T i,j for i=1,…,d and j=1,…,f(s i ) covers A. In this paper, we prove that such set of in-trees covering A can be found by using an algorithm for the weighted matroid intersection problem in time bounded by a polynomial in ∑ i=1 d f(s i ) and the size of D. Furthermore, for the case where D is acyclic, we present another characterization of the existence of in-trees covering A, and then we prove that in-trees covering A can be computed more efficiently than the general case by finding maximum matchings in a series of bipartite graphs.
展开▼
机译:给定一个有向图D =(V,A),其中包含一组d个指定顶点S = {s 1 sub>,…,s d sub>}⊆V和一个函数f: S→ℕ其中ℕ表示正整数的集合,我们考虑这样一个问题:是否存在∑ i = 1 sub> d sup> f(s i sub >)以T i,1 sub>,T i,2 sub>,¼,T i,f(s i sub> ) sub> T_ {i,1},T_ {i,2},ldots,T_ {i,f(s_ {i})}}每i = 1,…,d使T i, 1 sub>,¼,T i,f(s i sub>) sub> T_ {i,1},ldots,T_ {i,f(s_ {i}) }根于s i sub>,每个T i,j sub>跨越可到达s i sub>的顶点,并且所有T弧集的并集对于i = 1,…,d和j = 1,…,f(s i sub>)的 i,j sub>覆盖A。在本文中,我们证明了这样的一组可以使用∑ i = 1 sub> d sup> f(s i sub>)和D的大小。此外,对于这种情况e D是非循环的,我们给出覆盖A的树内存在的另一种特征,然后证明通过在一系列二部图中找到最大匹配,覆盖A的树内比一般情况下的计算效率更高。
展开▼