Anais do CNMAC v.

ISSN 1984-820X

Limites superiores em -coloraes de cografos, grafos de co permutao e grafos linha ca

Mrcia R. Cerioli, a Daniel F. D. Posner
Instituto de Matemtica e COPPE/Sistemas e Computao a ca Universidade Federal do Rio de Janeiro E-mails: cerioli@cos.ufrj.br, posner@cos.ufrj.br

Resumo: O problema da L(2,1)-colorao, tambm conhecido por -colorao, consiste em, ca e ca dado um grafo, atribuir cores (representadas por nmeros naturais) aos seus vrtices de forma u e que: se dois vrtices so adjacentes, os seus rtulos tenham diferena de pelo menos dois; e se e a o c dois vrtices tm um vrtice em comum nas suas adjacncias, os seus rtulos tenham valores e e e e o diferentes. Este problema foi denido por Griggs e Yeh que tambm conjecturaram que para e qualquer grafo existe uma -coloraao utilizando no mximo a cor 2 (onde o nmero c a e u mximo de arestas incidentes a algum vrtice). Neste trabalho provamos limites superiores para a e as classes dos cografos, grafos de permutao e grafos linha, provando tambm a conjectura de ca e Griggs e Yeh para as duas ultimas. Palavras-chave: Coloraes em grafos, L(2,1)-colorao, Classes de grafos co ca

Introduo ca

Seja G = (V, E) um grafo, o nmero mximo de arestas incidentes a algum vrtice de G (o u a e grau de G) e dist(u, v) o nmero de arestas de um caminho m u nimo entre os vrtices u e v em e G. Uma funo f : V (G) {0, . . . , k} uma -colorao de G se e somente se para cada par de ca e ca vrtices u e v em V (G) em que uv E(G) ento |f (u) f (v)| 2 e para cada par de vrtices u e a e e v em V (G) em que dist(u, v) = 2 ento f (u) = f (v). O problema da -colorao visa atribuir a ca cores a todos os vrtices do grafo utilizando o menor valor poss de k, neste caso temos uma e vel -colorao tima e (G) = k. ca o Esta variao de colorao dos vrtices de um grafo foi introduzida por Griggs e Yeh [5] em ca ca e 1992, onde os mesmos tambm conjecturaram que para qualquer grafo G, (G) 2 . Esta e conjectura, ainda em aberto para grafos em geral, somente foi provada para algumas classes espec cas de grafos, sendo este o problema mais estudado em relao as -coloraes. ca co A motivao principal que levou ao estudo deste problema foi a de atribuio de freqncias ca ca ue de redes em transmisses via ondas de rdio. Onde esta rede composta por torres que recebem o a e e transmitem em determinadas freqncias (e correspondem a vrtices no grafo) e tm-se como ue e e objetivo minimizar a interferncia das transmisses de dados entre essas torres (cada transmisso e o a entre as torres corresponde a uma aresta no grafo) utilizando o menor intervalo poss vel de freqncias. Se este problema for modelado como um problema de colorao de vrtices de ue ca e grafos, onde apenas vrtices adjacentes tm cores diferentes, como ilustrado na gura 1, podem e e existir torres de transmisso enviando com a mesma freqncia para uma mesma torre, o que a ue acaba acarretando em interferncia na recepo destes dados. O problema da -colorao surgiu e ca ca para realizar uma modelagem mais realista deste problema, j que utilizando esta variante da a colorao, torres no enviam dados com a mesma freqncia para uma mesma torre em comum, ca a ue como ilustrado na gura 2. e Este problema vem sendo amplamente estudado por diversos pesquisadores, como pode ser visto nos trabalhos de Sakai [9], Chang e Kuo [3], Bodlaender et. al [1] e Kral [6]. Para mais informaes sobre o problema, existe um survey feito por Calamoneri [2]. co
489

Figura 1: Modelagem com colorao ca

Figura 2: Modelagem com -colorao ca

