SlideShare uma empresa Scribd logo
1 de 16
Baixar para ler offline
Conectividade em Grafos
Conectividade em Grafos
Michelle Cacais
Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE
15 de Abril de 2016
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 1 / 16
Conectividade em Grafos
Introdu¸c˜ao
Conectividade ´e um dos conceitos b´asicos da teoria dos grafos.
Fala sobre o n´umero m´ınimo de elementos que precisam ser
removidos para desconectar os v´ertices uns dos outros.
´E um tema fortemente ligado a teoria dos problemas de fluxo de redes.
A conectividade de um grafo ´e uma importante medida da robustez
de uma rede.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 2 / 16
Conectividade em Grafos
Conceitos iniciais
Em um determinado grafo G, uma caminhada (walk) em G ´e uma
sequˆencia finita de arestas, podendo ser representado por
v0, v1, v2, ..., vm.
Cada aresta consecutiva ´e adjacente ou idˆentica.
Essa caminhada determina uma sequencia de v´ertices v0, v1, ..., vm,
sendo v0 o v´ertice inicial e vm o v´ertice final.
O n´umero de arestas em um caminho ´e chamado de tamanho
(length).
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 3 / 16
Conectividade em Grafos
Conceitos iniciais
Exemplo: v → w → x → y → z → z → y → w ´e uma caminhada de
tamanho 7 de v at´e w.
Figura: Grafo com tamanho 7
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 4 / 16
Conectividade em Grafos
Conceitos iniciais
Uma caminhada na qual todas as bordas s˜ao distintas consiste em
uma trilha (trail).
Se, al´em disso, os v´ertices v0, v1, ..., vm s˜ao distintos, (exceto se
v0 = vm), ent˜ao ´e chamado de caminho (path).
Um caminho ou uma trilha ´e fechado (closed) se v0 = vm.
Um caminho fechado que contem no m´ınimo uma aresta ´e um ciclo
(cycle).
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 5 / 16
Conectividade em Grafos
Conceitos iniciais
Um grafo ´e dito conexo (connected) se, e somente se, houver um
caminho os ligando.
Figura: Exemplos de grafos conexo e desconexo
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 6 / 16
Conectividade em Grafos
Defini¸c˜ao
Um grafo n˜ao vazio G ´e chamado conexo se qualquer um dos v´ertices
est´a ligado por um caminho em G.
Se U ⊆ V (G), e G[U] s˜ao conexos, U tamb´em ´e chamado de conexo
(em G).
Um grafo ´e conectado se possuir exatamente um componente
conectado, ou seja, se cada n´o ´e alcan¸c´avel a partir de cada um dos
n´os.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 7 / 16
Conectividade em Grafos
Preposi¸c˜ao
Os v´ertices de um grafo conexo G pode ser sempre enumerado como
v0, v1, ..., vm.
Ent˜ao Gi := G[v1], ..., vi ´e conectado para cada i.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 8 / 16
Conectividade em Grafos
Prova
Pegue qualquer v´ertice e assuma que ´e v1.
Assuma indutivamente que v1, ..., vi foi escolhido por algum i < |G|.
Agora pegue um v´ertice v ∈ G − Gi .
Como G ´e conexo, contem um caminho P de v − vi .
Escolha como vi+1 o ´ultimo v´ertice de P em G − Gi .
A conectividade de cada Gi ´e seguida pela indu¸c˜ao de i.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 9 / 16
Conectividade em Grafos
Componentes
Imagine um grafo G = V , E.
Um subgrafo com conectividade m´axima de G ´e chamado
componente de G.
Um componente a ser conectado ´e sempre um componente n˜ao vazio.
O grafo vazio n˜ao tem componentes.
Figura: Um grafo com trˆes componentes, e um m´ınimo subgrafo gerador
ligado em cada componente
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 10 / 16
Conectividade em Grafos
V´ertice de corte e ponte
Se A, B ⊆ V e X ⊆ V ∪ E, tais que cada caminho A - B em G
contem um v´ertice ou uma aresta de X, diz-se que X separa os
conjuntos A e B em G.
X separa G se G - X ´e desconexo.
Isso implica que A ∩ B ⊆ X.
Um v´ertice que separa dois outros v´ertices do mesmo componente ´e
chamado de v´ertice de corte (cutvertex).
A aresta que separa ´e chamada de ponte (bridge).
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 11 / 16
Conectividade em Grafos
Ponte
Uma aresta ´e dita ser uma ponte se sua remo¸c˜ao produz um grafo
com mais componentes conexos.
Figura: Um grafo com v´ertices de corte v, x, y, w e ponte e = xy
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 12 / 16
Conectividade em Grafos
Separa¸c˜ao
O par n˜ao ordenado A, B ´e uma separa¸c˜ao de G se A ∪ B = G e se G
n˜ao tiver nenhuma aresta entre A para B e entre B para A.
´E equivalente dizer que A ∩ B separa A de B.
Ambos casos de A para B e de B para A s˜ao n˜ao vazios e a separa¸c˜ao
´e apropriada.
O n´umero |A ∩ B| ´e a ordem da separa¸c˜ao de A, B.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 13 / 16
Conectividade em Grafos
k-conectividade
G ´e chamado k-conexo (k ∈ N) se |G| > k e se G − X ´e desconexo
para cada X ⊆ V com |X| < k.
Dois v´ertices de G n˜ao podem ser separados por menos de k outros
v´ertices.
Todo grafo n˜ao vazio ´e 0-conexo, e os grafos 1-conexos s˜ao
precisamente os grafos conexos n˜ao-triviais.
O maior n´umero inteiro k tal que G seja k-conexo ´e a conectividade
k(G) de G.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 14 / 16
Conectividade em Grafos
l-arestas-conexas
Se |G| > 1, e G - F ´e conexo para cada conjunto F ⊆ E de menos
que l arestas, ent˜ao G ´e chamado de l-arestas-conexas.
O maior n´umero inteiro l, tal que G seja l-arestas-conexo, ´e a aresta
conexa λ(G) de G.
Figura: O octaedro G com k(G) = λ(G) = 4 e o grafo H com
k(H) = 2, masλ(H) = 4
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 15 / 16
Conectividade em Grafos
Conclus˜ao
Um grafo n˜ao orientado ´e chamado de conexo (ou conectado) se
existe um caminho entre cada par de v´ertices distintos do grafo.
Um grafo G(V,E) desconexo ´e formado por pelo menos dois subgrafos
conexos, disjuntos em rela¸c˜ao aos v´ertices.
Uma aresta ´e dita ser uma ponte se sua remo¸c˜ao produz um grafo
com mais componentes conexos.
O maior n´umero inteiro k tal que G seja k-conexo ´e a conectividade
k(G) de G.
Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 16 / 16

