主题
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 (作者链接) 贡献

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中被引用

Alon-Tarsi 猜想

请引用为

Post, Jonathan VosWeisstein, Eric W. "Alon-Tarsi 猜想。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Alon-TarsiConjecture.html

主题分类