是否存在任何包含在线优化问题对应物的复杂性类？

是否存在任何包含在线优化问题对应物的复杂性类？如果没有，那么如何定义此类？

我们知道许多问题都有其在线版本：例如，装箱问题的在线版本。根据其竞争率衡量，在线问题更加棘手。

而且我还没有在复杂性动物园中找到任何类似的东西。

本质上，我们可以说没有在线问题，只有离线问题的在线算法。但是，如果存在在线问题，为什么没有包含这些问题的复杂性类？

cc.complexity-theory complexity-classes

— 奥列克桑德·邦达连科（Oleksandr Bondarenko）
source

这与流（cstheory.stackexchange.com/search?q=stream）算法有关吗？

— MS Dousti

在线算法与流算法不同：在流中，限制因素是流机的空间（因此，它只有短期内存）。在在线算法中，限制因素是对即将发生的事情的了解不足（因此它具有高度近视）

— Suresh Venkat 2010年

@Suresh：哦，我明白了。感谢您的澄清。

— MS Dousti

Answers:

定义在线问题的复杂度类别的一个棘手的方面是，原则上对读取输入后可以执行的计算类型没有限制。换句话说，即使我有（例如）NP甲骨文一旦输入就处理输入，在线问题也很难解决。

可以想象的是，在处理器更有限的情况下，即使执行更简单的预测任务也变得更加困难，但是总体上，设计在线算法的困难来自于对手在构建预测模型后更改输入的能力。

— 苏雷什·文卡特（Suresh Venkat）
source

各种计算方式的无限制如何影响在线问题的难度：能否请您解释一下？

— Oleksandr Bondarenko

好吧，通常根据某种资源绑定来定义典型的复杂性类。我的观点是，在线问题（例如）很难解决，而无需依赖底层计算机的任何复杂性模型。

K

$K$

— Suresh Venkat 2010年

由于在线算法的有限资源（除了经典时间和空间之外）是有关给定问题的完整实例的信息，因此，如果我们可以为此目的严格定义信息概念，那么我们可以谈谈复杂性吗？在线问题课程？

— Oleksandr Bondarenko 2010年

你可以。我不知道这是否已经完成。我认为您已经检查了Borodin / El-Yaniv书？

— Suresh Venkat

我浏览了Borodin / El-Yaniv的书，但没有发现任何形式的信息概念。但是，有一些关于建议复杂性的有趣论文（Scholar.google.com/…）。

— Oleksandr Bondarenko

我最近读了《反对自然的游戏》一书（Papadimitriou，1985年）（这里的链接是：http : //www.sciencedirect.com/science/article/pii/0022000085900455）。具体来说，本文证明随机满足性（SSAT）是PSPACE完全的。我猜SSAT是在线问题？因此，本文与您的问题有些相关？

我对在线问题的复杂性问题也很感兴趣。我们可以讨论！

— 愚蠢的家伙
source