正交施泰納三元系(orthogonal Steiner triple system)是一類組合對象,是與羅姆方有關的對象。羅姆方也與正交施泰納三元系密切相關,由|X|=n時正交施泰納三元系的存在性可以導出n階羅姆方的存在性。
基本介紹
- 中文名:正交施泰納三元系
- 外文名:orthogonal Steiner triple system
- 屬性:一類組合對象
- 所屬學科:數學
- 所屬問題:組合學(組合設計)
- 相關概念:施泰納三元系、BIBD、羅姆方等
基本介紹,相關概念,施泰納三元系,羅姆方,
基本介紹
設
及
是兩個施泰納三元系,若
且當A含
與
,B含
與
時,必有
,則稱它們為正交施泰納三元系。








相關概念
施泰納三元系
施泰納三元系(斯坦納三元系)是滿足
中
的
(平衡不完全區組設計),斯坦納三元系(施泰納三元系)記為
。柯克曼15名女學生問題是斯坦納三元系中一個
的問題。瑞士數學家斯坦納( Steiner)在1853年研究四次曲線的二重切線時遇到的
區組設計,其在數字通訊理論、快速變換、有限幾何等領域有非常重要的作用。






我國學者陸家羲(1935-1983)經過多年研究,編寫了《不相交的斯坦納三元系大集》等七篇論文,解決了國際上斯坦納三元系理論多年未解決的難題。
定理1滿足
的
的必要條件為







當
時,有






由於b是整數,那么,
可取
,但
時,
,
不是整數。所以,
或
或
。








羅姆方
羅姆方(Room square)是一類特殊的組合設計,將一個2n元集的所有2元子集放在一個2n-1階的方陣中,使其中每個位置或者空著,或者放一個2元子集,並使這2n個元在每一行各出現一次,且在每一列各出現一次,稱這樣的方陣為2n-1階的羅姆方。羅姆方最早出現在1850年柯克曼女生問題的論文中,利用下圖的7階羅姆方可以作出15女生問題的一個解,一個解由7個平行類構成,每個平行類由一個行得到,將該行上每個2元子集連同它的列標號構成一個三元組,共得四個三元組,連同該行三個空格的列標號構成的三元組,形成15元集上的一個平行類。
