不能表述为优化问题的问题示例

计算科学 优化
2021-12-08 02:53:06

优化问题有 3 个主要组成部分:决策变量、约束和目标函数。可以使用优化求解器对此类问题进行数学建模和求解。例如,数独谜题可以这样建模并使用求解器求解。

有哪些不能被建模为优化问题的著名现实问题或难题的例子?我查阅了相关文献,但找不到任何关于不能建模为优化问题的讨论。

1个回答

它取决于所选的抽象级别和所选的分类。问题在于这种抽象的可用性和所选择的问题分类。


如果允许您假设一个目标函数可以表示一个布尔函数,即true当且仅当找到的解决方案满足给定的约束(谜题规则),那么任何数学问题都可以以这种方式表述。

此外,在UC Berkely 课程 CS278:计算复杂性的第一堂讲义中,Luca Trevisan 说

我们将处理四种类型的计算问题:决策问题、搜索问题、优化问题和计数问题。这种区分是有用和自然的,但也是任意的:实际上每个问题都可以看作是一个搜索问题。

现在,我不认为说每个搜索问题都可以被认为是一个优化问题是一种过度扩展。

写完这个答案后,我还找到了关于Theoretical Computer Science的讨论。额外的部分将提到抽样问题然而,即使这样也是很有争议的:Scott Aronsson 的这篇论文提出了关于采样搜索的等价性