Neste trabalho provamos limites superiores para (G) onde G pertence a classe dos cografos, grafos de permutao e grafos linha. Com estes limites ca estabelecido que a conjectura de ca Griggs e Yeh [5] vlida para as duas ultimas classes (para a classe dos cografos esta conjectura e a j havia sido provada por Chang e Kuo [3]). Alm disso, estendemos estes resultados denindo a e as classes dos grafos p-componentes cografos e quase-linha, onde a conjectura se mantm vlida. e a Em geral, denotamos n = |V (G)|. Um grafo G tem dimetro 2 se dist(u, v) 2 para todo a u, v V (G). Observe que se G tem dimetro 2, ento no poss haver repetio de cores a a a e vel ca em uma -colorao de G. Um grafo Gc o complemento de um grafo G se V (Gc ) = V (G) e ca e E(Gc ) = (V V ) \ (E(G) {vv | v V (Gc )}).

Cografos

O problema da -colorao restrito a esta classe foi estudado por Chang e Kuo [3], que apresentaca ram um algoritmo polinomial para encontrar uma -colorao tima. Eles tambm estipularam ca o e um limite superior para em cografos de n + pv(Gc ) 2, onde pv(Gc ) corresponde ao nmero u c podem ser particionados. m nimo de caminhos disjuntos em que os vrtices de G e Nesta seo fornecido um limite superior alternativo ao desenvolvido por Chang e Kuo, ca e onde este dado por 2. Este limite interessante j que alm de provar uma conjectura e e a e feita por Calamoneri [2] em relao aos grafos threshold, tambm fornece um limite em relao ca e ca ao grau do grafo, que o objetivo principal nos estudos em relao aos limites superiores em e ca -coloraes. Alm disso, denida a classe dos p-componentes cografos e dada a prova da co e e e conjectura de Griggs e Yeh para valores limitados de p. Para o desenvolvimento destas provas so necessrios as denies e os teoremas a seguir. a a co Dados dois grafos H1 = (VH1 , EH1 ) e H2 = (VH2 , EH2 ), com VH1 VH2 = , operao ca de unio de H1 e H2 , denotada por H1 H2 , resulta em um grafo U = (VU , EU ) tal que a VU = VH1 VH2 e EU = EH1 EH2 . A operao de join de H1 e H2 , denotada por H1 H2 , ca e o grafo J = (VJ , EJ ) tal que VJ = VH1 VH2 e EJ = EH1 EH2 {uv | u VH1 e v VH2 }. c c Observe que (H1 H2 )c = H1 H2 . Um subgrafo induzido de um grafo G, por um conjunto de vrtices S V , o subgrafo e e de G que possui como vrtices, o conjunto S e, como arestas, as arestas de G que tenham e ambos os extremos em S. Um grafo G dito perfeito se, para todo subgrafo induzido H de G, e (H) = (H), onde (H) o tamanho do maior subgrafo completo em H e (H) o nmero e e u m nimo de cores utilizadas em uma colorao dos vrtices de H onde vrtices adjacentes tm ca e e e cores diferentes. Um cografo um grafo com apenas um vrtice, ou um grafo obtido por uma ou mais operaes e e co de unio e join de outros cografos. Um grafo threshold um grafo com apenas um vrtice, ou a e e um grafo obtido por uma ou mais operaes de unio e join entre um grafo threshold e um co a vrtice isolado. Logo todo grafo threshold um cografo. e e Teorema 2.1 (Lovsz [8] - 1972) Todo cografo G perfeito e, portanto, (G) = (G). a e
490

Figura 3: Obteno do de um cografo ca

Figura 4: Obteno de de um cografo ca

