“学习中,Hoeffding 控制一个固定假设的经验风险;有限假设类界对全部假设使用并集界,构造共同事件,从而覆盖看过数据后选出的假设。统计查询可借有界样本平均估计期望;UCB则先对各臂及确定…”
形式陈述
模型与算法
有整数
其中
直接实现维护
次优臂拉取界
令
以及伪遗憾
直觉
UCB 把不确定性下的乐观原则写成一个可比较指数:经验均值表示已经观测到的收益,置信半径表示仍未排除的上升空间。常拉的臂半径收缩,少拉的臂仍可能显得最好,于是探索与利用在每轮由同一条上界共同决定。
次优臂只有在估计发生罕见偏差,或它的半径仍大到足以覆盖 gap 时才会被选中。前两类事件的概率可求和,后一类在样本数达到
例子与边界
一轮实际选择
设第
| 臂 | 经验均值 | 置信半径 | UCB 指数 |
|---|---|---|---|
| 1 | 0.7 | 0.33967 | 1.03967 |
| 2 | 0.5 | 0.78444 | 1.28444 |
| 3 | 0.2 | 1.35869 | 1.55869 |
算法选择第三臂:它的已观测收益最低,但仅有五次观测,尚未排除的上升空间最大。指数可以大于奖励上限
若这次收到奖励
自适应样本数的严谨点
边界
推论与应用
拉取界还能帮助理解探索预算:一个臂与最优均值的差距缩小一半,标准分析中为排除它所需的观测数就约增为四倍。因此预算主要花在难以区分的近邻上;这也解释了为何只看经验均值接近,并不足以宣布某个臂已经获胜。
UCB 是一族算法而非单一公式。方差感知、KL-UCB、线性 UCB 与置信序列版本会改变半径和证明事件;迁移时应从奖励范围、尾部模型和自适应覆盖要求重新推导,不应只替换根号中的常数。
参考资料
- Peter Auer, Nicolò Cesa-Bianchi, Paul Fischer, Finite-time Analysis of the Multiarmed Bandit Problem, Machine Learning, 2002.
- Tor Lattimore, Csaba Szepesvári, Bandit Algorithms, Cambridge University Press, 2020.