“本页形式化弱到强可学习性,并以乘法重加权组织对弱学习 oracle 的自适应调用。”
形式陈述
元方法而非单一算法
乘法权重描述一种可复用结构:维护非负权重,把它们归一化为概率分布,观察反馈后按每个动作的损失成比例缩放。专家建议、某些 boosting、零和博弈和近似线性规划都可出现这套结构,但反馈范围、收益或损失符号不同,对应的更新和常数也不同。
指数损失版本
对
并在观察
这里
势函数推导
从上方看,Hoeffding 引理对单个有界损失坐标的指数矩给出
求和后得到
合并两式便有
这就是对总权重作上、下估计的势函数论证。它对任意实际出现的全信息损失向量序列成立,并且同时覆盖所有固定动作。这里
当
指数更新与 Hoeffding 引理对所有
直觉
权重不是在猜“谁永远正确”,而是在记录每个动作至今仍值得保留多少相对可信度。指数更新把累计损失变成乘法衰减,归一化后,高损失动作自然失去概率质量,却不会因一次错误被永久删除。
总权重势函数同时面向两端:上界记录算法每轮平均损失让整体质量缩小多少,下界保留任意固定比较动作剩下的质量。两端夹住同一个
例子与边界
线性化版本与范围
有些文献采用
关系与边界
Hedge是全信息有界损失上的清晰实例;Weighted Majority只在二元错误后乘固定因子。势能法在这里跟踪总权重的指数增长,而算法分析中的摊还势能通常比较单次真实成本,目的不同。不是任何“把数乘到权重上”的启发式都继承上述定理。
从博弈收益表构造全信息反馈
设玩家
将这一整条向量代入指数更新即可。观察自己取得的一个收益数值,通常不足以重建其他动作的反事实收益,因此这个协议要求完整反馈。常数收益玩家
例如粗相关均衡页的循环博弈中,收益范围是
分布反馈:平均各轮乘积
先考虑没有动作抽样误差的协议。每轮玩家提交分布
用
输出
左边除以
这个输出可以理解为先均匀抽一轮,再按那一轮的分布独立抽各人的动作。共同的轮次会引入相关性;一般有
实际动作反馈:加入抽样误差
现在每轮各玩家根据历史
对这些随机生成的实际损失向量,势函数界依然逐路径成立。它比较的基线却是本人混合收益
在给定
因此
还可以明确给出实际历史的高概率保证。对条件均值为零、绝对值不超过
它来自条件指数矩的迭代界
的 CCE。无需再对
例如循环博弈有
推论与应用
当
同一结构还能把约束满足、零和博弈和 boosting 写成“动作—损失—势函数”的三步循环。矩阵博弈极小极大定理给出零和情形的目标价值与可计算上下界,乘法权重则提供逼近这些界的算法方向。迁移时首先确认反馈是全信息还是 bandit、数值是损失还是收益、范围是否有界,再选择合法更新;元方法复用的是证明结构,不是固定常数。
交换无遗憾算法把本页指数更新复制到每个源动作,并用平稳分布缩放行反馈;把各行外部遗憾相加后,才得到更强的动作映射比较界。其损失范围缩小到当前源动作概率,因此可保留平方概率和来推导有限轮常数,并在完整分布反馈下构造近似CE。
参考资料
- Yoav Freund and Robert E. Schapire,Adaptive Game Playing Using Multiplicative Weights,Games and Economic Behavior 29,1999,§2,pp. 81–82 的完整期望向量协议;§3.1,Lemma 6,p. 86 的实际抽样与有界鞅。本文的指数更新 Hoeffding 常数由上文自足推导。
- Sanjeev Arora, Elad Hazan, Satyen Kale, The Multiplicative Weights Update Method: A Meta-Algorithm and Applications, Theory of Computing, 2012.
- Nicolò Cesa-Bianchi, Gábor Lugosi, Prediction, Learning, and Games, Cambridge University Press, 2006.