Escolar Documentos
Profissional Documentos
Cultura Documentos
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/305755059
CITATIONS
READS
36
2 authors:
Victoria Patrcia Aires
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:
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
481
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
482
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
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.
483
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
1
K2
0
6
3
5
Rodas
5
3
4
2
K3
2
K4
4
Fonte: prprio autor
484
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
(b) n = 5
(a) n = 4
1
2
(a)
0
3
6
4
(c)
(b)
1
6
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.
486
3
0
1
1
4
4
0
1
5
1
4
3
6
5
2
6
487
488
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
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.
490