可行的解决方案是指满足定义的所有约束和要求的解决方案。如果没有决策变量值的组合能够满足全部要求和约束,解决方案便不可行。请注意,解决方案(即决策变量的一组值)可能会因无法满足问题要求或约束而不可行,但这并不意味着问题或模型本身不可行。
然而,定义约束和要求的方式可能会使整个模型不可行。例如,假设在第 1 章的 Portfolio Allocation 问题中,投资者坚持根据以下约束寻找最佳投资组合:
Income fund + Aggressive growth fund <= 10000
Income fund + Aggressive growth fund >= 12000
显然,不存在会使收益基金和积极成长型基金总和不超过 $10,000 而同时大于或等于 $12,000 的投资组合。
$15,000 <= Income fund <= $25,000
您可以解决按约束构造的关系不一致的问题,从而让不可行的问题变得可行。OptQuest 会检测按约束不可行的优化模型,并将其报告给您。
如果模型按约束可行,OptQuest 总是会寻找一个可行的解决方案,并搜索最优解决方案(即满足所有约束的最优解决方案)。
如果优化模型包含要求,按约束可行的解决方案按一项或多项要求可能不可行。
首先满足约束可行性后,OptQuest 假设用户接下来最重要的任务是寻找按要求可行的解决方案。因此,它专注于寻找按要求可行的解决方案,然后在模型中目标的推动下改进该解决方案。