×

线性规划中最小不可行约束集的定位。 (英语) Zbl 0755.90055号

摘要:随着硬件和软件的不断进步,线性规划的瓶颈不再是模型解决方案,而是大型模型的正确表述。在初始公式化(或修改)过程中,一个非常大的模型可能被证明是不可行的,但通常很难确定如何纠正它。我们提供了一个公式化辅助工具,它可以分析不可行的LP,并从定义问题的可能非常大的一组约束中识别出最小的不一致约束集。此信息有助于集中精力搜索问题诊断,加快模型的修复。我们提出了一系列过滤例程和一个最终的集成算法,确保识别至少一个最小的不一致约束集。与以前的方法相比,这种保证具有显著优势。这些算法简单、相对高效,并且很容易合并到标准LP解算器中。报告了初步的计算结果。

MSC公司:

90C05(二氧化碳) 线性规划
90-08 运筹学和数学规划相关问题的计算方法

软件:

MINOS公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部