Home

Awesome

Differentiation of Blackbox Combinatorial Solvers: Plug-and-Play Modules

This repository provides a collection of PyTorch modules for combinatorial solvers based on Differentiation of Blackbox Combinatorial Solvers.

By Marin Vlastelica*, Anselm Paulus*, Vít Musil, Georg Martius and Michal Rolínek.

Autonomous Learning Group, Max Planck Institute for Intelligent Systems.

Table of Contents

  1. Introduction
  2. Installation
  3. Content
  4. Usage
  5. Visualizations
  6. Notes

Introduction

This repository contains PyTorch modules that wrap blackbox combinatorial solver via the method proposed in Differentiation of Blackbox Combinatorial Solvers. Besides the solvers employed in the original paper, this repo includes wrapped solvers for ranking (as used in Blackbox Optimizationof Rank-Based Metrics) and Graph Matching/Multigraph Matching (as used in Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers|).

Disclaimer: This code is a PROTOTYPE. It should work fine but use at your own risk.

For the exact usage of the combinatorial modules, see our public implementations of

Installation

Simply install with pip

python3 -m pip install git+https://github.com/martius-lab/blackbox-backprop

For running the TSP module, a manual GurobiPy installation is required as well as a license

Content

Currently, the following solver modules are available (the list will be growing over time)

Combinatorial ProblemSolverPaper
Travelling SalesmanCutting plane algorithm implemented in GurobiDifferentiation of Blackbox Combinatorial Solvers
Shortest Path (on a grid)Dijkstra algorithm (vertex version)Differentiation of Blackbox Combinatorial Solvers
Min-cost Perfect matching on general graphsBlossom V (Kolmogorov, 2009)Differentiation of Blackbox Combinatorial Solvers
Ranking (+ induced Recall & mAP loss functions)torch.argsortBlackbox Optimizationof Rank-Based Metrics
Graph MatchingSwoboda, 2017Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers
Multigraph MatchingSwoboda, 2019Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers

The graph matching and multigraph matching solver and corresponding differentiable PyTorch modules are hosted at the LPMP repository

Usage

Exactly as you would expect of a PyTorch module (with minor details differing from solver to solver)

import blackbox_backprop as bb
...
suggested_weights = ResNet18(raw_inputs)
suggested_shortest_paths = bb.ShortestPath(suggested_weights, lambda_val=5.0) # Set the lambda hyperparameter
loss = HammingLoss(suggested_shortest_paths, true_shortest_paths) # Use e.g. Hamming distance as the loss function
loss.backward() # The backward pass is handled automatically
...

Visualizations

Visualizations that have appeared in the papers can be generated in the attached jupyter notebook. This requires python packages ipyvolume and ipywidgets. Also, make sure to allow all jupyter nbextensions as listed here.

RankingShortest pathGraph Matching
alt textalt textalt text

Notes

Contribute: If you spot a bug or some incompatibility, raise an issue or contribute via a pull request! Thank you!