Colorao total equilibrada de grafos Um modelo para

redes de interconexo

Abel Rodolfo Garcia LozanoI; Clicia Valladares Peixoto FriedmannII; Samuel

Jurkiewicz III, *
Departamento de Matemtica / FFP Universidade do Estado do Rio de Janeiro
(UERJ) So Gonalo RJ
II
Departamento de Matemtica / FFP Universidade do Estado do Rio de Janeiro
(UERJ) So Gonalo RJ cliciavp@terra.com.br
III
Programa de Engenharia de Produo / COPPE Universidade Federal do Rio de
Janeiro (UFRJ) Rio de Janeiro RJ jurki@pep.ufrj.br
I

RESUMO
Uma rede de interconexo uma estrutura composta por um conjunto P de n > 1
processadores e um conjunto T de ligaes, satisfazendo certas condies. Neste
trabalho ser introduzido o conceito de colorao total equilibrada. Este conceito
utilizado para oferecer uma representao natural para o processamento paralelo
em redes de conexo. Uma colorao total equilibrada apresentada para as
principais topologias de redes de conexo, com no mximo +2 cores, satisfazendo
assim uma conjectura de Vizing.
Palavras-chave: colorao total equilibrada; processamento paralelo; arquiteturas
de rede.

ABSTRACT
An interconnection network is a structure including a set P of n > 1 processors and
a set T of connections of the elements of P, satisfying certain conditions. In this
work it will be introduced the concept of equitable total coloring of a graph. This
concept is shown to be a natural representation for parallel processing in
interconnection networks. For the most common interconnection network topologies
an equitable total coloring is presented with at most +2 colors, thus satisfying a
conjecture of Vizing.
Keywords: equitable total coloring; parallel processing; network architecture.

1. Introduo
O processamento paralelo possibilita a diviso de uma mesma tarefa entre vrios
processadores com a finalidade de se obter maior eficincia na sua execuo e
economia de tempo de processamento. Essa possibilidade de ganho de tempo
uma das razes pelas quais o estudo de algoritmos paralelos tem se expandido ao
longo dos ltimos anos.
Embora o processamento paralelo tenha vantagens significativas, apresenta como
limitaes o fato de a programao geralmente ser feita de forma seqencial e os
algoritmos em paralelo serem especficos para cada topologia. O ideal seria gerar
algoritmos comuns a todas as topologias ou paralelizar automaticamente algoritmos
seqenciais. Neste trabalho mostramos o exemplo de um algoritmo de troca
completa baseado unicamente nas cores, pelo que independe da topologia.
Nos prximos itens, sero apresentadas algumas noes bsicas a respeito de
redes de interconexo e de grafos, alm de ser introduzida a noo de colorao
total equilibrada. Tambm ser exposto um algoritmo de transmisso que explora a
idia de colorao total equilibrada. Posteriormente, ser mostrado que possvel
colorir total e equilibradamente as topologias mais usuais de redes de interconexo
do tipo ponto-a-ponto. Para isso, sero desenvolvidos mtodos de colorao total
equilibrada para os grafos especficos que representam as topologias mais comuns.
Veremos que essas coloraes no contrariam a conjectura de Vizing para
coloraes no equilibradas.

2. Redes de interconexo, representao de redes ponto-aponto e grafos

Uma rede de interconexo uma estrutura composta por um conjunto P de n > 1
processadores e um conjuntoT de ligaes (conexes) entre os processadores e que
satisfaz as seguintes propriedades:
1. Cada processador tem sua memria local;
2. Cada processador pode executar, em determinado momento, uma e somente
uma das seguintes tarefas:
a) processar alguma informao;
b) enviar alguma informao;
c) e receber alguma informao.
3. Cada uma das tarefas gasta o mesmo tempo para sua realizao.
Em uma rede de interconexo cada processador deve pertencer a alguma ligao,
podendo estar em vrias. Denomina-se canal a uma conexo que possui somente
dois processadores.

