ECTAECTA-2024-04-03
中文标题

序贯稳定结果:一个适用于所有有限扩展式博弈的新均衡精炼概念

英文标题

Sequentially Stable Outcomes

Francesc Dilmé (University of Bonn)Econometrica, 2024, 92(4)DOI: 10.3982/ECTA21402

在扩展式博弈中,均衡精炼概念对于筛选合理的均衡结果起着核心作用。现有精炼概念——从序贯均衡(sequential equilibrium)到 KM-稳定集(KM-stable sets)——在存在性、选择力与易用性之间存在深刻张力:序贯均衡虽普遍存在且易于使用,但选择力不足;KM-稳定集虽具有较强的选择力与良好性质,但其集值形式难以在实际应用中刻画和使用。本文提出并系统分析了一个新的均衡精炼概念——序贯稳定结果(sequentially stable outcomes)。一个结果 ω 被称为序贯稳定的,当且仅当对任意消失的行为颤抖(vanishing tremble)序列,存在一列 ε-均衡(ε → 0),其相应结果收敛到 ω。换言之,序贯稳定结果要求在任意扰动下均存在近似最优行为的支撑,而非仅对某一特定颤抖序列成立。方法论上,本文首先建立了序贯均衡的颤抖表征定理(命题 2.1),将序贯结果刻画为沿着某一消失颤抖序列的序贯 ε-均衡结果极限;随后在该表征基础上,通过要求对所有消失颤抖序列均成立来定义序贯稳定性。在存在性方面,作者利用代理人扩展式(agent-extensive form)与一般化收益扰动序列,证明所有有限扩展式博弈均至少存在一个序贯稳定结果(命题 3.4)——这突破了 KM-稳定集仅对一般化收益才保证存在的局限。在性质方面,序贯稳定结果满足「从不弱最优反应」(NWBR)条件、前向归纳法(forward induction)、迭代严格均衡占优(iterated strict equilibrium dominance)、子博弈分解性和同时行动互换不变性。在信号博弈(signaling games)的应用中,本文证明序贯稳定结果通过所有常用选择标准——直觉标准(IC)、D1、D2 和 NWBR_CK(命题 5.3),且在一般化收益下与 KM-稳定结果处处重合(推论 5.1);进一步给出了无需颤抖的完全刻画(命题 5.1)。政策含义上,该概念使得研究者可以在各类应用博弈(议价、拍卖、信息设计等)中以统一、递推的方式筛选均衡,提高了跨模型预测的可比性。同时,当唯一序贯稳定结果存在时,它即构成对博弈结果的最稳健预测。


创新点 1: 提出「序贯稳定结果」作为全新的单值均衡精炼概念,实现了存在性、选择力与易用性的三重兼顾

所属维度: 理论
原文依据: 引言中指出,"This paper's main contribution is to propose sequential stability as a new equilibrium concept and show that it significantly strengthens sequentiality while keeping its ease of use." 文章进一步说明,"sequentially stable outcomes constitute a single-valued equilibrium concept and always exist",且不同于 KM-稳定集,"sequential stability is not powerful in selecting equilibria in normal-form games... offers significant selection power in extensive-form games"。

创新程度: 突破性

创新点 2: 建立序贯均衡的颤抖表征定理,揭示序贯均衡与完美均衡之间的微妙关系

所属维度: 理论
原文依据: 命题 2.1 证明,"An outcome ω is sequential if and only if there exist a vanishing tremble (ξ_n), a sequence (ε_n) → 0, and a sequence (σ_n ∈ Σ_{ε_n}(ξ_n)) such that (ω^{σ_n}) converges to ω." 正文指出这一表征"brings the concepts of perfect and sequential equilibria closer together",使序贯均衡可被理解为仅要求沿某一颤抖序列的 ε-最优性(而非对所有颤抖的精确最优性)。

创新程度: 重要边际贡献

创新点 3: 利用代理人扩展式与收益扰动的对角线论证,证明序贯稳定结果在所有有限博弈中均存在

所属维度: 方法
原文依据: 命题 3.4 的证明分两步:"We first argue that the agent-extensive form of G... has an outcome that is the limit of extensive-form stable outcomes along a sequence of generically perturbed payoffs." 然后"use a standard diagonal argument to prove that there exist an increasing sequence (n_k) and a sequence (ε_k) → 0 such that σ_{kn_k} ∈ Σ_{ε_{n_k}}(ξ û_k) for all k." 该技术同时扰动策略与收益,展现了与传统存在性证明不同的构造路径。

