“UCB 把不确定性下的乐观原则写成一个可比较指数:经验均值表示已经观测到的收益,置信半径表示仍未排除的上升空间。常拉的臂半径收缩,少拉的臂仍可能显得最好,于是探索与利用在每轮由同一条上界共同…”
形式陈述 ​
算法维护置信集合
构造
在随机 bandit 中,可为臂
证明中通常在失败概率上分配预算,例如让第
直觉
已充分观测的动作区间会变窄,少观测动作的上界仍高,于是算法会自然地去检查那些“可能很好,但证据还不够”的方向。一次探索若带来较差结果,置信区间便收缩,动作很快退出竞争;若结果良好,算法则避免了过早把真正的优胜者排除。
这个原则把探索成本记在不确定性本身上。算法不是先划出纯探索阶段再永久利用,而是在每轮让估计值与置信宽度共同竞价。被选择的动作同时获得数据,因而它的探索奖金会逐步下降;这种选择与收缩的闭环,正是乐观法能够把长期试错控制成次线性遗憾的原因。
例子与边界
两臂的选择 ​
考虑两臂当前经验均值分别为
置信失配与算法边界 ​
置信集失配会破坏整个链条。重尾、非平稳或自适应选择若未被构造区间的方法处理,乐观值只是数值较大的启发式。该原则也不绑定某个 UCB 公式;线性 bandit 与强化学习使用不同几何的
它与 Thompson sampling 的接口也不同:后者从后验或代理分布采样参数,不逐轮最大化置信集上界。两者都以不确定性驱动探索,但“随机概率匹配”不能被重述成确定的 UCB 乐观选择;各自保证依赖不同的校准条件。
推论与应用
乐观原则的遗憾证明通常利用一条“夹逼”:在置信好事件上,真实最优动作的价值不超过其乐观值,而算法选择动作的乐观值又不小于它;因此瞬时遗憾至多是所选动作置信宽度的若干倍。随后只需累计这些宽度,并证明被选择次数越多宽度越小。覆盖失败事件则至多贡献
在有限臂问题中,这一模板给出 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.