取石子游戏.pptVIP

解左不等式 解右不等式 以相同方法解右不等式可得： 夹逼得到： 证毕 思路3 计算初值对应的项数n 由通项公式计算n对应的An 验证初值是否满足条件 无疑是最简洁的 三种思路的对比与思考 描述法 算法复杂度 n2 对数列的描述：自下而上 递归法 算法复杂度： log3n～ log2n 对数列的描述：自上而下 通项法 算法复杂度：1 对数列的描述：特征值K 通项公式证明中的启示…… 夹逼的范围恰到好处 ——特征值K对数列的描述是完善的。 由此不难引发对于编程的几点思考…… 几点思考…… 编程——把解决方案用尽量严密的逻辑关系表达、划分、归类。 严密 详述 抓住关键 better 本题——通过不断的寻找数列的特征得到有用的信息。用尽量少的量完善的描述该数列。 对该数列描述的越准确，编程中的计算量和运算时间就越短。 相反，对该数列描述的越不准确，需要程序进行的试探就越多，计算量和运算时间就越长，算法的复杂度也就越高。 说在最后…… * 取石子游戏是一个典型的博弈问题，这类博弈问题通常是假设两个人都足够聪明，并采取最好的战术，之后为先手或后手寻找必胜策略。对于这类问题通常的解决方法都是寻找这样一组状态，当对手面对这样一组状态中的任何一个时进行任何操作，我都可以通过一步操作将当前状态恢复到这一组状态中的另一个。这样的状态对于我们是相当有利的，因为这样相当于我们控制了整个局面的发展。因此对于这样的状态不妨称之为“平衡态”，如果我们能拿到平衡态，就是必胜的，若对手拿到了平衡态，我们就必输了。因此，对于博弈问题，只要找到了“平衡态”的一般表示方法，再验证初条件与平衡态的关系，问题就顺利解决了。 “取石子游戏”漫谈 李芃芃 初探 描述——递归——通项 几点思考 初探…… 典型的博弈问题 “平衡态”是关键 平衡态1 平衡态2 平衡态n …… 平衡态j 平衡态i 非平衡态 博弈问题的精髓 对“取石子”的初步分析 先试探几个小数组 1，2 1，1 0，1 0，1 0，2 0，0 输 2，3 1，3 0，3 2，2 1，2 0，2 0，1 赢 3，4 1，2 3，5 赢 0，2/3/5 1，3/5 2，4 0，1 1，2 输 ………… 小结一下 必赢数组比必输数组多 选必输数组为平衡态 显然而重要的结论： 平衡态 非平衡态 任意操作 寻找平衡态（必输态） 归纳：（n,An,Bn） （1，1，2）； （2，3，5）； （3，4，7）； （4，6，10）； …… 猜测： An：前n-1组未出现过的最小数 Bn：n+An 寻找平衡态（必输态） 正确性？ 证之…… 用第二类数学归纳法： n=1时，（1,2）成立 （是平衡态） 假设nk时，（An,Bn）成立； 考虑（Ak，Bk）： 有：Bk=Ak+k. 若对手对（Ak，Bk）的操作改变了Ak，或改变了Bk且使Bk=Ak 则（Ak’,Bk’）中必有一数在前k-1组中出现过。（设为(Ai,Bi)） 通过不繁复的推导可以推出，经一步变化必可以得到（Ai,Bi）。 若对手改变了Bk，且BkAk 则Bk’-Ak’k（设为j）。 通过不反复的推导可以推出，经一步变化变化必可以得到（Aj，Bj）。 即：（Ak，Bk）为平衡态。 （这里的证明不胜理想，只分两种情况Bk’-Ak’j(Ak’)和Bk’-Ak’j(Ak’)即可 ）mijing编辑 证毕 由数学归纳法可以立得该结论正确。证毕。 结论： 对于任意（Ak，Bk）， Ak：前k-1组未出现过的最小数， Bk：k+Ak 为该组是平衡态（必输态）的充要条件。 思路1 我们已经可以描述全部平衡态！ “自下而上”得到全部平衡态 与所输入初值比较 得到结论 具体操作…… 对于任给的一组数（A，B）（AB），令B-A=n，则列出前n组平衡态，并比较An？=A即可。 前50组平衡态 问题…… 严重超时！ （要先知道上限？） 算法复杂度：O（n2） 反思…… 对一个数列的描述方法： （1）列举法、描述法 （2）递归法 （3）通项公式法 描述法：“自下而上” 得到数列的每一项 其实这是不必要的。 对数列进一步分析…… 观察到： 相邻两项Ak与A(k+1)相差1或2； 相邻两项Bk与B(k+1)相差2或3； 是一般规律吗？ 可以证明！ 证之…… 显然：A(k+1)-A(k)=1 则： B(k+1)-B(k)=2 假设：A(k+1)-A(k)=3 则由A(k+1)的性质可知：