创新程度: 突破性

创新点 4: 建立 NWBR、前向归纳法与迭代严格均衡占优的行为策略版本,使精炼性质可逐行动验证

所属维度: 方法
原文依据: 命题 4.1 证明,"An outcome ω is sequentially stable... Assume a ∈ A is not sequentially optimal under any sequential equilibrium with outcome ω. Then ω is a sequentially stable outcome of the game in which a is removed." 作者指出,与 Kohlberg and Mertens (1986) 的全局策略版本不同,"Our definition of NWBR is thus applied to a single-valued object... and requires simpler conditions (on actions instead of full contingent plans)."

创新程度: 重要边际贡献

创新点 5: 在信号博弈中证明序贯稳定性通过 Intuitive Criterion、D1、D2 和 NWBR_CK,实现常用选择标准的统一框架

所属维度: 结论
原文依据: 命题 5.3 系统证明,对任意序贯稳定结果 ω 及离均衡路径消息 m,"if X̂_m ≠ ∅, there is a sequential equilibrium (σ, μ) with outcome ω where μ_m(X̂) = 0",其中 X ∈ {IC, D1, D2, NWBR_CK}。正文指出,"Sequential stability thus has the potential to provide a unified approach to selecting equilibria in signaling games."

创新程度: 突破性

创新点 6: 在信号博弈中建立序贯稳定性与 KM-稳定结果的一般化等价性,桥接行为策略与混合策略两个扰动范式

所属维度: 结论
原文依据: 推论 5.1 断言,"Generically in payoffs, the set of KM-stable outcomes and the set of sequentially stable outcomes of G^sig coincide." 命题 5.2 进一步表明,"If an outcome is the unique sequentially stable outcome of G^sig, then it is its unique KM-stable outcome." 作者指出该等价性"is nontrivial to prove, because the trembles of the reduced-form game affect all sender types equally and may be correlated across types, while the sizes of the behavioral trembles may depend on the type and are uncorrelated across types."

创新程度: 突破性


选题方向 1: 序贯稳定性在不完全信息动态议价中的应用

源自创新点: 创新点 5, 6
核心思路: 将序贯稳定结果概念应用于不完全信息动态议价博弈(如带有私人估值或私人折扣因子的 Rubinstein 议价模型),考察序贯稳定性是否能够唯一筛选出议价结果。由于该类博弈通常存在连续统均衡,而 KM-稳定集的计算极为复杂,序贯稳定性通过逐行动的行为颤抖要求有望提供更易操作的筛选路径。关键在于利用 NWBR 和前向归纳法逐行动消除不合理报价,而非处理涉及完整相机行动方案的全局稳定性条件。

可行性: 高。不完全信息议价博弈已有成熟的模型设定框架;序贯稳定性的「行动级」分析方式适合处理序贯报价的信息传递结构;数据可获得性不构成主要障碍(纯理论分析)。预期贡献:首次系统应用序贯稳定性于议价文献,有望获得更精确的均衡预测。

目标期刊: JPE, Econometrica, Theoretical Economics, Games and Economic Behavior

选题方向 2: 序贯稳定结果筛选与实验检验

源自创新点: 创新点 1, 5
核心思路: 在实验室环境中构建信号博弈或扩展式博弈,对比序贯稳定结果预测与其他精炼概念(序贯均衡、直觉标准、D1)的预测差异。特别选取那些不同精炼概念给出不同预测的博弈(如文中 Example 5.2 中无单交叉性质的信号博弈),检验被试行为是否更接近序贯稳定结果的预测。

可行性: 中高。实验设计可直接借鉴文中提供的多个博弈例子(啤酒-蛋饼博弈、Figure 2 博弈、Example 5.1/5.2 信号博弈);需要合适的实验被试池和报酬设计;理论预测差异清晰可测。预期贡献:为序贯稳定性提供行为实验证据,推动理论精炼概念的实证接受度。

目标期刊: AER, Econometrica, Journal of the European Economic Association, Experimental Economics

选题方向 3: 有限动态博弈中序贯稳定结果的算法实现与计算复杂度分析

