{"title":"Generating subgraphs in chordal graphs","authors":"Vadim E. Levit , David Tankus","doi":"10.1016/j.dam.2025.02.042","DOIUrl":null,"url":null,"abstract":"<div><div>A graph <span><math><mi>G</mi></math></span> is <em>well-covered</em> if all its maximal independent sets are of the same cardinality. Assume that a weight function <span><math><mi>w</mi></math></span> is defined on the vertex set of <span><math><mi>G</mi></math></span>. Then <span><math><mi>G</mi></math></span> is <span><math><mi>w</mi></math></span><em>-well-covered</em> if all maximal independent sets are of the same weight. For every graph <span><math><mi>G</mi></math></span>, the set of weight functions <span><math><mi>w</mi></math></span> such that <span><math><mi>G</mi></math></span> is <span><math><mi>w</mi></math></span>-well-covered is a <em>vector space</em>, denoted <span><math><mrow><mi>W</mi><mi>C</mi><mi>W</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>.</div><div>Let <span><math><mi>B</mi></math></span> be a complete bipartite induced subgraph of <span><math><mi>G</mi></math></span> on vertex sets of bipartition <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>X</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>Y</mi></mrow></msub></math></span>. Then <span><math><mi>B</mi></math></span> is <em>generating</em> if there exists an independent set <span><math><mi>S</mi></math></span> such that <span><math><mrow><mi>S</mi><mo>∪</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>X</mi></mrow></msub></mrow></math></span> and <span><math><mrow><mi>S</mi><mo>∪</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>Y</mi></mrow></msub></mrow></math></span> are both maximal independent sets of <span><math><mi>G</mi></math></span>. In the restricted case that a generating subgraph <span><math><mi>B</mi></math></span> is isomorphic to <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub></math></span>, the unique edge in <span><math><mi>B</mi></math></span> is called a <em>relating edge</em>. Generating subgraphs play an important role in finding <span><math><mrow><mi>W</mi><mi>C</mi><mi>W</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>.</div><div>Deciding whether an input graph <span><math><mi>G</mi></math></span> is well-covered is <strong>co-NP</strong>-complete. Hence, finding <span><math><mrow><mi>W</mi><mi>C</mi><mi>W</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> is <strong>co-NP</strong>-hard. Deciding whether an edge is relating is <strong>NP</strong>-complete. Therefore, deciding whether a subgraph is generating is <strong>NP</strong>-complete as well.</div><div>A graph is <em>chordal</em> if every induced cycle is a triangle. It is known that finding <span><math><mrow><mi>W</mi><mi>C</mi><mi>W</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> can be done polynomially in the restricted case that <span><math><mi>G</mi></math></span> is chordal. Thus, recognizing well-covered chordal graphs is a polynomial problem. We present a polynomial algorithm for recognizing relating edges and generating subgraphs in chordal graphs.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"368 ","pages":"Pages 184-189"},"PeriodicalIF":1.0000,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0166218X25001143","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
A graph is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function is defined on the vertex set of . Then is -well-covered if all maximal independent sets are of the same weight. For every graph , the set of weight functions such that is -well-covered is a vector space, denoted .
Let be a complete bipartite induced subgraph of on vertex sets of bipartition and . Then is generating if there exists an independent set such that and are both maximal independent sets of . In the restricted case that a generating subgraph is isomorphic to , the unique edge in is called a relating edge. Generating subgraphs play an important role in finding .
Deciding whether an input graph is well-covered is co-NP-complete. Hence, finding 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.
A graph is chordal if every induced cycle is a triangle. It is known that finding can be done polynomially in the restricted case that is chordal. Thus, recognizing well-covered chordal graphs is a polynomial problem. We present a polynomial algorithm for recognizing relating edges and generating subgraphs in chordal graphs.
期刊介绍:
The aim of Discrete Applied Mathematics is to bring together research papers in different areas of algorithmic and applicable discrete mathematics as well as applications of combinatorial mathematics to informatics and various areas of science and technology. Contributions presented to the journal can be research papers, short notes, surveys, and possibly research problems. The "Communications" section will be devoted to the fastest possible publication of recent research results that are checked and recommended for publication by a member of the Editorial Board. The journal will also publish a limited number of book announcements as well as proceedings of conferences. These proceedings will be fully refereed and adhere to the normal standards of the journal.
Potential authors are advised to view the journal and the open calls-for-papers of special issues before submitting their manuscripts. Only high-quality, original work that is within the scope of the journal or the targeted special issue will be considered.