connected-components tree
let
be a connected triangulated undirected graph. let
be a vertex of
, and let
be a face incident to
. for a face
of
, define its level to be the minimum level of a vertex incident to
. thus,
, and all faces to which
is incident is also 0.
for an integer
, let
denote the set of faces of
with level at least
. let
denote the set of connected components of the subgraph of
induced by
. we refer to a connected component
as a level-
component, and we define
. with a slight abuse of notation we identify a connected component
of
, which is a subgraph of
, with the set of vertices of
(faces of
) that belong to
. thus, when it is convenient, we regard
as a subset of
.
[cite:;taken from @graph_klein_2024 chapter 5.7 the connected-components tree]
for an integer
[cite:;taken from @graph_klein_2024 chapter 5.7 the connected-components tree]
for any level
and any component
,
is a simple cut.
[cite:;taken from @graph_klein_2024 chapter 5.7 lemma 5.7.7]
[cite:;taken from @graph_klein_2024 chapter 5.7 lemma 5.7.7]