Teorema 2.2 (Griggs e Yeh [5] - 1992) Para um grafo G = (V, E), (G) |V (G)|+(G)2. Teorema 2.3 (Griggs e Yeh [5] - 1992) Para um grafo completo K, (K) = 2(K). Lema 2.1 Para um cografo G = (V, E) = G1 G2 , n = |V (G)| 2(G) (G1 ) (G2 ). Prova. A operao de join entre dois grafos torna todos os vrtices de G1 = (V (G1 ), E(G1 )) ca e adjacentes aos vrtices de G2 = (V (G2 ), E(G2 )) e vice-versa. Ento, (G) = max{(G1 ) + e a |V (G2 )|, (G2 ) + |V (G1 )|}, como ilustrado na gura 3. Logo 2(G) (G1 ) + (G2 ) + |V (G1 )| + |V (G2 )|. E, como |V (G1 )| + |V (G2 )| = n, ento a n 2(G) (G1 ) (G2 ). 2 Teorema 2.4 Para um cografo G = (V, E) = G1 G2 , (G) 2(G). Prova. Como visto no teorema 2.2, (G) |V (G)| + (G) 2. Pelo teorema 2.1, todo cografo perfeito, tendo (G) = (G). E, como foi provado no lema 2.1, |V (G)| 2(G) (G1 ) e (G2 ). Ento, (G) 2(G) (G1 ) (G2 ) + (G) 2. a Em G, o maior subgrafo completo com tamanho (G) foi obtido a partir da operao de ca join dos cografos G1 e G2 . Alm disso, (G) (G1 ) + (G2 ) + 2, j que todo vrtice de G1 e a e adjacente a no mximo (G1 ) vrtices e os de G2 a (G2 ) vrtices, todo par de vrtices e a e e e e adjacente em um subgrafo completo, e a operao de join de G1 e G2 no alterou as adjacncias ca a e entre vrtices de G1 e nem entre vrtices de G2 (gura 4). Substituindo na inequao anterior, e e ca temos (G) 2(G). 2 Desta forma, a seguinte conjectura vlida, com um limite igual a 2. Alm disso, pelo e a e resultado seguinte, este limite no pode ser diminu a do. Conjectura 2.1 (Calamoneri [2] - 2006 (2009)) Existe limite superior para melhor que 2 + 1 para a classe dos grafos threshold. Corolrio 2.1 O limite superior de 2 justo para -coloraes na classe dos cografos (e a e co threshold). Prova. Como exemplo, podem ser fornecidos os grafos completos. Pelo teorema 2.3, sabe-se que para esta classe, = 2. E, todo grafo completo um cografo (e um grafo threshold ), j e a que pode ser obtido por uma sucesso de operaes de join de vrtices isolados. Com isso, ca a co e provado que este limite superior justo para a classe dos cografos (e tambm para a classe dos e e threshold ). 2 Um grafo G componente p-cografos se os vrtices de G podem ser particionados em p e e cografos conexos. Teorema 2.5 Para um grafo G componente p-cografos, p(2 + 2) 2
491

Prova. Particione o grafo G em p cografos conexos: G1 , G2 , . . . , Gp . Pelo teorema 2.4, (Gi ) 2(Gi ), 1 i p. Como em todo componente conexo de um cografo os vrtices esto a e a distncia 2 entre si, ento estes precisam de cores diferentes em qualquer -colorao. a a ca No pior caso, os p cografos tm todas as arestas poss e veis entre seus vrtices. Como em e cada componente os vrtices devem ter cores diferentes, estas arestas no adicionam nenhuma e a restrio entre vrtices da mesma componente. Atribua as cores aos vrtices de cada cografo Gi ca e e (1 i p) em seqncia, onde cada componente comea utilizando a ultima cor da anterior ue c
p

mais dois. Isto nos fornece uma -colorao para o grafo G, onde: (G) [ ca
i=1

(2) + 2] 2 = 2

p(2 + 2) 2. Corolrio 2.2 Para um grafo G componente p-cografos com p a Prova. Do teorema 2.5, p(2 + 2) 2. E, como p 1 2 2 (2 + 2) 2 3
1 2 ,

2 3

1 2 ,

pode-se armar que 2

Grafos de permutao ca

