Title: Characterizing & constructing flows in the one-way measurement model in terms of disjoint I--O paths

Abstract: The one-way measurement model is a framework for universal quantum computation, in which algorithms are partially described by a graph G of entanglement relations on a collection of qubits. A sufficient condition for an algorithm to reliably perform a unitary operation in the one-way model is for the graph G (together with input/output vertices I, O \subset V(G)) to have a flow in the sense introduced by Danos and Kashefi. In this paper, I describe how one can efficiently determine when a flow exists for (G, I, O) when |I| = |O|, via standard graph-theoretic constructions and algorithms.