{"title":"Adding direction constraints to the 1-2-3 Conjecture","authors":"Julien Bensmail , Hervé Hocquard , Clara Marcille","doi":"10.1016/j.tcs.2024.114985","DOIUrl":null,"url":null,"abstract":"<div><div>In connection with the so-called 1-2-3 Conjecture, we introduce and study a new variant of proper labellings, obtained when aiming at designing, for an oriented graph, an oriented colouring through the sums of labels incident to its vertices. Formally, for an oriented graph <figure><img></figure> and a <em>k</em>-labelling <figure><img></figure> of its arcs, for every vertex <figure><img></figure>, one can compute the sum <span><math><mi>σ</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> of labels assigned by <em>ℓ</em> to its incident arcs. We call <em>ℓ</em> an oriented labelling if the sum function <em>σ</em> indeed forms an oriented colouring of <figure><img></figure>. That is, for any two arcs <figure><img></figure> and <figure><img></figure> of <figure><img></figure>, if <span><math><mi>σ</mi><mo>(</mo><mi>a</mi><mo>)</mo><mo>=</mo><mi>σ</mi><mo>(</mo><mi>d</mi><mo>)</mo></math></span>, then we must have <span><math><mi>σ</mi><mo>(</mo><mi>b</mi><mo>)</mo><mo>≠</mo><mi>σ</mi><mo>(</mo><mi>c</mi><mo>)</mo></math></span>. We denote by <figure><img></figure> the smallest <em>k</em> such that oriented <em>k</em>-labellings of <figure><img></figure> exist (if any).</div><div>We study this new parameter in general and in particular contexts. In particular, we observe that there is no constant bound on <figure><img></figure> in general, contrarily to the undirected case. Still, we establish connections between this parameter and others, such as the oriented chromatic number, from which we deduce other types of bounds, some of which we improve upon for some classes of oriented graphs. We also investigate other aspects of this parameter, such as the complexity of determining <figure><img></figure> for a given oriented graph <figure><img></figure>, or the possible relationships between <figure><img></figure> and the underlying graph <em>G</em> of <figure><img></figure>.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1025 ","pages":"Article 114985"},"PeriodicalIF":0.9000,"publicationDate":"2024-11-22","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/S0304397524006029","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
In connection with the so-called 1-2-3 Conjecture, we introduce and study a new variant of proper labellings, obtained when aiming at designing, for an oriented graph, an oriented colouring through the sums of labels incident to its vertices. Formally, for an oriented graph and a k-labelling of its arcs, for every vertex , one can compute the sum of labels assigned by ℓ to its incident arcs. We call ℓ an oriented labelling if the sum function σ indeed forms an oriented colouring of . That is, for any two arcs and of , if , then we must have . We denote by the smallest k such that oriented k-labellings of exist (if any).
We study this new parameter in general and in particular contexts. In particular, we observe that there is no constant bound on in general, contrarily to the undirected case. Still, we establish connections between this parameter and others, such as the oriented chromatic number, from which we deduce other types of bounds, some of which we improve upon for some classes of oriented graphs. We also investigate other aspects of this parameter, such as the complexity of determining for a given oriented graph , or the possible relationships between and the underlying graph G of .
期刊介绍:
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.