具体数学 第3章 整值函数(3.4节-3.5节).pptxVIP

第3章 整值函数（Integer Functions）鞠成东E-mail：juchd@hrbeu.edu.cnM. P. ：152046793363.4 ‘MOD’: The Binary Operation‘MOD’: 二元运算MOD: 二元运算在正整数m除正整数n时，商可以用取整符号表示为 ，而余数则记成“n mod m”：也就是可将“余数”的计算推广到负整数，乃至任意实数上：因此mod是一个二元运算，其中后面的数称为模数，前面的数至今尚没有命名。MOD的直观理解和例子当x、y为正实数时，如何直观理解x mod y的意义？假设有一个周长为y的圆，如果从某个点O开始在圆上绕着移动大小为x的距离，则结束点就是x mod y。而且移动过程中扫过O的次数为。如何理解当x或y是负数时的x mod y？先来看一些例子：负整数模下的MOD可以看到，如果模数y取不同的符号，x mod y的符号也不相同，但是值均在0和模数y之间：若y = 0怎么办？有人提出，为保持连续性而定义： ，可以证明：但是上面的定义实际用处不大。为保持完整性，CM中定义 ，也就是说x mod y与x之差总为y的倍数。如何证明?实数模下的MOD如果将x分为整数部分和小数部分： ，可以发现，小数部分能够表示成x mod 1，即 注意：mod的运算优先级比+/-高。能否对上取整函数定义类似mod的运算？G-K-P给出了一个mumble的名字： 看看mumble在圆周模型下的意义：在绕着圆周前进距离x后，为了再次到起始点还需要前进的距离。MOD的分配律分配律是mod运算的重要法则。对所有实数c、x和y有如果约定mod的优先级比乘法低，则右边可以移去圆括号。分配律的正确性可由定义验证： 容易验证模数为零时也成立。均匀分组问题下面讨论常遇到的实际问题：n个东西分到规模尽可能均等的m组。例如将n行文字排成m列，为整齐起见，列的长度依次递减，任意两列行数之差不超过1。例如37行排成5列，显然右边更美观：分组问题的要求附加要求：按列优先的顺序排列各行文字：先放第1列，再放第2列、第3列等等，才符合阅读习惯。如果按行优先排列各行文字，能够得到右边的排列结果（每列的行数是正确的），但是各行文字的顺序不对。（列1将包含行1、6、11、···、36而不是正确的行1、2、3、···、8。）如果n不是m的倍数，每个较长的列应该包含 行，而每个较短的列应该包含 行；较长的列有n mod m个，而较短的列有n mumble m个。分组问题的解决思路下面用“东西”和“组”来代替“行”和“列”，即可得到对一般化问题的解决方法。按照刚才的思路，首先，第1组应包含 件东西。然后，接着要处理的问题就是把剩下的东西再“均匀地”分到m–1组里面。很好，我们很容易想到这带有“递归”的色彩。因此后面的分配也同样每次仅考虑剩下的“第1组”。重复下列过程：把余下的n’ = n - 个东西放入m’= m - 1个其他组中，直到m = 0为止。分组问题的例子例如对n = 314和m = 6，我们得到的分配方案如下：显然符合要求。也就是说，尽管模数一直在变，但是仍然取得了规模“平均”的分组方案。MOD分组方法的正确性分析假设n = qm + r，其中q =，r = n mod m。如果r = 0，先把q件东西放入第1组，再用n‘ = n - q替换n，剩下的n’ = qm‘件东西放入余下的m’ = m – 1组……此后的分配也是每次放入q个东西。结果正确。如果r 0，先把= q + 1件东西放入第1组，再用n’ = n – q – 1替换n，剩下n’ = qm’ + r – 1件东西放入其余m’ = m – 1组。对n’和m’，可验证新的余数为r’ = r – 1，但是q未变。依次分配，可得到包含q + 1件东西的r个组，以及包含q个东西的m – r个组。结果也正确。怎样快速计算第k组中有多少件东西？ 提示：按照k与r的大小关系分情况讨论。MOD表示下的分组过程根据我们得到的在k上的直接计算公式，可以用下面的等式表示出将n划分成以大小递减、且基本上均匀的m个部分的过程： 事实上我们在前面已经遇到过m＝2的情形：递增次序下的分组如果希望分组的规模是递增的，也就是说小组在大组之前，可以用相同的方法完成，只是在第一组中放入 件东西。相应地，可以得到相同形式的等式如下问题：如何证明下式成立？在实数上的推广来看一个让人惊讶的美妙等式。如果用 替换前面的n，我们会得到一个关于所有实数x的等式：惊讶不？我们知道，实数的下取整是它的