Vous êtes sur la page 1sur 11

See

discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/305755059

Sobre quadrados mgicos, grafos graciosos e


coloraes especiais: teoremas, algoritmos e
aplicaes *
Conference Paper July 2016

CITATIONS

READS

36

2 authors:
Victoria Patrcia Aires

Rosiane De Freitas Rodrigues

Federal University of Amazonas

Federal University of Amazonas

2 PUBLICATIONS 0 CITATIONS

46 PUBLICATIONS 80 CITATIONS

SEE PROFILE

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Sobre o problema da T-colorao em grafos, algumas variaes e algoritmos View project

All in-text references underlined in blue are linked to publications on ResearchGate,


letting you access and read them immediately.

Available from: Victoria Patrcia Aires


Retrieved on: 21 November 2016

CTIC - 35 Concurso de Trabalhos de Iniciao Cientfica

Sobre quadrados mgicos, grafos graciosos e coloraes


especiais: teoremas, algoritmos e aplicaes*
Victria Aires, Rosiane de Freitas
Instituto de Computao Universidade Federal do Amazonas (UFAM)
69077-000 Manaus AM Brasil
{vpsa,rosiane}@icomp.ufam.edu.br

Abstract. In this study, graph labeling problems were investigated. This consists
of assigning labels, usually integers, on vertices or edges, or both, to respect
some constraints. Labeled graphs include the magical graphs, graceful graphs
and colorings with distances. Magic squares can be modeled as complete bipartite graphs, which in turn can have a graceful labeling. Such labeling can be
seen as a particular case of graph coloring under distance constraints. These
correlations were explored in this work, being rewritten in details the proof of
the main theorems, as well as implementations of algorithms for recognition
and determination of feasible solutions - exact and greedy heuristics, using the
DIMACS benchmark. NP-completeness proof for coloring with equal distances
is given.
Resumo. Neste trabalho foram investigados problemas de rotulao em grafos, que consistem em atribuir rtulos, geralmente nmeros inteiros, a vrtices
ou arestas, ou ambos, de modo a respeitar alguma restrio. Grafos rotulados incluem os grafos mgicos, grafos graciosos e coloraes com restries
de distncias. Quadrados mgicos podem ser modelados como grafos bipartidos completos, que por sua vez podem ter uma rotulao graciosa. Tal rotulao pode ser vista como um caso particular de colorao de vrtices que
respeita certa restrio de distncia. Estas correlaes foram exploradas nesta
pesquisa, sendo reescritas em detalhes as provas dos principais teoremas, bem
como implementados algoritmos de reconhecimento e determinao de solues
factveis - exato e heursticas gulosas, com uso do benchmark DIMACS. A prova
da NP-completude para colorao com distncias iguais apresentada.

1. Introduo
A rea de teoria dos grafos estuda as relaes entre os elementos de um conjunto, em
uma estrutura matemtica principal conhecida por grafos. Deste modo, dado um grafo
G = (V, E), onde V o conjunto de vrtices, que representam os objetos, e onde
E o conjunto de arestas, representando os relacionamentos entre eles. Dependendo
do problema em estudo, podem ser acrescentadas outras caractersticas a um grafo. A
classe de grafos rotulados rene aqueles que possuem rtulos nas arestas, vrtices ou
ambos, que geralmente so valores numricos que podem representar pesos ou distncias [Feofiloff et al. 2011].
* Apoiado

pelo Programa Institucional de Bolsas de Iniciao Cientfica - PIBIC (UFAM e CNPq).

481

XXXVI Congresso da Sociedade Brasileira de Computao

Neste trabalho, foram investigados alguns problemas pertencentes a esta classe,