Mais conteúdo relacionado

Mais procurados

Aula 6 relações semânticas entre os conectivos da lógica proposicional
Aula 6   relações semânticas entre os conectivos da lógica proposicionalAula 6   relações semânticas entre os conectivos da lógica proposicional
Aula 6 relações semânticas entre os conectivos da lógica proposicionalPaulo Cesar Diniz Bicudo
 
Resolução da Lista de exercícios - Conversão de bases e aritmética computacional
Resolução da Lista de exercícios - Conversão de bases e aritmética computacionalResolução da Lista de exercícios - Conversão de bases e aritmética computacional
Resolução da Lista de exercícios - Conversão de bases e aritmética computacionalVitor Hugo Melo Araújo
 
Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Pacc UAB
 
Principio Fundamental Da Contagem
Principio Fundamental Da ContagemPrincipio Fundamental Da Contagem
Principio Fundamental Da Contagemteodepaula
 
Potenciação - Propriedades das potências
Potenciação - Propriedades das potênciasPotenciação - Propriedades das potências
Potenciação - Propriedades das potênciasJosé Antônio Silva
 
Equação do primeiro grau para 7º ano
Equação do primeiro grau para 7º anoEquação do primeiro grau para 7º ano
Equação do primeiro grau para 7º anoAriosvaldo Carvalho
 
