主題
Search

凱勒圖


n 維凱勒圖,有時記為 G_n (例如,Debroni et al. 2011),可以定義在 4^n 個元素的頂點集 (m_1,...,m_n) 上,其中每個 m_i 為 0、1、2 或 3,並且當兩個頂點在至少兩個座標上不同,且在至少一個位置標籤的差為 2(模 4)時,它們是相鄰的。

這些圖為凱勒猜想提供了一個方便的圖論公式,並被廣泛用於測試最大團演算法(Myrvold 和 Fowler,Debroni 2011),因為即使對於 n=6,大多數啟發式團演算法也達不到正確的最大團階數。

Corrádi 和 Szabó (1990) 表明,此圖中的團的大小最多為 2^n,並且進一步表明,如果存在大小為 2^n 的團,則凱勒猜想在該維度上是錯誤的。然而,請注意,這種團的不存在並不一定意味著猜想的正確性,僅意味著對於座標為整數或半整數的超立方體不存在反例(Debroni et al. 2011)。透過數學證明(Perron 1940),已知凱勒猜想對於 n<=6 是成立的,並且對於至少 n=8、10 和 12 是錯誤的,最小的未解決情況是 n=7,其中維度 n>=8 的反證是透過構造大小為 2^n 的最大團來實現的。最近,Debroni et al. (2011) 確定了 團數G_7 為 124,但是,如上所述,大小為 2^n 的團的缺失並不能在維度 n 中確立該定理。

凱勒圖 G_n (n=1, 2, ...) 的團數由 1, 2, 5, 12, 28, 60, 124, 256, ... 給出 (OEIS A202604)。

對於 n>2,凱勒圖 G_n色數分數色數獨立數均為 2^n (W. Myrvold; 私人通訊,S. Wagon,2013 年 1 月 22 日)。對於 n=1, 2, ...,獨立數明確地為 4, 5, 8, 16, 32, 64, 128, 256, ... (OEIS A258935)。

Jarnicki et al. 2017 表明,所有凱勒圖都是 1 類圖,即邊色數等於它們的最大頂點度 Delta

Fung (2011) 給出了凱勒圖 G_1, G_2, ... 的 Lovász 數,分別為 4、6、28/3、2^42^5、....

所有連通的凱勒圖都是哈密頓圖 (W. Myrvold; 私人通訊,S. Wagon,2013 年 1 月 23 日) 和 哈密頓連通圖 (私人通訊,S. Wagon,2013 年 1 月 24 日)。

KellerGraph

特殊情況總結在下表中,其中 2-凱勒圖(同構於 Clebsch 圖)的情況的構造在上面進行了說明。


另請參閱

克萊布什圖, 凱勒猜想, 最大團

使用 探索

參考文獻

Corrádi, K. 和 Szabó, S. "凱勒猜想的組合方法。" Periodica Mathematica Hungarica. János Bolyai 數學學會雜誌 21, 95-100, 1990.Debroni, J.; Eblen, J. D.; Langston, M. A.; Shor, P.; Myrvold, W.; 和 Weerapurage, D. "凱勒最大團問題的完整解決方案。" 第 22 屆 ACM-SIAM 離散演算法研討會論文集。 pp. 129-135, 2011.Fung, M. "凱勒圖的 Lovász 數。" 碩士論文。Universiteit Leiden: Mathematisch Instituut, 2011.Jarnicki, W.; Myrvold, W.; Saltzman, P.; 和 Wagon, S. "凱勒圖、Mycielski 圖和 Queen 圖的已證明和猜想的性質。" 即將發表於 Ars Math. Comtemp. 2017.Johnson, D. S. 和 Trick, M. A. 團、著色和可滿足性:第二屆 DIMACS 實現挑戰賽,研討會,1993 年 10 月 11-13 日。 Boston, MA: Amer. Math. Soc., 1996.Lagarias, J. C. 和 Shor, P. W. "凱勒的立方體平鋪猜想在高維度中是錯誤的。" Bull. Amer. Math. Soc. 27, 279-283, 1992.Mackey, J. "八維立方體平鋪,無面共享。" Disc. Comput. Geom. 28, 275-279, 2002.Myrvold, W. 和 Fowler, P. W. "快速列舉所有同構的獨立集。" J. Comb. Math. Comb. Comput. 85, 173-194, 2013.Peron, O. "Über lückenlose ausfüllung des n-dimensionalen raumes durch kongruente würfel." Math. Z. 46, 1-26 和 161-180, 1940.Sloane, N. J. A. "整數序列線上百科全書"中的序列 A202604A258935

請引用為

Weisstein, Eric W. "凱勒圖。" 來自 —— 資源。 https://mathworld.tw/KellerGraph.html

主題分類