sendo: grafos mgicos, grafos graciosos e problemas de colorao com restries de
distncias. Em uma rotulao mgica, existe uma soma constante associada a cada vrtice. J em uma rotulao graciosa, as arestas devem receber uma sequncia de nmeros
naturais como rtulos [Watson 1972]. Uma outra rotulao conhecida a chamada colorao de vrtices, onde os rtulos so interpretados como cores e vrtices adjacentes
devem ter cores diferentes [Kosowski and Manuszewski 2004]. Aqui, o foco est numa
variao deste problema, acrescentando uma restrio relacionada a rtulos nas arestas.
Deste modo, os objetivos da pesquisa so: explorar as correlaes entre os problemas, reescrever os principais teoremas, compreender propriedades identificadas anteriormente e
auxiliar na proposio de novas, alm de implementar algoritmos para rotulao graciosa
de algumas classes especficas e colorao utilizando heursticas gulosas.
Este artigo est organizado do seguinte modo. Na Seo 2 apresentado o problema do quadrado mgico e sua modelagem terica em grafos, envolvendo rotulao
mgica e aplicaes. A Seo 3 traz os aspectos referentes aos grafos graciosos, suas caractersticas, teoremas e algoritmos. J na Seo 4, so abordadas variaes de problemas
de colorao clssica, mas alm da rotulao de vrtices, envolvem restries de distncia
vistas como um tipo de rotulao de arestas. A Seo 5 sumariza as contribuies do
trabalho. Por fim, na Seo 6, so feitas as consideraes finais do artigo.

2. Quadrado Mgico: modelagem em teoria dos grafos


Um quadrado mgico uma tabela de nmeros, onde a soma dos elementos de uma linha,
coluna e diagonais constante [Arsie 2010]. No h repetio de nmeros. A constante
2
denotada por Sn e chamada de constante mgica. Esta dada por Sn = (1+n2 )n . Assim,
a soma varia de acordo com a ordem n do quadrado.
Existe uma classe de grafos rotulados til na modelagem do quadrado mgico: os
grafos mgicos. Um grafo dito mgico se as arestas podem ser rotuladas com inteiros
no negativos de modo que a soma dos rtulos das arestas incidentes a um vrtice
a mesma, independente da escolha do vrtice [Arnold 2012]. Pode-se verificar que ao
representar um quadrado mgico em grafos, obtm-se uma configurao semelhante da
Figura 1, ou seja, uma rotulao mgica. Cada vrtice representa uma linha ou coluna
e a soma dos rtulos das arestas associadas constante, para todos os vrtices. Como
j comentado, um grafo mgico um tipo de grafo rotulado que admite uma rotulao
mgica, assim como os grafos graciosos, que so aqueles que possuem uma rotulao
graciosa, tal como abordado na prxima seo.
L1

L1

C2 C3 D2
8 15
3

L2

L2

15

L3

L3

15

D1

C1 C2 C3 D2

D1 C1

15 15 15
(a)

L1

L2

5
4

C1

L3

2
7

6
9

1
3

C2

15 15

C3

D1 C1

C2 C3 D2

L1

15

L2

15

L3

15

15 15 15

(b)

15 15

L1

L2

L3

8
3
C1

(c)

7
1

C2

C3

Fonte: prprio autor

Figura 1. Grafo mgico representando um quadrado mgico 3 3. Em (a), uma


instncia inicial no preenchida. Em (b) e (c), configuraes que satisfazem a
propriedade de quadrado mgico. A soma dos rtulos das arestas adjacentes a
cada vrtice sempre 15, a constante mgica para ordem 3.

Se o objetivo for implementar um algoritmo para calcular todos os quadrados

482

CTIC - 35 Concurso de Trabalhos de Iniciao Cientfica

mgicos possveis para uma dada ordem n, uma possibilidade seria o uso da tcnica de
enumerao explcita (backtracking), ou seja, testar todas as combinaes possveis.
No entanto, esta alternativa muito custosa computacionalmente, uma vez que para um
quadrado de ordem n, possvel preencher o quadrado com n2 nmeros que podem ser
dispostos de maneiras diferentes at satisfazer a restrio do quadrado mgico. Alm
disso, h um algoritmo polinomial que utiliza clculos matemticos simples para gerar
apenas uma soluo para um quadrado mgico de ordem n.
2.1. Aplicaes dos quadrados mgicos
Os quadrados mgicos aparecem na literatura relacionados a outros problemas, como jogos que tambm tem como objetivo preencher um grid de nmeros, como o quadrado
latino. Criado por Leonhard Euler, matemtico tambm interessado no estudo dos quadrados mgicos, o jogo consiste em um quadrado com n2 elementos que devem ser dispostos de forma que cada linha e cada coluna possua cada um dos n nmeros diferentes,
sem repetio [dos Santos et al. 2007]. O jogo Sudoku, por exemplo, um quadrado latino com uma restrio a mais: alm das linhas e colunas, existem subdivises do grid, e
nelas tambm no pode haver repetio de nmeros [Arsie 2010].
Uma outra aplicao interessante no problema do passeio do rei. Nele, o objetivo encontrar um passeio do rei em todas as casas de um tabuleiro de xadrez. Ele s
pode passar em cada casa apenas uma vez e se move para apenas uma casa em qualquer
direo. Em uma das solues, demonstrada na Figura 2, o passeio feito pelo rei resulta
em um quadrado mgico 8 8 [Ghersi 1921]. Os nmeros do quadrado mgico indicam a
ordem em que cada casa foi visitada. As linhas, colunas e diagonais do quadrado mgico
feito pelo passeio do rei somam 260, que o valor da constante mgica para o tamanho 8.
28 43 26 25 40 39 22 37
45 46 47 48 17 18 19 20
5 54 7 8 57 58 11 60
4 3 2 1 64 63 62 61
36
53 6 55 56 9 10 59 12
52 51 50 49 16 15 14 13
44 27 42 41 24 23 38 21
29 30 31 32 33 34 35

