完满置换的存在性.pdfVIP

摘要 摘要 设A=(aij)是S={O，1，…，n一1)上的一个佗阶拉丁方，对任意的X，Y∈ n一1 j=0 ．，、 则z，可的平均距离盈z，可)=掣．若s中任意两个不同元素z，!／之I日-J的平均距 离d(z，Y)=Tn+l，则称A为一个佗阶完全均衡拉丁方． 完全均衡拉丁方的概念是由H．vailEs和C．vanEs在1993年首次提出的， 它可以用来构造统计学中的实验设计．虽然完全均衡拉丁方的存在性问题引 起了一些学者的关注，但研究进展却一直不大．n阶完全均衡拉丁方存在的 Gomes等人利用CSP约束求解算法 必要条件是7／,≠1(rood3)．2004年，Carla Smith和CarlaGomes利用 构造了18阶以内的完全均衡拉丁方．2005年，Casey “streamlinedlocal search”的方法解决了35阶以内的完全均衡拉丁方的存在 性．2007年，CarlaPGomes等人在CSP算法的基础上结合XOR约束求解算 法进一步提高了部分35阶以内的完全均衡拉丁方的求解速度，但未能构造超 过35阶的完全均衡拉丁方，且阶为32，33，35的完全均衡拉丁方的运算机时都 超过了300个小时． 本文提出了完美置换的新概念，同时也给出了用完美置换构造完全均衡 拉丁方的方法．对完美置换，利用t分段的思想，给出了它的一些构造方法． 结合计算机的程序验证，得到了若干阶大于35的完全均衡拉丁方的存在性结 果．对于本文中构造方法无法解决的一些值，也讨论了它们的计算求解方法． 计算结果表明有些值的求解时间LLCarlaGomes等人所用的时间要短．通过计 算和分析，还同时发现了一些有规律的现象，由此也给出了许多进一步的研 究问题． 关键词： 完全均衡拉丁方； 完美置换； t分段． Abstract Suppose aLatin of A=(aij)issquare order凡，aij∈S=．[o，1，…，n—1)． For distanceofx anyX，Y∈S，the andincolumnisdefined Y J as嘭(z，Y)=18一k and distanceofzandinAis satisfyingasj=z definedas o巧=Y．The Y d(x，Y)= calledthe distance ∑dJ(z，y)．Further,let承z，Y)=虫岩．承z，y)isaverage of zandin Y A．Aiscalleda balancedLatin totally square，denoted byTBLS(n)，if holdsfor and d(x，Y)=丁n+l anyX，Y∈S X≠Y． TBLS(n)is H．VanEsandC．VanEsin1993，anditCanbeused