浅析解-“对策问题”-的两种思路.ppt

浅析解 “对策问题” 的两种思路 ——从《取石子》问题谈起 * * 浅析解 “对策问题” 的两种思路 内容提要： 运 筹 学 规划论 动态规划 图 论 对策论 排队论 存储论 等等 线性规划 整数规划 等等 本文所要探讨的正是此类“对策问题” 。 运筹学是一门十分年轻的学科，内容包括：规划论、图论、对策论、排队论等。 竞赛中最常出现的对策问题是：有两个局中人，在对方时刻采取最优策略的情况下，己方要么有必胜策略，要么必败。 由于对局的复杂性和取胜的多样性，文章将从一道经典的“对策问题”——《取石子》谈起，着重阐述两种基本思想方法。 浅析解 “对策问题” 的两种思路 问 题 描 述 有N粒石子，甲乙两人轮流从中拿取，一次至少拿一粒，至多拿先前对方一次所取石子数目的两倍。甲先拿，开始甲可以拿任意数目的石子（但不得拿完）。最先没有石子可拿的一方为败方。 请问，甲能否获胜？（1 N 100） 解 析 在本题中，影响胜败的有两个关键因素： l 当前石子总数 N l 当前一次最多可拿的石子数 K 用这两个因素（N，K）来表示当前局面的“状态”。题目要求的是判断状态（N，N-1）是先手必胜还是必败。 浅析解 “对策问题” 的两种思路 用一个简单例子分析：假设有N = 4粒石子，则一开始甲最多能取3粒，用（4，3）来表示初始状态。 状态转移的拓扑结构 甲取1粒 甲取2粒 甲取3粒 乙取1粒 乙取2粒 乙取1粒 乙取2粒 乙取1粒 甲取1粒 甲取2粒 甲取1粒 甲取1粒 乙取1粒 （4, 3） （3, 2） （2, 2） （1, 1） （2, 2） （1, 1） （1, 1） （0, 0） （0, 0） （0, 0） （1, 1） （0, 0） （0, 0） （0, 0） 自顶而下构造 浅析解 “对策问题” 的两种思路 （4, 3） （3, 2） （2, 2） （1, 1） （2, 2） （1, 1） （1, 1） （0, 0） （0, 0） （0, 0） （1, 1） （0, 0） （0, 0） （0, 0） 败 败 败 败 败 败 注：这里的胜败指的均是先手胜败。 1如果一个状态没有子状态，是结局，则根据题目条件判定胜负 浅析解 “对策问题” 的两种思路 胜 胜 胜 胜 胜 胜 （4, 3） （3, 2） （2, 2） （1, 1） （2, 2） （1, 1） （1, 1） （0, 0） （0, 0） （0, 0） （1, 1） （0, 0） （0, 0） （0, 0） 败 败 败 败 败 败 注：这里的胜败指的均是先手胜败。 1如果一个状态至少有一个子状态是先手败，则该状态是先手胜 浅析解 “对策问题” 的两种思路 胜 败 胜 胜 胜 胜 胜 胜 （4, 3） （3, 2） （2, 2） （1, 1） （2, 2） （1, 1） （1, 1） （0, 0） （0, 0） （0, 0） （1, 1） （0, 0） （0, 0） （0, 0） 败 败 败 败 败 败 注：这里的胜败指的均是先手胜败。 1如果一个状态的所有子状态都是先手胜，则该状态是先手败 浅析解 “对策问题” 的两种思路 “动态规划” 或 “记忆化搜索” 空间复杂度 O(N2) 时间复杂度 O(N3) （4, 3） （3, 2） （2, 2） （1, 1） （2, 2） （1, 1） （1, 1） （0, 0） （0, 0） （0, 0） （1, 1） （0, 0） （0, 0） （0, 0） 浅析解 “对策问题” 的两种思路 思路一：一般性方法 状 态 胜负规则 扩展规则 实现方法 “一般性方法”是从初始状态出发，自顶向下，考察所有状态， 逐步构造出“状态转移的拓扑结构”，有通行的胜败规则和实现方 法，因此应用十分广泛。 例如IOI96的取数字，IOI2001《Ioiwari》都可以用“一般性方 法”来解决。 浅析解 “对策问题” 的两种思路 思路一：一般性方法 状 态 列举影响结局胜负的所有因素，综合描述成“状态”。根据对局时状态之间的变化，自顶而下构造出“状态转移的拓扑结构”。 胜负规则 一个状态的胜负取决于其所有子状态的胜负。 1如果一个状态没有子状态，是结局，则根据题目条件判定胜负 1如果一个状态至少有一个子状态是先手败，则该状态是先手胜 1如果一个状态的所有子状态都是先手胜，则该状态是先手败 浅析解 “对策问题” 的两种思路 思路一：一般性方法 扩展规则 在某些场合下，还可以记录一个状态先手胜（负）的最大（最