主題
Search

超立方體圖


HypercubeGraphs

n 維超立方體圖,也稱為 n 維立方體圖,通常表示為 Q_n2^n,其頂點是 2^k 個符號 epsilon_1, ..., epsilon_n,其中 epsilon_i=0 或 1,並且當且僅當符號恰好在一個座標中不同時,兩個頂點相鄰 iff

n 維超立方體的圖由 圖笛卡爾積 路徑圖 P_2×... square P_2_()_(n) 給出。超立方體圖 Q_n 同構於 哈斯圖,用於 布林代數n 個元素上。Q_n 也同構於 單純形圖完全圖 K_n(Alikhani 和 Ghanbari 2024)。

HypercubeGraphIsometricEmbeddings

上面的圖顯示了一些小的 n 維超立方體圖的垂直投影,使用了每個頂點集合的前兩個 n 座標。請注意,上面的 Q_3 是沿著 空間對角線 檢視的常用 立方體 的投影,使得頂部和底部頂點重合,因此只顯示了立方體的八個頂點中的七個。此外,中心邊的三個連線到上頂點,而另外三個連線到下頂點。

超立方體圖可以使用 Wolfram 語言 中的命令計算HypercubeGraph[n],超立方體圖的預計算屬性在 Wolfram 語言 中實現為GraphData[{"Hypercube"n}]。

下表總結了特殊情況。

所有超立方體圖都是 哈密頓圖,標記的超立方體圖的任何 哈密頓環 都定義了一個二進位制反射 格雷碼 (Skiena 1990, p. 149; Mütze 2024)。超立方體圖也是 優美圖 (Maheo 1980, Kotzig 1981, Gallian 2018)、對蹠圖 和(很可能)支配唯一圖

對於 n=1、2、...,n 維超立方體圖上(有向)哈密頓路徑的數量為 0, 0, 48, 48384, 129480729600, ... (OEIS A006070; 擴充套件了 Gardner 1986, pp. 23-24 的結果),而(有向)哈密頓環的數量為 0, 2, 12, 2688, 1813091520, ... (Harary et al. 1988; OEIS A091299)。

長度為 k 的數量 c_kQ_n 中的閉合公式由 c_k=0 對於 k 奇數給出,並且

c_4=2^(n-3)(n-1)n
(1)
c_6=(2^n(n-2)(n-1)n)/3
(2)
c_8=2^(n-4)(n-2)(n-1)n(27n-79)
(3)
c_(10)=(2^(n-1)(n-3)(n-2)(n-1)n(124n-441))/5
(4)

(E. Weisstein,2014 年 11 月 16 日和 2023 年 4 月 19 日)。

超立方體圖是 距離傳遞 的,因此也是 距離正則 的。

1954 年,Ringel 表明,當 n 是 2 的冪時,超立方體圖 Q_n 允許 哈密頓分解 (Alspach 2010)。Alspach et al. (1990) 表明,每個 Q_n 對於 n>2 都允許 哈密頓分解

HypercubeGraphUnitDistance

對於 n>=1,超立方體圖也是 單位距離 的 (Gerbracht 2008),如上面前幾個超立方體圖所示。這可以透過歸納法為 正方形圖 的單位距離嵌入開始,將嵌入在一個之前步驟中未選擇的方向上平移一個單位(只使用了有限個單位平移向量,因此必須有一個之前未使用的方向),將平移中的頂點與原始頂點中的對應頂點連線起來,並重復直到 n 維超立方體圖構造完成,從而為 n 維超立方體圖建立。

確定 支配數 gamma(Q_n) 本質上是困難的 (Azarija et al. 2017),截至 2018 年 4 月,僅已知高達 n=9 的值 (Östergård 和 Blass 2001, Bertolo et al. 2004)。Azarija et al. (2017) 表明,超立方體圖的支配數和 全支配數 透過 gamma_t(Q_(n+1))=2gamma(Q_n) 相關聯。

對於 n<=3Q_n 是平面的,因此對於 n<=3,具有 圖交叉數 cr(Q_n)。Eggleton 和 Guy (1970) 聲稱發現了 cr(Q_n)<=a(n) 對於 n>=3圖交叉數 的上限,其中

a(n)=5/(32)4^n-|_(n^2+1)/2_|2^(n-2)
(5)
=2^(n-5)(5·2^n-4n^2+2(-1)^n-2).
(6)

對於 n=3、4、...,前幾個值為 0、8、56、352、1760、8192、35712、... (OEIS A307813)。