Fonte: prprio autor

64 63

54

57 58

53

52 51

55 56

9 10

62 61
11 60
59

45

46

47 48 17 18 19

44

27

42 41 24 23

28

43 26

29 30

12

50 49 16 15 14 13

25 40 39 22

31 32

20

38 21
37

33 34 35 36

(a)
(b)
Figura 2. Uma soluo para o passeio do rei que resulta em um quadrado mgico. Em (a), tm-se o quadrado mgico 8 8 representando a ordem de visita
para cada casa, onde a constante mgica 260 e, ao lado, o caminho percorrido
pelo rei: iniciando pelo meio crculo e terminando no crculo. Em (b), o grafo
bipartido e mgico K8,8 correspondente.

Alm destas aplicaes, existem outras mais peculiares. Os quadrados mgicos


de ordem 3 at 9 representam os planetas astrolgicos [Drury 1992], uma ligao com
misticismo e astrologia. Tambm so relacionados msica: alguns msicos associaram
os nmeros do quadrado mgico a notas musicais obtendo uma base para a composio
de suas peas [Roberts 2015].

483

XXXVI Congresso da Sociedade Brasileira de Computao

3. Grafos Graciosos
A classe de grafos rotulados rene diversas subclasses. O que as diferencia so as condies para atribuio dos rtulos e a propriedade adquirida aps a rotulao. Dentre
as rotulaes existentes, alm da rotulao mgica vista na seo anterior, existe a rotulao graciosa [Gallian 2015]. O artigo de Rosa sobre grafos graciosos [Rosa 1967]
considerado um marco na introduo do conceito de grafos rotulados.
Em uma rotulao graciosa, dado um grafo G = (V, E), deseja-se atribuir
um rtulo f (v) para cada vrtice v. Alm disso, cada aresta uv deve ter como rtulo
|f (u) f (v)|. Todas as arestas devem possuir um rtulo diferente e, ao final, estes
rtulos devem ser uma sequncia de nmeros naturais. Um grafo que pode receber uma
rotulao graciosa dito gracioso. Estes grafos despertam muito interesse na literatura,
em parte devido Conjectura 1, a seguir.
Conjectura 1. Toda rvore um grafo gracioso.
Esta conjectura foi proposta por Anton Kotzig e Gerhard Ringel e citada por
Rosa em seu artigo original [Rosa 1967]. Embora seja simples, ela permanece em
aberto: sua validade s foi provada, atravs de computador, para rvores de at 35 vrtices [Fang 2010].
Alm disso, outros estudos mostraram que algumas classes de grafos sempre podem receber uma rotulao graciosa, por exemplo: grafos lagarta, os grafos completos
K2 , K3 e K4 , os bipartidos completos e os caminhos [Golomb 1974]. A Figura 3 contm
exemplos de classes de grafos que so graciosos.
4
3

2
1

3
0
3
Ciclos C n com n mod 4
= 0 ou 3

Caminhos

6 0

rvores (at 35 vrtices)


0
0

1
K2

0
6

3
5

Rodas

5
3
4

2
K3

2
K4

4
Fonte: prprio autor

Figura 3. Algumas classes de grafos graciosos. Os nmeros em negrito so


rtulos dos vrtices. Os demais so rtulos das arestas.

3.1. Teoremas relacionados a grafos graciosos


A seguir, sero reescritas as provas de alguns teoremas que mostram a validade da
rotulao graciosa para algumas classes de grafos. So elas: grafos caminhos, estrela e
bipartido completo.
Teorema 1. Todo grafo caminho um grafo gracioso [Watson 1972].
Demonstrao. Dado um grafo caminho, o nmero de arestas m = n 1, onde n o
nmero de vrtices. O grafo pode sempre receber uma rotulao graciosa como descrita
a seguir.

