Three remarks on W graphs
Carl Feghali,Malory Marin
DOI: https://doi.org/10.1016/j.tcs.2024.114403
IF: 1.002
2024-04-01
Theoretical Computer Science
Abstract:Let k ≥ 1 . A graph G is W k if for any k pairwise disjoint independent vertex subsets A 1 , … , A k in G, there exist k pairwise disjoint maximum independent sets S 1 , … , S k in G such that A i ⊆ S i for i ∈ [ k ] . Recognizing W 1 graphs is coNP-hard, as shown by Chvátal and Slater (1993) and, independently, by Sankaranarayana and Stewart (1992). Extending this result and answering a recent question of Levit and Tankus, we show that recognizing W k graphs is coNP-hard for k ≥ 2 . On the positive side, we show that recognizing W k graphs is, for each k ≥ 2 , FPT parameterized by clique-width and by tree-width. Finally, we construct graphs G that are not W 2 such that, for every vertex v in G and every maximal independent set S in G − N [ v ] , the largest independent set in N ( v ) ∖ S consists of a single vertex, thereby refuting a conjecture of Levit and Tankus.
computer science, theory & methods