The -排列图
定义为顶点集上的图,该顶点集由 顶点集 组成,包含 排列,排列来自
且最多包含
个元素,其中当且仅当两个 排列 在其
个位置中的一个位置不同时,顶点通过边连接。
-排列图具有
个节点,是 正则图,顶点度 为
,
-连通,具有 图直径
,并且是顶点-顶点传递图和 边传递 图 (Day 和 Tripathi 1992)。
排列图的预计算属性在 Wolfram 语言 中可用,如GraphData["ArrangementGraph",
n, k
].
A_ 的特殊情况总结在下表中,并在上图中进行了说明。