The -排列圖
定義為頂點集上的圖,該頂點集由 頂點集 組成,包含 排列,排列來自
且最多包含
個元素,其中當且僅當兩個 排列 在其
個位置中的一個位置不同時,頂點透過邊連線。
-排列圖具有
個節點,是 正則圖,頂點度 為
,
-連通,具有 圖直徑
,並且是頂點-頂點傳遞圖和 邊傳遞 圖 (Day 和 Tripathi 1992)。
排列圖的預計算屬性在 Wolfram 語言 中可用,如GraphData["ArrangementGraph",
n, k
].
A_ 的特殊情況總結在下表中,並在上圖中進行了說明。