{"title":"五周期双覆盖和最短周期覆盖","authors":"Siyan Liu, Rong-Xia Hao, Rong Luo, Cun-Quan Zhang","doi":"10.1002/jgt.23164","DOIUrl":null,"url":null,"abstract":"<p>The 5-even subgraph cycle double cover conjecture (5-CDC conjecture) asserts that every bridgeless graph has a 5-even subgraph double cover. A shortest even subgraph cover of a graph <span></span><math>\n \n <mrow>\n <mi>G</mi>\n </mrow></math> is a family of even subgraphs which cover all the edges of <span></span><math>\n \n <mrow>\n <mi>G</mi>\n </mrow></math> and the sum of their lengths is minimum. It is conjectured that every bridgeless graph <span></span><math>\n \n <mrow>\n <mi>G</mi>\n </mrow></math> has an even subgraph cover with total length at most <span></span><math>\n \n <mrow>\n <mfrac>\n <mn>21</mn>\n \n <mn>15</mn>\n </mfrac>\n \n <mo>∣</mo>\n \n <mi>E</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>G</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>∣</mo>\n </mrow></math>. In this paper, we study those two conjectures for weak oddness 2 cubic graphs and present a sufficient condition for such graphs to have a 5-CDC containing a member with many vertices. As a corollary, we show that for every oddness 2 cubic graph <span></span><math>\n \n <mrow>\n <mi>G</mi>\n </mrow></math> satisfying the sufficient condition has a 4-even subgraph <span></span><math>\n \n <mrow>\n <mrow>\n <mo>(</mo>\n \n <mrow>\n <mn>1</mn>\n \n <mo>,</mo>\n \n <mn>2</mn>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow></math>-cover with total length at most <span></span><math>\n \n <mrow>\n <mfrac>\n <mn>20</mn>\n \n <mn>15</mn>\n </mfrac>\n \n <mo>∣</mo>\n \n <mi>E</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>G</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>∣</mo>\n \n <mo>+</mo>\n \n <mn>2</mn>\n </mrow></math>. We also show that every oddness 2 cubic graph <span></span><math>\n \n <mrow>\n <mi>G</mi>\n </mrow></math> with girth at least 30 has a 5-CDC containing a member of length at least <span></span><math>\n \n <mrow>\n <mfrac>\n <mn>9</mn>\n \n <mn>10</mn>\n </mfrac>\n \n <mo>∣</mo>\n \n <mi>V</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>G</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>∣</mo>\n </mrow></math> and thus it has a 4-even subgraph <span></span><math>\n \n <mrow>\n <mrow>\n <mo>(</mo>\n \n <mrow>\n <mn>1</mn>\n \n <mo>,</mo>\n \n <mn>2</mn>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow></math>-cover with total length at most <span></span><math>\n \n <mrow>\n <mfrac>\n <mn>21</mn>\n \n <mn>15</mn>\n </mfrac>\n \n <mo>∣</mo>\n \n <mi>E</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>G</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>∣</mo>\n </mrow></math>.</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"108 1","pages":"39-49"},"PeriodicalIF":0.9000,"publicationDate":"2024-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Five-cycle double cover and shortest cycle cover\",\"authors\":\"Siyan Liu, Rong-Xia Hao, Rong Luo, Cun-Quan Zhang\",\"doi\":\"10.1002/jgt.23164\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The 5-even subgraph cycle double cover conjecture (5-CDC conjecture) asserts that every bridgeless graph has a 5-even subgraph double cover. A shortest even subgraph cover of a graph <span></span><math>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow></math> is a family of even subgraphs which cover all the edges of <span></span><math>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow></math> and the sum of their lengths is minimum. It is conjectured that every bridgeless graph <span></span><math>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow></math> has an even subgraph cover with total length at most <span></span><math>\\n \\n <mrow>\\n <mfrac>\\n <mn>21</mn>\\n \\n <mn>15</mn>\\n </mfrac>\\n \\n <mo>∣</mo>\\n \\n <mi>E</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>G</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>∣</mo>\\n </mrow></math>. In this paper, we study those two conjectures for weak oddness 2 cubic graphs and present a sufficient condition for such graphs to have a 5-CDC containing a member with many vertices. As a corollary, we show that for every oddness 2 cubic graph <span></span><math>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow></math> satisfying the sufficient condition has a 4-even subgraph <span></span><math>\\n \\n <mrow>\\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <mn>1</mn>\\n \\n <mo>,</mo>\\n \\n <mn>2</mn>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow></math>-cover with total length at most <span></span><math>\\n \\n <mrow>\\n <mfrac>\\n <mn>20</mn>\\n \\n <mn>15</mn>\\n </mfrac>\\n \\n <mo>∣</mo>\\n \\n <mi>E</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>G</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>∣</mo>\\n \\n <mo>+</mo>\\n \\n <mn>2</mn>\\n </mrow></math>. We also show that every oddness 2 cubic graph <span></span><math>\\n \\n <mrow>\\n <mi>G</mi>\\n </mrow></math> with girth at least 30 has a 5-CDC containing a member of length at least <span></span><math>\\n \\n <mrow>\\n <mfrac>\\n <mn>9</mn>\\n \\n <mn>10</mn>\\n </mfrac>\\n \\n <mo>∣</mo>\\n \\n <mi>V</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>G</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>∣</mo>\\n </mrow></math> and thus it has a 4-even subgraph <span></span><math>\\n \\n <mrow>\\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <mn>1</mn>\\n \\n <mo>,</mo>\\n \\n <mn>2</mn>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow></math>-cover with total length at most <span></span><math>\\n \\n <mrow>\\n <mfrac>\\n <mn>21</mn>\\n \\n <mn>15</mn>\\n </mfrac>\\n \\n <mo>∣</mo>\\n \\n <mi>E</mi>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mi>G</mi>\\n \\n <mo>)</mo>\\n </mrow>\\n \\n <mo>∣</mo>\\n </mrow></math>.</p>\",\"PeriodicalId\":16014,\"journal\":{\"name\":\"Journal of Graph Theory\",\"volume\":\"108 1\",\"pages\":\"39-49\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-08-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Graph Theory\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23164\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Graph Theory","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23164","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
The 5-even subgraph cycle double cover conjecture (5-CDC conjecture) asserts that every bridgeless graph has a 5-even subgraph double cover. A shortest even subgraph cover of a graph is a family of even subgraphs which cover all the edges of and the sum of their lengths is minimum. It is conjectured that every bridgeless graph has an even subgraph cover with total length at most . In this paper, we study those two conjectures for weak oddness 2 cubic graphs and present a sufficient condition for such graphs to have a 5-CDC containing a member with many vertices. As a corollary, we show that for every oddness 2 cubic graph satisfying the sufficient condition has a 4-even subgraph -cover with total length at most . We also show that every oddness 2 cubic graph with girth at least 30 has a 5-CDC containing a member of length at least and thus it has a 4-even subgraph -cover with total length at most .
期刊介绍:
The Journal of Graph Theory is devoted to a variety of topics in graph theory, such as structural results about graphs, graph algorithms with theoretical emphasis, and discrete optimization on graphs. The scope of the journal also includes related areas in combinatorics and the interaction of graph theory with other mathematical sciences.
A subscription to the Journal of Graph Theory includes a subscription to the Journal of Combinatorial Designs .