Uma rede de interconexo pode ser representada por um grafo G(V, E), que uma
estrutura matemtica constituda por um conjunto no vazio e finito V e por um
conjunto E de subconjuntos de dois elementos de V. Os vrtices e arestas do grafo
G so respectivamente os elementos de V e de E. No caso das redes, os vrtices
so os processadores e esto associados ao processamento de informaes; as
arestas so os canais e representam a transmisso de informaes. Tanto vrtices
quanto arestas so os elementos do grafo. Numa representao grfica de um grafo
G(V,E), os vrtices so representados por pontos e as arestas por linhas.
A seguir, apresentamos algumas definies associadas a grafos que sero
necessrias para uma melhor compreenso deste texto.
Dois vrtices so adjacentes ou vizinhos quando existe uma aresta que os une e
duas arestas so incidentes se possuem um vrtice em comum. O grau de um
vrtice dado pelo nmero de arestas que incidem sobre ele, e o grafo
regular quando todos os seus vrtices tm o mesmo grau.
Em um grafo, define-se um caminho entre dois vrtices v1 e vr como uma
seqncia de vrtices distintos v1, v2, . . , vr tais que {vi, vi+1} E. Um caminho
notado pela seqncia dos seus vrtices: v1, v2, v3, . . , vr. Quando conveniente, as
arestas ei sero includas na notao: v1, e1, v2, e2, v3,. . er-1, vr. O comprimento do
caminho dado pelo o nmero de arestas; ou seja, o caminho possui (r-1) arestas.

3. Colorao total equilibrada, processamento e transmisso

de dados
Uma colorao total prpria de um grafo G(V,E) uma funo de V E em um
conjunto de cores C de tal forma que dois elementos adjacentes ou incidentes do
grafo no tenham a mesma imagem. Denota-se por a(c)o nmero de vezes que a
cor c aparece em uma colorao total. A Figura 1 mostra uma colorao total para
um grafo regular de grau 2.

Diz-se que uma colorao total equilibrada se para quaisquer cores c1 e

c2 pertencentes ao conjunto de cores C ento |a(c1) a(c2)|< 1. A Figura 2 abaixo
apresenta uma colorao equilibrada. A partir dessa colorao, pode-se associar
que os processadores ou os canais coloridos com a mesma cor, por exemplo, com a
cor 3, processem ou transmitam informaes simultaneamente.

Observa-se que a idia de associar colorao total equilibrada ao processamento e

transmisso de dados pode ajudar na elaborao de algoritmos que envolvam
processamento e transmisso de dados independentemente da topologia da rede.
Em uma colorao total no equilibrada, embora exista a possibilidade desse tipo
de associao, a falta de equilbrio na distribuio das cores no permite um bom
aproveitamento da rede.
A seguir, apresenta-se um algoritmo que envolve unicamente transmisso de
dados. Nesse caso, a idia de colorao total equilibrada tambm til, pois as
cores nos vrtices indicam o sentido da transmisso.

4. Um algoritmo de comunicao e colorao total equilibrada

Considera-se que a medida de tempo de um algoritmo seja dada pelo nmero de
passos que ele efetua. Em uma rede admite-se que toda computao possa ser
realizada instantaneamente por qualquer processador e que a comunicao entre
processadores vizinhos deve consumir um passo de computao.
Abaixo, apresenta-se um algoritmo de comunicao, baseado em colorao total,
que envolve troca completa de informaes, ou seja, cada processador possui uma
informao e necessrio que todos os processadores conheam todas as
informaes.
4.1 Algoritmo para troca completa:
Tipo: cor=inteiro;

Variveis:

k : inteiro {nmero de cores necessrio para colorir totalmente o grafo

associado topologia}
x[k] : array de cor;
aux:cor;

incio
Passo 1:
Criar uma colorao total equilibrada do grafo
G(V,E) que representa a topologia da rede
para i:=1 a k faa x[i]:=i
Passo 2:
para i:=1 a k faa
incio
Transmitir a informao por qualquer
aresta com a cor i, na direo do vrtice
cuja cor tem o maior ndice no array x.
fim;
Passo 3:
aux:=x[k] ;
para i:=k descendo at 1 faa x[i]:=x[i-1] ;
x[1]:=aux;
Passo 4 :
Repetir os passos 2 e 3 at que todos os
processadores recebam todas as informaes.
Fim
4.2 Anlise do algoritmo
Sejam x e y dois vrtices adjacentes do grafo G(V,E), associado a uma rede; o
vrtice y receber a informao de x em no mximo k repeties dos passos 2 e 3
do algoritmo. Se d for o comprimento do maior caminho entre dois vrtices
quaisquer do grafo G, ento, em dk2 passos, todos os vrtices recebero todas as
informaes.
O algoritmo apresentado independe da topologia da rede de interconexo, mas
funciona com qualquer colorao. Entretanto, uma colorao total equilibrada do
grafo, que representa a rede, torna o processamento mais eficiente. A seguir, ser
mostrado que as topologias mais utilizadas em redes de interconexo admitem
coloraes totais equilibradas que no contrariam a conjectura de Vizing, que ser
enunciada logo abaixo.

