Shortest bibranchings and valuated matroid intersection

概要

論文の詳細を見る
For a digraph D = (V, A) and a partition {S, T} of V, an arc set B⊆A is called an S－T if each vertex in T is reachable from S and each vertex in S reaches T in the subgraph (V, B). Bibranchings commonly generalize bipartite edge covers and arborescences. A totally dual integral linear system determining the S－T polytope is provided by Schrijver, and the shortest S－T problem, whose objective is to find an S－T of minimum total arc weight, can be solved in polynomial time by the ellipsoid method or a faster combinatorial algorithm due to Keijsper and Pendavingh. The valuated matroid intersection problem, introduced by Murota, is a weighted generalization of the independent matching problem, including the independent assignment problem and the weighted matroid intersection problem. The valuated matroid intersection problem can be solved efficiently with polynomially many value oracles by extending classical combinatorial algorithms for the weighted matroid intersection problem. In this paper, we show that the shortest S－T problem is polynomially reducible to the valuated matroid intersection problem. This reduction suggests one answer to why the shortest S－T problem is tractable, and implies new combinatorial algorithms for the shortest S－T problem based on the valuated matroid intersection algorithm, where a value oracle corresponds to computing a minimum-weight arborescence.
2012-10-01