paper-with-me

Papers

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

2021-05-05 · Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius

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.

📄 PDF Abstract BibTeX arXiv:2105.02343

Code (1)

martius-lab/CombOptNet 공식 구현 pytorch

Similar Papers 제목 키워드 기반

Fit The Right NP-Hard Problem: End-to-end Learning of Integer Programming Constraints

2020-10-17 · NeurIPS Workshop LMCA 2020 12 · Anselm Paulus, Michal Rolinek, Vít Musil, Brandon Amos 외

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 int…

Exact MAP Inference by Avoiding Fractional Vertices

2017-03-08 · ICML 2017 8 · Erik M. Lindgren, Alexandros G. Dimakis, Adam Klivans

Given a graphical model, one essential problem is MAP inference, that is, finding the most likely configuration of states according to the model. Although this problem is NP-hard, large instances can be solved in practic…

Open-Ended Question Answering

Mathematical Programming Strategies for Solving the Minimum Common String Partition Problem

2014-05-22 · Christian Blum, José A. Lozano, Pedro Pinacho Davidson

The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this…

Combinatorial Optimization

Mixed Integer Goal Programming for Personalized Meal Optimization with User-Defined Serving Granularity

2026-03-12 · Francisco Aguilera Moreno arxiv

Determining what to eat to satisfy nutritional requirements is one of the oldest optimization problems in operations research, yet existing formulations have two persistent limitations: continuous variables produce impra…

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic

2024-10-16 · Lennert De Smet, Pedro Zuidberg Dos Martires

As illustrated by the success of integer linear programming, linear integer arithmetic is a powerful tool for modelling combinatorial problems. Furthermore, the probabilistic extension of linear programming has been used…