{"title":"分裂图的强弧分解","authors":"Jørgen Bang-Jensen, Yun Wang","doi":"10.1002/jgt.23157","DOIUrl":null,"url":null,"abstract":"<p>A <i>strong arc decomposition</i> of a digraph <span></span><math>\n \n <mrow>\n <mi>D</mi>\n \n <mo>=</mo>\n \n <mrow>\n <mo>(</mo>\n \n <mrow>\n <mi>V</mi>\n \n <mo>,</mo>\n \n <mi>A</mi>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow></math> is a partition of its arc set <span></span><math>\n \n <mrow>\n <mi>A</mi>\n </mrow></math> into two sets <span></span><math>\n \n <mrow>\n <msub>\n <mi>A</mi>\n \n <mn>1</mn>\n </msub>\n \n <mo>,</mo>\n \n <msub>\n <mi>A</mi>\n \n <mn>2</mn>\n </msub>\n </mrow></math> such that the digraph <span></span><math>\n \n <mrow>\n <msub>\n <mi>D</mi>\n \n <mi>i</mi>\n </msub>\n \n <mo>=</mo>\n \n <mrow>\n <mo>(</mo>\n \n <mrow>\n <mi>V</mi>\n \n <mo>,</mo>\n \n <msub>\n <mi>A</mi>\n \n <mi>i</mi>\n </msub>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow></math> is strong for <span></span><math>\n \n <mrow>\n <mi>i</mi>\n \n <mo>=</mo>\n \n <mn>1</mn>\n \n <mo>,</mo>\n \n <mn>2</mn>\n </mrow></math>. Bang-Jensen and Yeo conjectured that there is some <span></span><math>\n \n <mrow>\n <mi>K</mi>\n </mrow></math> such that every <span></span><math>\n \n <mrow>\n <mi>K</mi>\n </mrow></math>-arc-strong digraph has a strong arc decomposition. They also proved that with one exception on four vertices every 2-arc-strong semicomplete digraph has a strong arc decomposition. Bang-Jensen and Huang extended this result to locally semicomplete digraphs by proving that every 2-arc-strong locally semicomplete digraph which is not the square of an even cycle has a strong arc decomposition. This implies that every 3-arc-strong locally semicomplete digraph has a strong arc decomposition. A <i>split digraph</i> is a digraph whose underlying undirected graph is a split graph, meaning that its vertices can be partitioned into a clique and an independent set. Equivalently, a split digraph is any digraph which can be obtained from a semicomplete digraph <span></span><math>\n \n <mrow>\n <mi>D</mi>\n \n <mo>=</mo>\n \n <mrow>\n <mo>(</mo>\n \n <mrow>\n <mi>V</mi>\n \n <mo>,</mo>\n \n <mi>A</mi>\n </mrow>\n \n <mo>)</mo>\n </mrow>\n </mrow></math> by adding a new set <span></span><math>\n \n <mrow>\n <msup>\n <mi>V</mi>\n \n <mo>′</mo>\n </msup>\n </mrow></math> of vertices and some arcs between <span></span><math>\n \n <mrow>\n <msup>\n <mi>V</mi>\n \n <mo>′</mo>\n </msup>\n </mrow></math> and <span></span><math>\n \n <mrow>\n <mi>V</mi>\n </mrow></math>. In this paper, we prove that every 3-arc-strong split digraph has a strong arc decomposition which can be found in polynomial time and we provide infinite classes of 2-strong split digraphs with no strong arc decomposition. We also pose a number of open problems on split digraphs.</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"108 1","pages":"5-26"},"PeriodicalIF":0.9000,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23157","citationCount":"0","resultStr":"{\"title\":\"Strong arc decompositions of split digraphs\",\"authors\":\"Jørgen Bang-Jensen, Yun Wang\",\"doi\":\"10.1002/jgt.23157\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A <i>strong arc decomposition</i> of a digraph <span></span><math>\\n \\n <mrow>\\n <mi>D</mi>\\n \\n <mo>=</mo>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <mi>V</mi>\\n \\n <mo>,</mo>\\n \\n <mi>A</mi>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow></math> is a partition of its arc set <span></span><math>\\n \\n <mrow>\\n <mi>A</mi>\\n </mrow></math> into two sets <span></span><math>\\n \\n <mrow>\\n <msub>\\n <mi>A</mi>\\n \\n <mn>1</mn>\\n </msub>\\n \\n <mo>,</mo>\\n \\n <msub>\\n <mi>A</mi>\\n \\n <mn>2</mn>\\n </msub>\\n </mrow></math> such that the digraph <span></span><math>\\n \\n <mrow>\\n <msub>\\n <mi>D</mi>\\n \\n <mi>i</mi>\\n </msub>\\n \\n <mo>=</mo>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <mi>V</mi>\\n \\n <mo>,</mo>\\n \\n <msub>\\n <mi>A</mi>\\n \\n <mi>i</mi>\\n </msub>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow></math> is strong for <span></span><math>\\n \\n <mrow>\\n <mi>i</mi>\\n \\n <mo>=</mo>\\n \\n <mn>1</mn>\\n \\n <mo>,</mo>\\n \\n <mn>2</mn>\\n </mrow></math>. Bang-Jensen and Yeo conjectured that there is some <span></span><math>\\n \\n <mrow>\\n <mi>K</mi>\\n </mrow></math> such that every <span></span><math>\\n \\n <mrow>\\n <mi>K</mi>\\n </mrow></math>-arc-strong digraph has a strong arc decomposition. They also proved that with one exception on four vertices every 2-arc-strong semicomplete digraph has a strong arc decomposition. Bang-Jensen and Huang extended this result to locally semicomplete digraphs by proving that every 2-arc-strong locally semicomplete digraph which is not the square of an even cycle has a strong arc decomposition. This implies that every 3-arc-strong locally semicomplete digraph has a strong arc decomposition. A <i>split digraph</i> is a digraph whose underlying undirected graph is a split graph, meaning that its vertices can be partitioned into a clique and an independent set. Equivalently, a split digraph is any digraph which can be obtained from a semicomplete digraph <span></span><math>\\n \\n <mrow>\\n <mi>D</mi>\\n \\n <mo>=</mo>\\n \\n <mrow>\\n <mo>(</mo>\\n \\n <mrow>\\n <mi>V</mi>\\n \\n <mo>,</mo>\\n \\n <mi>A</mi>\\n </mrow>\\n \\n <mo>)</mo>\\n </mrow>\\n </mrow></math> by adding a new set <span></span><math>\\n \\n <mrow>\\n <msup>\\n <mi>V</mi>\\n \\n <mo>′</mo>\\n </msup>\\n </mrow></math> of vertices and some arcs between <span></span><math>\\n \\n <mrow>\\n <msup>\\n <mi>V</mi>\\n \\n <mo>′</mo>\\n </msup>\\n </mrow></math> and <span></span><math>\\n \\n <mrow>\\n <mi>V</mi>\\n </mrow></math>. In this paper, we prove that every 3-arc-strong split digraph has a strong arc decomposition which can be found in polynomial time and we provide infinite classes of 2-strong split digraphs with no strong arc decomposition. We also pose a number of open problems on split digraphs.</p>\",\"PeriodicalId\":16014,\"journal\":{\"name\":\"Journal of Graph Theory\",\"volume\":\"108 1\",\"pages\":\"5-26\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23157\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Graph Theory\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23157\",\"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.23157","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
A strong arc decomposition of a digraph is a partition of its arc set into two sets such that the digraph is strong for . Bang-Jensen and Yeo conjectured that there is some such that every -arc-strong digraph has a strong arc decomposition. They also proved that with one exception on four vertices every 2-arc-strong semicomplete digraph has a strong arc decomposition. Bang-Jensen and Huang extended this result to locally semicomplete digraphs by proving that every 2-arc-strong locally semicomplete digraph which is not the square of an even cycle has a strong arc decomposition. This implies that every 3-arc-strong locally semicomplete digraph has a strong arc decomposition. A split digraph is a digraph whose underlying undirected graph is a split graph, meaning that its vertices can be partitioned into a clique and an independent set. Equivalently, a split digraph is any digraph which can be obtained from a semicomplete digraph by adding a new set of vertices and some arcs between and . In this paper, we prove that every 3-arc-strong split digraph has a strong arc decomposition which can be found in polynomial time and we provide infinite classes of 2-strong split digraphs with no strong arc decomposition. We also pose a number of open problems on split digraphs.
期刊介绍:
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 .