Camila Araujo, Julio Araujo, Ana Silva, Alexandre Cezar
{"title":"具有星系主干的图的主干着色","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":"{\"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}","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
摘要
图G = (V,E)的(适当)k-着色是函数c: V (G)→{1,…,k}使得c(u)≠c(v)对于每一个uv∈E(G)。给定一个图G和G的子图H, (G,H)的q-主干k-着色是G的k-着色c,使得对于每条边uv∈E(H), q≤|c(u)−c(v)|。(G,H)的q-主色数,用BBCq(G,H)表示,是存在(G,H)的q-主色的最小整数k。同样,(G,H)的圆形q-骨干k-着色是一个函数c: V (G)→{1,…,k}使得对于每条边uv∈E(G),我们有|c(u)−c(v)|≥1,对于每条边uv∈E(H),我们有k−q≥|c(u)−c(v)|≥q. (G,H)的圆q-主色数CBCq(G,H)是存在这样的着色c的最小整数k。在本文中,我们首先证明了如果G是一个三色图,F是一个星系,那么CBCq(G,F)≤2q + 2。然后,我们证明了当M是平面图G的匹配时,对于每一个q≥4,CBC3(G,M)≤7和CBCq(G,M)≤2q,并且证明了这两个界都是紧的。这样的界限部分地回答了文献中的开放性问题。我们还证明了当G是具有匹配主干M的外平面图时,可以在多项式时间内计算BBC2(G,M)。最后,我们指出了在证明中,对于任意图G的任何匹配M, BBC2(G,M)≤Δ(G)+1的错误[Miškuf et al., 2010],并给出了如何修正它。
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.