组合数学第五章.docVIP

区组设计与编码 拉丁方与正交拉丁方 拉丁方：由1，2，…，n构成n×n方阵，如果每行每列中1，2，…，n各出现一次，则称此方阵为拉丁方。 如： 正交换丁方：设是两个n×n的拉丁方，如果矩阵中个数偶互不相同，，则称和正交，或称和是互相正交的拉丁方。 如： 由于中元素两两不同，故 36名军官问题：表示军官的军衔为，军官所在的团为，要求第一个数字构成拉丁方，第二个数字也构成拉丁方，并且正交。 定理：两两相互正交的n阶拉丁方的个数不超过n-1个 pf：设是两两相互正交的n阶拉丁方，往证。设是1， 2，…，n的一个全排列，对作如下置换，得一方阵，则与正交。 事实上，如果不与正交，则 中至少有一对数偶出现次数超过1次，设该对数偶为，则在中至少出现2次，与正交矛盾，由此不妨设的第一行均为，任取则方阵 的第一行均是从而1不能出现在的第2行第1列元素，故这些元素只能取2，3，…, n中一个，而且取法不能相同，故。 域与有限域 域： Abel群 （2） Abel群 （3）分配律成立 则称为域 例：( Q，R，C， ( ( 二元域， ( 元域 有限域：元素个数有限的域叫做有限域 比如：(模的剩余类域， (取是中次不可约多项式，则 为元域 如：则在中不可约， 中元素的加法与乘法取模的运算 可以证明：有限域中元素的个数必为素数的方幂。 定理：为素数，，则存在n-1个互相正交的n阶拉丁方。 Pf：取n阶有限域，其中 令 其中 则是正交拉丁方。 是拉丁方 否则中必存在某行（列）有两个元素相同，不妨设 情形1： 则 ， 情形2： ，， (与相互正交 否则存在与不相互正交，即存在 则 部分非素数幂的正文拉丁方的构造 设是一组阶正文拉丁方，是另一组阶的正文拉丁方，构造一组k个阶矩阵如下： 则 是正文拉丁方 如： 则 均衡不完全的区组设计（BIBD） 定义：设是X的非空子集 如果满足：（1） （2）X中每一个元素在中恰出现次， （3）X中任一对元素在中正好同时出现次， 则称{}为均衡不完全区组设律（BIBD） 例 一个（12，9，4，31）设计如下： ， ，，， ,，， 定理：－设计必满足 （1） （2） 对于一个－设计，构造如下矩阵 … 区组矩阵 其中 则（1）其中I为单位阵，J为全1矩阵 （2），如果，则称BIBD为对称的，这时 例： ， ， ， ， ， ， 。 则（7，7，3，3，1）－对称设计 对称BIBD的性质 对称BIBD中任意两组都正好有个共同元素 只须证 事实上 (如果是关于的对称BIBD，任取则 是关于的BIBD。 是关于的BIBD Hadamard矩阵 定义：设其中如果则称为n阶Hadamard矩阵。 例： 性质 如果，并且为Hadamard矩阵，则 ( 如果是Hadamard矩阵，则是m阶的Hadamad矩阵 ( 如果是Hadamard矩阵，则也是Hadamad矩阵 ( 规范Hadamard 矩阵对称BIBD 1