- 27
- 0
- 约2.53千字
- 约 17页
- 2020-09-04 发布于福建
- 举报
阿凡提巧拆金环与完备分拆课件
阿凡提是维吾尔族传说中的聪明人,在民间中流
传着不少关于他机灵智巧的故事
一次,阿凡提给巴依打短工,商定的时间是十天
三天以后,贪婪的巴依想出一个坏点子赖账.他拿出
串光灿灿的金链,当着大家的面对阿凡提打赌道
“是7个环连成的金链,如果从今天起,你能够第一
天取1个环,第二天取2个环,第三天取3个环…第七
天取7个环,而你只准砍断一个环.那么,这串金链就
归你所有.要是你办不到的话,別说金链,甚至工钱
也休想拿走,十天的工作也算是白干了.”阿凡提默
然应允
他把金链的第3个环砍断,七个环的链就被分成1
个,2个,4个环的小链
第一天,阿凡提拿走1个环
第二天,他把1个环放回去拿走2个环
第三天,他把1个与2个环一起拿走
第四天,放回3个环拿走4个环
第五天,把1个与4个环一起拿走
第六天,放回1个换走2个,即共拿走6个环
第七天,把整条金链拿走
愚蠢的巴依捶胸顿足地哀叹:“跟有学问的人是不
能随便开玩笑的.”
000
文献中沒有记载过阿凡提是否学过代数或组合数
学.然而,他确实用到了“数分拆”的道理.尽管,今
后我们无须企望再遇见第二个如此愚蠢的巴依,然
而,深入思考和探索故事中的数学,也决非只能用在
打賭上.我们考察下面的问题,要解決它仍然需要阿
凡提式的机智
问题1:有一堆重量为整数克的零件,其重量范围是1
克至n克均齐备现要用天平在一边放砝码的方法秤
量它们,如何选取一组砝码,使每个零件可用唯一的
中方法秤出來
问题2:找一组电阻,使它可用唯一的方法配成1到n
个单位齐全的电阻箱
这类问题,在数学上称为完备分拆( perfect
partition)问题
众所周知,7这个正整数可以写成若干个正整數之和
例如,
7=3+4=1+2+4=1+1+2+3=1+1+1+1+1+1+1,
这里的每一个和式,称为7的一个分拆( partition)
如果和式中有r项称为r分拆例如上述从左至右
的式子可分別称为7的1分拆,2分拆,3分拆,4分拆
,7分拆在分拆中,我们并不考虑各部分的次序
因此,上述各分拆可分別记为3,4;1,2,4;12,2,3;
1^7.我们考察1,2,4,它正是阿凡提的杰作.它的特
別之处在于:仅用3部分1,2,4可以唯一地表示一切
不大于7的正整数的分拆(当然,故事中沒有要求唯
性).易见
6=2+4,5=1+4,4=4,3=1+2,2=2,1=1,
分拆1,2,4称为7的完备分拆
作为严格的数学定义,我们有定义
分拆和完备分拆:把正整数n表成若干个正整数之
和,叫做n的分拆分拆中所分成的正整数的个数称
为分拆的部分数若一个分拆包含不大于n的所有正
整数的一个唯一分拆,则这个分拆称为n的完备分拆
容易知道:一个正整数n的完备分拆是必定存在的.并且
它的一个完备分拆是1^n,称之为平凡完备分拆.
那么,自然而來的问题是:我们能否把n的所有完备分
拆都找出來呢?回答是肯定的
我们注意到一个的事实:一个完备分拆必须含有一个
部分是1,否则,它就不能包含1这个正整数的分拆
设分拆中有q1-1个1(q11),则所有小于q1的数都必可
唯一地(用1)表成分拆但是,要把数q1表成分拆,必
须有另一部分q1.若分拆的下一部分是q1^(q2-1),则
所有小于q1q2的数都可用1^(q1-1)*q1^(q2-1)唯
地表成分拆,但数q1q2表成分拆,必须要增加一部分
q1q2.若分拆的下一部分是(q1q2)(q3-1)(q31),则
所有小于q1q2q3的数可用1^(q1-1)*q1^(q2
1)*(q1q2)^(q3-1)唯一地表成分拆但要把数q1q2
表成分拆,必须增加-1m0-1
(q12
9192q
如此继续,得(1)
(q1g2…9k-1)
它能把[1,n]中的所有整数唯一地表成分拆
q11)+q1(q
这里,
q1q2(q3-1)+q1qq3(q4-1)
+q1q…·qk-1(4k-1)
q142
克
(q1,=1,2
于是n+1=q1q2…qk.(2)
上述分析表明:n的每一个形如(1)式的完备分拆一一对应
于n+1的一个形如(2)式的有序分解.(请注意:(2)式的
q1,q2,…qk是有序的).于是,要找出n的所有完备分拆
(1),只须做出n+1的所有有序分解(2).
归纳上述结论,得到
定理1(Rdon[1]):正整数n的完备分拆的个数与(n+的
无单位1的正因子的有序分解的个数相等若
n+1=q1q2qk,(qi1i=1,2,k),
则n的完备分拆是1(q1-1)*a1(q2-1)*(q1q2)(q3
1)(q1q2q3)(q4-1).q1q2q(k-1))(qk1)
{或简记为n~1(q1-1)q1(q21)(q1q2)(q3
)*(q1q2q3)(q4-1)
原创力文档

文档评论(0)