国家集训队2004论文集栗师.pptVIP

转化目标在解题中的应用 概述 在解题时，总是觉得 题目——超级马(1) 题目——超级马(2) 确定算法(1) 广搜？ 确定算法(2) 确定算法(3) 只要求当(x,y)=(0,1),(0,-1),(1,0),(-1,0)的情况 放大目标—— 放大目标——求整数解(2) 目标仍然很复杂 放大目标——求整数解(3) c1x1+c2x2=0 放大目标——求整数解(4) 定义Si,j：y∈Si ,j当且仅当存在整数k1,k2满足k1Pi+k2Pj=(0,y) 放大目标——求整数解(5) 定义S： 放大目标——求整数解(6) 如果1属于集合S，那么，方程①就有整数解了！ 放大目标——求整数解(7) 结论①： 放大目标——求整数解(8) 放大目标——求整数解(9) 放大目标——求整数解(10) 证明了结论①后，有下面结论： 求非负整数解(1) 求非负整数解(2) 定义T i,j: y∈Ti,j当且仅当存在非负整数k1,k2满足k1Pi+k2Pj=(0,y)) 求非负整数解(3) 用同样的方式定义T： 求非负整数解(4) 因为需要证明下面的结论： 求非负整数解(5) 构造方法： 求非负整数解(6) 接下来看下面的结论： 求非负整数解(7) 同时考虑两个位置：(0, 1)，(0, -1)。 算法 得到了问题的算法： 总结(1) 题目首先是要求方程的非负整数解，而方程求整数解比求非负整数解要简单。所以首先把目标放大成了求解整数解。求完整数解后，就站在了一个新的高度上，由整数解得出非负整数解变得简单。 总结(2) 转化目标 * * 湖南省长沙市长郡中学 栗师 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 限制太多 范围太窄 关系错综复杂 目标太远 困难需要解决！ 减少限制 放宽范围 简化关系 解题遇到困难 转化目标 解决某些题目，在算法设计中需要转化目标 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 在一个无限的棋盘上有一个超级马，它占据一个正方形单位格，可以完成各种移动动作。每一种移动动作由两个整数来描述——第一个数说明动作左右移动多少格(正数向右，负数向左)，第二个数说明动作上下移动多少格(正数向上，负数向下)。已知一个超级马能够完成的动作，要判断它是否能够到达棋盘上的所有位置。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. SUP.IN 2 5 2 4 2 2 -3 -3 4 3 1 3 5 1 -3 2 1 4 1 4 -2 2 -2 超级马个数k(1=k=100) 动作数n(1=n=100) 每一个动作(xi,yi)，(-100=xi,yi=100) TAK表示超级马能够到达所有的位置 NIE表示超级马不能够到达所有的位置 SUP.OUT TAK NIE Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数学方法 Time Limit Exceeded! 动态规划? 在某种意义上等价于广搜 否定了上面的算法后，似乎只有一条出路了： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 每一个动作（xi，yi)用一个平面向量Pi表示，Pi=(xi,yi) 要判断的就是对于任意的x,y，是否都存在着一个非负整数序列c，使得下面的等式成立： 确定了数学模型： 解方程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 由于对称性，只需要求(x,y)=(0,1)的情况 所以最终目标： ………………方程① Evaluation only.