An 'adjacent' pair of vertices is one that:
Is connected by an edge
Has the same degree
Is in the same set
Is not connected