Shuffle-exchange 图是一个非简单图(由于存在图环),其顶点是长度为 的二进制字符串,如果满足以下条件,则从
到
之间存在一条边:
1. 与
的最后一位不同,或者
2. 是通过对
进行左循环或右循环移位获得的。
维 shuffle-exchange 图的实现方式为ShuffleExchangeGraph[n],在 Wolfram Language 包中Combinatorica`
.
对于 , 2, ..., 移除自环的 shuffle exchange 图与
,
,
, ..., 同构,其中
是一个 路径图,
表示 McKay 排序中的第
个
顶点图。