Nesta seo provado limite superior de 4 3 para -coloraes na classe dos grafos de ca e co permutao. Com isso, ca provado a conjectura de Griggs e Yeh [5] para esta classe. Antes ca deste resultado o melhor limite superior para esta classe era dado por 5 2, limite estabelecido por Bodlaender et al. [1]. Um grafo permutao se existe uma permutao de V (G) = {v1 , . . . , vn } onde s h aresta e ca ca o a entre dois vrtices se o vrtice de maior e e ndice entre os dois aparecer antes na permutao. Uma ca k , k natural, tal que V (Gk ) = V e E(Gk ) = {xy | 1 potncia de um grafo G um grafo G e e dist(x, y) k}. Como descrito por Kral e Skrekovski [6], em uma colorao com pesos de um grafo G = (V, E) ca cada aresta e tem um peso w(e) e vrtices em que a aresta e incidente tm cores com diferena e e e c pelo menos o valor w(e). Eles denotaram por w (G) o valor do menor tamanho de intervalo de cores necessrias para todos os vrtices de um grafo G receberem cores e por dw (v) o somatrio a e o de todos os pesos das arestas incidentes ao vrtice v de G, sendo w = max {dw (v)}. e
vV (G)

Teorema 3.1 (Golumbic [4] - 1980) Um grafo G de permutao se e somente se G um e ca e grafo de interseo de segmentos de retas que conectam duas retas paralelas no plano. ca Teorema 3.2 (Griggs e Yeh [5] - 1992) Existe uma -colorao que utiliza no mximo a ca a cor 4 para grafos com = 2. Teorema 3.3 (Kral e Skrekovski [6] - 2003) Para um grafo G, (G) w (G2 ) 1 w (G2 ) 1, onde as arestas de G em G2 tem pesos 2 e as arestas em G2 que no pertencem a a G tem peso 1. Teorema 3.4 Para um grafo de permutao G, (G) 4 3. ca Prova. Pelo teorema 3.1, existe um modelo de interseo de segmentos de retas que conectam ca duas retas paralelas no plano. Seja v um vrtice de G, os vrtices adjacentes a v em G so e e a segmentos que cruzam o segmento de v no modelo de interseo. Sejam Y o conjunto de vrtices ca e adjacentes a v em G cujos segmentos cruzam o segmento de v de cima para baixo, e X os que cruzam de baixo para cima, como ilustrado na gura 5. Se X e Y = , sejam eX e eY os conjuntos de vrtices ` distncia 2 de v que se situam a e a a esquerda no modelo de interseo e so adjacentes a vrtices de X e de Y , respectivamente, e ca a e dX e dY os que se situam a direita, como ilustrado na gura 5. Em X existe vrtice adjacente a e
492

Figura 5: Modelo de interseo de um grafo de permutao ca ca todos os em Y , a todos em eX e a v, e seu segmento cruzado por no mximo segmentos (o e a segmento mais a esquerda em X tem essa propriedade). Ento, |eX|+|Y |+1 . Analogamente a |eY | + |X| + 1 , |dX| + |Y | + 1 , |dY | + |X| + 1 . Somando-se as quatro inequaes, co obtm-se o nmero de vrtices que esto ` distncia 2 de v mais duas vezes o nmero de vrtices e u e a a a u e que so adjacentes a v, |eX|+|dX|+|eY |+|eY |+2|X|+2|Y | 44. Ou seja, dw (v) 44 a e, pelo teorema 3.3, w (G2 ) 1 w 1 4 5. Se Y = e X = , |eX| + 1 e |dX| + 1 . Ou seja, |eX| + |dX| 2 2 e, dw (v) 2X + |eX| + |dX| 4 2. Ento, pelo teorema 3.3, w (G2 ) 1 w 1 4 3. 2 a Corolrio 3.1 A conjectura de Griggs e Yeh vlida para a classe dos grafos de permutao. a e a ca Prova. No teorema 3.4 foi estabelecido o limite superior de 4 3. Ou seja, para 3 sempre existe cor para v em {0, . . . , 4 3 2 }, se for utilizado o mtodo de atribuio de e ca cores descrita. Para o caso em que = 2, pelo teorema 3.2, a conjectura vlida. e a 2

Grafos linha