484

CTIC - 35 Concurso de Trabalhos de Iniciao Cientfica

Inicia-se pelo vrtice em uma das extremidades. Ele rotulado com o inteiro 0.
O vrtice adjacente a ele recebe n 1 como rtulo. O prximo adjacente no rotulado
recebe 1, o prximo n 2 e segue desta forma, alternando entre vrtices que recebem
rtulos incrementados de 1 e os que recebem rtulos decrementados de 1.
Considerando dois casos: n par e n mpar. Em ambos, k =  n2 . Para o caso par,
os rtulos das arestas, comeando pela aresta mais esquerda, so: |(n 1) 0|, |(n
1)1|, |(n2)1|, . . . , |(nk)(k 1)| = n1, n2, n3, . . . , 1. Similarmente, no
caso mpar, os valores das arestas, comeando esquerda, so n 1, n 2, n 3, . . . , 1.
Todos os valores entre 1 e m so usados, como exemplificado na Figura 4. Logo, esta
rotulao graciosa. Portanto, grafos caminhos so graciosos.
3

3
3

0
3

0
1

4
4

1
3

2
1

Fonte: prprio autor

(b) n = 5

(a) n = 4

Figura 4. Exemplos de rotulao graciosa para grafos caminhos, como definido


na prova do Teorema 1. Em (a) n par e em (b), n mpar. A rotulao obtida
graciosa para ambos.

Teorema 2. Grafos estrela so graciosos.


Demonstrao. trivial verificar que um grafo estrela sempre gracioso. Basta atribuir
o rtulo 0 para o vrtice central e os nmeros de 1 a m para os demais vrtices, sem
repetio. Assim, as arestas recebem o mesmo rtulo dos vrtices das pontas da estrela,
respeitando a rotulao graciosa.
Teorema 3. Grafos bipartidos completos so graciosos [Beavers 2001].
Demonstrao. Dado um grafo bipartido completo Ka,b . Considerando os conjuntos A
e B, contendo a e b vrtices, respectivamente. Os vrtices do conjunto A so rotulados
com 0, 1, 2, . . . , a 1. J os do conjunto B recebem os nmeros a, 2a, . . . , ba como
rtulos. Deste modo, todo inteiro de 1 at ab possui uma nica representao: a diferena
absoluta entre o rtulo de um vrtice em A e um vrtice em B, como exemplificado na
Figura 5.
0

1
2

(a)

0
3

6
4

(c)

(b)

1
6

Fonte: prprio autor

5
6

(d)

Figura 5. Exemplo da rotulao descrita no Teorema 3. Em (a), os vrtices recebem a rotulao. Em (b) e (c), observam-se os rtulos das arestas incidentes a
cada vrtice superior. Em (d), v-se que cada inteiro de 1 a m possui representao nica.

3.2. Algoritmos para rotulao graciosa de classes especficas de grafos


Os teoremas anteriores possuem algo em comum: todos eles apresentam um modo de
rotular graciosamente os tipos especficos de grafos. Deste modo, a ideia principal de
cada teorema foi utilizada pela aluna para elaborar algoritmos de rotulao, apresentados
nos Algoritmos 1, 2 e 3, a seguir. Cada um deles utiliza os teoremas descritos para rotular
grafos caminhos, estrela e bipartidos.
485

XXXVI Congresso da Sociedade Brasileira de Computao

Algoritmo 1: Rotulao graciosa do grafo caminho (P = (V, E))