Números.reais.introdução
Números.reais.introduçãoNúmeros.reais.introdução
Números.reais.introduçãoFilipa Guerreiro
 
Frações
FraçõesFrações
Fraçõeslveiga
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidosnumerosnamente
 
Equação do 1º grau
Equação do 1º grauEquação do 1º grau
Equação do 1º grauntegraca
 

Mais procurados (20)

Aula 6 relações semânticas entre os conectivos da lógica proposicional
Aula 6   relações semânticas entre os conectivos da lógica proposicionalAula 6   relações semânticas entre os conectivos da lógica proposicional
Aula 6 relações semânticas entre os conectivos da lógica proposicional
 
Equações de primeiro grau
Equações de primeiro grauEquações de primeiro grau
Equações de primeiro grau
 
Potenciação
PotenciaçãoPotenciação
Potenciação
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Resolução da Lista de exercícios - Conversão de bases e aritmética computacional
Resolução da Lista de exercícios - Conversão de bases e aritmética computacionalResolução da Lista de exercícios - Conversão de bases e aritmética computacional
Resolução da Lista de exercícios - Conversão de bases e aritmética computacional
 
Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1
 
Principio Fundamental Da Contagem
Principio Fundamental Da ContagemPrincipio Fundamental Da Contagem
Principio Fundamental Da Contagem
 
Potenciação - Propriedades das potências
Potenciação - Propriedades das potênciasPotenciação - Propriedades das potências
Potenciação - Propriedades das potências
 
Equação do primeiro grau para 7º ano
Equação do primeiro grau para 7º anoEquação do primeiro grau para 7º ano
Equação do primeiro grau para 7º ano
 
Python - Introdução
Python - IntroduçãoPython - Introdução
Python - Introdução
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Sistemas de numeração
Sistemas de numeraçãoSistemas de numeração
Sistemas de numeração
 
Regras da matemática
Regras da matemáticaRegras da matemática
Regras da matemática
 
Numeros complexos
Numeros complexosNumeros complexos
Numeros complexos
 
Números.reais.introdução
Números.reais.introduçãoNúmeros.reais.introdução
Números.reais.introdução
 
Frações
FraçõesFrações
Frações
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidos
 
Potenciação
PotenciaçãoPotenciação
Potenciação
 
Equação do 1º grau
Equação do 1º grauEquação do 1º grau
Equação do 1º grau
 
Operações com frações
Operações com fraçõesOperações com frações
Operações com frações
 

Destaque (11)

Grafos-Conceitos- P
Grafos-Conceitos- PGrafos-Conceitos- P
Grafos-Conceitos- P
 
Teoría de grafos
Teoría de grafosTeoría de grafos
Teoría de grafos
 
Grafosv2
Grafosv2Grafosv2
Grafosv2
 
Grafos 8.4 2016
Grafos 8.4 2016Grafos 8.4 2016
Grafos 8.4 2016
 
Taller MD Unidad 2-2
Taller MD Unidad 2-2Taller MD Unidad 2-2
Taller MD Unidad 2-2
 
TEORIA DE GRAFOS
TEORIA DE GRAFOSTEORIA DE GRAFOS
TEORIA DE GRAFOS
 
República bolivariana de venezuela
República bolivariana de venezuelaRepública bolivariana de venezuela
República bolivariana de venezuela
 
Grafo bipartito
Grafo bipartitoGrafo bipartito
Grafo bipartito
 
grafos conexos
grafos conexosgrafos conexos
grafos conexos
 
Tema 8 Álgebra Lineal: Teoría de Grafos
Tema 8 Álgebra Lineal: Teoría de GrafosTema 8 Álgebra Lineal: Teoría de Grafos
Tema 8 Álgebra Lineal: Teoría de Grafos
 
