现代工程数学第10章.pptVIP

第 10 章 组合设计 10.1 模运算 10.2 区组设计 10.3 Steiner 三元系统 10.4 拉丁方 作业 10.1 模运算 设 ? 是集合 S 上的二元运算，e?S。 若对于任意 x?S ， x ? e = e ? x = x ，则称 e 为关于 ? 的单位元。 最多有一个单位元。若 e1 和 e2 都是单位元，则 e1 ? e2 = e1 （因为 e2 是单位元） e1 ? e2 = e2 （因为 e1 是单位元） 加法 (+) 、减法(?)、乘法 (?) 都是整数集 Z 上的二元运算，0 是加法单位元，1 是乘法单位元，没有减法单位元。 设 ? 是集合 S 上的二元运算，z?S。 若对于任意 x?S ， x ? z = z ? x = z ，则称 z 为关于 ? 的零元。 最多有一个零元。若 z1 和 z2 都是零元，则 z1 ? z2 = z1 （因为 z1 是零元） z1 ? z2 = z2 （因为 z2 是零元） 0 是乘法零元，没有加法零元和减法零元。 若 S 至少有两个元素，e 和 z 分别为关于 ? 的单位元和零元，则 e ? z 。若 e = z ，任取 x?S ，则 x = e ? x = z ? x = z 设 ? 是集合 S 上的二元运算， e 为关于 ? 的单位元。设 x?S ，若 y?S 且 x ? y = y ? x = e ，则称 y 为 x 的关于 ? 的逆元。 若运算 ? 满足结合律，则每个 x?S 至多有一个逆元。 设 y 和 z 都是 x 的逆元，则 y = y ? e = y ? (x ? z) = (y ? x) ? z = e ? z = z 设 S 为整数集。每个整数 x 都有加法逆元 ? x ，并称它为 x 的负元。 1 的乘法逆元是 1，?1 的乘法逆元是 ?1，其它整数没有乘法逆元。 设集合 S 至少有两个元素，? 是 S 上的二元运算， e 和 z 分别为关于 ? 的单位元和零元，则 z 没有关于 ? 的逆元。 若 z 有关于 ? 的逆元 z?1，则 e = z ? z?1 = z 矛盾。 在整数集 Z 中，0 是乘法零元，所以 0 没有乘法逆元。 设 n ? 2，Zn = {0, 1, …, n ? 1}。 对于每个整数 m ，存在唯一整数 q（商）和 r（余数）使得 m = q ? n + r ， 0 ? r ? n ? 1 定义集合 Zn 上二元运算 ?n 和 ?n 如下： a ?n b = a + b 被 n 除所得余数 a ?n b = a ? b 被 n 除所得余数 分别称 ?n 和 ?n 为模 n 加法和模 n 乘法，并常常省略下标 n 。 ? 和 ? 满足交换律、结合律，并且 ? 对于 ? 满足分配律。 0 是关于运算 ?n 的单位元，对于每个 a?Zn， a 的关于运算 ?n 的逆元（称为 a 的负元） 1 是关于运算 ?n 的单位元，0 是关于运算 ?n 的零元，所以 0 没有关于运算 ?n 的逆元。当 n = 2, 3 时，每个非 0 元素都有乘法逆元。当 n = 6 时，只有 1 和 5 有乘法逆元，它们都以自己为乘法逆元，5?1 = 5， 1?1 = 1。 计算两个正整数 a 和 b 的最大公因数的算法 置 A = a 且 B = b 。 当 A ? B ? 0 时，做 如果 A ? B ，则用 A ? B 替换 A， 否则用 B ? A 替换 B 。 置 GCD = B 。 用 A 和 B 中的大数减小数替换大数，直至其中一个数成 0 为止，此时另一个数即是 a 和 b 的最大公因数。当 A = B 时，用 A ? B = 0 替换 A，所以，算法终止时 A = 0，并且 GCD = B 。 例 计算 48 和 126 的最大公因数 GCD。 A B 48 126 48 78 48 30 18 30 18 12 6 12 6 6 0 6 48 和 126 的最大公因数是 6。 引理10.1.1 上述算法在有限步内终止并且 B 的值是 a 和 b 的最大公因数。 证明 首先证明：对于任意两个正整数 m 和 n，如果 m ? n ，则 GCD{m, n} = GCD{m ? n, n} 只需证明 {m, n} 和 {m ? n, n} 有同样的公因数。任取{m, n}的公因数 d ，则 d | m ? n ， d 是{m ? n, n}的公因数。任取{m ? n, n}的公因数 d ，因为m = (m ? n) + n ， d 是{m, n}的公因数。这表明，在算法执行的任意时刻， GCD{A, B} = GCD{a, b} 正整数 min{A, B} 不断减小，