TY - JOUR
T1 - Well-Covered Graphs With Constraints On Δ And δ
AU - Levit, Vadim E.
AU - Tankus, David
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2023/12
Y1 - 2023/12
N2 - A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices, while the weight of a set of vertices is the sum of their weights. Then G is w -well-covered if all maximal independent sets are of the same weight. For every graph G, the set of weight functions w such that G is w-well-covered is a vector space, denoted WCW(G). In what follows, all weights are real. Let B be a complete bipartite induced subgraph of G on vertex sets of bipartition BX and BY . Then B is generating if there exists an independent set S such that S∪ BX and S∪ BY are both maximal independent sets of G. Generating subgraphs play an important role in finding WCW(G). In the restricted case that a generating subgraph B is isomorphic to K1 , 1 , its unique edge is called a relating edge. Deciding whether an input graph G is well-covered is co-NP-complete. Therefore finding WCW(G) is co-NP-hard. Deciding whether an edge is relating is NP-complete. Therefore, deciding whether a subgraph is generating is NP-complete as well. This article deals with graphs G such that Δ (G) = | V(G) | - k for some k∈ N . We prove that for this family recognizing well-covered graphs is a polynomial problem, while finding WCW(G) is co-NP-hard. To the best of our knowledge, this is the first family of graphs in the literature known to have these properties. For this set of graphs, recognizing relating edges and generating subgraphs is NP-complete. The article also deals with connected graphs for which δ(G) = k or δ(G)≥k-1k|V(G)| . For these families of graphs recognizing well-covered graphs is co-NP-complete, while recognizing relating edges is NP-complete.
AB - A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices, while the weight of a set of vertices is the sum of their weights. Then G is w -well-covered if all maximal independent sets are of the same weight. For every graph G, the set of weight functions w such that G is w-well-covered is a vector space, denoted WCW(G). In what follows, all weights are real. Let B be a complete bipartite induced subgraph of G on vertex sets of bipartition BX and BY . Then B is generating if there exists an independent set S such that S∪ BX and S∪ BY are both maximal independent sets of G. Generating subgraphs play an important role in finding WCW(G). In the restricted case that a generating subgraph B is isomorphic to K1 , 1 , its unique edge is called a relating edge. Deciding whether an input graph G is well-covered is co-NP-complete. Therefore finding WCW(G) is co-NP-hard. Deciding whether an edge is relating is NP-complete. Therefore, deciding whether a subgraph is generating is NP-complete as well. This article deals with graphs G such that Δ (G) = | V(G) | - k for some k∈ N . We prove that for this family recognizing well-covered graphs is a polynomial problem, while finding WCW(G) is co-NP-hard. To the best of our knowledge, this is the first family of graphs in the literature known to have these properties. For this set of graphs, recognizing relating edges and generating subgraphs is NP-complete. The article also deals with connected graphs for which δ(G) = k or δ(G)≥k-1k|V(G)| . For these families of graphs recognizing well-covered graphs is co-NP-complete, while recognizing relating edges is NP-complete.
KW - Generating subgraph
KW - Maximal independent set
KW - Relating edge
KW - Vector space
KW - Weighted well-covered graph
UR - http://www.scopus.com/inward/record.url?scp=85168896779&partnerID=8YFLogxK
U2 - 10.1007/s00224-023-10140-0
DO - 10.1007/s00224-023-10140-0
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85168896779
SN - 1432-4350
VL - 67
SP - 1197
EP - 1208
JO - Theory of Computing Systems
JF - Theory of Computing Systems
IS - 6
ER -