Camila Araujo, Julio Araujo, Ana Silva, Alexandre Cezar
{"title":"Backbone Coloring of Graphs with Galaxy Backbones","authors":"Camila Araujo, Julio Araujo, Ana Silva, Alexandre Cezar","doi":"10.1016/j.entcs.2019.08.006","DOIUrl":null,"url":null,"abstract":"<div><p>A (proper) <em>k</em>-coloring of a graph <em>G</em> = (<em>V</em>,<em>E</em>) is a function <em>c</em> : <em>V</em> (<em>G</em>) → {1,...,<em>k</em>} such that <em>c</em>(<em>u</em>) ≠ <em>c</em>(<em>v</em>) for every <em>uv</em> ∈ <em>E</em>(<em>G</em>). Given a graph <em>G</em> and a subgraph <em>H</em> of <em>G</em>, a <em>q</em>-backbone <em>k</em>-coloring of (<em>G</em>,<em>H</em>) is a <em>k</em>-coloring <em>c</em> of <em>G</em> such that <em>q</em> ≤ <em>|c</em>(<em>u</em>) <em>− c</em>(<em>v</em>)<em>|</em> for every edge <em>uv</em> ∈ <em>E</em>(<em>H</em>). The <em>q</em>-backbone chromatic number of (<em>G</em>,<em>H</em>), denoted by BBC<em>q</em>(<em>G</em>,<em>H</em>), is the minimum integer <em>k</em> for which there exists a <em>q</em>-backbone <em>k</em>-coloring of (<em>G</em>,<em>H</em>). Similarly, a circular <em>q</em>-backbone <em>k</em>-coloring of (<em>G</em>,<em>H</em>) is a function <em>c</em>: <em>V</em> (<em>G</em>) → {1,...,<em>k</em>} such that, for every edge <em>uv</em> ∈ <em>E</em>(<em>G</em>), we have <em>|c</em>(<em>u</em>)<em>−c</em>(<em>v</em>)<em>|</em> ≥ 1 and, for every edge <em>uv</em> ∈ <em>E</em>(<em>H</em>), we have <em>k−q</em> ≥ <em>|c</em>(<em>u</em>)<em>−c</em>(<em>v</em>)<em>|</em> ≥ <em>q</em>. The circular <em>q</em>-backbone chromatic number of (<em>G</em>,<em>H</em>), denoted by CBC<em>q</em>(<em>G</em>,<em>H</em>), is the smallest integer <em>k</em> such that there exists such coloring <em>c</em>.</p><p>In this work, we first prove that if <em>G</em> is a 3-chromatic graph and <em>F</em> is a galaxy, then CBC<em>q</em>(<em>G</em>,<em>F</em>) ≤ 2<em>q</em> + 2. Then, we prove that CBC3(<em>G</em>,<em>M</em>) ≤ 7 and CBC<em>q</em>(<em>G</em>,<em>M</em>) ≤ 2<em>q</em>, for every <em>q</em> ≥ 4, whenever <em>M</em> is a matching of a planar graph <em>G</em>. Moreover, we argue that both bounds are tight. Such bounds partially answer open questions in the literature. We also prove that one can compute BBC2(<em>G</em>,<em>M</em>) in polynomial time, whenever <em>G</em> is an outerplanar graph with a matching backbone <em>M</em>. Finally, we show a mistake in a proof that BBC2(<em>G</em>,<em>M</em>) ≤ Δ(<em>G</em>)+1, for any matching <em>M</em> of an arbitrary graph <em>G</em> [Miškuf <em>et al.</em>, 2010] and we present how to fix it.</p></div>","PeriodicalId":38770,"journal":{"name":"Electronic Notes in Theoretical Computer Science","volume":"346 ","pages":"Pages 53-64"},"PeriodicalIF":0.0000,"publicationDate":"2019-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.entcs.2019.08.006","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronic Notes in Theoretical Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1571066119300568","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Computer Science","Score":null,"Total":0}
引用次数: 2
Abstract
A (proper) k-coloring of a graph G = (V,E) is a function c : V (G) → {1,...,k} such that c(u) ≠ c(v) for every uv ∈ E(G). Given a graph G and a subgraph H of G, a q-backbone k-coloring of (G,H) is a k-coloring c of G such that q ≤ |c(u) − c(v)| for every edge uv ∈ E(H). The q-backbone chromatic number of (G,H), denoted by BBCq(G,H), is the minimum integer k for which there exists a q-backbone k-coloring of (G,H). Similarly, a circular q-backbone k-coloring of (G,H) is a function c: V (G) → {1,...,k} such that, for every edge uv ∈ E(G), we have |c(u)−c(v)| ≥ 1 and, for every edge uv ∈ E(H), we have k−q ≥ |c(u)−c(v)| ≥ q. The circular q-backbone chromatic number of (G,H), denoted by CBCq(G,H), is the smallest integer k such that there exists such coloring c.
In this work, we first prove that if G is a 3-chromatic graph and F is a galaxy, then CBCq(G,F) ≤ 2q + 2. Then, we prove that CBC3(G,M) ≤ 7 and CBCq(G,M) ≤ 2q, for every q ≥ 4, whenever M is a matching of a planar graph G. Moreover, we argue that both bounds are tight. Such bounds partially answer open questions in the literature. We also prove that one can compute BBC2(G,M) in polynomial time, whenever G is an outerplanar graph with a matching backbone M. Finally, we show a mistake in a proof that BBC2(G,M) ≤ Δ(G)+1, for any matching M of an arbitrary graph G [Miškuf et al., 2010] and we present how to fix it.
期刊介绍:
ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate. Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.