an ordering of vertices (π£1, π£2, β¦, π£π) in an edge-weighted graph (πΊ, π€) is called a maximum adjacency ordering if it satisfies:
π(πΊ,π€)({π£1, π£2, β¦, π£π-1}, π£π)Β β₯Β π(πΊ,π€)({π£1, π£2, β¦, π£π-1}, π£π) # for 2Β β€Β π β€Β π β€ π
where:
- π(πΊ,π€)(π,π) denotesΒ Ξ£{π€(π) |Β π = {π₯,π¦}βπΈ, π₯βπ, π¦βπ}
Theorem - Nagamochi & Ibaraki
In any MA orderingΒ of vertices, the following statement holds:
π(π£πβ1, π£π) = π(π£π)
where:
- π(π£)Β denotes the degree of the vertexΒ π£
- π(π’,Β π£)Β denotes the edge-connectivity between verticesΒ π’ andΒ π£