Skip to content

不确定性下的乐观原则

Optimism under uncertainty · Optimism in the face of uncertainty

在仍与数据相容的模型中按最好可能价值行动,以探索消除不确定性。

条目类型
原则

形式陈述

算法维护置信集合 Ct,在高概率事件上真实参数 θCt,并选择

atargmaxasupθCtVθ(a).

构造 Ct 的前提是明确所用的置信度保证:覆盖哪些参数、是否对所有时刻同时成立,以及失败概率如何进入最终界。“乐观”不是盲目选经验均值最大的动作,而是把统计不确定性纳入可证明覆盖的上界。

在随机 bandit 中,可为臂 i 使用 μ^i(t)+ri(t)。分析分两步:先利用并集界证明所有臂、时刻的真实均值都在区间内;再在该好事件上证明若次优臂仍被选择,其半径必与 gap 同量级,选择次数因此受控。若噪声只满足对历史的条件均值为零,置信半径还必须使用适配过滤的鞅集中工具,不能把动作当作预先固定的独立样本。

证明中通常在失败概率上分配预算,例如让第 t 时刻每个臂的失败概率为 O(δ/(Kt2)),再利用 t1/t2< 对无限时刻求并。只为每个固定 t 建一个 95% 区间,并不能推出“所有时刻同时覆盖 95%”;选择偏差也要求区间适配自适应采样。

直觉

已充分观测的动作区间会变窄,少观测动作的上界仍高,于是算法会自然地去检查那些“可能很好,但证据还不够”的方向。一次探索若带来较差结果,置信区间便收缩,动作很快退出竞争;若结果良好,算法则避免了过早把真正的优胜者排除。

这个原则把探索成本记在不确定性本身上。算法不是先划出纯探索阶段再永久利用,而是在每轮让估计值与置信宽度共同竞价。被选择的动作同时获得数据,因而它的探索奖金会逐步下降;这种选择与收缩的闭环,正是乐观法能够把长期试错控制成次线性遗憾的原因。

例子与边界

两臂的选择

考虑两臂当前经验均值分别为 0.550.40,半径为 0.050.25。贪心会选第一臂;乐观上界分别为 0.600.65,因此先试观测少的第二臂。若它实际较差,新增样本会缩小半径并让其退出;若实际更好,这次探索避免了长期锁定错误臂。

置信失配与算法边界

置信集失配会破坏整个链条。重尾、非平稳或自适应选择若未被构造区间的方法处理,乐观值只是数值较大的启发式。该原则也不绑定某个 UCB 公式;线性 bandit 与强化学习使用不同几何的 Ct,共同点是“覆盖、乐观选择、被选择后收缩”。

它与 Thompson sampling 的接口也不同:后者从后验或代理分布采样参数,不逐轮最大化置信集上界。两者都以不确定性驱动探索,但“随机概率匹配”不能被重述成确定的 UCB 乐观选择;各自保证依赖不同的校准条件。

推论与应用

乐观原则的遗憾证明通常利用一条“夹逼”:在置信好事件上,真实最优动作的价值不超过其乐观值,而算法选择动作的乐观值又不小于它;因此瞬时遗憾至多是所选动作置信宽度的若干倍。随后只需累计这些宽度,并证明被选择次数越多宽度越小。覆盖失败事件则至多贡献 δT 量级的期望损失。

在有限臂问题中,这一模板给出 UCB 一类算法;在线性赌博机中,标量区间被参数置信椭球替代,累计宽度由椭圆势控制;在强化学习中,乐观对象扩展为转移与价值函数,覆盖必须跨状态、动作和决策步同时成立。应用对象虽不同,证明责任始终是覆盖是否可信、乐观优化是否可解、访问数据后宽度是否真的收缩。

参考资料
  • Peter Auer, Nicolò Cesa-Bianchi, and Paul Fischer, “Finite-time Analysis of the Multiarmed Bandit Problem,” Machine Learning 47, 2002, pp. 235–256.
  • Tor Lattimore and Csaba Szepesvári, Bandit Algorithms, Cambridge University Press, 2020.
关系图谱11 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

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

使用的工具

被这些条目使用