graph matching---aligning a pair of graphs to minimize their edge
disagreements---has received wide-spread attention from both theoretical and
applied communities over the past several decades, including combinatorics,
computer vision, and connectomics. Its attention can be partially a