Persistency of Linear Programming Relaxations for the Stable Set Problem

Elisabeth Rodríguez-Heck, Karl Stickler, Matthias Walter, Stefan Weltge

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The Nemhauser-Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency: for every optimal LP solution that assigns integer values to some variables, there exists an optimal integer solution in which these variables retain the same values. While the standard LP is defined by only non-negativity and edge constraints, a variety of stronger LP formulations have been studied and one may wonder whether any of them has the this property as well. We show that any stronger LP formulation that satisfies mild conditions cannot have the persistency property on all graphs, unless it is always equal to the stable-set polytope.

Original languageEnglish
Title of host publicationInteger Programming and Combinatorial Optimization - 21st International Conference, IPCO 2020, Proceedings
EditorsDaniel Bienstock, Giacomo Zambelli
PublisherSpringer
Pages351-363
Number of pages13
ISBN (Print)9783030457709
DOIs
StatePublished - 2020
Event21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020 - London, United Kingdom
Duration: 8 Jun 202010 Jun 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12125 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020
Country/TerritoryUnited Kingdom
CityLondon
Period8/06/2010/06/20

Keywords

  • Integer linear programming
  • Persistency
  • Stable set

Fingerprint

Dive into the research topics of 'Persistency of Linear Programming Relaxations for the Stable Set Problem'. Together they form a unique fingerprint.

Cite this