Skip to content

多臂赌博机模型

Multi-armed bandit · MAB

每轮选择一个臂,并且只观察该臂结果的部分反馈序贯决策模型。

条目类型
模型

形式陈述

根协议

动作空间是含 K 个臂的有限集。沿用在线学习协议的因果次序,第 t 轮策略依据历史

Ht1=(I1,X1,I1,,It1,Xt1,It1)

选择 It,随后只观察被选臂的奖励 Xt,It。非预见策略不能使用未来奖励,也不能访问未选臂的反事实结果。奖励表述与损失表述可互换,但一篇分析中符号方向和范围必须固定。

一种统一写法先引入潜在奖励表 (Xt,i)tT,iKXt,i 表示“第 t 轮如果选臂 i 会得到什么”。学习器只实现并观察其中一个坐标 Xt,It,其余潜在结果不可见。可观察历史生成的信息族为

Ft=σ(I1,X1,I1,,It,Xt,It),

合法策略要求 It 的条件分布对 Ft1 可测。这个条件精确排除了用未选奖励或未来行作弊。

直觉

Bandit 的本质是反馈缺失,而不是“有多个选项”。若每轮能看到全部臂结果,就是全信息专家问题;学习器只有实际选择某臂,才能获得关于它的新证据,因此探索本身会消耗奖励。

随机模型通常令每臂的观测是固定分布 νi 的独立样本,潜在表可在开始时随机生成;对抗模型则允许损失行任意变化,只限制对手不能看见本轮尚未抽出的 It 后再设值。两者共用可观察历史,却在概率来源、比较量和算法分析上分叉:前者有均值与 gap,后者只有相对最好固定臂的遗憾。

所选坐标的部分反馈
例子与边界

三臂广告与信息边界

三臂广告例子中,第 t 轮选择版式 2 后只知道它是否被点击;版式 1 和 3 在同一用户身上的结果是反事实,数据中并不存在。若系统后台同时运行无干扰的随机对照并能观察三者结果,反馈结构才接近全信息。Bandit 的探索成本正来自必须实际选择某臂才能收窄它的不确定性。

合法策略可写为条件分布 πt(Ht1)。确定策略是其退化特例;随机化不是装饰,在对抗环境中可防止对手预先针对固定动作次序。冷启动时若某臂从不被选择,就没有数据识别它是否最优,因此多数遗憾算法显式保证每个臂获得正概率。

把 IID 与任意对抗损失同时塞入根协议会产生矛盾的概率解释;反过来,只写“每轮选一个动作”又会漏掉未选反馈不可见这一决定性条件。根模型只固定历史、动作和观察接口,环境规律必须由后继模型另加。

推论与应用

环境与目标的分支

根模型不假设奖励 IID,也不假设由对手设置。随机 bandit加入固定分布与均值,对抗 bandit允许损失任意变化。把两组假设同时塞入根定义会掩盖算法为何成立。

目标也会分支。累计遗憾不愿频繁试差臂,最佳臂识别却可牺牲过程奖励来降低最终推荐错误;报告“找到了最好臂”不能代替遗憾保证,反过来也一样。全信息、随机 bandit、对抗 bandit 与纯探索因而共享动作集合,却不能共享同一条性能定理。

参考资料
  • Sébastien Bubeck and Nicolò Cesa-Bianchi, “Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems,” Foundations and Trends in Machine Learning 5(1), 2012, pp. 1–122.
  • Tor Lattimore, Csaba Szepesvári, Bandit Algorithms, Cambridge University Press, 2020, Chs. 4 and 11.
关系图谱17 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系