CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints

05/05/2021
by   Anselm Paulus, et al.
0

Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact. On the algorithmic side, many NP-hard problems can be expressed as integer programs, in which the constraints play the role of their "combinatorial specification". In this work, we aim to integrate integer programming solvers into neural network architectures as layers capable of learning both the cost terms and the constraints. The resulting end-to-end trainable architectures jointly extract features from raw data and solve a suitable (learned) combinatorial problem with state-of-the-art integer programming solvers. We demonstrate the potential of such layers with an extensive performance analysis on synthetic data and with a demonstration on a competitive computer vision keypoint matching benchmark.

READ FULL TEXT

page 6

page 8

research
03/06/2022

A Survey for Solving Mixed Integer Programming via Machine Learning

This paper surveys the trend of leveraging machine learning to solve mix...
research
03/25/2020

Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers

Building on recent progress at the intersection of combinatorial optimiz...
research
05/01/2023

Integer Linear Programming Formulations for Triple and Quadruple Roman Domination Problems

Roman domination is a well researched topic in graph theory. Recently tw...
research
12/04/2019

Differentiation of Blackbox Combinatorial Solvers

Achieving fusion of deep learning with combinatorial algorithms promises...
research
05/12/2023

Scalable Coupling of Deep Learning with Logical Reasoning

In the ongoing quest for hybridizing discrete reasoning with neural nets...
research
04/19/2021

Learning to Sparsify Travelling Salesman Problem Instances

In order to deal with the high development time of exact and approximati...
research
05/14/2020

Algorithmic Techniques for Necessary and Possible Winners

We investigate the practical aspects of computing the necessary and poss...

Please sign up or login with your details

Forgot password? Click here to reset