Publication:1850118: Difference between revisions

From MaRDI portal
Publication:1850118
Created automatically from import240129110113
 
(No difference)

Latest revision as of 11:06, 1 February 2024

DOI10.1016/S0166-218X(01)00332-8zbMATH Open1007.05083arXivmath/9912222OpenAlexW2078342963MaRDI QIDQ1850118FDOQ1850118

Eugen Mandrescu, Vadim E. Levit

Publication date: 2 December 2002

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Abstract: A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set if it is a maximum stable set of the subgraph of G spanned by the union of S and N(S), where N(S) is the neighborhood of S. One theorem of Nemhauser and Trotter Jr., working as a useful sufficient local optimality condition for the weighted maximum stable set problem, ensures that any local maximum stable set of G can be enlarged to a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for forests. Namely, we show that for any non-empty local maximum stable set S of a forest T there exists a local maximum stable set S1 of T, such that S1 is included in S and |S1| = |S| - 1. Moreover, as a further strengthening of both the theorem of Nemhauser and Trotter Jr. and its inverse, we prove that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set.


Full work available at URL: https://arxiv.org/abs/math/9912222





Cites Work


Cited In (14)






This page was built for publication: A new greedoid: The family of local maximum stable sets of a forest

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850118)