Denidos por Whitney [10], um grafo linha H = L(G) = (VL , EL ) de um grafo G = (V, E) tal e que: toda aresta e E corresponde a um vrtice vL VL e dois vrtices so adjacentes em H se e e a e somente se as arestas correspondentes aos vrtices em G so incidentes a um mesmo vrtice. e a e Nesta seo apresentado um limite superior para na classe dos grafos linha e denida a ca e e classe dos grafos quase-linha, sendo provada em ambas a conjectura de Griggs e Yeh. Teorema 4.1 (Krausz [7] - 1943) Um grafo H grafo linha se e somente se existe uma e partio das arestas de H em subgrafos completos de tal modo que cada vrtice aparea em no ca e c mximo dois subgrafos completos. a Teorema 4.2 Para qualquer vrtice v de um grafo linha H, o nmero mximo de vrtices ` e u a e a 2 distncia 2 de v . a e 2 Prova. Considere a partio das arestas de H em subgrafos completos, denida por Krausz [7] ca no teorema 4.1. Cada vrtice de H tem seu grau formado pelos, no mximo, dois subgrafos e a completos adjacentes. Com isso, (H) 2((H) 1), onde (H) o tamanho do maior e subgrafo completo de H. Seja v um vrtice com grau coberto pelos subgrafos completos A e B com |A| = a + 1 e e |B| = b + 1, ento a + b = , como ilustrado na gura 6. Existem a vrtices adjacentes a v a e pelo subgrafo completo A e b vrtices adjacentes a v pelo subgrafo completo B. Cada vrtice e e do subgrafo completo A diferente de v adjacente a no mximo b vrtices com distncia 2 de v, e a e a isto porque cada um desses vrtices j faz parte de um subgrafo completo com A vrtices. Se e a e fossem adjacentes a mais de b vrtices, h uma contradio com o fato de que a + b = . e a ca Existem ab vrtices ` distncia 2 de v vindos do subgrafo completo A. Seguindo o mesmo e a a racioc nio verica-se que existem o mesmo nmero de vrtices ` distncia 2 de v vindos do u e a a
493

Figura 6: Grafo linha com grau 5

Figura 7: 4 vrtices ` distncia 2 e a a

subgrafo completo B. Ento existem no mximo 2ab vrtices ` distncia 2 de v. Como a = b, a a e a a este nmero tambm dado por y = 2( b)(b) = 2b 2b2 . Considere xo. O ponto ym u e e mximo desta funo encontrado derivando y = 2b 2b2 em relao a b e igualando a zero. a ca e ca Com isto, esta valor dado por 4b + 2 = 0, ou seja, b = e, como a + b = , ento a = . e a 2 2 2 Portanto, o nmero mximo de vrtices ` distncia 2 de v ser: 2ab 2 . u a e a a a 2 Teorema 4.3 Para um grafo linha H, (H)
2 +42 . 2

