Saeed Akhoondian Amiri , Alexandru Popa , Mohammad Roghani , Golnoosh Shahkarami , Reza Soltani , Hossein Vahidi
{"title":"Complexity of computing the anti-Ramsey numbers for paths","authors":"Saeed Akhoondian Amiri , Alexandru Popa , Mohammad Roghani , Golnoosh Shahkarami , Reza Soltani , Hossein Vahidi","doi":"10.1016/j.tcs.2025.115271","DOIUrl":null,"url":null,"abstract":"<div><div>The anti-Ramsey numbers are a fundamental notion in graph theory, introduced in 1978, by Erdős, Simonovits and Sós. For given graphs <em>G</em> and <em>H</em> the <em>anti-Ramsey number</em> <span><math><mtext>ar</mtext><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> is defined to be the maximum number <em>k</em> such that there exists an assignment of <em>k</em> colors to the edges of <em>G</em> in which every copy of <em>H</em> in <em>G</em> has at least two edges with the same color.</div><div>Usually, combinatorists study extremal values of anti-Ramsey numbers for various classes of graphs. There are works on the computational complexity of the problem when <em>H</em> is a star. Along this line of research, we study the complexity of computing the anti-Ramsey number <span><math><mtext>ar</mtext><mo>(</mo><mi>G</mi><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>, where <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is a path of length <em>k</em>. First, we observe that when <em>k</em> is close to <em>n</em> (the number of vertices in <em>G</em>), the problem is hard; hence, the challenging part is the computational complexity of the problem when <em>k</em> is a fixed constant.</div><div>We provide a characterization of the problem for paths of constant length. Our first main contribution is to prove that computing <span><math><mtext>ar</mtext><mo>(</mo><mi>G</mi><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span> for every integer <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span> is NP-hard. We obtain this by providing several structural properties of such coloring in graphs. We also study the exact complexity of the precolored version and show that there is no subexponential algorithm for the problem unless ETH fails for any fixed constant <em>k</em>.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1044 ","pages":"Article 115271"},"PeriodicalIF":0.9000,"publicationDate":"2025-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525002099","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
The anti-Ramsey numbers are a fundamental notion in graph theory, introduced in 1978, by Erdős, Simonovits and Sós. For given graphs G and H the anti-Ramsey number is defined to be the maximum number k such that there exists an assignment of k colors to the edges of G in which every copy of H in G has at least two edges with the same color.
Usually, combinatorists study extremal values of anti-Ramsey numbers for various classes of graphs. There are works on the computational complexity of the problem when H is a star. Along this line of research, we study the complexity of computing the anti-Ramsey number , where is a path of length k. First, we observe that when k is close to n (the number of vertices in G), the problem is hard; hence, the challenging part is the computational complexity of the problem when k is a fixed constant.
We provide a characterization of the problem for paths of constant length. Our first main contribution is to prove that computing for every integer is NP-hard. We obtain this by providing several structural properties of such coloring in graphs. We also study the exact complexity of the precolored version and show that there is no subexponential algorithm for the problem unless ETH fails for any fixed constant k.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.