对称设计(symmetric block design),理学-数学-组合数学-组合设计,参数为-设计是一个序偶,式中是元集合,是的个子集(区组)构成的集合,满足包含的区组恰有个,的任意点对恰被包含在个区组中。此设计又称平衡不完全区组设计,简记为。当(或)的BIBD设计,简称对称设计,记为。当或时的对称设计称为平凡的。值称为设计的阶。对称设计的参数除了应满足BIBD设计的参数条件外,还应满足布鲁克-赖瑟-乔拉定理(Bruck-Ryser-Chowla theorem),即当为偶数时,为平方数;当为奇数时,不定方程有不全为零的整数解。另外,还满足。当且仅当此对称设计为射影平面或其补设计时,取上界。当且仅当此对称设计是阶为的阿达马设计或其补设计时,取下界。从一个差集可以得到一个,而一个有限射影平面就是一个的对称设计。的对称设计称为双平面。人们猜测对大于1的固定,只存在有限多个对称设计。双平面情况可用于测试这一猜想。除外,尚不知道是否存在其他值的双平面。类似的,当时,已知的对称设计仅有。已知当为某些特殊形式时,对于给定的值,仅存在有限多个对称设计。