incio
Dados: n, cont1, cont2
n |V (P )|; cont1 0; cont2 n 1;
para cada vi V (P ) faa
se i mod 2 = 0 ento
rotulo(vi ) cont1; cont1 cont1 + 1;
fim se
seno
rotulo(vi ) cont2; cont2 cont2 - 1;
fim se
fim para cada
fim
Algoritmo 2: Rotulao graciosa do grafo estrela (S = (V, E))
incio
para cada vi V (S) faa
rotulo(vi ) i;
fim para cada
fim
Algoritmo 3: Rotulao graciosa do grafo bipartido completo (K = (A +
B, E))
incio
Dados: cont1, cont2
cont1 0; cont2 1;
para cada vi A(K) faa
rotulo(vi ) cont1; cont1++;
fim para cada
para cada vj B(K) faa
rotulo(vj ) cont2 * |A(K)|; cont2++;
fim para cada
fim
3.3. Aplicaes de grafos graciosos
Os grafos graciosos possuem algumas aplicaes prticas interessantes. Uma delas modelagem de redes sem fio de telecomunicaes [Nishad 2012]. Considerando que uma
rede possui n+1 centrais, estas podem ser consideradas vrtices. Entre elas, h conexes,
que podem ser vistas como arestas. Se cada central for rotulada com um inteiro entre 0
e n, as conexes so rotuladas com a diferena entre os rtulos das centrais conectadas.
Deste modo, cada conexo adquire um rtulo distinto, exatamente como em um grafo
gracioso. Isto permite, por exemplo, a execuo de um algoritmo simples quando uma
conexo perdida. Como cada aresta rotulada com a diferena entre os rtulos de duas
centrais, fcil detectar quais so as afetadas e corrigir o problema.

486

CTIC - 35 Concurso de Trabalhos de Iniciao Cientfica

Outra aplicao envolvendo grafos graciosos so as chamadas rguas de Golomb


[Beavers 2001]. Para tanto, so usados grafos graciosos e variaes, como os chamados
semi graciosos e quase graciosos, em que menos restries so aplicadas.
Em um grafo rotulado graciosamente (ou de acordo com uma variao), os rtulos
dos vrtices so assinalados em uma rgua, como uma marca. Os rtulos das arestas so as
distncias entre as marcas correspondentes. O objetivo no haver uma mesma distncia
entre duas marcas quaisquer, como mostra o exemplo da Figura 6. Estas rguas so teis
para criao de cdigos auto-ortogonais (usados em lasers leitores de discos), reduzir
ambiguidade em cristalografia de raios-X e outros usos em teoria da codificao.
2

3
0

1
1

4
4

0
1

5
1

4
3

6
5

2
6

Fonte: prprio autor

Figura 6. Exemplo de uma rgua de Golomb e o grafo gracioso correspondente


a ela.

4. Problemas de colorao com restries de distncias


O problema de atribuir rtulos aos vrtices, como nos grafos graciosos, anlogo atribuio de cores, como no problema da colorao de vrtices. Para identificar tal relao, basta considerar cores como inteiros no negativos. Em uma colorao clssica, o
objetivo atribuir cores aos vrtices de forma a vrtices adjacentes possurem cores diferentes [Feofiloff et al. 2011]. Os problemas estudados neste trabalho, por outro lado,
abordam casos especiais relacionados aos valores das distncias e tipo de (des)igualdade
envolvida.
Tal classe de problemas tem sido denominada de colorao com distncias, como
resultado do trabalho do doutorando Bruno Raphael Dias, aluno da orientadora desta
iniciao cientfica, Rosiane de Freitas, em conjunto com a mesma. presente aluna,
coube a tarefa de compreender os aspectos j definidos e auxiliar na caracterizao de
novos casos. Portanto, nesta seo sero relatados os pontos de contribuio do projeto
de iniciao cientfica neste contexto maior.
A teoria de geometria de distncias aplicada na caracterizao de tal classe
de problemas, onde fornecido um grafo simples G = (V, E, d), sendo d : E R+ , e
deve-se encontrar a projeo x : V R3 tal que x(i) x(j) = dij para toda aresta
(i, j) E. Ao considerar o espao como sendo R1 , obtm-se a colorao com distncias.
Foram estudadas duas variaes, onde a diferena reside na restrio imposta: distncias
iguais, onde |x(i) x(j)| = dij e distncias mnimas, em que |x(i) x(j)| dij .
4.1. Teoremas de factibilidade e prova de NP-completude
Em seu projeto de pesquisa, o aluno Bruno Dias determinou duas propriedades de
factibilidade para o problema de colorao com distncias iguais. Na primeira, levou-se
em conta que todas as distncias so iguais a uma constante. Na segunda, essa restrio
no existe: as distncias podem assumir qualquer valor inteiro no negativo. Estas

487

XXXVI Congresso da Sociedade Brasileira de Computao

propriedades so descritas nos Teoremas 4 e 5 a seguir.