Grafos resueltos
Grafos  resueltosGrafos  resueltos
Grafos resueltos
 

Mais de Michelle Guerreiro C Silva

Mais de Michelle Guerreiro C Silva (6)

A Collaborative System for Corporate Performance Evaluation using Gamificatio...
A Collaborative System for Corporate Performance Evaluation using Gamificatio...A Collaborative System for Corporate Performance Evaluation using Gamificatio...
A Collaborative System for Corporate Performance Evaluation using Gamificatio...
 
Computação Vestível aula2
Computação Vestível aula2Computação Vestível aula2
Computação Vestível aula2
 
Performance evaluation of Wearable Computing Frameworks
Performance evaluation of Wearable Computing FrameworksPerformance evaluation of Wearable Computing Frameworks
Performance evaluation of Wearable Computing Frameworks
 
Pipa defesa
Pipa defesaPipa defesa
Pipa defesa
 
E business
E businessE business
E business
 
Software livre
Software livreSoftware livre
Software livre
 

Conectividade em Grafos: Conceitos e Definições

  • 1. Conectividade em Grafos Conectividade em Grafos Michelle Cacais Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE 15 de Abril de 2016 Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 1 / 16
  • 2. Conectividade em Grafos Introdu¸c˜ao Conectividade ´e um dos conceitos b´asicos da teoria dos grafos. Fala sobre o n´umero m´ınimo de elementos que precisam ser removidos para desconectar os v´ertices uns dos outros. ´E um tema fortemente ligado a teoria dos problemas de fluxo de redes. A conectividade de um grafo ´e uma importante medida da robustez de uma rede. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 2 / 16
  • 3. Conectividade em Grafos Conceitos iniciais Em um determinado grafo G, uma caminhada (walk) em G ´e uma sequˆencia finita de arestas, podendo ser representado por v0, v1, v2, ..., vm. Cada aresta consecutiva ´e adjacente ou idˆentica. Essa caminhada determina uma sequencia de v´ertices v0, v1, ..., vm, sendo v0 o v´ertice inicial e vm o v´ertice final. O n´umero de arestas em um caminho ´e chamado de tamanho (length). Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 3 / 16
  • 4. Conectividade em Grafos Conceitos iniciais Exemplo: v → w → x → y → z → z → y → w ´e uma caminhada de tamanho 7 de v at´e w. Figura: Grafo com tamanho 7 Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 4 / 16
  • 5. Conectividade em Grafos Conceitos iniciais Uma caminhada na qual todas as bordas s˜ao distintas consiste em uma trilha (trail). Se, al´em disso, os v´ertices v0, v1, ..., vm s˜ao distintos, (exceto se v0 = vm), ent˜ao ´e chamado de caminho (path). Um caminho ou uma trilha ´e fechado (closed) se v0 = vm. Um caminho fechado que contem no m´ınimo uma aresta ´e um ciclo (cycle). Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 5 / 16
  • 6. Conectividade em Grafos Conceitos iniciais Um grafo ´e dito conexo (connected) se, e somente se, houver um caminho os ligando. Figura: Exemplos de grafos conexo e desconexo Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 6 / 16
  • 7. Conectividade em Grafos Defini¸c˜ao Um grafo n˜ao vazio G ´e chamado conexo se qualquer um dos v´ertices est´a ligado por um caminho em G. Se U ⊆ V (G), e G[U] s˜ao conexos, U tamb´em ´e chamado de conexo (em G). Um grafo ´e conectado se possuir exatamente um componente conectado, ou seja, se cada n´o ´e alcan¸c´avel a partir de cada um dos n´os. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 7 / 16
  • 8. Conectividade em Grafos Preposi¸c˜ao Os v´ertices de um grafo conexo G pode ser sempre enumerado como v0, v1, ..., vm. Ent˜ao Gi := G[v1], ..., vi ´e conectado para cada i. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 8 / 16
  • 9. Conectividade em Grafos Prova Pegue qualquer v´ertice e assuma que ´e v1. Assuma indutivamente que v1, ..., vi foi escolhido por algum i < |G|. Agora pegue um v´ertice v ∈ G − Gi . Como G ´e conexo, contem um caminho P de v − vi . Escolha como vi+1 o ´ultimo v´ertice de P em G − Gi . A conectividade de cada Gi ´e seguida pela indu¸c˜ao de i. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 9 / 16
  • 10. Conectividade em Grafos Componentes Imagine um grafo G = V , E. Um subgrafo com conectividade m´axima de G ´e chamado componente de G. Um componente a ser conectado ´e sempre um componente n˜ao vazio. O grafo vazio n˜ao tem componentes. Figura: Um grafo com trˆes componentes, e um m´ınimo subgrafo gerador ligado em cada componente Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 10 / 16
  • 11. Conectividade em Grafos V´ertice de corte e ponte Se A, B ⊆ V e X ⊆ V ∪ E, tais que cada caminho A - B em G contem um v´ertice ou uma aresta de X, diz-se que X separa os conjuntos A e B em G. X separa G se G - X ´e desconexo. Isso implica que A ∩ B ⊆ X. Um v´ertice que separa dois outros v´ertices do mesmo componente ´e chamado de v´ertice de corte (cutvertex). A aresta que separa ´e chamada de ponte (bridge). Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 11 / 16
  • 12. Conectividade em Grafos Ponte Uma aresta ´e dita ser uma ponte se sua remo¸c˜ao produz um grafo com mais componentes conexos. Figura: Um grafo com v´ertices de corte v, x, y, w e ponte e = xy Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 12 / 16
  • 13. Conectividade em Grafos Separa¸c˜ao O par n˜ao ordenado A, B ´e uma separa¸c˜ao de G se A ∪ B = G e se G n˜ao tiver nenhuma aresta entre A para B e entre B para A. ´E equivalente dizer que A ∩ B separa A de B. Ambos casos de A para B e de B para A s˜ao n˜ao vazios e a separa¸c˜ao ´e apropriada. O n´umero |A ∩ B| ´e a ordem da separa¸c˜ao de A, B. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 13 / 16
  • 14. Conectividade em Grafos k-conectividade G ´e chamado k-conexo (k ∈ N) se |G| > k e se G − X ´e desconexo para cada X ⊆ V com |X| < k. Dois v´ertices de G n˜ao podem ser separados por menos de k outros v´ertices. Todo grafo n˜ao vazio ´e 0-conexo, e os grafos 1-conexos s˜ao precisamente os grafos conexos n˜ao-triviais. O maior n´umero inteiro k tal que G seja k-conexo ´e a conectividade k(G) de G. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 14 / 16
  • 15. Conectividade em Grafos l-arestas-conexas Se |G| > 1, e G - F ´e conexo para cada conjunto F ⊆ E de menos que l arestas, ent˜ao G ´e chamado de l-arestas-conexas. O maior n´umero inteiro l, tal que G seja l-arestas-conexo, ´e a aresta conexa λ(G) de G. Figura: O octaedro G com k(G) = λ(G) = 4 e o grafo H com k(H) = 2, masλ(H) = 4 Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 15 / 16
  • 16. Conectividade em Grafos Conclus˜ao Um grafo n˜ao orientado ´e chamado de conexo (ou conectado) se existe um caminho entre cada par de v´ertices distintos do grafo. Um grafo G(V,E) desconexo ´e formado por pelo menos dois subgrafos conexos, disjuntos em rela¸c˜ao aos v´ertices. Uma aresta ´e dita ser uma ponte se sua remo¸c˜ao produz um grafo com mais componentes conexos. O maior n´umero inteiro k tal que G seja k-conexo ´e a conectividade k(G) de G. Michelle Cacais | Instituto Federal de Educa¸c˜ao, Ciˆencia e Tecnologia do Cear´a - IFCE | 15 de Abril de 2016 16 / 16