On Hybrid Quantum and Classical Computing Algorithms for Mixed-Integer Programming
量子计算正在成为一种新的计算资源,对于某些类别的最优化问题,它可能优于传统计算。然而,原则上,大多数现有的量子优化方法旨在解决无约束二进制规划问题,而混合整数线性规划在实践中最感兴趣。我们试图通过开发一种新的混合整数规划方法来弥合量子计算能力与现实世界应用之间的差距。该方法利用Benders分解将混合整数规划分解为二进制规划和线性规划两个子问题,分别用带噪声的中间规模量子处理器和常规处理器求解.该算法是可证明的,能够达到原来的混合整数规划问题的最优解。该算法在D-Wave 2000 Q量子处理单元上进行了测试,并被证明是有效的小规模测试用例。我们还测试了一个受电力系统应用启发的混合整数规划的算法。许多见解得出的数值结果的能力和所提出的算法的局限性。
2022-01-20 math.OC
On Burdet and Johnson's Algorithm for Integer Programming
本文讨论了Burdet和Johnson在1977年提出的一种求解整数规划问题的方法的一些不足之处。给出了算法无法解决IP问题的例子和解决这些错误的方法。
2014-10-28 math.OC
A note on the Lovasz-Schrijver Semidefinite Programming Relaxation for Binary Integer Programs
二进制整数规划(BIP)问题之所以引起人们的兴趣,部分是因为它们所造成的困难,以及因为它们的各种应用,包括在图论、组合优化和网络优化中的应用。在本文中,我们明确地陈述了BIP问题的Lovasz-Schrijver半定规划(SDP)松弛(原始标准式),该松弛产生比规范线性规划松弛更紧的上界。
2012-08-18 math.OC
Objective Scaling Ensemble Approach for Integer Linear Programming
目标尺度集成方法是一种新的两阶段启发式整数线性规划问题的各种整数线性规划问题是有效的。该技术识别和聚合多个部分解决方案,以修改问题的制定,并显着减少搜索空间。公开的基准问题的实证分析表明,我们的方法优于现代优化软件中实现的标准解决方案的策略的有效性。
2018-08-11 math.OC
Algorithms for Generating Pareto Fronts of Multi-objective Integer and Mixed-Integer Programming Problems
多目标整数规划或混合整数规划问题通常具有断开的可行域,使得构造Pareto前沿的近似的任务具有挑战性。本文表明,某些算法,最初设计的连续问题,可以成功地适应于近似帕累托前沿的整数,混合整数,多目标最优化问题。各种标量化技术之间的关系,建立激励在这些算法中的一个特定的标量化的选择。通过两个,三个和四个目标的整数和混合整数问题,所提出的算法进行了测试,并进行了比较。特别是,一个新的四目标算法被用来解决一个离散变量的火箭喷射器设计问题,这是一个具有挑战性的混合整数规划问题。
2021-05-23 math.OC
Mixed-Integer Programming Formulation of a Data-Driven Solver in Computational Elasticity
本文提出了一种混合整数二次规划制定现有的数据驱动的方法来计算弹性。该公式适用于标准混合整数规划求解器的应用,该求解器找到全局最优解。因此,所提出的方法得到的结果可以作为基准的情况下,任何其他算法。初步的数值实验进行比较质量的解决方案所提出的方法和启发式数据驱动的计算力学。
2018-10-10 math.OC
Optimising a nonlinear utility function in multi-objective integer programming
在本文中,我们开发了一个算法来优化一个非线性效用函数的多个目标的整数有效集。我们的方法是基于识别和更新的个人目标的界限,以及最佳效用值。这是使用已知的解决方案,线性规划松弛,效用函数反演,和整数规划。我们开发了一个通用的优化算法与k个目标使用,我们说明了我们的方法使用三目标整数规划问题。
2012-05-14 math.OC
On a fully fuzzy framework for minimax mixed integer linear programming
在这项工作中,我们提出了一个极小极大混合0-1模糊线性问题的建模框架。它是基于通过辅助变量扩展通常的重写清晰的极大极小问题的最大值的模糊线性函数的有限集建模。我们建立所考虑的问题可以等价地表示为一个多目标混合整数规划问题。该框架适用于一个完全模糊版本的能力中心设施定位问题。
2018-02-20 math.OC
Job Shop Scheduling with Integer Programming, Shifting Bottleneck, and Decision Diagrams: A Computational Study
本研究比较了作业车间调度中转移瓶颈启发式与决策图等策略,结合Balas局部细化、混合整数规划与约束规划方法,通过计算实验验证了各算法的性能。
2024-07-25 math.OC
Projective Splitting Algorithms for Integer Linear Programming Part 1: Pure Integer Programs
提出了一种求解整数线性规划(ILP)问题的新的精确方法,我们称之为投影分裂算法(PSA)。与解决ILP问题的经典方法不同,PSA通过生成针对目标函数的特定值的候选解来搜索最优解。作为这种策略的结果,在原始ILP问题的变量的数量系统地减少,而不增加任何额外的约束初始配方。这是关于公益广告的两部分系列中的第一部分。在本文中,我们专注于纯整数线性规划(PILP)问题的解决方案,将混合整数线性规划(MILP)公式的处理留给本系列的第二部分。在0-1多维背包问题(0- 1 MKP)的实例上,针对IBM MPLG CPLEX [2]优化器对所提出的算法进行了测试,在具有大量变量的实例上显示出令人满意的结果。
2014-04-15 math.OC
On an optimal constraint aggregation method for integer programming and on an analytic expression of the number of integer points in a polytope
本文给出了线性丢番图方程的一个新的集结框架。特别是,我们证明了一个聚合系统的最小尺寸可以建立在多项式时间。我们还推导出一个解析公式,给出了系统的解决方案时,它是可能的聚合系统成一个方程的数量。
2016-08-08 math.OC
Note on the Complexity of the Mixed-Integer Hull of a Polyhedron
研究了多面体$P$的混合整数包$\operatorname{conv}(P\cap\mathbb{Z}^n\times\mathbb{R}^d)$的计算复杂性。给定不等式描述,使用一个整数变量,混合整数外壳可以在$d$中具有指数级多个顶点和小平面。在$n,d$固定的情况下,给出了在多项式时间内求混合整数壳的算法.在给定$P=\operatorname{conv}(V)$和$n$固定的情况下,我们在多项式时间内计算了混合整数壳的顶点描述,并给出了混合整数壳顶点数的界。
2015-03-10 math.OC
A mixed-integer approximation of robust optimization problems with mixed-integer adjustments
针对含连续与离散底层变量的可调鲁棒优化三层难题,提出弱连接实例下的混合整数近似法,可将其转化为单层问题以利用高效求解器,并通过电力系统优化应用验证了价值。
2023-07-19 math.OC
The structure of the infinite models in integer programming
整数规划中的无限模型可以描述为某些点的凸包或由有效函数导出的半空间的交集。在本文中,我们研究这两个描述之间的关系。我们的研究结果对角多面体有一定的意义。一个结果是,非负的,连续的有效函数足以描述角多面体(有或没有合理的数据)。
2018-10-02 math.OC
A Conic Integer Programming Approach to Constrained Assortment Optimization under the Mixed Multinomial Logit Model
本文研究了混合多项logit模型下的约束搭配最优化问题。即使是中等规模的情况下,这个问题是具有挑战性的直接解决使用标准的混合整数线性最优化配方。这促使最近的研究探索定制的优化策略和近似技术。相比之下,我们开发了一种新的圆锥二次混合整数制定。这种新的配方,再加上麦考密克不等式利用容量限制,使大型实例的解决方案,使用商业优化软件。
2017-08-12 math.OC
Integer-Programming Ensemble of Temporal-Relations Classifiers
时态事件及其相互关系的提取和理解是自然语言处理的主要挑战。在逐句或逐表达式的基础上处理文本通常会失败,部分原因是捕获文本的全局一致性的挑战。我们提出了一个集成的方法,它调和跨文本使用整数规划的时间表达式的多个分类器的输出。计算实验表明,集成改进了最近两个挑战的最佳个体结果,SemEval-2013 TempEval-3(时间注释)和SemEval-2016 Task 12(临床TempEval)。
2018-07-30 cs.CL cs.LG math.OC
Robust Integer Programming
我们提供了一个复杂性分类的四个变种的强大的整数规划时,底层的Graver基础。我们讨论的应用程序,强大的多商品流和多维运输,并描述了一个有效的参数化的强大的整数规划。
2014-02-13 cs.DM cs.DS math.CO
A Hybrid Perspective on Suboptimal Mixed-Integer Quadratic Programming
本文提出一种结合参数化MIQP与混合系统理论的框架,将次优性编码为有界扰动,实现递归次优混合整数二次规划反馈控制,并从理论和仿真上验证了稳定性。
2025-07-03 math.OC
Solving influence diagrams via efficient mixed-integer programming formulations and heuristics
Aalto University(阿尔托大学)
本文提出了一种新的混合整数规划方法和启发式算法,用于高效求解影响图中的决策问题,并展示了其在多阶段随机动态规划中的应用。
2024-08-29 math.OC
QPDAS: Dual Active Set Solver for Mixed Constraint Quadratic Programming
利用对偶问题的有效集方法,给出了求解一般混合约束凸二次规划问题的一种方法。该方法类似于现有的有效集方法,但我们提出了一种新的方法来解决在算法中出现的线性系。有两个主要的贡献,我们提出了一种新的方式分解的线性系,并显示如何迭代细化可以用来实现良好的精度和解决这两种类型的子问题,所产生的半定问题。
2019-11-28 math.OC
A parametric integer programming algorithm for bilevel mixed integer programs
我们考虑离散二层最优化问题,其中跟随者解决具有固定变量数的整数规划。利用参数整数规划的最新结果,我们提出了纯整数和混合整数双层问题的多项式时间算法。对于混合整数的情况下,领导者的变量是连续的,我们的算法还检测是否下确界成本未能达到,一个困难,已被确定,但没有直接在文献中解决。在这种情况下,它产生了一个“比完全多项式时间更好”的近似方案,其运行时间多项式为相对精度的对数。对于纯整数的情况下,领导的变量是整数,因此最优解是保证存在的,我们提出了两个算法,运行在多项式时间的变量的总数是固定的。
2009-11-02 math.OC
Global Solutions of Nonconvex Standard Quadratic Programs via Mixed Integer Linear Programming Reformulations
一个标准的二次规划是一个最优化问题,它包括在单位单纯形上最小化一个(非凸)二次型。我们专注于将一个标准的二次规划转化为一个混合整数线性规划问题。我们提出了两种替代的混合整数线性规划配方。我们的第一个配方是基于铸造一个标准的二次规划作为一个线性规划的互补约束。然后,我们采用二进制变量线性互补约束。对于第二个公式,我们首先推导出一个高估的目标函数的函数,并建立其在任何全球最小的紧密性。然后,我们使用二进制变量线性化高估函数,得到我们的第二个公式。对于这两个配方,我们提出了一组有效的不等式。我们广泛的计算结果表明,所提出的混合整数线性规划的重新制定显着优于其他全球解决方案的方法。在较大的情况下,我们通常会观察到数量级的改善。
2018-10-04 math.OC
Mixed Integer Reformulations of Integer Programs and the Affine TU-dimension of a Matrix
本文研究了整数线性规划的重构问题,即利用一个具有较少整数变量的混合整数线性规划来重构整数线性规划。这样的重构可以有效地解决与混合整数线性规划技术。我们展示的例子,演示如何整数规划可以重新使用更少的整数变量。为此,我们引入了矩阵的全幺模性的一个推广,称为矩阵的\emph{affine TU-dimension},并研究了确定矩阵仿射TU-维数的相关理论和算法。我们还提出了整数变量的数量上的界限,需要代表某些整数外壳。
2017-04-13 math.OC
Sequential Linear Integer Programming for Integer Optimal Control with Total Variation Regularization
我们提出了一个信赖域方法,解决了一系列的线性整数规划,以解决整数最优控制问题正则化的全变差罚款。全变差罚函数使我们能够证明整数最优控制问题的极小值的存在性。我们引入了一个局部最优性的概念的问题,这是从无限维的角度来看。在控制函数的一维域的情况下,我们证明了我们的算法所产生的迭代收敛到满足局部最优的一阶平稳性条件的点。我们证明了一个计算实例的理论研究结果。
2022-05-06 math.OC
A geometric way to build strong mixed-integer programming formulations
我们给出了一个显式的几何方法来建立混合整数规划(MIP)公式的联合多面体。该结构简单地描述了在r维线性空间的生成超平面。所得到的MIP制定是理想的,并使用了r个整数变量和2 x(#的跨越超平面)一般不等式约束。我们使用这个结果,以获得新的不连续的分段线性函数和结构中出现的机器人和电力系统问题的几何尺寸的理想MIP配方。
2019-10-09 math.OC
Computing non-stationary $(s, S)$ policies using mixed integer linear programming
研究了$(s, S) $策略下的单品种单库存位置随机批量问题。首先,我们提出了一个混合整数非线性规划(MINLP)制定确定接近最优的$(s, S)$政策参数。为了处理更大的实例,我们将先前引入的MINLP模型和二分搜索方法相结合。这些模型可以重新制定为混合整数线性规划(MILP)模型,可以很容易地实现和解决使用现成的优化软件。计算结果表明,模型的最优性缺口在最优策略成本的$0.3\%$左右,计算时间合理。
2017-02-28 math.OC
Integer Set Reduction for Stochastic Mixed-Integer Programming
两阶段随机混合整数规划(SMIP)问题的第二阶段为一般整数变量,一般难以求解。本文发展了整数集约简理论,用于刻画第二阶段子问题的可行整数点的凸包子集,可用于求解SMIP。其基本思想是考虑一个足够小的子集的可行整数点,这是必要的整数子问题产生一个有效的不等式。然后设计了一种基于子问题LP-松弛的解决方案获得这样一个子集的算法,并将其纳入SMIP的Fenchel分解方法中。为了证明新的整数集约简方法的性能,进行了基于随机生成的测试实例的计算研究。研究结果表明,整数集减少提供了显着的收益,在产生削减更快,导致更好的界限,在解决SMIP比使用直接求解器。
2016-04-29 math.OC
Nash-equilibria and N-fold integer programming
受R. W. Rosenthal,我们研究了整数规划对策的广义纳什均衡。我们证明了广义纳什均衡总是存在的,并与一个所谓的N-倍整数规划的最优解。这个链接使我们能够建立一些多项式时间复杂性的结果解决这个最优化问题和它的逆对应部分。
2009-03-26 math.CO math.OC
Another pedagogy for mixed-integer Gomory
我们提出了一个版本的GMI(Gomory混合整数)削减的方式,使他们得出相对于一个“对偶形式”的混合整数最优化问题和应用在标准形式的原始侧列,使用原始单纯形算法。这遵循He和Lee的一般方案,他们做了Gomory纯整数割的情况。我们的输入混合整数问题不是标准式的,因此我们的削减的推导方式与通常的推导方式相当不同。一个方便的方法来开发GMI割是从MIR(混合整数舍入)割,这是从二维BMI(基本混合整数)割,其中涉及一个非负连续变量和一个整数变量。连续变量的非负性对我们来说不是正确的工具,因为我们的起点(“对偶形式”混合整数最优化问题)没有非负性。所以我们得出了一个不同的二维起点,一个连续变量和一个整数变量的一对有点随意的不等式。最后,我们遵循He和Lee的方法,得到了求解混合整数最优化问题的一个收敛性良好的原始单纯形列生成算法。
2015-10-22 math.OC
An Integer Programming Approach to Deep Neural Networks with Binary Activation Functions
RWTH Aachen University(亚琛工业大学);African Institute for Mathematical Sciences(非洲数学科学研究所);Stellenbosch University(斯泰伦博斯大学)
我们研究了具有二元激活函数(BDNN)的深度神经网络,即激活函数只有两个状态。我们表明,BDNN可以重新制定为一个混合整数线性规划,可以解决经典的整数规划求解器的全局最优性。此外,一个启发式求解算法,我们研究了数据不确定性下的模型,采用两阶段的鲁棒优化方法。我们在随机和真实数据集上实现了我们的方法,并表明BDNN的启发式版本在乳腺癌威斯康星数据集上的表现优于经典的深度神经网络,而在随机数据上的表现更差。
2020-08-07 cs.LG cs.NE math.OC
A LP relaxation based matheuristic for multi-objective integer programming
基于他们在单目标领域的成功,我们提出了一个非常简单的基于线性规划的三目标二元整数规划的数学模型。为了解决这个问题,我们得到了下界集的矢量线性规划求解器Bensolve。然后,简单的启发式方法,如四舍五入和路径重连,被施加到这个下界集,以获得高质量的近似的最佳的折衷解决方案。所提出的算法相比,最近建议的算法,据我们所知,三目标整数规划的唯一现有的数学方法。计算实验表明,我们的方法产生一个更好的近似真实的帕累托前沿使用显着更少的时间比基准方法的标准基准实例的三目标背包问题。
2021-02-06 math.OC
Hidden Convexity via Symmetric Displacement Covers: Mixed-Integer Quadratic Programming and Integer Cubic Programming in Fixed Dimension
Grado Department of Industrial and Systems Engineering, Virginia Tech(弗吉尼亚理工大学工业与系统工程系)
本文证明固定维数下有理三次多项式在整数点上的精确最小化可多项式求解,通过结合精确恒等式与整数查询分离预言机等技巧,并解释了三次为方法自然边界的原因。
2026-09-25 math.OC
Short Rational Generating Functions For Multiobjective Linear Integer Programming
本文提出了求解多目标整数规划问题的算法。该算法使用Barvinok的有理函数的多面体,定义的可行域,并提供作为输出的整个非支配解决方案的问题。文中给出了算法的理论复杂度结果。具体来说,我们证明了编码的整个非支配解决方案的问题是多项式可行的,当决策空间的维数是固定的。此外,我们提供了多项式延迟算法枚举这个集合。算法的实现表明,该算法对求解多目标整数线性规划是有效的。
2008-03-04 math.OC
On the ReLU Lagrangian Cuts for Stochastic Mixed Integer Programming
本文研究随机混合整数规划,通过ReLU函数重构非预期性约束提出ReLU拉格朗日割,证明其能实现最优性,推导闭式表达式并用线性规划加速生成,数值实验验证了有效性。
2024-11-09 math.OC
Augmentation approaches for Mixed Integer Programming
针对一般MIP,本文研究可行集结构与有限测试集存在性的关系,提出并刻画了一个可计算、可嵌入有限增广算法的测试集。
2025-09-29 math.OC
Exact Augmented Lagrangian Duality for Mixed Integer Quadratic Programming
混合整数二次规划(MIQP)是在有理多面体上的混合整数点上最小化凸二次函数的问题。本文主要研究MIQP的增广拉格朗日对偶(ALD)。ALD增加了通常的拉格朗日对偶的加权非线性惩罚的对偶约束。我们首先证明了ALD将达到一个零的对偶间隙渐近的重量的惩罚趋于无穷大的罚函数在一些温和的条件下。我们接下来表明,当我们使用任何范数作为罚函数时,有限的罚权重对于零间隙是足够的。最后,我们证明了一个多项式约束的重量上的惩罚项,以获得零差距。
2019-07-01 math.OC
FPTAS for mixed-integer polynomial optimization with a fixed number of variables
当变量个数固定时,我们证明了在凸多胞体中的混合整数集上最大化非负多项式问题的FPTAS的存在性。
2005-05-31 math.OC
Theory and Applications of N-Fold Integer Programming
本文综述了我们最近提出的n重整数规划理论,它能在多项式时间内求解变维数的基本线性和非线性整数规划问题。我们证明了它的力量,获得第一个多项式时间算法在几个应用领域,包括多商品流和隐私统计数据库。
2009-12-03 cs.DM cs.DS math.CO
Intersection Cuts for Nonlinear Integer Programming: Convexification Techniques for Structured Sets
本文研究了从混合线性规划到混合非线性规划的分裂、k-分支分裂和交割的推广。构造这种割需要计算具有简单几何结构的凸集与开集之间的差的凸包。我们介绍了两种技术,给出精确的刻画,这样的凸包,并使用它们来构建分裂,k-分支分裂,并为几个类的非多面体集的相交切割。特别是,我们给出了简单的公式,基本上所有的凸集的分裂切割所描述的一个单一的二次不等式。我们也给出了简单的公式,k-分支分裂切割和一些一般的相交切割的各种凸二次集。
2014-06-11 math.OC
Computing sandpile configurations using integer linear programming
众所周知,反复出现的沙堆构形可以表征为某些最优化问题的最优解。在这篇文章中,我们提出了两个新的整数线性规划模型,一个计算递归配置和其他计算的顺序的配置。最后,利用线性规划的对偶性,计算了正则图的锥的恒等构型。
2020-08-31 math.CO math.OC
Squaring the square with integer linear programming
我们考虑所谓的正方形--一个给定的正方形(或长方形)应该被分割成更小的正方形。对于这样的问题的一个具体实例,我们证明了一个数学上严格的解决方案可以相当参与。作为一种替代穷举使用量身定制的算法,我们描述的一般方法制定的问题作为一个整数线性规划。
2014-01-24 math.OC
A Feasible Active Set Method with Reoptimization for Convex Quadratic Mixed-Integer Programming
针对非负约束的凸二次规划问题,提出了一种可行有效集方法。这种方法是专门设计嵌入到凸二次混合整数规划问题的分支定界算法。分支定界算法将Buchheim,Caprara和Lodi提出的无约束凸二次整数规划的方法推广到存在线性约束的情况。后一种方法的主要特点在于一个复杂的预处理阶段,导致快速枚举的分支和边界节点。此外,可行有效集方法利用了这个预处理阶段,非常适合重新优化。随机生成的实例的实验结果表明,新方法显着优于MIQP求解器的CPLEX 12.6的实例与少量的约束。
2015-12-08 math.OC
Solving Heated Oil Pipeline Problems Via Mixed Integer Nonlinear Programming Approach
如何加热原油,节约原油输送的运行费用,是原油输送中的一个关键问题。本文将热油管道问题严格地表述为一个混合整数非线性规划模型。提出了模型的非凸和凸连续松弛,并在适当的条件下证明了它们的等价性。同时,我们提供了一个预处理过程,以保证这些条件。因此,我们可以设计一个分支定界算法来求解混合整数非线性规划模型的全局最优解。为了提高分枝定界算法的效率,提出了一种外逼近方法,并采用了热启动技术。对一个实际热油管道问题的数值实验表明,该算法获得了较好的方案,与实际方案相比,可以节省6.83%的运行费用。
2019-07-25 math.OC
Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms
本文提出混合整数半定规划的拉格朗日对偶理论,推导对偶问题并证明其对偶界优于连续松弛界,提出三种算法及界层次,数值实验显示在最大k割问题上界更强。
2025-07-09 math.OC
Scanning integer points with lex-inequalities: A finite cutting plane algorithm for integer programming with linear objective
我们考虑由格基定义的字典序规则排序的幺模锥K中的整数点。对于K中的每个整数点x,我们关联一个不等式族(lex-cut),该不等式族定义了K中在字典上不小于x的整数点的凸包。lex-cut族包含Chvatal-Gomory cut,但不包含且不包含在split cut族中。这提供了求解整数规划min{cx:x \in S \cap Z^n }的有限割平面法,其中S \subset R^n是紧集,c \in Z^n .我们分析了我们的算法的迭代次数。
2020-07-28 math.OC
Computing the Integer Programming Gap
在矩阵和费用函数固定但右端不确定的情况下,确定了整数规划的最优值与其线性规划松弛的最优值之间的最大差距.我们的公式涉及单项理想的不可约分解。当维数固定时,可以在多项式时间内计算间隙。
2003-01-23 math.AC math.CO math.OC
Computing Approximate Nash Equilibria for Integer Programming Games
本研究针对带非线性收益的整数规划博弈,提出基于目标函数绝对近似与分段线性近似的近似纳什均衡计算框架,证明近似因子加倍的等价性,实验验证了方法的计算有效性。
2024-02-06 math.OC
Certificates and relaxations for integer programming and the semi-group membership problem
我们考虑了整数规划和半群隶属度问题。本文给出了一个择一性定理:系统Ax=b没有非负整数解x当且仅当对给定的系数向量落在我们所刻划的凸锥内的多项式p,p(b)<0.我们还提供了一个层次的线性规划松弛,连续的情况下Ax=B与x真实和非负的,描述了第一个放松的层次。
2009-05-11 cs.DM math.OC
Algorithms the min-max regret 0-1 Integer Linear Programming Problem with Interval Data
我们解决的区间数据最小最大遗憾0-1线性规划问题(MMR-ILP),一个变种的0-1线性规划问题的目标函数系数是不确定的。我们解决MMR-ILP使用Benders样的分解算法和两个元算法的最小-最大遗憾问题的区间数据。在MIPLIB实例上的计算实验表明,与Benders类分解算法相比,该算法在合理的计算时间内获得了较好的结果.
2019-08-14 cs.DS math.OC
The ZERO Regrets Algorithm: Optimizing over Pure Nash Equilibria via Integer Programming
设计有效的算法来计算纳什均衡在数学对策论和优化中提出了相当大的挑战。在这项工作中,我们采用整数规划技术来计算纳什均衡的整数规划游戏,一类同时和非合作对策,每个球员解决一个参数化的整数规划。我们介绍零遗憾,一个通用的和有效的切割平面算法计算,枚举,并选择纳什均衡。我们的框架利用了均衡不平等的概念,对任何纳什均衡有效的不平等,以及相关的均衡分离预言。我们评估我们的算法框架上的广泛的实际和方法的问题,从文献中,提供了一个坚实的基准对现有的方法。
2022-09-15 cs.GT math.OC
Mixed Integer Linear Programming and Constraint Programming Models for the Online Printing Shop Scheduling Problem
在这项工作中,在线印刷车间调度问题。这一挑战性的现实问题,出现在当今的印刷业,可以被看作是一个灵活的作业车间调度问题的顺序灵活性,其中的作业之间的优先约束是由一个任意有向无圈图。此外,几个复杂的特殊性,如不可用的机器,可拆卸的操作,顺序相关的设置时间,部分重叠的操作之间的优先约束,释放时间,和固定的操作也存在于所解决的问题。在目前的工作中,混合整数线性规划和约束规划模型的最小化的最大完工时间。对问题进行建模是双重的。一方面,问题被精确地定义。另一方面,商业软件求解模型的能力和局限性进行了分析。广泛的数值实验与小型,中型和大型的实例。数值实验表明,当考虑混合整数线性规划模型时,该商业求解器仅能最优求解一小部分小型实例;而当考虑约束规划问题时,该商业求解器能最优求解所有小型实例和一小部分中型实例.此外,商业求解器能够提供可行解的大规模的实例的大小,出现在实践中。
2022-02-20 math.OC
A Gilmore-Gomory-Type Construction of Integer Programming Value Functions
本文分析了在整数规划中依次引入决策变量对值函数及其水平集的影响。我们使用Gilmore-Gomory的方法来找到参数化的IP值函数在一组有限的变量。我们引入了水平集的最大连通子集的概念-卷中,约束右侧的变化对值函数没有影响-并将这些结构与IP值函数和最优解相关。
2021-02-02 math.OC
A mixed integer programming approach to the tensor complementarity problem
本文建立了一种求解张量互补性问题(TCP)的新方法。给出了一个混合整数规划模型,并通过求解该模型来求解TCP。TCP被配制成一个等价的混合整数可行性问题。在此基础上,得到了保证TCP可解的条件。特别地,给出了TCP无解的一个充分条件。给出了解存在的一个充要条件。同时给出了具有正定张量的TCP解集的具体界。此外,我们还证明了具有对角正定张量的TCP具有唯一解。几个测试问题的数值实验表明,所提出的方法的效率方面的质量得到的解决方案。
2018-04-02 math.OC
Using Integer Programming to Solve Games, Puzzles, and Ciphers
本文介绍了三类基于整数规划的本科生研究项目,涵盖The Genius Square游戏求解、Ticket to Ride火车分配优化及单字母替换密码破解,并分享了初始模型与开放问题。
2025-09-15 math.OC