Abstract:This paper presents a framework for classifying and comparing instances of integer linear programs (ILPs) based on their mathematical structure. It has long been observed that the structure of ILPs can play an important role in determining the effectiveness of certain solution techniques; those that work well for one class of ILPs are often found to be effective in solving similarly structured problems. In this work, the structure of a given ILP instance is captured via a graph-based representation, where decision variables and constraints are described by nodes, and edges denote the presence of decision variables in certain constraints. Using machine learning techniques for graph-structured data, we introduce two approaches for leveraging the graph representations for relating ILPs. In the first approach, a graph convolutional network (GCN) is used to classify ILP graphs as having come from one of a known number of problem classes. The second approach makes use of latent features learned by the GCN to compare ILP graphs to one another directly. As part of the latter approach, we introduce a formal measure of graph-based structural similarity. A series of empirical studies indicate strong performance for both the classification and comparison procedures. Additional properties of ILP graphs, namely, losslessness and permutation invariance, are also explored via computational experiments. History: Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods & Analysis. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2023.0255 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2023.0255 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

The Integer Linear Programming Inference Cookbook

Algebraic Recipes for Integer Programming

The Linear Programming of Uncertain System with Interval Inequation Constraint Coefficients

A Graph-Based Approach for Relating Integer Programs

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference

Interactive Gender Inference with Integer Linear Programming

Integer Programming in Parameterized Complexity: Three Miniatures

On Integer Programs with Irrational Data

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

Mixed Integer Linear Programming Formulation Techniques

Advances in Bayesian Network Learning using Integer Programming

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic

Methods and Models for Interpretable Linear Classification

Integer set reduction for stochastic mixed-integer programming

Satisfiability and Integer Programming As Complementary Tools

A Survey on Inductive Logic Programming

Scaling Integer Arithmetic in Probabilistic Programs

Composing inference algorithms as program transformations

Inference on estimators defined by mathematical programming

Decomposition Strategies to Count Integer Solutions over Linear Constraints

A Unified Framework for Integer Programming Formulation of Graph Matching Problems