信息论-计算间隙

信息论最优遗憾Õ(md+k)与多项式时间可达遗憾之间存在本质分离，该鸿沟是计算复杂性所固有的，而非算法设计不足。

信息论下界刻画的是在无计算资源限制下任何算法（甚至指数时间）能达到的最优表现，本问题中对应Õ(md+k)；计算下界则假设算法必须在多项式时间内运行，得到的下界通常更大。