From branchings to flows: a study of an Edmonds' like property to arc-disjoint branching flows
Résumé
An s-branching flow f in a network N = (D, u), where u is the capacity function, is a flow that
reaches every vertex in V(D) from s while loosing exactly one unit of flow in each vertex other than
s. Bang-Jensen and Bessy [TCS, 2014] showed that, when every arc has capacity n − 1, a network N
admits k arc-disjoint s-branching flows if and only if its associated digraph D contains k arc-disjoint
s-branchings. Thus a classical result by Edmonds stating that a digraph contains k arc-disjoint
s-branchings if and only if the indegree of every set X ⊆ V (D) \ {s} is at least k also characterizes
the existence of k arc-disjoint s-branching flows in those networks, suggesting that the larger the
capacities are, the closer an s-branching flow is from simply being an s-branching. This observation
is further implied by results by Bang-Jensen et al. [DAM, 2016] showing that there is a polynomial
algorithm to find the flows (if they exist) when every arc has capacity n − c, for every fixed c ≥ 1,
and that such an algorithm is unlikely to exist for most other choices of the capacities. In this paper,
we investigate how a property that is a natural extension of the characterization by Edmonds’ relates
to the existence of k arc-disjoint s-branching flows in networks. Although this property is always
necessary for the existence of the flows, we show that it is not always sufficient and that it is hard
to decide if the desired flows exist even if we know beforehand that the network satisfies it. On the
positive side, we show that it guarantees the existence of the desired flows in some particular cases
depending on the choice of the capacity function or on the structure of the underlying graph of D,
for example. We remark that, in those positive cases, polynomial time algorithms to find the flows
can be extracted from the constructive proofs.
Origine | Fichiers produits par l'(les) auteur(s) |
---|