Integer Programming Formulations for Minimum Spanning Tree Interdiction

Ningji Wei, Jose L. Walteros, Foad Mahdavi Pajouh

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Abstract

We consider a two-player interdiction problem staged over a graph where the attacker's objective is to minimize the cost of removing edges from the graph so that the defender's objective, that is, the weight of a minimum spanning tree in the residual graph, is increased up to a predefined level r. Standard approaches for graph interdiction frame this type of problems as bilevel formulations, which are commonly solved by replacing the inner problem by its dual to produce a single-level reformulation. In this paper, we study an alternative integer program derived directly from the attacker's solution space and show that this formulation yields a stronger linear relaxation than the bilevel counterpart. Furthermore, we analyze the convex hull of the feasible solutions of the problem and identify several families of facet-defining inequalities that can be used to strengthen this integer program. We then proceed by introducing a different formulation defined by a set of so-called supervalid inequalities that may exclude feasible solutions, albeit solutions whose objective value is not better than that of an edge cut of minimum cost. We discuss several computational aspects required for an efficient implementation of the proposed approaches. Finally, we perform an extensive set of computational experiments to test the quality of these formulations, analyzing and comparing the benefits of each model, as well as identifying further enhancements. Summary of Contribution: Network interdiction has received significant attention over the last couple of decades, with a notable peak of interest in recent years. This paper provides an interesting balance between the theoretical and computational aspects of solving a challenging network interdiction problem via integer programming. We present several technical developments, including a detailed study of the problem's solution space, multiple formulations, and a polyhedral analysis of the convex hull of feasible solutions. We then analyze the results of an extensive set of computational experiments that were used to validate the effectiveness of the differentmethods we developed in this paper.

Original languageEnglish
Pages (from-to)1461-1480
Number of pages20
JournalINFORMS Journal on Computing
Volume33
Issue number4
DOIs
StatePublished - Sep 2021

Keywords

  • bilevel optimization
  • minimum edge blocker problems
  • minimum spanning tree
  • network interdiction

Fingerprint

Dive into the research topics of 'Integer Programming Formulations for Minimum Spanning Tree Interdiction'. Together they form a unique fingerprint.

Cite this