源自创新点: 创新点 3, 4
核心思路: 基于 NWBR、前向归纳法和迭代严格均衡占优等性质,设计计算序贯稳定结果的算法。首先利用迭代严格占优简化博弈树,然后对剩余序贯均衡结果的候选集,依次施加 NWBR 和前向归纳条件进行剪枝。关键挑战在于,对于大规模博弈需要高效遍历所有消失颤抖序列的极限行为。可利用 Dilmé (2024b) 的 λ-数(lexicographic numbers)方法,在极限层面直接刻画序贯最优性,避免直接对颤抖序列进行数值计算。

可行性: 中。算法设计具有理论挑战——需要在保持完整遍历性的前提下降低计算复杂度;但文中提供的性质(子博弈分解、严格占优消去)可以显著缩减搜索空间。预期贡献:将序贯稳定性从「笔纸证明」转化为可计算的概念,推动其在实证应用(如拍卖设计、反垄断分析)中的采用。

目标期刊: Econometrica, Journal of Political Economy, Mathematics of Operations Research, Journal of Economic Theory

选题方向 4: 序贯稳定性的公理化基础

源自创新点: 创新点 1, 2
核心思路: 文中第 6 节明确指出「an axiomatic characterization of sequential stability would be desirable」。参照 Kohlberg and Mertens (1986) 对 KM-稳定性所建立的理想性质列表,以及 Govindan and Wilson (2012) 对 Mertens (1989) 稳定性的公理化工作,尝试为序贯稳定性构建公理体系。可能的公理候选包括:存在性(Existence)、序贯理性(Sequential Rationality)、前向归纳法、NWBR、同时行动不变性(Invariance to Simultaneous Moves)、以及一个区别于 KM-稳定集的最小性条件。

可行性: 中低。公理化工作属于高难度纯理论课题,需要证明公理体系的完备性与独立性;但该方向一旦完成,将为序贯稳定性的使用提供更深层的合理性论证。预期贡献:使序贯稳定性在理论基础上与 KM-稳定集、完美均衡等概念享有同等的公理化地位。

目标期刊: Econometrica, Theoretical Economics, Journal of Economic Theory

选题方向 5: 序贯稳定性与稳健机制设计的交叉研究

源自创新点: 创新点 1, 4
核心思路: 将序贯稳定性嵌入机制设计框架,考察它对机制实施结果的影响。当前机制设计文献高度依赖序贯均衡或完美贝叶斯均衡作为解概念,但这些概念在多均衡机制中预测力不足。序贯稳定性可能提供更强的实施条件:设计者可以检验在其设计的机制(博弈形式)中,目标社会选择函数是否恰好对应于唯一的序贯稳定结果。特别地,考察序贯稳定性在动态拍卖、动态匹配和序贯合约中的实施含义。

可行性: 中高。机制设计与均衡精炼的结合是活跃领域;序贯稳定性的 NWBR 和前向归纳性质可用于排除「不合理」的非意图均衡;可先从具体机制(如序贯第二价格拍卖、延迟接受算法)入手验证可行性。预期贡献:建立「序贯稳定实施」的概念框架,桥接均衡精炼与机制设计两个子领域。

目标期刊: Econometrica, Review of Economic Studies, American Economic Review

选题方向 6: 电子市场平台中使用序贯稳定性预测序贯投标行为

源自创新点: 创新点 2, 4
核心思路: 将序贯稳定性应用于在线拍卖或电子市场平台的序贯投标博弈中。典型场景包括 eBay 的序贯拍卖、广告位的序贯竞价(sequential generalized second-price auction)或频谱牌照的序贯拍卖。利用序贯稳定性对行为颤抖的全面稳健要求,分析在竞标者拥有私人价值信息时,序贯稳定的投标策略是否对应于特定的均衡精炼(如最优切分价格均衡)。可利用投标人行为数据对所推导的均衡预测进行验证。

可行性: 中。理论部分可利用序贯稳定性的子博弈分解性质逐轮分析;实证部分需要获取在线拍卖的微观竞价数据(如 eBay 公开拍卖记录或实验室数据)。预期贡献:为在线拍卖的多均衡问题提供更锐利的理论预测,并建立实证检验基准。

目标期刊: Journal of Political Economy, Review of Economic Studies, RAND Journal of Economics, AEJ: Microeconomics



