scholarly journals Consistency Cuts for Dantzig-Wolfe Reformulations

2022 ◽  
Author(s):  
Jens Vinther Clausen ◽  
Richard Lusby ◽  
Stefan Ropke

A New Family of Valid-Inequalities for Dantzig-Wolfe Reformulation of Mixed Integer Linear Programs In “Consistency Cuts for Dantzig-Wolfe Reformulation,” Jens Vinther Clausen, Richard Lusby, and Stefan Ropke present a new family of valid inequalities to be applied to Dantzig-Wolfe reformulations with binary linking variables. They show that, for Dantzig-Wolfe reformulations of mixed integer linear programs that satisfy certain properties, it is enough to solve the linear programming relaxation of the Dantzig-Wolfe reformulation with all consistency cuts to obtain integer solutions. An example of this is the temporal knapsack problem; the effectiveness of the cuts is tested on a set of 200 instances of this problem, and the results are state-of-the-art solution times. For problems that do not satisfy these conditions, the cuts can still be used in a branch-and-cut-and-price framework. In order to show this, the cuts are applied to a set of generic mixed linear integer programs from the online library MIPLIB. These tests show the applicability of the cuts in general.

2016 ◽  
Vol 2016 ◽  
pp. 1-11
Author(s):  
Kevin K. H. Cheung ◽  
Babak Moazzez

We introduce generalized subadditive generator functions for mixed integer linear programs. Our results extend Klabjan’s work from pure integer programs with nonnegative entries to general MILPs. These functions suffice to achieve strong subadditive duality. Several properties of the functions are shown. We then use this class of functions to generate certificates of optimality for MILPs. We have performed a computational test study on knapsack problems to investigate the efficiency of the certificates.


Author(s):  
Yannik Rist ◽  
Michael A. Forbes

This paper proposes a new mixed integer programming formulation and branch and cut (BC) algorithm to solve the dial-a-ride problem (DARP). The DARP is a route-planning problem where several vehicles must serve a set of customers, each of which has a pickup and delivery location, and includes time window and ride time constraints. We develop “restricted fragments,” which are select segments of routes that can represent any DARP route. We show how to enumerate these restricted fragments and prove results on domination between them. The formulation we propose is solved with a BC algorithm, which includes new valid inequalities specific to our restricted fragment formulation. The algorithm is benchmarked on existing and new instances, solving nine existing instances to optimality for the first time. In comparison with current state-of-the-art methods, run times are reduced between one and two orders of magnitude on large instances.


2014 ◽  
Vol 233 (3) ◽  
pp. 459-473 ◽  
Author(s):  
Xiaobo Li ◽  
Karthik Natarajan ◽  
Chung-Piaw Teo ◽  
Zhichao Zheng

Author(s):  
Milan Hladík

Traditionally, game theory problems were considered for exact data, and the decisions were based on known payoffs. However, this assumption is rarely true in practice. Uncertainty in measurements and imprecise information must be taken into account. The interval-based approach for handling such uncertainties assumes that one has lower and upper bounds on payoffs. In this paper, interval bimatrix games are studied. Especially, we focus on three kinds of support set invariancy. Support of a mixed strategy consists of that pure strategies having positive probabilities. Given an interval-valued bimatrix game and supports for both players, the question states as follows: Does every bimatrix game instance have an equilibrium with the prescribed support? The other two kinds of invariancies are slight modifications: Has every bimatrix game instance an equilibrium being a subset/superset of the prescribed support? It is computationally difficult to answer these questions: the first case costs solving a large number of linear programs or mixed integer programs. For the remaining two cases a sufficient condition and a necessary condition are proposed, respectively.


1999 ◽  
Vol 119 (3) ◽  
pp. 671-677
Author(s):  
Gilbert Laporte ◽  
Frédéric Semet

1999 ◽  
Vol 11 (1) ◽  
pp. 63-77 ◽  
Author(s):  
Olivier Guieu ◽  
John W. Chinneck

Author(s):  
Qinxiao Yu ◽  
Yossiri Adulyasak ◽  
Louis-Martin Rousseau ◽  
Ning Zhu ◽  
Shoufeng Ma

This paper studies the team orienteering problem, where the arrival time and service time affect the collection of profits. Such interactions result in a nonconcave profit function. This problem integrates the aspect of time scheduling into the routing decision, which can be applied in humanitarian search and rescue operations where the survival rate declines rapidly. Rescue teams are needed to help trapped people in multiple affected sites, whereas the number of people who could be saved depends as well on how long a rescue team spends at each site. Efficient allocation and scheduling of rescue teams is critical to ensure a high survival rate. To solve the problem, we formulate a mixed-integer nonconcave programming model and propose a Benders branch-and-cut algorithm, along with valid inequalities for tightening the upper bound. To solve it more effectively, we introduce a hybrid heuristic that integrates a modified coordinate search (MCS) into an iterated local search. Computational results show that valid inequalities significantly reduce the optimality gap, and the proposed exact method is capable of solving instances where the mixed-integer nonlinear programming solver SCIP fails in finding an optimal solution. In addition, the proposed MCS algorithm is highly efficient compared with other benchmark approaches, whereas the hybrid heuristic is proven to be effective in finding high-quality solutions within short computing times. We also demonstrate the performance of the heuristic with the MCS using instances with up to 100 customers. Summary of Contribution: Motivated by search and rescue (SAR) operations, we consider a generalization of the well-known team orienteering problem (TOP) to incorporate a nonlinear time-varying profit function in conjunction with routing and scheduling decisions. This paper expands the envelope of operations research and computing in several ways. To address the scalability issue of this highly complex combinatorial problem in an exact manner, we propose a Benders branch-and-cut (BBC) algorithm, which allows us to efficiently deal with the nonconcave component. This BBC algorithm is computationally enhanced through valid inequalities used to strengthen the bounds of the BBC. In addition, we propose a highly efficient hybrid heuristic that integrates a modified coordinate search into an iterated local search. It can quickly produce high-quality solutions to this complex problem. The performance of our solution algorithms is demonstrated through a series of computational experiments.


Sign in / Sign up

Export Citation Format

Share Document