後來發現了一個錯誤,但 Erdős 和 Guy (1973) 隨後推測,不僅原始界限是正確的(儘管尚未證明),而且 cr(Q_n)=a(n) (Clancy et al. 2019)。雖然已知 cr(Q_4)=8,但對於更大的 n 的精確值尚不清楚 (Clancy et al. 2019)。但是,可以使用 QuickCross (Haythorpe) 直接計算上限,這對應於 Eggleton 和 Guy 對於 n<=6 的值 (E. Weisstein,2019 年 4 月 30 日)。此外,Erdős 和 Guy (1973) 的猜想現在已被駁斥,因為已知 cr(Q_7)<=1744<a(7) (Clancy et al. 2019)。


另請參閱

立方體連線迴圈圖, 立方圖, 距離正則圖, 距離傳遞圖, 斐波那契立方體圖, 摺疊立方體圖, 超立方體, 正方形圖, 超正方體圖

使用 探索

參考文獻

Alikhani, S. 和 Ghanbari, N. "圖論中的黃金比例:綜述。" 2024 年 7 月 9 日。 https://arxiv.org/abs/2407.15860.Alspach, B. "三個哈密頓分解問題。" 西澳大利亞大學。2010 年 5 月 11 日。 http://symomega.files.wordpress.com/2010/05/talk8.pdf.Alspach, B.; Bermond, J.-C.; 和 Sotteau, D. "分解為環。I. 哈密頓分解。" 在 1987 年 5 月 3-9 日在加拿大魁北克省蒙特利爾舉行的北約高階研究研討會論文集:有限和無限圖中的基本結構 (Ed. G. Hahn, G. Sabidussi, 和 R. E. Woodrow)。多德雷赫特,荷蘭:Kluwer,pp. 9-18, 1990.Azarija, J.; Henning, M. A.; 和 Klavžar, S. "(稜柱中的(全)支配)。" Electron. J. Combin. 24, No. 1, paper 1.19, 2017. http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p19.Bertolo, R.; Östergård, P. R. J.; 和 Weakley, W. D. "二進位制/三元混合覆蓋碼的更新表。" J. Combin. Des. 12, 157-176, 2004.Biggs, N. L. 代數圖論,第二版。 劍橋,英格蘭:劍橋大學出版社,p. 161, 1993.Clancy, K.; Haythorpe, M.; 和 Newcombe, A. "已知或有界交叉數的圖的綜述。" 2019 年 2 月 15 日。 https://arxiv.org/pdf/1901.05155.pdf.Eggleton, R. B. 和 Guy, R. K. "n-立方體的交叉數。" Not. Amer. Math. Soc. 17, 757, 1970.Erdős, P. 和 Guy, R. K. "交叉數問題。" Amer. Math. Monthly 80, 52-58, 1973.Gallian, J. "圖示記的動態調查。" Elec. J. Combin. DS6. 2018 年 12 月 21 日。 https://www.combinatorics.org/ojs/index.php/eljc/article/view/DS6.Gardner, M. "二進位制格雷碼。" 在 打結的甜甜圈和其他數學娛樂。 紐約:W. H. Freeman, pp. 23-24, 1986.Gerbracht, E. H.-A. "連通立方對稱圖的單位距離可嵌入性。" Kolloquium über Kombinatorik。德國馬格德堡。2008 年 11 月 15 日。Gross, J. T. 和 Yellen, J. 圖論及其應用。 Boca Raton, FL: CRC Press, p. 14, 1999.Harary, F.; Hayes, J. P.; 和 Wu, H.-J. "超立方體圖理論綜述。" Comput. Math. Appl. 15, 277-289, 1988.Haythorpe, M. "QuickCross--交叉數問題。" http://www.flinders.edu.au/science_engineering/csem/research/programs/flinders-hamiltonian-cycle-project/quickcross.cfm.Kotzig, A. "完全圖分解為同構立方體。" J. Combin. Th. 31, 292-296, 1981.Maheo, M. "強優美圖。" Disc. Math. 29, 39-46, 1980.Mütze, T. "關於由相交集合系統定義的圖中的哈密頓環。" Not. Amer. Soc. 74, 583-592, 2024.Östergård, P. R. J. 和 Blass, U. "長度為 9 和覆蓋半徑為 1 的最優二進位制碼的大小。" IEEE Trans. Inform. Th. 47, 2556-2557, 2001.Skiena, S. "超立方體。" §4.2.5 在 實現離散數學:Mathematica 的組合數學和圖論。 雷丁,MA:Addison-Wesley, pp. 148-150, 1990.Sloane, N. J. A. 序列 A006070, A091299, 和 A307813 在 "整數序列線上百科全書" 中。

在 上引用

超立方體圖

請引用為

Weisstein, Eric W. "超立方體圖。" 來自 Web 資源。 https://mathworld.tw/HypercubeGraph.html

主題分類