5. Colorao total equilibrada das topologias de redes de

interconexo
Denomina-se nmero cromtico total de G(V,E), representado por T(G), a
cardinalidade do menor conjunto C que colore totalmente o grafo. A conjectura de
Vizing a respeito de colorao total estabelece que:

"Para qualquer grafo G(V,E) ento T(G) < +2 , sendo o grau mximo do grafo."
fcil verificar que T(G) > D +1. Se T(G) = +1, ento o grafo do tipo 1,
caso T(G) = +2, o grafo detipo 2; portanto a conjectura de Vizing pode ser
reapresentada como:
"Para qualquer grafo G(V,E) ento G do tipo 1 ou do tipo 2."
Tem-se que as topologias mais utilizadas em redes de conexo so: anel, hipercubo
e toro. Ser mostrado que possvel associar a cada uma delas uma colorao total
equilibrada de tal forma que sejam classificadas como de tipo 1 ou de tipo 2. Em
alguns casos, usada a arquitetura em rvore, que admite uma colorao
equilibrada com +1 cores, conforme Garcia Lozano (2005).
5.1 Anel
Um ciclo ou anel Ck de comprimento (k-1) um caminho v1, v2 . . vk tal que {v1,
vk } E. O anel Ck possui kvrtices e k arestas, sendo k > 3. Abaixo, mostra-se que
um ciclo Ck colorido de forma total equilibrada com trs ou quatro cores.
1 caso - k mltiplo de 3
Seja C = {c1, c2, c3} um conjunto de cores. Considere a seqncia de elementos do
anel Ck dada por: v1e1v2, v2e2v3, . . ., vk-1ek-1vk, vkekv1, sendo a aresta ei = {vi, vi+1}
quando 1< i < k-1 e ei = {vk, v1} se i=k. Colore-se a seqncia acima com as cores
c1, c2, c3 nessa ordem e sucessivamente at completar o ciclo. Observa-se que a cor
da aresta ek ser c3; diferente das cores do vrtice v1 e da aresta e1 que so
coloridos respectivamente por c1 e c2. Cada uma das trs cores utilizada 2.k/3
vezes e a colorao equilibrada.
2 caso - k no mltiplo de 3
Se k no mltiplo de 3, no h colorao total com 3 cores. De fato, cada classe
de cor teria 2k/3 + 1 elementos, o que se constata facilmente ser impossvel. Em
seguida, apresentamos uma colorao com 4 cores c1, c2, c3, c4.
Se k par, a seqncia de elementos do ciclo dada por: v1e1v2, v2e2v3, . . ., vk-1ek1vk, vkek ser colorida sucessivamente pelas cores c1, c2, c3, c4 nessa ordem at
completar o anel. A aresta ek ter cor c4, diferente da cor do vrtice v1 (cor c1) e da
aresta e1 (cor c2). Cada cor aparecer k/2 vezes, e a colorao equilibrada.
Se k for mpar, colore-se a seqncia de elementos do ciclo com as cores c1, c2, c3,
c4 nessa ordem at a aresta ek-1 inclusive. Observa-se que at ek-1 a colorao
equilibrada. A fim de evitar conflito de cores no restante da colorao, o vrtice v k
colorido com c2 e a aresta ek com a cor c3. As cores c1 e c4 so usadas (k-1)/2 vezes
cada uma e as cores c2 e c3 so utilizadas (k+1)/2 vezes.
5.2 Hipercubo
Um hipercubo de dimenso k (k inteiro positivo) um grafo cujo conjunto de
vrtices formado por todas as k-uplas constitudas por "0" e "1". Existe uma
aresta entre dois vrtices do hipercubo se as k-uplas correspondentes aos vrtices
diferem apenas de uma coordenada. Um hipercubo de dimenso k, denotado por
Qk, um grafo regular de grau k e possui 2k vrtices e k2k-1 arestas. A Figura
3 abaixo mostra os hipercubos Q1, Q2 e Q3.

