区组设计
区组设计将元素排列成区组，使得每对元素，或更一般地，每个t-子集，都以固定数量的区组共同出现。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
平衡不完全区组设计是有限点集的等大小子集（区组）的集合，使得每对点都恰好位于相同数量的区组中。
Scope
本主题涵盖平衡不完全区组设计及其参数、必要的计数条件、Steiner 系统和 t-设计，以及包括差集和 Fisher 不等式在内的存在性和构造技术。它将组合存在性问题与代数和实验设计的统计理论联系起来。
Core questions
- 对于哪些参数集，平衡设计存在？
- 设计参数必须满足哪些可除性和计数条件？
- 如何从差集和有限域构造设计？
- t-设计和 Steiner 系统如何推广成对平衡？
Key concepts
- 平衡不完全区组设计
- 设计参数 (v, b, r, k, lambda)
- Steiner 系统
- t-设计
- 差集
- 关联矩阵
Key theories
- Fisher 不等式
- 在任何非平凡的平衡不完全区组设计中，区组的数量至少等于点的数量，这是通过关联矩阵的线性代数秩论证证明的一个基本约束。
- Bruck-Ryser-Chowla 定理
- 该定理给出了对称设计参数必须满足的算术条件才能存在，排除了无限多的参数集，包括某些射影平面。
Clinical relevance
区组设计起源于统计实验设计，并仍然是其核心，它允许在无法将所有处理同时出现的情况下公平地比较处理，并且它们还生成纠错码和组合测试套件。
History
Steiner 于 1853 年提出了三元系的存在性问题；Fisher 和 Yates 在 20 世纪 30 年代为农业实验开发了设计，Bose 和其他人在 20 世纪中叶建立了深层的代数构造理论。
Key figures
- Ronald Fisher
- Jakob Steiner
- R. C. Bose
Related topics
Seminal works
- colbourn2007
Frequently asked questions
- 什么是 Steiner 三元系？
- 它是一种设计，其区组是三元组，使得每对点恰好位于一个区组中；当点的数量与 6 同余 1 或 3 时，这种系统才存在。
- 为什么区组设计在实验中很有用？
- 当实验无法同时测试所有处理时，平衡设计可确保每对处理得到同等频率的比较，从而消除系统性偏差。