2
是否建立了带有实数的复杂度类？
一个学生最近要求我为他们检查NP硬度证明。他们根据以下方面进行了减少： 我减少这个问题，是已知的NP完全以我的问题P（用聚当时许多一还原），所以P是NP难。P′P′P'PPPPPP 我的回答基本上是： 由于实例具有R的值，因此它不具有图灵运算能力，因此可以跳过归约。PPPRR\mathbb{R} 尽管从形式上说是正确的，但我认为这种方法不是有见地的：我们当然希望能够捕获实际价值决策（或优化）问题的“内在复杂性”，而忽略了我们在处理实际价值时面临的局限性数字; 调查这些问题还有一天。 当然，这并不总是那么容易地说，“子集总和的离散版本是NP完全的，因此连续版本也是'NP困难的”。在这种情况下，简化很容易，但是有一些著名的案例是连续版本更容易，例如线性编程还是整数编程。 在我看来，RAM模型自然可以扩展为实数。让每个寄存器存储一个实数并相应地扩展基本操作。统一成本模型仍然有意义-无论如何与离散情况一样-而对数模型则没有意义。 因此，我的问题可以归结为：是否存在确定的实值问题复杂性概念？它们与“标准”离散类有何关系？ Google搜索会产生一些结果，例如this，但是我无法告诉您已建立的和/或有用的，没有的是什么。