Grafos e Algoritmos Raimundo Macêdo. Teorema de Hall (Prova por Indução)
|
|
- Edison Soares Escobar
- 6 Há anos
- Visualizações:
Transcrição
1 Grafos e Algoritmos Raimundo Macêdo Teorema de Hall (Prova por Indução)
2 Teorema de Hall (teorema do casamento, 1935) Seja G uma grafo bipartide V = X U Y, então G contém um emparelhamento que satura todos os vértices de X sse (i) N(S) S, para todo sub-conjunto S de X Portanto, o problema do casamento com n rapazes tem uma solução sse para todo k, 1 k n, cada conjunto de k rapazes tem coletivamente pelo menos k namoradas. Seja X o conjunto de rapazes, Y o conjunto de moças, e n = X Lema 01: A condição de hall é necessária Ou seja, se um grafo bipartide G(V,E), V = X U Y, contém um emparelhamento que satura todos os vértices de X então N(S) S, para todo sub-conjunto S de X Prova Lema01. Para todo k, dado um conjunto S de k rapazes, para casá-los todos, eles devem possuir coletivamente pelo menos k namoradas distintas. i.e., N(S) k. Portanto, N(S) S (trivial)
3 Lema 02: a condição de hall é suficiente Ou seja, Ou seja, se em um grafo bipartide G(V,E), V = X U Y, N(S) S, para todo subconjunto S de X, então G contém um emparelhamento que satura todos os vértices de X Em outras palavras, assuma que a condição de hall é verdadeira ( N(S) S ), para todo subconjunto S de X). Queremos provar que cada rapaz pode ser casar com uma moça distinta (i.e., todos os vértices de X estarão saturados/coberto). Vamos provar por indução em n, o número de rapazes Base da Indução (n = 1) Se n = 1, temos apenas um rapaz. O chamemos de x e S = {x}. A condição (i) nos diz que x tem pelo menos uma namorada. Portanto, x pode se casar. Provamos, portanto, o caso de n = 1.
4 Hipótese de Indução Suponha que o resultado é verdadeiro para todos os conjuntos de tamanho t de rapazes, onde t = 1,2,..., n-1. Passo Indutivo Queremos provar que o resultado é verdadeiro para um conjunto de n rapazes. Vamos considerar 2 casos para sub-conjuntos S de X com tamanho t < n. Nos dois casos, para t < n, queremos aplicar o hipótese de indução. Ou seja, queremos mostrar que nesses dois casos a inequação N(S) S vale. Caso 1) Suponha que para qualquer k, 1 k < n, cada conjunto de k rapazes tenha coletivamente pelo menos k + 1 namoradas. Então, para cada sub-conjunto S de X com S < n, temos N(S) S + 1, ou seja, a condição (i) é satisfeita, sobrando ainda uma moça. Caso 2) Considere que existe um conjunto de k rapazes ( a partir dos n rapazes), k < n, que conhecem coletivamente exatamente k moças (ou seja condição (i) vale, mas não o caso 1).
5 Caso 1) Suponha que para qualquer k, 1 k < n, cada conjunto de k rapazes tenha coletivamente pelo menos k + 1 namoradas. Então, para cada sub-conjunto S de X com S < n, temos N(S) S + 1 Ou seja, a condição (i) é satisfeita, sobrando ainda uma moça. Agora pegue qualquer rapaz (do conjunto de n rapazes) e o case com uma de suas namoradas, deixando ainda n 1 rapazes sem casar. Nesse processo, para qualquer conjunto de k rapazes entre os n 1 deixados, possivelmente se perdeu uma das moças (a que se casou com o primeiro rapaz), Portanto, podemos ter perdido uma das moças, mas a condição (i) ainda assim é satisfeita para o sub-conjunto de n 1 rapazes. Portanto, pela hipótese de indução podemos casar os n - 1 rapazes restantes (prova do caso 1).
6 Caso 2) Considere que existe um conjunto de k rapazes ( a partir dos n rapazes), k < n, que conhecem coletivamente exatamente k moças (ou seja condição (i) vale, mas não o caso 1). Uma vez que k < n, a hipótese de indução nos permite casar k rapazes, deixando n k sem casarem. Contundo, qualquer conjunto de h rapazes (1 h n k), tem que ter ao menos coletivamente ao menos h namoradas a partir das namoradas restantes (hipótese inicial). Do contrário, os h rapazes juntamente com a coleção de k rapazes (h + k no total = n) teriam menos que h + k namoradas, contrariando a hipótese inicial (condição (i)). Portanto, segue a condição (i) também se aplica para os n k rapazes deixados e pela hipótese de indução podemos então casá-los todos. Portanto, provamos que cada um dos n rapazes poderão se casar. Por indução matemática provamos que o resultado vale para todos os valores de n (fim da prova lemma 2) k n k (h rapazes) Fim da prova do teorema
7 Corolário Seja G uma grafo k-regular e bipartide, k > 0, então G tem uma emparelhamento perfeito (que cobre todos os seus vértices). Prova Existem k X arestas indo de X para Y e k Y arestas indo de Y para X. Por ser bipartide, cada aresta vai de X para Y (ou Y para X). Portanto, G tem k X = k Y arestas. Como k > 0, então k X = k Y. Cancelando k, temos X = Y Seja S a sub-conjunto de X. Seja E1 o conjunto de arestas incidentes em S. Então, pela k- regularidade, temos E1 = k S (i) Seja E2 o conjunto de arestas incidentes em N(S). Então, uma vez que N(S) é o conjunto de vértices que estão ligados por arestas com S, temos E1 C E2, ou E1 E2 (ii). Pela propriedade de k regularidade, temos que E2 = k N(S) (iii) Portanto, a partir de (i), (ii) e (iii), temos que k N(S) = E2 E1 = k S... Portanto, k N(S) k S Já que k > 0. temos N(S) S. Uma vez que S é um sub-conjunto arbitrário de X, segue que a partir do teorema de Hall temos uma emparelhamento M que satura X. Como X = Y, as arestas de M também saturam/cobrem os vértices de Y (fim da prova)
Antes do Teorema de Hall, alguns conceitos importantes...
Teorema de Hall Antes do Teorema de Hall, alguns conceitos importantes... Um par de conjuntos de vértices (X,Y) é uma Bipartição de um grafo G se i) V(G) = X Y e X Y = ii) Cada aresta de G tem um extremo
Leia maisAnálise de Algoritmos
Análise de Algoritmos Estes slides são adaptações de slides do Prof. Paulo Feofiloff e do Prof. José Coelho de Pina. Algoritmos p. 1 Matroides e o método guloso U: conjunto finito arbitrário. C: família
Leia maisDoutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo
Doutorado em Ciência da Computação Algoritmos e Grafos Raimundo Macêdo LaSiD/DCC/UFBA Grau de um Vértice O grau d G (v) do vértice v de G é o número de arestas incidentes a v, cada laço sendo contado duas
Leia maisGabriel Coutinho DCC035 - Pesquisa Operacional Lista 6
Lista 6 Exercício. O objetivo deste exercício é modelar o problema de emparelhamento em um grafo bipartido como um problema de fluxo, e verificar que o Teorema de Konig é essencialmente o Teorema de Fluxo
Leia maisUma Introdução Sucinta à Teoria dos Grafos
Uma Introdução Sucinta à Teoria dos Grafos Paulo Feofiloff Yoshiharu Kohayakawa Yoshiko Wakabayashi IME USP www.ime.usp.br/ pf/teoriadosgrafos/ 25/10/2004 11:00 1 Prefácio 2 Grafos são bons modelos para
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 16: Grafos Planares. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 16: Grafos Planares Preparado a partir do texto: Rangel, Socorro. Teoria do
Leia maisGrafos Direcionados. > Grafos Direcionados Representações Computacionais 1/36
Grafos Direcionados > Grafos Direcionados Representações Computacionais 1/36 Grafos Direcionados Em muitas aplicações, é importante ter direção nas arestas: Ruas de mão única Grafos modelando páginas da
Leia mais1 Trajeto Euleriano. > Trajeto Euleriano 0/20
Conteúdo 1 Trajeto Euleriano > Trajeto Euleriano 0/20 Um trajeto Euleriano em um grafo G é um trajeto que utiliza todas as arestas do grafo. Definição Um grafo G é Euleriano se e somente se possui um trajeto
Leia maisAlgoritmos em redes de fluxo e aplicações
Algoritmos em redes de fluxo e aplicações Marcos Massayuki Kawakami Orientador: José Coelho de Pina Instituto de Matemática e Estatística - Universidade de São Paulo Introdução Motivação Problemas envolvendo
Leia maisÁrvores Árvores Geradoras de Custo Mínimo 0/16
Conteúdo 1 Árvores 2 Árvores Geradoras de Custo Mínimo Árvores Árvores Geradoras de Custo Mínimo 0/16 Árvores Definição (Grafo Acíclico) Um grafo acíclico é um grafo que não contém ciclos. Árvores Árvores
Leia maisAlgoritmos de aproximação - Problema de cobertura por conjuntos
Algoritmos de aproximação - Problema de cobertura por conjuntos Marina Andretta ICMC-USP 22 de setembro de 205 Baseado no livro Uma introdução sucinta a Algoritmos de Aproximação, de M. H. Carvalho, M.
Leia maisGrafo planar: Definição
Grafo planar Considere o problema de conectar três casas a cada uma de três infraestruturas (gás, água, energia) como mostrado na figura abaixo. É possível fazer essas ligações sem que elas se cruzem?
Leia maisIndução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE
Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se
Leia maisTeoria dos Grafos. Grafos Planares
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Grafos Planares
Leia mais1 Emparelhamentos em Grafos
1 Emparelhamentos em Grafos Definição 1.1 Um emparelhamento num grafo G é um conjunto de arestas não adjacentes entre si, isto é, incidentes em pares de vértices disjuntos dois a dois. i) Um vértice incidente
Leia maisA resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.
7 - Coloração de Arestas e Emparelhamentos Considere o seguinte problema: Problema - Ao final do ano acadêmico, cada estudante deve fazer um exame oral com seus professores. Suponha que existam 4 estudantes
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos Eulerianos Preparado a partir do texto: Rangel, Socorro.
Leia maisO grau de saída d + (v) de um vértice v é o número de arcos que tem
Grafos Direcionados Definição (Grau de Entrada) O grau de entrada d (v) de um vértice v é o número de arcos que tem v como cabeça. Definição (Grau de Saída) O grau de saída d + (v) de um vértice v é o
Leia maisConjuntos Numéricos Aula 6. Conjuntos Numéricos. Armando Caputi
Conjuntos Numéricos Aula 6 Conjuntos Numéricos E-mail: armando.caputi@ufabc.edu.br Página: http://professor.ufabc.edu.br/~armando.caputi Sala 549-2 - Bloco A - Campus Santo André Conjuntos Numéricos Aula
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 14: Conjuntos de Corte e Conectividade Preparado a partir do texto: Rangel,
Leia maisCasamento em GB. Casamento em Grafos. Notas. Teoria dos Grafos - BCC204, Casamento em Grafos. Notas. Descrição
Teoria dos Grafos - BCC20 Casamento em Grafos Haroldo Gambini Santos Universidade Federal de Ouro Preto - UFOP 16 de maio de 2011 1 / 18 Descrição Casamento em Grafos Em grafos, um Casamento (Matching
Leia maisTeoria dos Grafos. Cobertura, Coloração de Arestas, Emparelhamento
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Cobertura, Coloração
Leia maisBCC204 - Teoria dos Grafos
BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal
Leia maisALGUNS GRAFOS BEM-COBERTOS LIVRES DE K 1,3
ALGUNS GRAFOS BEM-COBERTOS LIVRES DE K 1,3 Márcia R. Cappelle Santana UEG Universidade Estadual de Goiás Campus BR 153, Km 98 Caixa Postal: 459 CEP: 75001-970 Anápolis-GO mcappelle@ueg.br Rommel Melgaço
Leia maisA resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.
6 - oloração de restas e Emparelhamentos onsidere o seguinte problema: Problema - o final do ano acadêmico, cada estudante deve fazer um exame oral com seus professores. Suponha que existam 4 estudantes
Leia maisConjuntos Independentes e Cliques
Conjuntos Independentes e Cliques Conjuntos independentes Conjunto independente \alpha(g) conjunto independente máximo Cobertura das arestas por vértices = cobertura de vértices = cobertura conjunto de
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 5: Grafos Conexos. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 5: Grafos Conexos Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos,
Leia maisBCC204 - Teoria dos Grafos
BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal
Leia maisDoutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA
Doutorado em Ciência da Computação Algoritmos e Grafos Raimundo Macêdo LaSiD/DCC/UFBA Grafo Completo Grafo simples cujos vértices são dois a dois adjacentes. Usa-se a notação K n para um grafo completo
Leia maisTeorema de Sarkovsky
Teorema de Sarkovsky Yuri Lima 8 de janeiro de 2008 Resumo Provaremos um teorema, provado pelo matemático ucraniano A. Sarkovsky em [4] que, em poucas palavras, afirma que Período 3 implica Caos, no seguinte
Leia maisGrafos: caminhos (matriz adjacência)
Grafos: caminhos (matriz adjacência) Algoritmos e Estruturas de Dados 2 Graça Nunes 1 O problema do menor caminho Um motorista deseja encontrar o caminho mais curto possível entre duas cidades do Brasil
Leia maisTeorema 1 - Todo corte de arestas de um grafo conexo G contém pelo menos uma aresta em comum com qualquer árvore geradora de G. Exemplo 2 - Seja T:
12 - Conjuntos de Corte o estudarmos árvores geradoras, nós estávamos interessados em um tipo especial de subgrafo de um grafo conexo: um subgrafo que mantivesse todos os vértices do grafo interligados.
Leia maisTeoria dos Grafos. Conjuntos de Corte e Conectividade
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Conjuntos de
Leia maisx y Grafo Euleriano Figura 1
Grafo Euleriano Um caminho simples ou um circuito simples é dito euleriano se ele contém todas as arestas de um grafo. Um grafo que contém um circuito euleriano é um grafo euleriano. Um grafo que não contém
Leia maisPlanaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:
Planaridade AULA META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de: Distinguir grafo planar e plano; Determinar o dual de um grafo; Caracterizar
Leia maisIndução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 69 Este material é preparado usando como referências os
Leia maisGrafos: árvores geradoras mínimas. Graça Nunes
Grafos: árvores geradoras mínimas Graça Nunes 1 Motivação Suponha que queremos construir estradas para interligar n cidades Cada estrada direta entre as cidades i e j tem um custo associado Nem todas as
Leia maisAula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
Leia maisCOMPLEXIDADE PARAMETRIZADA PARTE 1. Rafael Coelho.
UMA BREVE INTRODUÇÃO À TEORIA DE COMPLEXIDADE PARAMETRIZADA PARTE 1 Rafael Coelho rcoelho@ime.usp.br Instituto de Matemática e Estatística Universidade de São Paulo Seminários de Teoria da Computação,
Leia maisapenas os caminhos que passam só por vértices em C, exceto, talvez, o próprio v A Figura 1 a seguir ilustra o significado do conjunto C edovalordist.
CAMINHO DE CUSTO MÍNIMO Dados dois pontos A e B, em muitos problemas práticos fazemos 2 perguntas: 1. existe um caminho de A para B? ou 2. se existe mais de um caminho de A para B, qual deles é o mais
Leia maisTeoria e Algoritmos em Grafos
Teoria e Algoritmos em Grafos 2018.2 Conjunto Independente Conjuntos Independentes são subconjuntos de vértices de um grafo no qual nenhum vértice é adjacente entre si. Conjunto Independente Conjuntos
Leia maisTeoria dos Grafos. Fluxo Máximo em Redes
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Fluxo Máximo
Leia maisDoutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA
Doutorado em Ciência da Computação Algoritmos e Grafos Raimundo Macêdo LaSiD/DCC/UFBA Grafo Completo Grafo simples cujos vértices são dois a dois adjacentes. Usa-se a notação K n para um grafo completo
Leia maisIndu c ao Matem atica Indu c ao Matem atica T opicos Adicionais
Indução Matemática Indução Matemática Tópicos Adicionais Indução Matemática Indução Matemática Eercícios Introdutórios Eercício Prove por indução que: + + + n n(n + ) Eercício Prove que + + 5 + + (n )
Leia maisFábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ
Fábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ Suponha que temos um grupo de pessoas (funcionário de uma empresa) que serão submetidos a um treinamento. Queremos identificar os grupos de
Leia maisRedutibilidade. Mário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02)
Redutibilidade Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Redutibilidade DCC-UFMG (2018/02) 1 / 46 Redutibilidade:
Leia maisLógica Computacional Aulas 8 e 9
Lógica Computacional Aulas 8 e 9 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 11 Integridade e completude dum sistema dedutivo D 1 111 Integridade do sistema de dedução natural DN 1 112 3 12 Decidibilidade
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 18: Coloração de Arestas Preparado a partir do texto: Rangel, Socorro. Teoria
Leia mais1.2 Grau de um vértice
1.2 Grau de um vértice Seja G um grafo. Para um vértice v de V G, sua vizinhança N G (v) (ou N(v)) é definida por N(v) = {u V G vu E G }.. p.1/19 1.2 Grau de um vértice Seja G um grafo. Para um vértice
Leia maisTeoria dos Grafos: Emparelhamentos, Grafos Planares e. Emparelhamentos e coberturas
Programa Olímpico de Treinamento Curso de Combinatória Nível 3 Prof. Carlos Shine Aula 13 Teoria dos Grafos: Emparelhamentos, Grafos Planares e Colorações O nosso primeiro tópico é verificar como podemos
Leia maisLista de Exercícios 9 (Extra): Soluções Grafos
UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 9 (Extra): Soluções Grafos Ciências Exatas & Engenharias 1 o Semestre de 018 Para cada uma das seguintes armações, diga se é verdadeira ou falsa
Leia maisGrafos: componentes fortemente conexos, árvores geradoras mínimas
Grafos: componentes fortemente conexos, árvores geradoras mínimas SCE-183 Algoritmos e Estruturas de Dados 2 Thiago A. S. Pardo Maria Cristina 1 Componentes fortemente conexos Um componente fortemente
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisTeoria dos Grafos. Edson Prestes
Edson Prestes Existem três companhias que devem abastecer com gás, eletricidade e água três prédios diferentes através de tubulações subterrâneas. Estas tubulações podem estar à mesma profundidade? Isto
Leia maisNoções da Teoria dos Grafos
Noções da Teoria dos Grafos André Arbex Hallack Índice 1 Introdução e definições básicas. Passeios eulerianos 1 2 Ciclos hamiltonianos 7 3 Árvores 11 4 Emparelhamento em grafos 15 5 Grafos planares: Colorindo
Leia maisTeoria dos grafos. Caminho euleriano e Hamiltoniano. Prof. Jesuliana N. Ulysses
1 7 Teoria dos grafos Caminho euleriano e Hamiltoniano Grafo Euleriano Grafo onde é possível achar um caminho fechado (ciclo), passando em cada aresta uma única vez Quais são os grafos de Euler? Teorema:
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Representação de Relações Definição: Uma relação binária de um conjunto A num conjunto
Leia maisTeoria dos Grafos. Professor: Guilherme Oliveira Mota.
Teoria dos Grafos Aula 1: Apresentação e introdução Professor: Guilherme Oliveira Mota g.mota@ufabc.edu.br Apresentação do professor Professor: Guilherme Oliveira Mota Sala 530-2 - 5 o andar - Torre 2
Leia maisUNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO MATEMÁTICA COMBINATÓRIA 5 a Lista de Exercícios 1. O grafo de intersecção de uma coleção de conjuntos A 1,..., A n é o grafo
Leia maisNo que segue, X sempre denota um espaço topológico localmente compacto
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK No que segue, sempre denota um espaço topológico localmente compacto Hausdorff. Se f : R é uma função, então supp f denota o{ suporte (relativamente
Leia maisEstratégias vencedoras para o jogo Slither
Estratégias vencedoras para o jogo Slither Marcelo da Silva Reis 1 1 Instituto de Matemática e Estatística, Universidade de São Paulo. marcelo.reis@gmail.com 11 de agosto de 009 Este artigo apresenta estratégias
Leia maisTeoria dos Grafos. Árvores
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Preparado a partir
Leia maisO Problema da 3- Coloração de Grafos
Otimização Combinatória O Problema da - Coloração de Grafos Guilherme Zanardo Borduchi Hugo Armando Gualdron Colmenares Tiago Moreira Trocoli da Cunha Prof.ª Marina Andretta Introdução ao Problema Problema
Leia maisMÉTODO PROBABILÍSTICO EM COMBINATÓRIA E GRAFOS ALEATÓRIOS
MÉTODO PROBABILÍSTICO EM COMBINATÓRIA E GRAFOS ALEATÓRIOS Aluno: Danilo Almeida Brandão Orientador: Simon Griffiths Introdução O método probabilístico é uma ferramenta importante no estudo de combinatória.
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisDemonstrações. Terminologia Métodos
Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:
Leia maisTeoria dos Grafos: Circuitos Eulerianos, Ciclos Hamiltonianos, Torneios Circuitos Eulerianos
Programa Olímpico de Treinamento Curso de Combinatória Nível 3 Prof. Carlos Shine Aula 14 Teoria dos Grafos: Circuitos Eulerianos, Ciclos Hamiltonianos, Torneios Circuitos Eulerianos Um grafo é dito euleriano
Leia maisSegunda Lista de Exercícios 2004/2...
+ + UFLA Universidade Federal de Lavras Departamento de Ciência da Computação COM162 Linguagens Formais e Autômatos Prof. Rudini Sampaio Monitor: Rodrigo Pereira dos Santos Segunda Lista de Exercícios
Leia maisTeoria dos Grafos. Edson Prestes
Edson Prestes Introdução Mais sobre grafos.. Cintura A cintura de um grafo é o comprimento do menor ciclo do grafo. Um grafo sem ciclos tem uma cintura de comprimento infinito. Diâmetro de um grafo O diâmetro
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 11: Grafos Eulerianos. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 11: Grafos Eulerianos Preparado a partir do texto: Rangel, Socorro. Teoria do
Leia maisumgrafo, em que V representa o conjunto dos vértices de G e E o conjunto das é um grafo bipartido;
No nosso dia-a-dia existem muitas situações que podem ser representadas por um conjunto de pontos e linhas que ligam aos pares esses pontos. Por exemplo, os pontos poderiam representar cidades e as linhas
Leia maisCortes (cut sets) 2010/2 Teoria dos Grafos (INF 5037/INF2781) CC/EC/UFES
Cortes (cut sets) (INF 5037/INF2781) Corte por arestas Em um grafo conexo G, um corte de arestas é um conjunto de arestas cuja remoção de G torna G desconexo, desde que nenhum subconjunto próprio desse
Leia mais3 - Subespaços Vetoriais
3 - Subespaços Vetoriais Laura Goulart UESB 16 de Agosto de 2018 Laura Goulart (UESB) 3 - Subespaços Vetoriais 16 de Agosto de 2018 1 / 10 Denição Um subespaço vetorial é um subconjunto de um e.v.r. que
Leia maisAxiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
Leia maisPontos extremos, vértices e soluções básicas viáveis
Pontos extremos, vértices e soluções básicas viáveis Marina Andretta ICMC-USP 19 de outubro de 2016 Baseado no livro Introduction to Linear Optimization, de D. Bertsimas e J. N. Tsitsiklis. Marina Andretta
Leia maisTeoria dos Grafos: Conectividade. Nessa unidade veremos algumas generalizações e resultados sobre conectividade em grafos.
Programa Olímpico de Treinamento Curso de Combinatória Nível Prof. Carlos Shine Aula 8 Teoria dos Grafos: Conectividade Nessa unidade veremos algumas generalizações e resultados sobre conectividade em
Leia maisBusca e Decisão. Problemas de Otimização. Kakuro. P e NP. Pode-se resolver o Kakuro somente resolvendo problemas de decisão?
Busca e Decisão Universidade Federal de Ouro Preto Departamento de Computação P e NP Decisão: Respostas SIM ou NÃO Eiste uma clique de tamanho k no grafo? Eiste um preenchimento da mochila com lucro z?
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/10 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisIntrodução à Teoria da Computação Exercícios
Introdução à Teoria da Computação Exercícios Livro: Michel Sipser, Introdução à Teoria da Computação 2ª Ed. Capítulo 07 Obs: Exercícios 7.7 e 7.20 estão apresentados em versões simplificadas. NP Dicas
Leia maisDefinição e Conceitos Básicos
Definição e Conceitos Básicos Grafos e Algoritmos Computacionais Prof. Flávio Humberto Cabral Nunes fhcnunes@yahoo.com.br 1 Conceitos Básicos Em grafos ocorrem dois tipos de elementos: Vértices ou nós;
Leia maisBusca Binária. Aula 05. Busca em um vetor ordenado. Análise do Busca Binária. Equações com Recorrência
Busca Binária Aula 05 Equações com Recorrência Prof. Marco Aurélio Stefanes marco em dct.ufms.br www.dct.ufms.br/ marco Idéia: Divisão e Conquista Busca_Binária(A[l...r],k) 1:if r < lthen 2: index = 1
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/29 5 - RELAÇÕES 5.1) Relações e Dígrafos 5.2) Propriedades
Leia maisINSTITUTO FEDERAL DO ESPÍRITO SANTO CURSO BACHARELADO EM SISTEMAS DE INFORMAÇÃO
INSTITUTO FEDERAL DO ESPÍRITO SANTO CURSO BACHARELADO EM SISTEMAS DE INFORMAÇÃO ANTONIO CARLOS GOMES BASILIO EVANDRO DAS VIRGENS SCARPATI MARCOS AURÉLIO MELO DIAS RENAN COSMO PROBLEMA DO CAMINHO MÍNIMO
Leia maisTeoria dos Grafos Aula 27
Teoria dos Grafos Aula 27 Aula passada Aula de hoje Algoritmo de Ford Aplicações do fluxo Fulkerson máximo Análise do algoritmo Emparelhamento perfeito Melhorando algoritmo inicial Caminhos distintos Corte
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisMatemática Discreta. Aula 06: Teoria dos Grafos. Tópico 01: Grafos e suas Representações. Observação
Aula 06: Teoria dos Grafos Tópico 01: Grafos e suas Representações Nesta aula nós passamos a estudar um outro assunto, mas que também tem muita aplicação na vida prática, a Teoria dos Grafos. Para esta
Leia maisNoções da Teoria dos Grafos. André Arbex Hallack
Noções da Teoria dos Grafos André Arbex Hallack Junho/2015 Índice 1 Introdução e definições básicas. Passeios eulerianos 1 2 Ciclos hamiltonianos 5 3 Árvores 7 4 Emparelhamento em grafos 11 5 Grafos planares:
Leia maisMercados de Emparelhamento
Mercados de Emparelhamento Redes Sociais e Econômicas Prof. André Vignatti Mercados de Emparelhamento Mercados - interação econômica entre pessoas numa rede estruturada Mercados de Emparelhamento modelam:
Leia maisIntrodução à Teoria dos Grafos. Isomorfismo
Isomorfismo Um isomorfismo entre dois grafos G e H é uma bijeção f : V (G) V (H) tal que dois vértices v e w são adjacentes em G, se e somente se, f (v) e f (w) são adjacentes em H. Os grafos G e H são
Leia maisDedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização
Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema
Leia maisO estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste
O estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste material e a resolução (por parte do aluno) de todos os
Leia maisComplexidade e algoritmos para algumas
Complexidade e algoritmos para algumas variações do problema de coloração Flavia Bonomo Guillermo Durán Javier Marenco Departamento de Matemática, FCEyN, Universidad de Buenos Aires, Argentina Departamento
Leia maisR.J. Wilson and J.J. Watkins, Graphs An Introductory approach, J. Wiley, 1990.
Departamento de Matemática Aplicada - UNESP/IBILCE Teoria dos Grafos Profs. Valeriano Oliveira, Sílvio Araújo, Socorro Rangel Lista de Exercícios N o. 6 Lista baseada na referência R.J. Wilson and J.J.
Leia maisComplexidade de Algoritmos I
1 Introdução Complexidade de Algoritmos I Prof. Pedro J. de Rezende o. Semestre de 00 Provas por Indução A técnica de demonstrações por indução tem especial interesse em computação pois possui a característica
Leia maisTeoria dos Grafos. Edson Prestes
Edson Prestes Árvores Algoritmo de Kruskal O algoritmo de Kruskal permite determinar a spanning tree de custo mínimo. Este custo corresponde à soma dos pesos (distância, tempo, qualidade,...) associados
Leia maisAs Pontes de Königsberg
As Pontes de Königsberg Anderson Freitas Ferreira e Lívia Minami Borges 13 de junho de 2015 Resumo A teoria de grafos teve seu início em 1736, quando Euler utilizou uma estrutura para resolver o Problema
Leia maisÁrvores: Conceitos Básicos e Árvore Geradora
Árvores: Conceitos Básicos e Árvore Geradora Grafos e Algoritmos Computacionais Prof. Flávio Humberto Cabral Nunes fhcnunes@yahoo.com.br 1 Introdução No dia a dia aparecem muitos problemas envolvendo árvores:
Leia maisBases Matemáticas. Juliana Pimentel. 15 de junho de 2016
Bases Matemáticas Juliana Pimentel juliana.pimentel@ufabc.edu.br 15 de junho de 016 Princípio de Indução Finita Uma propriedade particularmente importante dos números naturais é expressa pelo Princípio
Leia maisTeoria dos Grafos AULA 3
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA 3 Trajetos, Caminhos, Circuitos, Grafos Conexos Preparado
Leia mais