Table of Contents
Fetching ...

Network Interdiction Goes Neural

Lei Zhang, Zhiqian Chen, Chang-Tien Lu, Liang Zhao

TL;DR

This work tackles network interdiction, a bi-level optimization problem where an attacker perturbs a graph to hamper a defender solving a CO problem. It introduces MMILP-GNN, a multipartite graph neural network that operates on MMILP-graphs derived from a single-level MILP reduction of interdiction instances, enabling learning of interdiction decisions with better compatibility to classical solvers. The authors establish theoretical representational guarantees via WL_MMILP and demonstrate algorithmic alignment with exact methods, complemented by empirical results on shortest-path and maximum-flow interdiction showing competitive performance against baselines and practical speedups when combined with a predict-and-search strategy. This approach provides a scalable bridge between neural learning and traditional MILP-based interdiction methods, with potential impact for attackers-defenders problems in networks and logistics.

Abstract

Network interdiction problems are combinatorial optimization problems involving two players: one aims to solve an optimization problem on a network, while the other seeks to modify the network to thwart the first player's objectives. Such problems typically emerge in an attacker-defender context, encompassing areas such as military operations, disease spread analysis, and communication network management. The primary bottleneck in network interdiction arises from the high time complexity of using conventional exact solvers and the challenges associated with devising efficient heuristic solvers. GNNs, recognized as a cutting-edge methodology, have shown significant effectiveness in addressing single-level CO problems on graphs, such as the traveling salesman problem, graph matching, and graph edit distance. Nevertheless, network interdiction presents a bi-level optimization challenge, which current GNNs find difficult to manage. To address this gap, we represent network interdiction problems as Mixed-Integer Linear Programming (MILP) instances, then apply a multipartite GNN with sufficient representational capacity to learn these formulations. This approach ensures that our neural network is more compatible with the mathematical algorithms designed to solve network interdiction problems, resulting in improved generalization. Through two distinct tasks, we demonstrate that our proposed method outperforms theoretical baseline models and provides advantages over traditional exact solvers.

Network Interdiction Goes Neural

TL;DR

This work tackles network interdiction, a bi-level optimization problem where an attacker perturbs a graph to hamper a defender solving a CO problem. It introduces MMILP-GNN, a multipartite graph neural network that operates on MMILP-graphs derived from a single-level MILP reduction of interdiction instances, enabling learning of interdiction decisions with better compatibility to classical solvers. The authors establish theoretical representational guarantees via WL_MMILP and demonstrate algorithmic alignment with exact methods, complemented by empirical results on shortest-path and maximum-flow interdiction showing competitive performance against baselines and practical speedups when combined with a predict-and-search strategy. This approach provides a scalable bridge between neural learning and traditional MILP-based interdiction methods, with potential impact for attackers-defenders problems in networks and logistics.

Abstract

Network interdiction problems are combinatorial optimization problems involving two players: one aims to solve an optimization problem on a network, while the other seeks to modify the network to thwart the first player's objectives. Such problems typically emerge in an attacker-defender context, encompassing areas such as military operations, disease spread analysis, and communication network management. The primary bottleneck in network interdiction arises from the high time complexity of using conventional exact solvers and the challenges associated with devising efficient heuristic solvers. GNNs, recognized as a cutting-edge methodology, have shown significant effectiveness in addressing single-level CO problems on graphs, such as the traveling salesman problem, graph matching, and graph edit distance. Nevertheless, network interdiction presents a bi-level optimization challenge, which current GNNs find difficult to manage. To address this gap, we represent network interdiction problems as Mixed-Integer Linear Programming (MILP) instances, then apply a multipartite GNN with sufficient representational capacity to learn these formulations. This approach ensures that our neural network is more compatible with the mathematical algorithms designed to solve network interdiction problems, resulting in improved generalization. Through two distinct tasks, we demonstrate that our proposed method outperforms theoretical baseline models and provides advantages over traditional exact solvers.
Paper Structure (18 sections, 3 theorems, 34 equations, 3 figures, 2 tables, 1 algorithm)

This paper contains 18 sections, 3 theorems, 34 equations, 3 figures, 2 tables, 1 algorithm.

Key Result

Theorem 4.1

For two MMILP-graphs $(G, H)$ and $(\hat{G}, \hat{H})$, they cannot be distinguished by $\mathrm{WL}_{\mathrm{MMILP}}$ if and only if $F(G,H) = F(\hat{G}, \hat{H}), \forall F\in \mathcal{F}$

Figures (3)

  • Figure 1: Network Interdiction Instance and the Corresponding MMILP-Graph
  • Figure 2: Example Shortest Path Interdiction Instance
  • Figure 3: Averaged results visualization from 2,000 runs for each of the two methods.

Theorems & Definitions (10)

  • Definition 2.1: Network Interdiction Problem
  • Example 2.1: Shortest Path Interdiction
  • Example 3.1: Single-Level Reduction for the Shortest Path Interdiction Problem
  • Definition 3.1: MMILP-graph
  • Example 3.2: MMILP-Graph for a Specific Shortest Path Interdiction Instance
  • Theorem 4.1
  • Lemma 4.2
  • Lemma 4.3
  • proof : Proof of Lemma \ref{['lem:sameWL2sameWGNN']}
  • proof : Proof of Lemma \ref{['lem:sameGNN2sameWL']}