Path Decomposition and Boundary Crossing #
This section provides lemmas for decomposing non-empty paths and for reasoning about paths that
cross the boundary of a given set of vertices S
.
This section provides lemmas for decomposing non-empty paths and for reasoning about paths that
cross the boundary of a given set of vertices S
.