中文写作方案 1: 序贯稳定性视角下的地方政府债务博弈与风险化解政策研究

源自创新点: 创新点 1, 4, 5
目标中文期刊: 经济研究、管理世界

中国情境对接: 中国地方政府在隐性债务融资中面临典型的「信号博弈」结构:地方政府(发送者)通过投资项目的规模和类型向金融机构(接收者)传递其财政健康状况的信号,但双方信息不对称导致「预算软约束」预期和过度举债的均衡。当前中国的化债政策(如特殊再融资债券置换、债务展期)本质上改变了博弈的收益结构和信号空间,可以从序贯稳定性的角度评估不同化债方案所能「唯一筛选」出的均衡结果。

研究设计:

  • 可用数据: 地方政府债务审计数据、城投平台财务数据(Wind)、土地出让收入数据、转移支付数据
  • 识别策略: 构建带有私人类型(地方政府财政真实状况)的信号博弈模型,应用序贯稳定性的 Intuitive Criterion 条件分析均衡精炼;利用地方政府信息披露政策的地区差异作为准自然实验,检验均衡预测与实际举债行为的一致性

政策价值 (核心):

  • 直接政策含义: 为中国地方债务风险化解提供基于博弈理论的最优信息披露政策设计——在什么条件下,仅需披露特定的财政信息即可消除「过度举债」的不良均衡
  • 政策受众: 财政部预算司/地方政府债务管理处、国务院发展研究中心、地方政府
  • 政策窗口: 高度契合当前「防范化解地方政府债务风险」的政策主基调,以及「一揽子化债方案」的政策窗口期

写作框架建议:

  1. 引言: 中国地方债务风险化解的紧迫性 → 国际博弈论精炼文献(Kohlberg-Mertens, Cho-Kreps)→ 序贯稳定性的独特优势 → 本文定位
  2. 制度背景: 中国分税制下地方财政激励与隐性债务形成的制度逻辑,化债政策的演变脉络
  3. 理论模型: 构建地方政府-金融机构信号博弈,利用命题 5.1 刻画序贯稳定结果,利用 NWBR 条件排除「预算软约束」均衡
  4. 实证设计: 利用化债试点政策的地区差异,双重差分法检验均衡切换的实证证据
  5. 政策讨论(重点): 基于模型均衡筛选结论,提出最优信息披露强度、债务限额设计的博弈论依据

中文写作方案 2: 中国碳排放权交易市场的序贯稳定性分析与配额分配机制优化

源自创新点: 创新点 3, 4, 5
目标中文期刊: 经济研究、中国工业经济

中国情境对接: 中国碳排放权交易体系(ETS)已覆盖电力行业,即将扩展至钢铁、水泥等行业。碳配额拍卖本质上是一个不完全信息动态博弈:排放企业拥有关于自身减排成本的私人信息,政府通过调节拍卖规则和配额分配方式来引导企业的减排行为。在多轮拍卖中,序贯稳定性概念——特别是其对所有行为颤抖(而非仅某一特定颤抖)的稳健性——可用于分析碳排放权拍卖机制是否能够在各种可能的企业策略扰动下,唯一筛选出符合减排目标的均衡结果。

研究设计:

  • 可用数据: 全国碳排放权交易市场成交数据(上海环境能源交易所),各试点碳市场历史交易数据
  • 识别策略: 构建带有不对称减排成本和私人信息的碳配额序贯拍卖模型;应用命题 4.1 的 NWBR 条件和命题 4.3 的子博弈分解性质,逐轮分析拍卖的序贯稳定结果;利用中国碳市场从试点到全国的扩展作为外生冲击,检验不同拍卖机制下的市场均衡行为

政策价值 (核心):

  • 直接政策含义: 为生态环境部优化全国碳市场配额分配规则(有偿拍卖 vs. 免费分配比例、拍卖频率、信息披露要求)提供博弈论分析框架,确保碳价信号不被不良均衡所扭曲
  • 政策受众: 生态环境部气候司、国家发改委环资司、各大碳交易平台
  • 政策窗口: 「双碳」目标下碳市场扩容和规则完善是当前政策热点,全国碳市场正处于制度定型期

