sticas330

Belmino (UFC)

CEM

7 de outubro de 2011

1 / 13

Conjunto Estvel Mximo a a

Estudo e adaptaes algor co tmicas para determinao do Conjunto ca Estvel Mximo de um Grafo a a

Autor: Belmino L. Jorge Co-autor: Elvys L. Pontes Orientadora: Andra C. Linhares e

Universidade Federal do Cear a

7 de outubro de 2011

Belmino (UFC)

CEM

7 de outubro de 2011

1 / 13

Sumrio a

Conceitos

Belmino (UFC)

CEM

7 de outubro de 2011

2 / 13

Sumrio a

Conceitos

Prtica a

Belmino (UFC)

CEM

7 de outubro de 2011

2 / 13

Conceitos

Grafos

Grafos A teoria dos grafos o estudo dos grafos, estruturas matemticas usadas para e a modelar as relaes entre os objetos de uma coleo. co ca

Belmino (UFC)

CEM

7 de outubro de 2011

3 / 13

Conceitos

Grafos

Grafos A teoria dos grafos o estudo dos grafos, estruturas matemticas usadas para e a modelar as relaes entre os objetos de uma coleo. co ca

Belmino (UFC)

CEM

7 de outubro de 2011

3 / 13

Conceitos

O que Conjunto Estvel Mximo? e a a

O que Conjunto Estvel? e a Seja um grafo G = (V, E), onde V o conjunto de vrtices e E o conjunto de e e arestas no orientadas do grafo. Um Conjunto Estvel de um grafo G um a a e subconjunto S de vrtices (S V ) onde a relao de adjacncia no se e ca e a verica para quaisquer par de vrtices contidos em S. e

Belmino (UFC)

CEM

7 de outubro de 2011

4 / 13

Conceitos

O que Conjunto Estvel Mximo? e a a

E Conjunto Estvel Mximo a a Assim, dene-se Conjunto Estvel Mximo (CEM ) como o subconjunto a a estvel de maior cardinalidade. a

Belmino (UFC)

CEM

7 de outubro de 2011

5 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co agendamento de tarefas;

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co agendamento de tarefas; atribuio de canais de rdio; ca a

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co agendamento de tarefas; atribuio de canais de rdio; ca a o registro de atribuio de um compilador; ca

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co agendamento de tarefas; atribuio de canais de rdio; ca a o registro de atribuio de um compilador; ca coloraao de grafos; c

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Aplicaes co

Aplicaes co O CEM muito utilizado em aplicaes pertencentes a vrios ramos das e co a Cincias. Podemos citar Cincias da Computao, Pesquisa Operacional e e e ca Engenharia, como tambm aplicaes caracterizadas como: e co agendamento de tarefas; atribuio de canais de rdio; ca a o registro de atribuio de um compilador; ca coloraao de grafos; c entre outras.

Belmino (UFC)

CEM

7 de outubro de 2011

6 / 13

Conceitos

Outros Trabalhos

Algoritmos Exatos

Belmino (UFC)

CEM

7 de outubro de 2011

7 / 13

Conceitos

Outros Trabalhos

Algoritmos Exatos Tarjan e Trojanowski em 1977 propuseram um algoritmo da ordem de O(20,334n ) e espao polinomial; c

Belmino (UFC)

CEM

7 de outubro de 2011

7 / 13

Conceitos

Outros Trabalhos

Algoritmos Exatos Tarjan e Trojanowski em 1977 propuseram um algoritmo da ordem de O(20,334n ) e espao polinomial; c Robson em 1986 props um algoritmo da ordem de O(20,276n ) e espao o c exponencial;

Belmino (UFC)

CEM

7 de outubro de 2011

7 / 13

Conceitos

Outros Trabalhos

Algoritmos Exatos Tarjan e Trojanowski em 1977 propuseram um algoritmo da ordem de O(20,334n ) e espao polinomial; c Robson em 1986 props um algoritmo da ordem de O(20,276n ) e espao o c exponencial; Algoritmos Heur sticos

Belmino (UFC)

CEM

7 de outubro de 2011

7 / 13

Conceitos

Outros Trabalhos

Algoritmos Exatos Tarjan e Trojanowski em 1977 propuseram um algoritmo da ordem de O(20,334n ) e espao polinomial; c Robson em 1986 props um algoritmo da ordem de O(20,276n ) e espao o c exponencial; Algoritmos Heur sticos Halldrsson e Radhakrishnan em 1997 propuseram um algoritmo da o ordem de O(n3 ) e espao polinomial; c

