拉丁方和有限几何
拉丁方是一种方阵,其中每个符号在每行和每列中只出现一次;有限几何是有限点和有限线上的高度结构化的关联系统。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
n阶拉丁方是一个n乘n的方阵,其中填充了n个符号,使得每个符号在每行和每列中恰好出现一次;有限射影平面是点和线的关联结构,其中任意两点确定唯一一条线,任意两条线相交于唯一一点。
Scope
本主题探讨拉丁方和正交拉丁方,它们与网格和截面设计的等价性,以及由有限域构建的有限射影平面和仿射平面。它包括经典的欧拉正交方猜想以及正交拉丁方与有限射影平面之间的深层联系。
Core questions
- 给定阶数,可以存在多少个正交拉丁方?
- 对于哪些阶数,存在完整的正交方集,从而存在射影平面?
- 有限域如何构造平面和正交方?
- 哪些关联公理定义了有限集上的仿射几何和射影几何?
Key concepts
- 拉丁方
- 正交拉丁方
- 截面设计和网格
- 有限射影平面
- 仿射平面
- 伽罗瓦(有限)域
Key theories
- MOLS与射影平面
- 当且仅当存在n阶有限射影平面时,才存在n-1个n阶正交拉丁方的完整集合,这使得拉丁方组合学与有限几何紧密相连。
- 欧拉猜想的反驳
- 欧拉曾猜想,对于模4余2的阶数,不存在一对正交拉丁方;Bose、Shrikhande和Parker在1960年推翻了这一猜想,除了2和6之外的所有此类阶数都存在。
Clinical relevance
拉丁方提供了行-列实验设计,可以同时控制两个变异来源;正交阵列支持因子实验和软件测试;有限几何生成代码和设计。
History
欧拉在1782年通过他的三十六军官问题研究了正交拉丁方;他的猜想一直持续到1960年被Bose、Shrikhande和Parker(即所谓的“欧拉破坏者”)推翻。
Key figures
- Leonhard Euler
- R. C. Bose
- E. T. Parker
Related topics
Seminal works
- colbourn2007
Frequently asked questions
- 两个拉丁方正交意味着什么?
- 当两个方阵叠加时,每个有序符号对恰好出现一次,因此这些方阵共同区分了网格的每个单元格。
- 数独网格是拉丁方吗?
- 一个完成的数独是一个九阶拉丁方,它还有一个额外的约束,即每个三乘三的方块中也包含每个符号一次。