写作框架建议:

  1. 引言: 碳市场在「双碳」目标中的核心地位 → 配额分配的均衡多重性问题 → 序贯稳定性作为筛选工具
  2. 制度背景: 中国碳排放权交易体系的试点历程与全国市场建设,与欧盟 ETS 的比较
  3. 理论模型: 不完全信息序贯碳配额拍卖模型,刻画序贯稳定均衡与 KM-稳定结果的等价性(推论 5.1 的类比)
  4. 校准与模拟: 利用中国碳市场交易数据进行参数校准,模拟不同拍卖规则下的序贯稳定结果
  5. 政策建议(重点): 基于模拟结果提出最优配额分配方案——包括发现价格形成的最优信息披露规则

中文写作方案 3: 基于序贯前向归纳法的中国金融市场风险传导与宏观审慎政策设计

源自创新点: 创新点 2, 4
目标中文期刊: 经济研究、金融研究

中国情境对接: 中国金融体系具有多层级的同业网络结构(大型国有银行 → 股份制银行 → 城商行/农商行 → 非银行金融机构),流动性风险或信用风险在各级之间的传导构成一类扩展式博弈:各金融机构依次根据观察到的对手方行为决定自身的风险暴露水平。中国央行和金融监管总局的宏观审慎政策(如逆周期资本缓冲、系统重要性银行附加资本要求)可以被形式化为对博弈收益结构的外部扰动。序贯稳定性的前向归纳法性质(推论 4.1)可用于分析在什么政策扰动下,系统性风险「不传染」的均衡成为唯一的序贯稳定结果。

研究设计:

  • 可用数据: 银行间同业拆借交易数据、上市银行财务报表、银保监会宏观审慎评估(MPA)数据
  • 识别策略: 构建多层银行网络的全局博弈(global game)与扩展式博弈的混合模型;利用前向归纳条件(条件 4.1)和迭代严格均衡占优,分析金融网络的「级联失效」阈值;利用中国宏观审慎评估(MPA)框架的引入作为外生政策冲击,检验审慎政策对金融网络均衡选择的影响

政策价值 (核心):

  • 直接政策含义: 为央行设计差异化的系统重要性金融机构附加资本要求提供理论阈值——达到什么审慎标准时,「风险传染」均衡不再是序贯稳定的
  • 政策受众: 中国人民银行宏观审慎管理局、国家金融监督管理总局、国务院金融稳定发展委员会
  • 政策窗口: 中央金融工作会议强调「守住不发生系统性金融风险的底线」,宏观审慎政策框架的精细化设计是当前监管前沿

写作框架建议:

  1. 引言: 中国金融网络的多层级特征与系统性风险 → 均衡多重性导致的协调失灵 → 序贯稳定性与前向归纳法
  2. 文献综述: 金融网络传导、全局博弈与宏观审慎政策的国际文献 + 序贯稳定性的理论贡献
  3. 理论模型: 带有多层网络结构的扩展式金融风险传导博弈,利用 NWBR 和前向归纳法(命题 4.1,推论 4.1)分析均衡筛选
  4. 实证与校准: 利用中国银行间网络数据进行模型校准,模拟不同审慎政策参数下的均衡切换
  5. 政策讨论(重点): 差异化审慎政策的「最优临界值」及其对系统重要性银行的激励含义

中文写作方案 4: 序贯稳定性视角下中国平台经济反垄断的「自我优待」行为规制研究

源自创新点: 创新点 1, 5, 6
目标中文期刊: 管理世界、中国工业经济

中国情境对接: 中国大型数字平台(电商、社交、本地生活)具有显著的双边市场特征与信息优势。平台「自我优待」行为——如搜索结果中优先展示自有商品、限制竞争对手接入——本质上是平台与第三方商家之间的信号博弈:平台通过其行为向商家和消费者发送关于市场机会的信号,而商家基于观察到的信号决定是否进入平台市场。中国《反垄断法》修订及《平台经济反垄断指南》为「自我优待」行为设定了规制框架,但在具体判定标准上仍存在模糊空间。序贯稳定性——特别是其在信号博弈中对 D1/D2 标准的强化——可为规制机构提供更精确的「反竞争行为」判定门槛。

