主題
Search

Alon-Tarsi 猜想


如果一個拉丁方包含奇數個奇排列的行和列,則稱該拉丁方為奇拉丁方。否則,稱其為偶拉丁方。

令 n 階偶拉丁方的數量表示為 els(n),n 階奇拉丁方的數量表示為 ols(n)。下表總結了小 n 值下偶拉丁方和奇拉丁方的數量。

nels(n)ols(n)els(n)-ols(n)
SloaneA114628A114629A114630
1101
2202
3660
45760576
580640806400
6505958400306892800199065600
730739709952000307397099520000
855019078005712486400537569544533704704001262123552342016000

如果 n!=1 是奇數,則交換一個拉丁方的兩行會改變其符號,因此 els(n)=ols(n)

Alon-Tarsi 猜想指出,對於偶數 nels(n)!=ols(n) (Drisko 1998)。

Zappa (1997) 將該猜想推廣到固定對角線拉丁方,以涵蓋奇數階。將固定對角線拉丁方定義為所有對角線元素都等於 1 的拉丁方,並將 n 階固定對角線偶拉丁方和固定對角線奇拉丁方的數量分別表示為 fdels(n)fdols(n)。對於 n=1, 2, ...,fdels(n) 等於 1, 1, 0, 24, 384, ... (OEIS A114631),fdols(n) 等於 0, 0, 2, 0, 960, ... (OEIS A114632)。

進一步將 Alon-Tarsi 常數定義為

 AT(n)=(fdels(n)-fdols(n))/((n-1)!)
(1)

(Drisko 1998)。那麼 AT(n) 對於 n=1, 2, ... 的值為 1, -1, 4, -24, 2304, 368640, 6210846720, ... (OEIS A065711;Drisko 1998)。

AT(n) 透過以下方式與偶拉丁方和奇拉丁方的數量相關

 els(n)-ols(n)={n!(n-1)!AT(n)   for n even; 0   for n>1 odd; 1   for n=1
(2)

(Drisko 1998)。

擴充套件的 Alon-Tarsi 猜想指出,對於每個正整數 nAT(n)!=0。Drisko (1998) 證明了對於所有形如 p(2^r)n(其中 p 為素數)該猜想成立。


另請參閱

拉丁方

本條目的部分內容由 Jonathan Vos Post (作者連結) 貢獻

使用 探索

參考文獻

Alon, N. 和 Tarsi, M. "圖的著色和定向。" Combinatorica 12, 125-143, 1992.Drisko, A. A. "關於 p+1 階偶拉丁方和奇拉丁方的數量。" Adv. Math. 128, 20-35, 1997.Drisko, A. A. "n=2^rp 時 Alon-Tarsi 猜想的證明。" Electronic J. Combinatorics 5, No. 1, R28, 1-5, 1998. http://www.combinatorics.org/Volume_5/Abstracts/v5i1r28.html.Huang, R. 和 Rota, G.-C. "關於拉丁方和拉直系數的各種猜想的關係。" Disc. Math. 128, 237-245, 1994.Janssen, J. C. M. "關於偶拉丁方和奇拉丁方。" J. Combin. Theory Ser. A 69, 173-181, 1995.Onn, S. "一個多彩的行列式恆等式、Rota 的一個猜想和拉丁方。" Amer. Math. Monthly 104, 156-159, 1997.Sloane, N. J. A. “整數序列線上百科全書”中的序列 A065711, A114628, A114629, A114630, A114631, 和 A114632Zappa, P. "行列式張量的 Cayley 行列式和 Alon-Tarsi 猜想。" Adv. Appl. Math. 19, 31-44, 1997.

在 中被引用

Alon-Tarsi 猜想

請引用為

Post, Jonathan VosWeisstein, Eric W. "Alon-Tarsi 猜想。" 來自 —— 資源。 https://mathworld.tw/Alon-TarsiConjecture.html

主題分類