(Mixed) Integer Linear Programming

PaNGEA: Parallel Node Generation and Exploration Algorithm

Categories (Mixed) Integer Linear Programming, Integer Programming Tags ,

Primal heuristics for finding high-quality feasible solutions are an important component in mixed-integer optimization (MIO) solvers. Recent advances in GPU-accelerated optimization algorithms show the potential of GPU acceleration for continuous optimization. In this paper, we introduce the Parallel Node Generation and Exploration Algorithm (PaNGEA), a GPU-friendly MIO primal heuristic. PaNGEA explores restricted subproblems by combining … Read more

Route `Em and Count `Em: A Two-Stage Stochastic Programming Model for Anti-Submarine Operations

Categories (Mixed) Integer Linear Programming, Stochastic Programming, Transportation Tags , , ,

Tracking targets in undersea warfare requires successful detection by an active search asset. Maximizing detection likelihood requires strategic placement and routing of the search assets in the search region over the planning horizon. We develop a two-stage stochastic integer programming model that maximizes the expected total reward for target detections under uncertainty in target motion … Read more

Stochastic Queens Elimination

Categories (Mixed) Integer Linear Programming, Dynamic Programming Tags , , , ,

This research introduces the Stochastic Sequential Queens Elimination Problem, where on the \(n\)-queens board, each activated queen simultaneously attempts to eliminate all queens in her unblocked neighborhood, each independently succeeding with probability \(p\). The objective is to minimize the expected cumulative conflict count over the trajectory. This research proposes a Markov decision process for this … Read more

Polyhedral Bounds for Forbidden-Vertices Sets and No-Good Cut Relaxations

Categories (Mixed) Integer Linear Programming, 0-1 Programming, Linear Programming Tags , ,

We study the convex hull obtained after deleting prescribed vertices from the binary cube. The analysis separates three regimes according to the number of deleted vertices. When this number is fixed, both the original-space facet count and the linear extension complexity remain linear in the ambient dimension, up to constants depending only on the number … Read more

Spatial Optimization Models for Width-Constrained Wildlife Corridor Design

Categories (Mixed) Integer Linear Programming, Applications - OR and Management Sciences, Applications - Science and Engineering Tags , , ,

Human activities increasingly fragment natural habitats, placing many species at risk of population decline. This creates an urgent need to preserve biodiversity and maintain ecological connectivity through wildlife corridors. We present two spatial optimization models for corridor design that explicitly incorporate corridor width as a key ecological criterion. The first model minimizes total corridor cost … Read more

When do Mixed-Integer Games Admit Rational Equilibria?

Categories (Mixed) Integer Linear Programming, Game Theory Tags , , , ,

We consider mixed-integer linear-quadratic generalized Nash equilibrium problems, i.e., games in which each player solves a mixed-integer program subject to linear constraints in her own and rivals’ strategies as well as an objective which is quadratic in her own strategies and bilinear in her own and rivals’ strategies. For this class of games, we study … Read more

Exact Approaches for the Maximum Mortality Rate Clique Problem

Categories (Mixed) Integer Linear Programming, Applications - OR and Management Sciences, Branch and Cut Algorithms Tags , , ,

This paper develops exact solution methods for the maximum mortality rate clique problem, which aims to identify a cluster of diseases in a comorbidity graph associated with the highest mortality rate among patients whose healthcare encounters are recorded in electronic health records. We establish the NP-hardness of the problem and propose two mixed-integer linear programming … Read more

Relief-based Anesthesiologist Scheduling with Stochastic Surgery Durations

Categories (Mixed) Integer Linear Programming, Scheduling, Stochastic Programming Tags , , ,

We present a two-stage stochastic programming model for scheduling anesthesiologists to operating rooms under uncertainty in surgery durations. The proposed model takes a relief order to balance anesthesiologists’ workload as input and captures the trade-offs between anesthesiologist relief times, handoffs and under-staffing. To address the computational challenges of solving the proposed model, we derive supervalid … Read more

Convex Hulls of Binary Reflected Gray Code Intervals

Categories (Mixed) Integer Linear Programming, Linear Programming, Polyhedra Tags , ,

The binary reflected Gray code orders the vertices of the unit hypercube along a Hamiltonian path in which consecutive vertices differ in exactly one coordinate. While Gray codes have been extensively studied from a combinatorial perspective, much less is known about the polyhedral structure of convex hulls of contiguous subpaths of this order. This paper … Read more