研究设计:

  • 可用数据: 平台商家入驻数据(可通过爬虫获取)、平台排名算法的变化记录、平台市场份额数据(来自第三方市场研究机构或监管机构)
  • 识别策略: 构建平台-商家信号博弈模型,利用命题 5.3 分析序贯稳定结果通过 Intuitive Criterion/D1/D2 的条件;将《平台经济反垄断指南》中「必需设施」原则和「自我优待」禁止条款形式化为对博弈策略空间的约束,考察约束后的序贯稳定结果变化;利用中国反垄断执法案例(如某大型电商平台「二选一」案)进行事件研究

政策价值 (核心):

  • 直接政策含义: 为市场监管总局评估「自我优待」行为的竞争损害提供基于博弈论的阈值标准——在什么样的市场结构参数下,「排他性自我优待」成为序贯不稳定的策略
  • 政策受众: 国家市场监管总局反垄断局、国务院反垄断委员会
  • 政策窗口: 平台经济常态化监管是当前政策主线,《反垄断法》修订后的细则制定需要有明确的经济学分析支撑

写作框架建议:

  1. 引言: 平台「自我优待」的反垄断争议 → 现有规制框架的模糊性 → 序贯稳定性提供精确判定工具
  2. 制度背景: 中国平台经济反垄断的法律框架与执法实践,与欧盟《数字市场法》(DMA)的比较
  3. 理论模型: 平台-第三方商家信号博弈,应用命题 5.1 和命题 5.3 的序贯稳定性刻画和选择标准
  4. 比较静态分析: 不同市场集中度、转换成本水平下「自我优待」的序贯稳定性条件
  5. 政策含义(重点): 为「合理原则」(rule of reason)下的自我优待违法判定提供量化参考基准

中文写作方案 5: 乡村振兴背景下农地流转的序贯稳定性分析与集体产权制度改革

源自创新点: 创新点 1, 3, 4
目标中文期刊: 经济研究、中国农村经济

中国情境对接: 中国农村土地「三权分置」改革后,农地流转市场涉及农户(承包权所有人)、流转需求方(种植大户/农业企业)和村集体(所有权代表)三方之间的信息不对称博弈。农户拥有关于土地质量和自身耕作能力的私人信息,而潜在的流转需求方在观察到村集体的「推荐」信号和相邻农户的流转决策后依次做出是否承租的决定。由于农村收入保障和粮食安全目标的约束,地方政府和村集体的流转推动政策扮演了类似「均衡筛选器」的角色。序贯稳定性——以其存在性保证(命题 3.4)和子博弈分解性质(命题 4.3)——可用于分析在三权分置的博弈结构中,是否以及在什么制度参数下,高效率流转的唯一均衡是序贯稳定的。

研究设计:

  • 可用数据: 全国农村固定观察点数据、农业农村部农地流转台账数据、中国家庭金融调查(CHFS)农村样本
  • 识别策略: 构建农户-需求方-村集体的三层序贯信号博弈;利用命题 4.3 的子博弈分解性质将流转决策分解为农户退地决策、村集体撮合决策和需求方承租决策三个序贯阶段逐层分析;利用各省份农地「三权分置」实施细则推出时间的外生差异,双重差分法检验制度变化对流转均衡的因果效应

政策价值 (核心):

  • 直接政策含义: 为农业农村部和地方政府优化农地流转政策(如流转补贴标准、集体产权确认程序、流转服务平台建设)提供基于博弈论的设计建议——在给定农户和需求方的激励结构下,什么样的政策参数可以确保「高效率流转」是唯一的序贯稳定结果
  • 政策受众: 农业农村部政策与改革司、国家乡村振兴局、地方农业农村部门
  • 政策窗口: 第二轮土地承包到期后再延长 30 年、「三权分置」制度深化落实、「小田并大田」等地方改革探索正处于政策扩张期

写作框架建议:

  1. 引言: 农地流转在乡村振兴中的基础性作用 → 流转市场的均衡多重性(低效锁定 vs. 高效流转) → 序贯稳定性作为制度设计分析工具
  2. 制度背景: 「三权分置」的法律经济学分析,各地流转模式的比较梳理
  3. 理论模型: 构建三层次信号博弈,应用序贯稳定性的存在性、NWBR、子博弈分解性质分析不同制度参数下的均衡筛选
  4. 实证分析: 利用微观面板数据检验模型预测——流转补贴水平、产权确权程度对实际流转率的影响
  5. 政策建议(重点): 基于理论比较静态分析和实证验证,提出农地流转制度的最优参数设计方案