Teorema 4. Dado um grafo G, h soluo para a colorao com distncias iguais a
uma constante se e somente se G bipartido.
Teorema 5. Se um grafo G uma rvore, ento G sempre admite soluo para o caso de
colorao com distncias iguais.
Alm disso, h uma correlao interessante: se um grafo G gracioso, ento
sempre admite pelo menos uma soluo para a colorao com distncias iguais. Basta
fazer os rtulos das arestas tornarem-se restries de igualdade e os rtulos dos vrtices
tornam-se uma soluo vivel.
O estudo das propriedades identificadas permitiu que a aluna auxiliasse na prova
de NP-completude para a colorao com distncias iguais. Para a prova, considera-se a
verso de deciso do problema: dado um grafo, o objetivo decidir se ele possui soluo
para o caso de distncias iguais.
O problema pertence a NP, com verificao simples. Para isto, basta elaborar um
algoritmo que recebe como entrada um grafo G = (V, E, d) onde cada vrtice v V
recebeu uma cor x(v). Verifica-se, ento, se G recebeu uma soluo vlida tomando cada
aresta (i, j) E e checando se |x(i) x(j)| = dij . Se nenhuma restrio de distncia foi
violada, ento G recebeu uma soluo positiva para o problema. Como esta verificao
ocorre em tempo O(|E|), ela linear. Portanto, a colorao com distncias iguais est em
NP.
A prova de NP-dificuldade reduz o problema da partio (NP-completo, vide
[Garey and Johnson 1979]) para a colorao com distncias iguais. Considerando uma
instncia para partio, consistindo em um conjunto M de r inteiros, ou seja, M =
{m1 , m2 , . . . , mr }. A partir desta instncia, construdo um grafo ciclo G com |V | =
|E| = r, levando em conta o seguinte: V = {i0 , i1 , . . . , ir1 }, E = {(ib , ib+1 mod r )|0
b r} e dib ,ib+1 mod r = mb+1 (0 b r). Assim, seja uma rotulao de vrtices x. Se
ela for vlida, podem ser definidos dois conjuntos: S1 = {mb+1 |x(ib ) < x(ib+1 mod r )} e
S2 = {mb+1 |x(ib ) > x(ib+1 mod r )}.
Deste modo, tm-se que S1 e S2 formam uma partio de M , onde a soma dos
elementos em S1 igual soma dos elementos em S2 . Isto , se o grafo G admite uma
rotulao vlida, ento M tm uma resposta positiva e vice-versa. Como esta reduo
pode ser feita em tempo O(r), a colorao com distncias iguais NP-difcil. Sendo
assim, conclui-se que decidir se um grafo possui soluo para a colorao com distncias
iguais NP-completo.
4.2. Algoritmos gulosos para problemas de minimizao
Alm do estudo terico, foram implementados algoritmos heursticos para a colorao
com distncias mnimas, ou seja, restrio maior ou igual. A escolha da ordem em que os
vrtices sero coloridos importante para a heurstica utilizada, chamada gulosa. Nesta
estratgia, dado um grafo G e uma sequncia de vrtices V = {v1 , v2 , ..., vk }, cada vrtice recebe a menor cor possvel [Kosowski and Manuszewski 2004]. Este mtodo no
garante que o mnimo de cores ser utilizado, sendo muito afetado pela escolha dos vrtices a serem coloridos. Para a implementao, foram escolhidas trs estratgias gulosas:

488

CTIC - 35 Concurso de Trabalhos de Iniciao Cientfica

ordem arbitrria; em ordem decrescente de acordo com o grau; e ordenao decrescente


segundo o grau de saturao.
Ser apresentado apenas o pseudocdigo do algoritmo que utiliza ordem do grau
de saturao ou DSATUR (Degree of Saturation). O grau de saturao de um vrtice
a quantidade de vrtices adjacentes a ele que j receberam uma cor. O Algoritmo 4
demonstra como o algoritmo guloso DSATUR funciona para colorao com distncias
iguais. Os algoritmos foram executados utilizando como benchmark as instncias GEOM,
da DIMACS, criadas por Michael Trick e disponveis na pgina do mesmo [Trick 2004].
Algoritmo 4: Colorao gulosa DSATUR (G = (V,E))
incio
Ordenar os vrtices V (G) em ordem decrescente de grau;
Vrtice de maior grau recebe a cor 1;
enquanto vrtice descolorido faa
v maior grau saturacao (G);
se mais de um vrtice com grau de saturao igual a v ento
Escolhe o vrtice de maior grau;
fim se
Colore o vrtice com a menor cor disponvel.
fim enqto
fim

