Recognizing Maximal Unfrozen Graphs with respect to Independent Sets is CO-NP-complete

A graph is unfrozen with respect to k independent set if it has an independent set of size k after the addition of any edge. The problem of recognizing such graphs is known to be NP-complete. A graph is maximal if the addition of one edge means it is no longer unfrozen. We designate the problem of r...

Full description

Bibliographic Details
Main Authors: Nesrine Abbas, Joseph Culberson, Lorna Stewart
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2005-01-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:https://dmtcs.episciences.org/345/pdf