A Row-wise Algorithm for Graph Realization

TL;DR

This paper introduces a novel row-wise algorithm for the graph realization problem, enabling the detection of arbitrary graphic submatrices in $ ext{0,1}$-matrices, which complements existing column-wise methods and enhances analysis of network matrices.

Contribution

The paper presents a new row-wise algorithm for graph realization that uses SPQR-trees, allowing detection of all graphic submatrices and improving upon previous column-wise approaches.

Findings

The row-wise algorithm effectively detects arbitrary graphic submatrices.

It uses SPQR-trees to uniquely represent graphic matrices.

The method can be combined with existing algorithms for comprehensive analysis.

Abstract

Given a $\{0,1\}$-matrix $M$, the graph realization problem for $M$ asks if there exists a spanning forest such that the columns of $M$ are incidence vectors of paths in the forest. The problem is closely related to the recognition of network matrices, which are a large subclass of totally unimodular matrices and have many applications in mixed-integer programming. Existing efficient algorithms for graph realization grow a submatrix in a column-wise fashion whilst maintaining a graphic realization. In the context of mixed-integer linear programming, this limits the set of submatrices of the constraint matrix that can efficiently be determined to be network matrices to network submatrices that span all rows and a subset of the columns. This paper complements the existing work by providing an algorithm that works in a row-wise fashion and uses similar data structures, and enables the detection of arbitrary graphic submatrices. The main challenge in designing efficient algorithms for the graph realization problem is ambiguity as there may exist many graphs realizing $M$. The key insight for designing an efficient row-wise algorithm is that a graphic matrix is uniquely represented by an SPQR-tree, a graph decomposition that stores all graphs with the same set of cycles. The developed row-wise algorithm uses data structures that are compatible with the column-wise algorithm and can be combined with the latter to detect maximal graphic submatrices.