Nota-se que a retirada da ltima coordenada de cada uma das k-uplas transforma
um Qk em dois hipercubos de dimenso imediatamente inferior. Da mesma forma,
um hipercubo Qk obtido pela juno de dois hipercubos Qk-1 ao acrescentar 0 ou 1
aps a ltima coordenada de cada uma das (k-1)-uplas.
Abaixo, ser demonstrado que qualquer hipercubo Qk pode ser colorido de forma
total e equilibrada com ( +2) cores, ou seja, com (k+2) cores. Posteriormente,
tambm ser exibida uma colorao equilibrada de Q3 com quatro cores, o que
acarretar uma conjectura a respeito de que hipercubos podem ser do tipo 1.
5.2.1 Colorao total e equilibrada de Qk com k+2 cores
Abaixo, ser apresentada uma colorao total equilibrada de Qk, que ser iniciada
pelos vrtices, seguida pela colorao das arestas.
Colorao dos vrtices
Pela definio do hipercubo, observa-se que os vrtices, cuja soma das
coordenadas par, no so adjacentes. O mesmo vale para o conjunto dos vrtices
cuja soma das coordenadas mpar. Esses conjuntos de vrtices so coloridos
respectivamente com as cores c1 e c2. Cada cor ser utilizada (2k-1) vezes.
Colorao das arestas
Para cada vrtice u do hipercubo Qk , existem k vrtices adjacentes a ele. Seja
vi (i=1,2,3 .., k) o vrtice adjacente a u , cuja i-sima coordenada difere da i-sima
coordenada de u ; atribui-se cor ci+2 aresta {u,vi}. Dessa forma, garante-se que
cada aresta {u,vi} colorida com uma cor diferente. A mesma distribuio de cores
pode ser aplicada s arestas adjacentes a todos os vrtices. Cada cor utilizada 2k1
vezes.
Observa-se que as cores c0 e c1, que so utilizadas para colorir os vrtices, no se
repetem nas arestas. Tem-se tambm que quaisquer arestas com a cor ci+1 no
possuem vrtices em comum. De fato, se duas arestas, com a mesma cor, fossem
incidentes a um vrtice em comum, implicaria que os outros dois vrtices, cada um

deles incidente em apenas uma das duas arestas, pertenceriam vizinhana do

vrtice em comum, e pela colorao sugerida no pargrafo anterior, as arestas
teriam cores diferentes.
So necessrias (k+2) cores para colorir totalmente o hipercubo cubo Qk , sendo
que cada cor utilizada 2k-1vezes . A colorao equilibrada.
5.2.2 Colorao total e equilibrada de Q3 com quatro cores e uma
conjectura
Conforme j comentado, pode-se exibir uma colorao de Q3 com +1 cores, ou
seja, com 4 cores. A colorao feita da seguinte forma:
Cor 0 Vrtices: (0,0,0) e (1,1,1) Arestas: [(0,0,1),(0,1,1)]; [(0,1,0),(1,1,0)];
[(1,0,1),(1,0,0)]
Cor 1 Vrtices: (0,0,1) e (1,1,0) Arestas: [(0,1,1),(0,1,0)]; [(0,0,0),(1,0,0)];
[(1,1,1),(1,0,1)]
Cor 2 Vrtices: (0,1,1) e (1,0,0) Arestas: [(0,1,0),(0,0,0)]; [(0,0,1),(1,0,1)];
[(1,1,0),(1,1,1)]
Cor 3 Vrtices: (0,1,0) e (1,0,1) Arestas: [(0,0,0),(0,0,1)]; [(0,1,1),(1,1,1)];
[(1,0,0),(1,1,0)]
Esta colorao apresenta uma simetria que tem uma caracterstica interessante:
todas as cores esto presentes em exatamente 2k/(k+1) vrtices e k.2k-1/(k+1)
arestas. Isso s possvel quando (k+1) uma potncia de 2, o que induz
conjectura de que um hipercubo Qk ser do tipo 1 (quanto colorao total) apenas
quando (k+1) for uma potncia de 2.
5.3 Toro
O toro definido como o produto cartesiano de dois ciclos. Formalmente, o toro
Tj,k o grafo no orientado que tem como conjunto de vrtices V(Tj,k) = { vs,t |
1 < s < j; 1 < t < k } e cujas arestas ligam vrtices va,b e vc,dsempre que:

