Abstract:Integer programming (IP) has proven to be highly effective in solving many path-based optimization problems in robotics. However, the applications of IP are generally done in an ad-hoc, problem specific manner. In this work, after examined a wide range of path-based optimization problems, we describe an IP solution methodology for these problems that is both easy to apply (in two simple steps) and high-performance in terms of the computation time and the achieved optimality. We demonstrate the generality of our approach through the application to three challenging path-based optimization problems: multi-robot path planning (MPP), minimum constraint removal (MCR), and reward collection problems RCPs). Associated experiments show that the approach can efficiently produce (near-)optimal solutions for problems with large state spaces, complex constraints, and complicated objective functions. In conjunction with the proposition of the IP methodology, we introduce two new and practical robotics problems: multi-robot minimum constraint removal (MMCR) and multi-robot path planning (MPP) with partial solutions, which can be quickly and effectively solved using our proposed IP solution pipeline.

A Class of Polynomially Solvable 0–1 Programming Problems and an Application

A Polynomial Time Algorithm For 0-1 Integer Linear Programmings

Solving Convex Quadratic Programming by Potential-Reduction Interior-Point Algorithm

Polynomially Solvable Cases Of Binary Quadratic Programs

Solving the Binary Linear Programming Model in Polynomial Time

An Exact Algorithm for 0-1 Polynomial Knapsack Problems

On complexity of unconstrained hyperbolic 0-1 programming problems

An exact solution method for unconstrained quadratic 0–1 programming: a geometric approach

Continuous-Time Systems for Solving 0-1 Integer Linear Programming Feasibility Problems

On modeling hard combinatorial optimization problems as linear programs: Refutations of the "unconditional impossibility" claims

0-1 Integer Linear Programming with a Linear Number of Constraints

An Algorithm for Solving the Global Optimization of Nonlinear Integer Programming

Fine-Grained Equivalence for Problems Related to Integer Linear Programming

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming

Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints

A Polynomially Solvable Case of Optimal Linear Extension Problem of a Poset

Recent Advances in Mathematical Programming with Semi-continuous Variables and Cardinality Constraint

Globally Solving Quadratic Programs with Convex Objective and Complementarity Constraints Via Completely Positive Programming

Applications and algorithms for mixed integer nonlinear programming

Integer Programming as a General Solution Methodology for Path-Based Optimization in Robotics: Principles, Best Practices, and Applications

On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers"