Implementation of a unimodularity test

This paper describes implementation and computational results of a polynomial test of total unimodularity. The test is a simplified version of a prior method. The program also decides two related unimodularity properties. The software is available free of charge in source code form under the Boost Software License.

[1]  Henry J. Stephen Smith,et al.  XV. On systems of linear indeterminate equations and congruences , 1861, Philosophical Transactions of the Royal Society of London.

[2]  Alan M. Frieze,et al.  Random graphs , 2006, SODA '06.

[3]  J. Edmonds.  Minimum partition of a matroid into independent subsets , 1965 .

[4]  H. Whitney.  2-Isomorphic Graphs , 1933 .

[5]  Béla Bollobás,et al.  Random Graphs , 1985 .

[6]  Klaus Truemper,et al.  A decomposition theory for matroids. V. Testing of matrix total unimodularity , 1990, J. Comb. Theory, Ser. B.

[7]  Klaus Truemper,et al.  Local unimodularity of matrix-vector pairs , 1978 .

[8]  Klaus Truemper,et al.  Algebraic Characterizations of Unimodular Matrices , 1978 .

[9]  Robert E. Bixby,et al.  Converting Linear Programs to Network Problems , 1980, Math. Oper. Res..

[10]  Klaus Truemper,et al.  Complement total unimodularity , 1980 .

[11]  Satoru Fujishige,et al.  An Efficient PQ-Graph Algorithm for Solving the Graph-Realization Problem , 1980, J. Comput. Syst. Sci..

[12]  W. T. Tutte.  A homotopy theorem for matroids. II , 1958 .

[13]  Alan J. Hoffman,et al.  Integral Boundary Points of Convex Polyhedra , 2010, 50 Years of Integer Programming.

[14]  W. T. Tutte,et al.  A HOMOTOPY THEOREM FOR MATROIDS, II , 2010 .

[15]  Paul D. Seymour,et al.  Decomposition of regular matroids , 1980, J. Comb. Theory, Ser. B.

[16]  A. J. Hoffman,et al.  Local Unimodularity in the Matching Polytope , 1978 .

[17]  Klaus Truemper,et al.  A decomposition theory for matroids. VII. Analysis of minimal violation matrices , 1992, J. Comb. Theory, Ser. B.