Prova. Considere a abordagem utilizada por Kral e Skrekovski [6] do teorema 3.3. Como 2 existem no mximo vrtices adjacentes e vrtices ` distncia 2 de qualquer vrtice em a e e a a e 2 2 ) 2 + 2 . E, como descrito no teorema 3.3, (H) (H 2 ) 1 = 1 H, w (H w w 2 2 2 2 + 2 1. Corolrio 4.1 Para um grafo linha H com 2, (H) 2 . a Prova. Para 4, tem-se (H) + 2 1 2 . J que 2 4 + 2 0 para todo a 2 4. E, para = 2, pelo teorema 3.2, tem-se (H) 2 . Para = 3, em um vrtice v de H o nmero mximo de vrtices ` distncia 2 de v 4, e u a e a a e 2 ) 2 + 4 = 6 + 4 = 10, ento como ilustrado na gura 7. Pelo teorema 3.3, como w (H a (H) w (H 2 ) 1 w (H 2 ) 1 = 9 = 2 . 2 Teorema 4.4 O limite superior para -coloraes na classe dos grafos linha (2 ). co e Prova. Seja H = L(Kn ) o grafo linha de um grafo completo Kn . Ento |V (H)| = |E(Kn )| = a n2 n e a 2 , (H) = 2n 4 (cada aresta em Kn adjacente a outras 2n 4 arestas) e H tem dimetro 2, isto porque o grafo completo, sendo toda aresta e Kn adjacente ou ` distncia 2 de outra e a a
n aresta em Kn . Com isso, (H) n 2 1 = 2 2 2 1 = +6+8 . Ou seja, o limite 8 2 2 2 superior (G) para a classe dos grafos linha +6+8 (G) +42 . e 8 2
2 2

( +4 )2 ( +4 )

Um grafo Q quase-linha se for poss e vel adicionar arestas em Q de forma que o grafo 2 resultante H seja grafo linha com (H) = (Q) + p, onde (H) +4(H)2 (Q)2 . Isto , h e a 2 um limite mximo em quanto o grau de Q pode aumentar em relao ao grau do grafo linha a ca produzido. Teorema 4.5 Para um grafo quase-linha Q com 0 p
(Q)22 2 , 1+ 2

(Q) 2 .

Prova. Seja p (Q)22 2 e H o grafo linha obtido a partir de Q adicionando arestas de 1+ 2 forma que (H) = (Q) + p. Logo (Q) (H). 2 2 Mas, pelo teorema 4.3, (H) (H) +4(H)2 = ((Q)+p) +4((Q)+p)2 (Q)2 . Portanto, 2 2 (Q) (Q)2 . 2 Por exemplo, valores de p para grafos quase-linha Q com (Q) = 100: 0 p 1002 2 = 1+ 2 39. Ou seja, se for poss transformar um grafo quase-linha Q com (Q) = 100 em um grafo vel linha H adicionando arestas de forma que (H) 139, ento (Q) (Q)2 . a

494

Concluses o

Neste artigo so apresentadas provas de limites superiores para o valor de (G) quando G a pertence a classe dos cografos, grafos de permutao e grafos linha. Com isso, foi provada a ca conjectura de Griggs e Yeh para as duas ultimas classes, sendo realizado mais um passo em direo a prova desta conjectura para grafos em geral. Alm disso, so denidas duas novas ca e a classes de grafos denotadas por p-componente cografos e quase-linha, para as quais a conjectura tambm vlida. Fica em aberto, e continua nos objetivos dos autores, encontrar um exemplo de e e a grafo de permutao que tenha o valor de igual, ou mais prximo do limite superior encontrado, ca o como no caso dos cografos.

Agradecimentos

Este trabalho conta com o nanciamento da CAPES, CNPq e FAPERJ, sob a forma de projetos de pesquisa e colaborao. O autor Daniel Posner recebeu bolsa de mestrado do CNPq. ca

Referncias e
[1] Bodlaender, H.L, T. Kloks, R. B. Tan e J. van Leeuwen, Approximations for -coloring of graphs, The Computer Journal, 47 (2004), 193-204. [2] Calamoneri, T., The L(h, k)-Labelling Problem: A Survey and Annotated Bibliography, The Computer, Journal, 49 (2006), 585-608. [verso atualizada (2009) em a http://www.dsi.uniroma1.it/ calamo/survey.html] [3] Chang, G. J. e D. Kuo , The L(2, 1)-labeling problem on graphs, SIAM Journal on Discrete Mathematics, 9 (1996), 309-316. [4] Golumbic, M., Algorithmic Graph Theory and Perfect Graphs, Academic Press, San Diego, 1980. [5] Griggs, J. R. e R. K. Yeh, Labelling graphs with a condition at distance 2, SIAM Journal on Discrete Mathematics, 5 (1992), 586-595. [6] Kral, D. e R. Skrekovski, A theorem about the channel assignment problem, SIAM Journal on Discrete Mathematics, 16 (2003), 426-437. [7] Krausz, J., Dmonstration nouvelle dun thor`me de Whitney sur les rsaux, Mat. Fiz. e e e e Lapok, 50 (1943), 75-85. [8] Lovsz, L., Normal hypergraphs and the perfect graph conjecture, Discrete Mathematics, a 2 (1972), 253-267. [9] Sakai, D., Labeling chordal graphs: distance two condition, SIAM Journal on Discrete Mathematics, 7 (1994), 133-140. [10] Whitney, H., Congruent graphs and the connectivity of graphs, American Journal of Mathematics, 54 (1932), 150-168.

495