松弛复杂性 swMATH ID: 46054 软件作者: 阿维尔科夫,Gennadiy;克里斯托弗·霍尼;马提亚斯·施穆拉 描述: relaxation_complexity:计算松弛复杂性的高效MIP技术。包含在多面体中的整数点集X的松弛复杂性rc(X)是在不使用辅助变量的情况下,在X上形成线性优化问题所需的最小不等式数。除了在整数编程中的相关性外,这个概念在社会选择、对称密码分析和机器学习方面也有解释。我们使用高效的混合整数编程技术来计算松弛复杂度的稳健且数值上更实用的变体。我们提出的模型需要行或列生成技术,并且可以通过对称处理和合适的传播算法进行增强。理论上,我们根据LP松弛值来比较模型的质量。这些模型的性能在一个广泛的测试集上进行了研究,并通过它们解决以前无法解决的具有挑战性的实例的能力来强调 主页: https://arxiv.org/abs/2105.12509 源代码: https://github.com/christopherhogny/relaxation_complexity 依赖项: C类 关键词: 混合整数规划模型;松弛复杂性;分支与价格;分支和切割 相关软件: SCIP公司;极乐;西蒙;cdd(光盘);cddplus;SageMath公司;PySCIPOpt公司 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 计算松弛复杂度的高效MIP技术。 Zbl 1519.90125号根纳迪·阿维尔科夫;克里斯托弗·霍尼;马提亚斯·施穆拉 2023 3位作者引用 三 根纳迪·阿维尔科夫 三 克里斯托弗·霍尼 三 马提亚斯·施穆拉 引用于2个系列 1 数学编程。A系列B系列 1 数学规划计算 在2个字段中引用 三 运筹学、数学编程(90-XX) 2 凸和离散几何(52至XX) 按年份列出的引文