a = c e |d b| = 1 ou k-1 (mod k) ou

b = d e |c a| = 1 ou j-1 (mod j).

Os toros so grafos 4-regulares, logo, para qualquer nmero de vrtices n, o

nmero de arestas ser m = 4n/2 = 2n. O nmero total de elementos a ser
colorido 3n.
A seguir, ser mostrada uma colorao equilibrada com 6 cores para todos os toros
e uma colorao equilibrada com 5 cores para toros Tj,k em que k mltiplo de 5.
5.3.1 Para j par e k 5.t , t Z
No caso em questo, como o nmero de vrtices n par, ento 3n divisvel por 6,
logo a colorao oferecida vai alocar a mesma cor a n/2 elementos.

Para colorir totalmente toros com os dois ciclos geradores de ordem par, so
utilizados "pseudo-toros" modulares do tipo T2,2 e T2,3 . A rigor, esses dois mdulos
so considerados como "toros degenerados", uma vez que incluem arestas
mltiplas. Esta caracterstica, entretanto, no interfere na construo da colorao.
Abaixo, na Figura 4, so indicadas as coloraes dos mdulos 2x2 e 3x2
respectivamente.

Observa-se que as coloraes exibidas so equilibradas. Alm disso, elas podem ser
utilizadas para colorir todo e qualquer toro com j par e k qualquer. Por exemplo,
para colorir um toro T8,13 , basta ligar os mdulos, conforme indicado na tabela
abaixo:

5.3.2 Para j mpar e k 5.t , t Z

A mesma construo do item 5.3.1 utilizada aqui com algumas diferenas.
Como n mpar, a colorao total vai alocar cores a trs classes de (n+1)/2 cores e
a trs de (n - 1)/2 cores. Para conseguir completar a montagem, sero utilizados
dois mdulos, tambm "degenerados" da forma T1,2 e T1,3. A degenerao agora
inclui laos, isto , arestas ligando um vrtice a ele mesmo. Outra vez, esta
caracterstica no interferir na construo. A Figura 5 abaixo mostra os mdulos
T1,2 e T1,3

A tabela a seguir ilustra a colorao de T7,7 com 6 cores utilizando os quatro tipos
de mdulos.

5.3.3 k mltiplo de 5
No caso particular em que k um mltiplo de 5, construda uma colorao total
com 5 cores. Os mdulos utilizados agora sero de 2 X 5 e de 3 X 5, conforme
ilustrado na Figura 6 abaixo.

Observa-se que a colorao desses mdulos apresenta uma simetria circular que d
uma caracterstica interessante: todas as cores esto presentes em exatamente n/5
vrtices e 2n/5 arestas. O processo ilustrado na tabela abaixo com uma 5colorao de T7,10.

6. Concluso
A colorao total equilibrada possibilita a representao de uma diviso natural dos
recursos de uma rede de conexes. Com o uso desse conceito, a confeco de
algoritmos paralelos pode ser feita de maneira genrica, em que pelo menos t/(D
+2) processadores ou conexes podem ser usados simultaneamente, sendo t o
nmero de elementos do grafo associado rede (i.. nmero de vrtices + nmero
de arestas).
Permanece em aberto se hipercubos e toros so do tipo 1 ou do tipo 2, mas em
ambos os casos, a conjectura de Vizing se mostra verdadeira.

Referncias Bibliogrficas
(1) Garcia Lozano, A.R. (2005). Colorao total equilibrada de grafos. Tese de
Doutorado, Universidade Federal do Rio de Janeiro, COPPE/UFRJ, D.Sc., Engenharia
da Produo.
[ Links ]
(2) McDiarmid, C.J.H. & Sanchez Arroyo, A. (1993). An upper bound for total
coloring of graphs. Discrete Mathematics, 111, 389-392.
[ Links ]
(3) Vijayaditya, N. (1971). On total chromatic number of a graph. J. London Math.
Soc., 2, 405-408.
[ Links ]
(4) Yap, H.P. (1996). Total Colorings of Graphs. Springer Verlag.

[ Links ]

(5) Yap, H.P. (1986). Some Topics in Graph Theory. Cambridge University Press.
[ Links ]

Recebido em 12/2006; aceito em 10/200

Received December 2006; accepted October 2007