对台阶问题与一类不定方程问题的探讨.doc

对台阶问题与一类不定方程问题的探讨 蒋晓云 (广西桂林师专数学与计算机科学系广西桂林511001) 【摘要】文献［1］研究台阶问题时提出了它的两个等价命题，笔者论证了其中的不定方 程问题与台阶问题是不等价的，对一般台阶问题和这一类不定方程作了深入讨论，并彻底解 决了这两类问题。 【关键词】台阶问题；不定方程；递推数列 中图分类号：029 1台阶问题 台阶问题是一个经典名题，建立它的数学模型，可以用建立递推关系式、差分方程.母 函数方法等等，但推广到一般楼梯模型后，求解英通项公式相当复杂，杳阅专题文献，只介 绍一般台阶问题求解方法，没有给出通项公式。 台阶问题：某楼梯有n级台阶，某人一步最多迈三级，问有多少种不同的方式上楼？ 引进递归思想，我们就可找到简单的方法：设上n级台阶的方法有％利「，某人第1步 可迈一至三级。第1步迈一级，而后上门-1级，有勺-种上法；第1步迈二级,而后上门-2 级，有色「2种上法；第1步迈三级，而后上n-3级，有①「3种上法。从而得 an = an_x + an_2 + an_3 S.al =l,a2 =2,?3 = 4,为了表述方便规定 aQ = 1 更一般情况： 一般台阶问题：某楼梯有n ( ndl)级台阶，某人一-步最多迈m( n ^m^l)级,有多少 种不同的方案上楼。 设上n级台阶的方案有/(兀)种，则f (n) = f(n -1) + /(比一2) + ??? + ( n N k—1 m),为了表述方便规定 /(0) = 1, _tL有/(1) = 1J(2) = 2J⑹二工/⑴(kWm) /=1 文献［1］提到：不定方程州+2兀2+3兀3+???+皿,”=刃非负解的个数问题，它等价于 台阶问题的命题。分析如下： 设迈idWiWm)级的步数为兀次，则可得方程州+2兀2+3屯+???+ 叫=卅非负解 的个数，即为台阶问题的解。 反之，台阶问题的解也即是这类不定方程的非负解的个数，解决了台阶问题，也就解决了 这类不定方程的非负解的个数问题，亦即这类不定方程解的个数,可山台阶数列表示。 其实，不定方程问题与台阶问题不是等价命题。 我们给出一个反例：用枚举法写出西+2兀2=5的所有非负解只有{5, 0}, {3, 1}, {1, 2},共三个，而沪2的台阶问题f (5)二8。究其原因：不定方程的非负解是不考虑次序的(组 合问题)，而台阶问题是耍考虑次序的(排列问题)，如反例中的迈2级台阶步数1次，它在 不定方程非负解中只有一组解(3, 1},它在台阶问题上就随着迈2级1次的“位置”不同有 如下四种不同的排列方式:(2, 1, 1, 1), (1, 2, 1, 1), (1, 1, 2, 1), (1, 1, 1, 2)o 文献［1］提到的另i个与台阶问题等价的命题是： 连续面值的币值兑换问题：假设某种货币有1元至m元的齐种而值，现要取出n元,有 多少种収法。 面值相同的两张货币看作不同的，它就等价于台阶问题（排列问题）；如果而值相同的 两张货币看作相同的（纽合问题），上述问题与不定方程问题等价。我认为上述命应叔述清 楚，避免产生二义性。 2差分方程方法 我们也可山递推公式得到差分方程：an+3-all+2-all+l-an=0 ,其特征方程为: A3-22-A-l=0,三个特征根为： 入=丄(1 +期19-3后+站19 + 3后), 3 A. =---(V19-3V33 + V19 + 3V33) + —(班9 + 3后-班9_3后)i 3 6 6 =---(V19-3V33 + *19 + 3后)-—(V19 + 3733 -心9-3履)i 3 6 6 入池2以3互不相同。因此，差分方程的通解为：6/;? = C^+C2X\+C.X^可山初始 条件％ =1卫2 =2卫3 =4,来确定系数Ci，C2, C3 A-j A，2 禺 1 22 23 入 1 仏 A,久2 1 D = 石久；盂 工0 D1 = 2盂盂 ￡2 = 石2 2； = 石2； 2 才寓 4 為 卅4 a；尤4 取6=牛《2=牛,Cs=￥。这时可以得到通项公式,fn =C,A；+C2^+C3^o 从通项公式的表达式看出，这是一个实用性很差的“坏公式”。而且方法不宜推广到一 般的台阶问题。 3 一般的台阶问题的求解 现在我们来看一般台阶问题的解/（H），作形式幕级数： GC F(x) = /(0) + /(l)x + /(2)x2 + …+ f(n)xn +??? =》f(n)xn 71=0 山于有递推关系：f (n + m) = + + f(n + 加 一 2) F f(n) 上式两端同乘以才心并求和: TOC \o 1-5 \h \z 00 S qC 8 $ f (冷 + f (n + m - l)x//+/,,_1 +