Belmino (UFC)

CEM

7 de outubro de 2011

7 / 13

Prtica a

Nosso Trabalho

Nosso Trabalho Inicialmente estudamos o CEM como ferramenta para a compreenso dos a conceitos bsicos associados ` Teoria dos Grafos, bem como ` modelagem e a a a representaao computacional de suas principais funcionalidades. Em seguida, c buscamos implementar e propor adaptaes a alguns algoritmos clssicos co a referidos na literatura. Nesse contexto, citamos o algoritmo heur stico MAXCEM , baseado no trabalho de Halldrsson e Radhakrishnan, 1997. o

Belmino (UFC)

CEM

7 de outubro de 2011

8 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo
1

Geraao do grafo G ; c

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo
1 2

Geraao do grafo G ; c V ordenado em funo do grau dos vrtices; e ca e

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo
1 2 3

Geraao do grafo G ; c V ordenado em funo do grau dos vrtices; e ca e Retira-se o vrtice de menor cardinalidade e adiciona-se ao conjunto CEM e (Em casos quando mais de um vrtice possuir o menor grau, haver uma e a anlise destes vrtices escolhendo o vrtice que possuir uma vizinhana a e e c com maior cardinalidade) ;

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo
1 2 3

Geraao do grafo G ; c V ordenado em funo do grau dos vrtices; e ca e Retira-se o vrtice de menor cardinalidade e adiciona-se ao conjunto CEM e (Em casos quando mais de um vrtice possuir o menor grau, haver uma e a anlise destes vrtices escolhendo o vrtice que possuir uma vizinhana a e e c com maior cardinalidade) ; analisa as ligaes deste vrtice e verica se h algum vizinho em G. Em co e a caso armativo, remove-se esse vizinho deste conjunto;

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Nosso Algoritmo
1 2 3

Geraao do grafo G ; c V ordenado em funo do grau dos vrtices; e ca e Retira-se o vrtice de menor cardinalidade e adiciona-se ao conjunto CEM e (Em casos quando mais de um vrtice possuir o menor grau, haver uma e a anlise destes vrtices escolhendo o vrtice que possuir uma vizinhana a e e c com maior cardinalidade) ; analisa as ligaes deste vrtice e verica se h algum vizinho em G. Em co e a caso armativo, remove-se esse vizinho deste conjunto; O processo se repete at o conjunto G esteja vazio. Ao nal do algoritmo, e o conjunto CEM ser o conjunto estvel mximo de G. a a a

Belmino (UFC)

CEM

7 de outubro de 2011

9 / 13

Prtica a

Nosso Trabalho

Concluses o Notamos que os maiores tempos dos algoritmos base esto na densidade 0.5, a ou seja, os maiores tempos acontecem na faixa mdia de densidade desse e problema. O melhor caso acontece nas extremidades, quando o grafo muito e denso ou esparso, tendo o tempo mais baixo. Enquanto no algoritmo proposto o maior tempo ocorre na densidade 0.1 e vai diminuindo de acordo com o aumento da densidade.

Belmino (UFC)

CEM

7 de outubro de 2011

10 / 13

Prtica a

Obrigado!!!

Perguntas???

Belmino (UFC)

CEM

7 de outubro de 2011

11 / 13

Prtica a

Bibliograa
Fontes Beigel, R. 1999. Finding maximum independent sets in sparse and general graphs. In Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, Maryland, United States, January 17 19, 1999). Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, 856857. Formin, F. V., Grandoni, F. e Kratsch, D. (2009) A measure & conquer approach for the analysis of exact algorithms,J. ACM 56, 5 (Aug. 2009), USA,pp. 132 Halldrsson, M. M. e Radhakrishnan, J. (1997) Greed is good: o Approximating independent sets in sparse and bounded-degree graphs, Springer New York, USA, pp. 145163 www.dsi.unive.it/ pelillo/papers/EoO-heuristics.pdf

Belmino (UFC)

CEM

7 de outubro de 2011

12 / 13

Prtica a

Bibliograa

Fontes Bck, T. e Khuri, S. (1994)An Evolutionary Heuristic for the Maximum a Independent Set Problem, IEEE Press, 531535 Cormen, T.H., et al, Algoritmos: Teoria e Prtica, Editora Campus, 2002 a http://www.ime.usp.br/ pf/algoritmos em grafos/aulas/cliques.html http://sites.google.com/site/tecprojalgoritmos/tecnicas-deprojetos/heuristicas

Belmino (UFC)

CEM

7 de outubro de 2011

13 / 13