5. Contribuies do trabalho
Os pontos a se destacar neste projeto de pesquisa so:
realizao de uma ampla reviso da literatura sobre o problema do quadrado mgico e classes especficas de grafos rotulados, com nfase nos grafos mgicos,
grafos graciosos e coloraes com distncias;
aplicao dos conceitos de teoria dos grafos para a compreenso e reescrita das
provas de alguns teoremas importantes;
elaborao e implementao de algoritmos polinomiais para reconhecimento de
classes de grafos graciosos e para determinao de solues para colorao com
distncias, usando heursticas gulosa;
uso de benchmark consolidado na literatura, DIMACS, com instncias de colorao com restries de distncia;
colaborao com a tese de Doutorado do aluno Bruno Dias, no intuito de compreender resultados identificados anteriormente, o que possibilitou, principalmente,
alguns resultados adicionais como a elaborao de prova de NP-completude para
um problema estudado.

6. Consideraes finais
Este projeto de pesquisa, apoiado pelo Programa Institucional de Bolsas de Iniciao
Cientfica (PIBIC UFAM e CNPq), no perodo de 2015/2016 abordou aspectos de grafos
rotulados a partir do estudo do quadrado mgicos, grafos graciosos e coloraes especiais.
Foram reescritas provas de teoremas, elaborada uma prova de NP-completude,
bem como adaptados e elaborados algoritmos exatos e heursticos, com uso de benchmark da literatura. A experincia do projeto de pesquisa foi muito interessante para a

489

XXXVI Congresso da Sociedade Brasileira de Computao

aluna, permitindo um timo contato com aspectos tericos da computao. A elaborao


de reviso da literatura, aperfeioamento do mtodo cientfico e estudo de diversas propriedades de grafos foi, com certeza, essencial para a formao e interesse por pesquisa.
Como projetos futuros, pretende-se continuar investigando os problemas de colorao
com distncias, analisando outras restries e os relacionando aos grafos graciosos.

Referncias
Arnold, F. (2012). Totally magic graphs - a complete search on small graphs. Masters
thesis, Clausthal University of Technology.
Arsie, K. C. (2010). Jogos sudoku e quadrado mgico. Masters thesis, Universidade
Federal do Paran.
Beavers, B. (2001). Golomb rulers and graceful labeling. Loisiana State University.
Dias, B. R. C., de Freitas Rodrigues, R., and Filho, N. M. (2012). Alocao de canais em
redes celulares sem fio: algoritmos e modelos tericos em grafos e escalonamento. In
SBPO - Simpsio Brasileiro de Pesquisas Operacionais.
dos Santos, C. P., Neto, J. P., and Silva, J. N. (2007). Os quadrados latinos + Puzzle
Hexgono Mgico. Edimpresa.
Drury, N. (1992). Dictionary of Mysticism and the Esoteric Traditions. Bridport, Dorset:
Prism Press.
Fang, W. (2010). A computational approach to the graceful tree conjecture.
Feofiloff, P., Kohayakawa, Y., and Wakabayashi, Y. (2011). Uma Introduo Sucinta
Teoria dos Grafos. Universidade de So Paulo.
Gallian, J. A. (2015). A dynamic survey of graph labeling. The Electronic Journal of
Combinatorics.
Garey, M. and Johnson, D. (1979). Computers and Intractability: A Guide to the Theory
of NP-Completeness. W. H. Freeman.
Ghersi, I. I. (1921). Matematica Dilettevole e Curiosa. Ulrico Hoepli, Milan, Italy.
Golomb, S. W. (1974). The largest graceful subgraph of the complete graph. The American Mathematical Monthly, 81(5):499501.
Kosowski, A. and Manuszewski, K. (2004). Classical coloring of graphs. Contemporary
Mathematics.
Nishad, T. M. (2012). Application of strong graphs in wireless networks. International
Journal of Scientific and Engineering Research.
Roberts, G. E. (2015). Composing with numbers: Sir peter maxwell davies and magic
squares. Math, Music and Identity.
Rosa, A. (1967). On certain valuations of the vertices of a graph. Theory of Graphs
(Internat. Symposium, Rome, July 1966).
Trick,
M.
(2004).
Graph
coloring
and
http://mat.gsia.cmu.edu/COLOR03/. Acesso em: 04/2016.

its

generalizations.

Watson, R. L. (1972). A survey on the graceful labeling of graphs. Masters thesis,


Roanoke College.

490