Вы находитесь на странице: 1из 143

I SBN 85 - 89200 - 15 - 9

9 788589 200158

Matemtica Discreta
Volume 3 - Mdulos 3 e 4 2 edio Luiz Manoel Figueiredo Mrio Olivero da Silva Marisa Ortegoza da Cunha

Apoio:

Fundao Cecierj / Consrcio Cederj


Rua Visconde de Niteri, 1364 Mangueira Rio de Janeiro, RJ CEP 20943-001 Tel.: (21) 2334-1569 Fax: (21) 2568-0725 Presidente Masako Oya Masuda Vice-presidente Mirian Crapez Coordenao do Curso de Matemtica UFF - Regina Moreth UNIRIO - Luiz Pedro San Gil Jutuca

Material Didtico
ELABORAO DE CONTEDO

Departamento de Produo
EDITORA PROGRAMAO VISUAL

Luiz Manoel Figueiredo Mrio Olivero da Silva Marisa Ortegoza da Cunha


COORDENAO DE DESENVOLVIMENTO INSTRUCIONAL

Tereza Queiroz
COORDENAO EDITORIAL

Katy Arajo
ILUSTRAO

Jane Castellani
COPIDESQUE

Eduardo Bordoni
CAPA

Cristine Costa Barreto

Cristina Freixinho
REVISO TIPOGRFICA

Eduardo Bordoni
PRODUO GRFICA

Elaine Barbosa Patrcia Paula


COORDENAO DE PRODUO

Andra Dias Fies Fbio Rapello Alencar

Jorge Moura

Copyright 2005, Fundao Cecierj / Consrcio Cederj Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer meio eletrnico, mecnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Fundao.

972m Figueiredo, Luiz Manoel. Matemtica discreta. v. 3 / Luiz Manoel Figueiredo. Rio de Janeiro : Fundao CECIERJ, 2009. 140p.; 21 x 29,7 cm. ISBN: 85-89200-15-9 1. Lgica. 2. Circuitos lgicos. I. Cunha, Marisa Ortegosa da. II. Silva, Mrio Olivero da. III. Ttulo. CDD: 519.5
2009/1
Referncias Bibliogrcas e catalogao na fonte, de acordo com as normas da ABNT.

Governo do Estado do Rio de Janeiro

Governador Srgio Cabral Filho

Secretrio de Estado de Cincia e Tecnologia Alexandre Cardoso

Universidades Consorciadas
UENF - UNIVERSIDADE ESTADUAL DO NORTE FLUMINENSE DARCY RIBEIRO Reitor: Almy Junior Cordeiro de Carvalho UFRJ - UNIVERSIDADE FEDERAL DO RIO DE JANEIRO Reitor: Alosio Teixeira

UERJ - UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO Reitor: Ricardo Vieiralves

UFRRJ - UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO Reitor: Ricardo Motta Miranda

UFF - UNIVERSIDADE FEDERAL FLUMINENSE Reitor: Roberto de Souza Salles

UNIRIO - UNIVERSIDADE FEDERAL DO ESTADO DO RIO DE JANEIRO Reitora: Malvina Tania Tuttman

Matemtica Discreta
SUMRIO Mdulo 3

Volume 3

Aula 26 - Proposies e conectivos _____________________________________ 5 Aula 27 - Tabelas-verdade e leis da lgica ______________________________ 17 Aula 28 - Argumentos e provas ______________________________________ 31 Aula 29 - Estratgias bsicas para demonstraes em Matemtica ___________ 39 Aula 30 - Circuitos lgicos__________________________________________ 47

Mdulo 4
Aula 31 - O nascimento de uma teoria: o Problema das Pontes de Knigsberg ___ 57 Aula 32 - Grafos eulerianos _________________________________________ 73 Aula 33 - Grafos hamiltonianos ______________________________________ 89 Aula 34 - rvores _______________________________________________ 107 Aula 35 - Grafos planares e o Problema da Colorao de Grafos ____________ 117 Aula 36 - Grafos bipartidos ________________________________________ 131 Soluo de exerccios selecionados________________________139

Proposi c oes e Conectivos

MODULO 3 - AULA 26

Aula 26 Proposi c oes e Conectivos


O todo e maior do que a soma de suas partes. Arist oteles

Objetivos
Depois de estudar o conte udo apresentado nas pr oximas aulas voc e estar a bem preparado para compreender e usar o discurso matem atico. Dever a ser capaz de compreender os enunciados dos teoremas e conhecer a as principais estrat egias usadas em suas demonstra c oes. Mais ainda, isto permitir a que voc e raciocine com algum rigor l ogico e passe a escrever melhor os seus pr oprios textos matem aticos. Neste m odulo voc e ganhar a familiaridade com a terminologia usada na Matem atica. Parece pouco, mas e um grande passo.

Introdu c ao
Algumas das principais caracter sticas da Matem atica s ao: a abstra c ao, a precis ao, o rigor l ogico e a diversidade de suas aplica c oes. importante A l ogica e o assunto que ser a abordado nesta unidade. E conhecer os conceitos b asicos da l ogica, n ao s o para estudar, compreender e produzir Matem atica, mas tamb em, para utiliz a-los em muitas outras situa c oes. Os fundamentos da l ogica foram introduzidos na antiga Gr ecia por Arist oteles, um dos l osofos mais importantes da antig uidade. As obras de Arist oteles, que versam sobre l ogica, foram reunidas em um livro que recebeu o nome de Organon, que signica instrumento.

Arist oteles (384 - 322a.C.), natural de Estagira, aparece aqui ` a esquerda de Plat ao, outro grande l osofo que teve grande inu encia na Matem atica. Arist oteles formulou o chamado m etodo dedutivo. Este foi adotado por Euclides, ao escrever os seus Elementos, por volta de 300 a.C. Desde ent ao, tem sido uma ferramenta essencial na Matem atica. Para obter um pouco mais de informa c ao sobre eles, veja a cole c ao Os Pensadores [1]. Voc e pode ver, tamb em, o cap tulo sobre Arist oteles do livro de Will Durant [2].

Proposi c oes
A l ngua portuguesa, assim como as outras l nguas, e formada por palavras, senten cas, numa teia sutil e complexa. Expressar-se com clareza e precis ao n ao e tarefa f acil. De maneira geral, podemos classicar as senten cas de uma l ngua da seguinte forma: Declarativas: Hoje e domingo. Eu n ao sa de casa o dia todo.
As senten cas declarativas podem ser armativas ou negativas.

CEDERJ

Proposi c oes e Conectivos

Interrogativas: Exclamativas: Imperativas:

Quem vem l a? Qual e o seu nome? L ogico! Viva! N ao matar as! Feche a porta!

Senten cas Matem aticas A Matem atica tamb em e expressada por senten cas. Por exemplo, 3 >3 e sen = 3 2 s ao senten cas matem aticas. Sob o ponto de vista da l ogica devemos lidar com as senten cas declarativas, ` as quais podemos atribuir um valor-verdade, isto e, cada senten ca ser a verdadeira ou falsa. As duas senten cas matem aticas, > 3 e sen = 3 deiras. Exemplo 1 Leia as seguintes senten cas. Algumas s ao verdadeiras e outras s ao falsas: 1. A grama e verde. 2. Dezembro tem 31 dias. 3. Uma semana tem 8 dias. 4. O Sol e uma estrela. 5. O ver ao e a esta c ao mais fria do ano. Alguns exemplos de senten cas a `s quais n ao podemos atribuir valorverdade: 1. V a mais devagar! 2. Quanto custa este livro ? 3. Fulana e carioca.
CEDERJ 6 3 2

, s ao verda-

Proposi c oes e Conectivos

MODULO 3 - AULA 26

A primeira delas e uma ordem (ou um pedido) e a segunda e uma pergunta. A terceira e um caso interessante. Quando usamos a palavra fulano ou fulana, em geral n ao estamos considerando uma pessoa espec ca. Para decidirmos se a senten ca e verdadeira ou falsa, precisamos personalizar a fulana. Dependendo de quem for fulana, a senten ca ter a seu valor-verdade denido. Uma situa c ao parecida pode surgir no contexto matem atico. A frase x + 3 = 11 pode ser verdadeira (caso o valor de x seja 8) ou pode ser falsa (caso x seja diferente de 8).
S ocrates foi professor de Plat ao. Mesmo sem deixar nenhum texto, e uma das guras mais conhecidas da Filosoa. Suas id eias chegaram at e n os pelas obras de seus disc pulos. Autor de pensamentos como: s o sei que nada sei e conhece-te a ti mesmo, marcou as gera c oes futuras pela sua mod estia e amor pelo conhecimento.

Fun co es Proposicionais Express oes que cont em uma ou mais vari aveis, s ao chamadas de fun c oes proposicionais. Quando as vari aveis s ao substitu das por constantes, a express ao torna-se uma proposi c ao (verdadeira ou falsa, conforme as constantes atribu das). Por exemplo, x e homem. Essa fun c ao proposicional torna-se uma proposi c ao verdadeira se x = S ocrates e falsa se x = Argos. Estas express oes tamb em podem ser chamadas de senten cas abertas.

Axiomas e teoremas Distinguir o falso do verdadeiro e o objetivo fundamental na Matem atica. A l ogica aqui tem um papel central. Dito de outro modo, usando as regras da l ogica, provamos quando uma determinada senten ca e verdadeira ou falsa. Neste esquema, partimos de um conjunto inicial de senten cas b asicas, que consideramos verdadeiras (as quais chamamos axiomas ) e, usando as regras denidas pela l ogica (que s ao as regras do jogo), provamos a veracidade de novas senten cas. Estas novas senten cas verdadeiras s ao chamadas teoremas desta e podem tamb em ser usadas na demonstra c ao de novos teoremas. E maneira que engendramos a teia que forma a Matem atica. Em l ogica consideramos apenas as senten cas que podem ser qualicadas como falsas ou verdadeiras. Tais senten cas ser ao chamadas de proposi c oes. Usamos letras min usculas, como p ou q , para representar proposi c oes. Resumindo:
7 CEDERJ Homero foi o autor da Odiss eia, que narra o retorno de Ulisses (ou Odisseu) da Guerra de Tr oia. Argos eo c ao de Ulisses e e um modelo de delidade pois e primeiro a reconhec e-lo ap os uma aus encia de 20 anos.

A palavra proposi ca o tamb em e usada em Matem atica, fora do contexto estrito da l ogica, como sin onimo de teorema.

Proposi c oes e Conectivos

Proposi c oes s ao senten cas declarativas. Cada uma delas possui valorverdade bem estabelecido, qualicando-a como verdadeira ou falsa. Cada proposi c ao determina, de maneira u nica, uma outra proposi c ao que e a sua nega c ao e que tem o valor-verdade oposto ao seu. Lembre-se de que atribuir um valor-verdade a uma senten ca, ou ainda, determinar a veracidade de uma proposi c ao, pode ser uma quest ao delicada e dif cil.

Conectivos e proposi c oes compostas


Algumas palavras e certas express oes s ao usadas insistentemente nos textos matem aticos. Voc e j a encontrou algumas delas nas unidades anteriores. Bons exemplos s ao os conectivos e e ou. Usando estes dois conectivos e fazendo tamb em a nega c ao, podemos construir novas proposi c oes a partir de outras proposi c oes dadas inicialmente. Estas novas proposi c oes s ao chamadas de proposi c oes compostas.

Usando duas proposi c oes p e q podemos construir uma nova proposi c ao, p e q , chamada de conjun c ao de p e q . Usamos o s mbolo
l e-se p e q

pq para denot a-la. A senten ca p q e verdadeira caso ambas, p e q , sejam verdadeiras. Em qualquer outra situa c ao ela ser a falsa.

Exemplo 2 Apenas uma das senten cas abaixo e falsa. Qual e ... A noite e escura e o dia e claro. A rosa e vermelha e o cravo e branco. 16 e igual a 4 e 187 e um n umero primo.

Uma vez que 187 = 11 17, a proposi c ao 187 e um n umero primo e e igual a 4 ser verdadeira, a proposi c ao composta falsa e, apesar de 16 16 e igual a 4 e 187 e um n umero primo e falsa.
CEDERJ 8

Proposi c oes e Conectivos

MODULO 3 - AULA 26

A partir de duas proposi c oes p e q tamb em podemos construir a proposi c ao composta p ou q , chamada de disjun c ao de p e q . Usamos o s mbolo pq para represent a-la. A proposi c ao p q e verdadeira caso alguma das proposi c oes p ou q seja verdadeira. Ela ser a falsa apenas quando ambas proposi c oes p e q forem falsas.
l e-se p ou q

e igual a 4 ou 187 e um n umero primo e A proposi c ao composta 16 verdadeira. Outro exemplo: podemos armar que a proposi c ao: e um n umero irracional ou
1 3

Exemplo 3

>

1 2

e verdadeira, baseando-se apenas no fato de que e um n umero irracional. Aten c ao! Lembre-se de que, como j a foi dito na unidade de Teoria de Conjuntos, o ou em Matem atica n ao e exclusivo. Finalmente, podemos gerar uma nova proposi c ao a partir de uma inicial, simplesmente negando-a. Usamos a nota c ao p, para indicar a nega c ao da proposi c ao p. As proposi c oes p e p t em valores-verdade opostos. Este fato e conhecido como o Princ pio da Contradi c ao. Quando Arist oteles criou a l ogica, ele estabeleceu uma s erie de princ pios, isto e, as regras b asicas sobre as quais toda a l ogica seria desenvolvida. Estes princ pios s ao: Princ pio da Identidade: Todo objeto e id entico a si mesmo. Princ pio da Contradi c ao: O contr ario do verdadeiro e falso. Princ pio do Terceiro Exclu do: De duas proposi c oes contradit orias uma e verdadeira e a outra e falsa.
9 CEDERJ l e-se n ao p

Proposi c oes e Conectivos

Duas proposi c oes s ao contradit orias quando uma e a nega c ao da outra. A palavra princ pio prov em do grego (arqu e, como em arqu etipo) e do latim principium e quer dizer ponto de partida e fundamento de um processo qualquer. Ela e muito usada na losoa e na linguagem cient ca. Em Matem atica, pode ser usada como sin onimo de axioma e, neste caso, e uma proposi c ao cuja veracidade n ao requer demonstra c ao, como no Princ pio da Identidade, da Contradi c ao e do Terceiro Exclu do, enunciados anteriormente.

Nota
Arist oteles (384 - 322 a.C.) Os princ pios de identidade, da contradi c ao e do terceiro exclu do, apesar de sua simplicidade, s ao fundamentais. Arist oteles formulou o Princ pio da Contradi c ao de, pelo menos, duas maneiras: Nada pode ser e n ao ser simultaneamente e E necess ario que toda asser c ao seja armativa ou negativa. O Princ pio do Terceiro Exclu do foi derivado do Princ pio da Contradi c ao muito mais tarde, no s eculo XVIII. Eles se completam para determinar que as proposi c oes simples s ao, ou verdadeiras, ou falsas. Por esta raz ao, diz-se que a l ogica cl assica e bivalente.

A F sica tamb em usa esta palavra neste sentido, como em Princ pio da Indetermina c ao de Heisenberg, proposto em 1927 por Werner Heisenberg e faz parte da teoria qu antica. Esta teoria e bastante complicada, mas ela explica o comportamento dos a tomos. O Princ pio da Indetermina c ao diz que a posi c ao e a velocidade das part culas at omicas n ao podem ser conhecidas ao mesmo tempo e com precis ao. A palavra princ pio tamb em pode ser usada como sin onimo de teorema, como no Princ pio da Inclus ao-Exclus ao, enunciado no m odulo 1, aula 4. Neste caso, trata-se de uma arma c ao que deve ser demonstrada.

Quanticadores
Vamos aprender agora mais um pouco do jarg ao matem atico. Falaremos sobre quanticadores. Os quanticadores s ao express oes que aparecem, em geral, no in cio das frases matem aticas, cuja fun c ao e indicar o universo sobre o qual ser a feita a arma c ao. Exemplos: para todo, cada, existe um, existe uma, n ao existe algum, n ao existe alguma, nenhum, nenhuma, qualquer um, qualquer uma ... Exemplo 4 As seguintes proposi c oes t em o mesmo signicado: Todo mundo e racional. Todas as pessoas s ao racionais. Cada pessoa e racional. Qualquer pessoa e racional.

Werner Karl Heisenberg (1901 - 1976), f sico alem ao, formulou a nova teoria da Mec anica Qu antica juntamente com Ernest Jordan, Erwin Schr odinger, Niels Bohr e Paul Dirac. Esta teoria depende muito de Matem atica e valeu o Pr emio Nobel de F sica de 1932.

CEDERJ

10

Proposi c oes e Conectivos

MODULO 3 - AULA 26

O quanticador usado nestes exemplos e chamado de quanticador universal. N os o representamos pelo s mbolo . Exemplo 5 R, sen2 + cos2 = 1. Esta proposi c ao e verdadeira.

O seguinte exemplo apresenta o quanticador existencial. Mais uma vez, todas as proposi c oes abaixo t em o mesmo signicado. Exemplo 6 Alguma pessoa e bonita. Existe pessoa bonita. Pelo menos uma pessoa e bonita N os representamos este quanticador pelo s mbolo . Exemplo 7 R | sen = 1. Esta arma c ao e verdadeira? A resposta e sim. O seno do a ngulo reto, por exemplo, e 1. Isto pode ser expresso da seguinte maneira: sen 2 = 1. Os quanticadores universal e existencial s ao trocados um pelo outro quando fazemos a nega c ao de uma proposi c ao iniciada por um deles. Veja como funciona num exemplo: Exemplo 8 A nega c ao da proposi c ao p: e p: Existe aluno n ao estudioso.
11 CEDERJ

Todo aluno e estudioso.

Proposi c oes e Conectivos

Uma outra maneira de enunciar a proposi c ao p seria: h a aluno que n ao e estudioso. Numa maneira tipicamente matem atica seria: existe pelo menos um aluno n ao estudioso. Aten c ao! A proposi c ao q : Nenhum aluno e estudioso n ao e a nega c ao de p. Note a import ancia do quanticador usado na forma c ao da proposi c ao. As proposi c oes: x R, x2 = 2 (Para todo x em R, x2 = 2) s ao diferentes. Resumindo: Quanticadores: O quanticador universal e representado pelo s mbolo , que l e-se: Para todo . . . ; o quanticador existencial e representado pelo s mbolo , que l e-se: Existe . . . Estes quanticadores s ao trocados um pelo outro quando fazemos a nega c ao de uma proposi c ao. Aten c ao! Estamos chegando ao m da aula. Bem, voc e est a come cando a perceber como a linguagem e importante. Matem atica e muito sutil, pois um pequeno detalhe pode mudar completamente o sentido da proposi c ao. Por exemplo, uma proposi c ao do tipo p q pode ser verdadeira ao mesmo tempo que p q e falsa. Isto signica uma simples troca de um ou por um e. Precisamos estar atentos ao que dizemos, ao que o texto diz e, principalmente, a como devemos nos expressar. Agora e hora de relaxar um pouco antes de seguir para a lista de exerc cios. Voc e conhece aquela do engenheiro, do f sico e do matem atico? Os tr es amigos, um engenheiro, um f sico e um matem atico, estavam viajando de trem para o interior de S ao Paulo. Depois que o trem passou por Rio Claro, eles avistaram uma colina verdejante com uma linda vaca preta pastando. O engenheiro, que estava um pouco aborrecido com o papo um tanto abstrato de seus dois amigos, aproveitou para fazer o seguinte coment ario: vejam, as vacas aqui s ao pretas! O f sico olhou pela janela e retrucou: calma, a ! As vacas deste morro s ao pretas... O matem atico lan cou um olhar de censura sobre seus dois amigos e disse, balan cando a cabe ca, para enfatizar: nada disso, car ssimos! O que realmente podemos armar e que neste morro h a uma vaca com o lado direito preto...
CEDERJ 12

x R | x2 = 2 (Existe x em R, tal que x2 = 2)

Proposi c oes e Conectivos

MODULO 3 - AULA 26

Exerc cios
1. Determine quais das frases abaixo s ao proposi c oes: Cenouras s ao saud aveis. O Brasil e um pa s tropical. Todos os homens s ao astutos. Fa ca as malas. A paci encia e uma virtude. Debussy comp os duas sinfonias. A paci encia e um jogo. Para todo mal h a cura. Todo mundo tem um segredo. N ao fume! Todo amor e forte. Quantos anos voc e tem? O quadrado de cada n umero e n ao negativo. Que calor! Antonio Carlos Jobim, o Tom Jobim, e um compositor brasileiro. Quanto custa esta mesa? 2. Construa a nega c ao de cada uma das seguintes proposi c oes: A pera e uma fruta. Algumas o peras s ao longas. Todos gostam de dan car. Algumas pessoas n ao t em carro. Todos t em televisores e aparelhos de v deo. O dinheiro n ao traz a felicidade. Todo desle de escola de samba tem mestre-sala e porta-bandeira. Dom Quixote e um personagem criado por Miguel de Cervantes. Todo amor e forte. Nenhum amor e fraco.

13

CEDERJ

Proposi c oes e Conectivos

3. Escreva literalmente as seguintes proposi c oes matem aticas: x Z, x2 0 Solu c ao: Qualquer que seja o n umero inteiro x, x2 0. Esta proposi c ao e falsa. R, tg 2 = sec2 1 x R| x =4 x N | 2| x 3| x
A nota c ao a|b e lida da seguinte maneira: a divide b, isto e, b e um m ultiplo de a.

Solu c ao: Existe um n umero natural x tal que 2 divide x ou 3 divide x. Solu c ao alternativa: Existe um n umero natural x divis vel por 2 ou divis vel por 3. x R | sen x = x Q | x2 =
3 2

. x Q, p, q Z | x = p q
9 . 25 1 n

r R, r > 0, K N | n > K =

< r.

Resumo da Opera
Nesta aula voc e aprendeu que: 1. em l ogica, lidamos com proposi c oes que s ao senten cas declarativas, cada uma delas possuindo um valor-verdade, verdadeiro ou falso. A representa c ao das proposi c oes se faz por letras min usculas como p, q etc.; 2. para cada proposi c ao p corresponde a sua nega c ao: p. As proposi c oes p e p t em valores-verdade opostos; 3. dadas duas proposi c oes p e q , podemos construir duas outras proposi c oes: pq pq (conjun c ao, p e q ) (disjun c ao, p ou q )

CEDERJ

14

Proposi c oes e Conectivos

MODULO 3 - AULA 26

4. em Matem atica usamos dois quanticadores: (universal, qualquer que seja . . . ) (existencial, existe um . . . )

Estes quanticadores trocam de pap eis quando fazemos a nega c ao de uma proposi c ao.

Auto-avalia c ao
muito bom que voc E e tenha chegado at e aqui. Esta primeira aula sobre l ogica cont em informa c oes novas e e natural que voc e tenha d uvidas. Lembre-se, s o n ao tem d uvidas quem n ao estuda! Uma boa maneira de avaliar o trabalho e medir relativamente os progressos e as diculdades. Voc e pode come car a sua avalia c ao da seguinte maneira: Releia os objetivos desta aula. Foram alcan cados? Comente-os. Releia especialmente os exemplos e tente relacion a-los com os exerc cios propostos. Na pr oxima aula voc e aprender a mais sobre as regras da l ogica e como podemos estabelecer se uma proposi c ao e verdadeira ou n ao, construindo as tabelas-verdade. At e l a!

15

CEDERJ

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

Aula 27 Tabelas-verdade e leis da l ogica


Objetivos
Nesta aula voc e aprender a a construir as tabelas-verdade para proposi c oes compostas. Aprender a tamb em as principais leis da l ogica e as implica co es ou proposi c oes condicionais.

Tabelas-verdade
Na aula anterior voc e deve ter percebido a import ancia da familiaridade com a terminologia matem atica. Dando continuidade a este processo, descubra agora o que e e como e constru da uma tabela-verdade. O valor-verdade de cada proposi c ao e sempre, ou verdadeiro (V), ou falso (F). O valor-verdade de uma proposi c ao composta e determinado pelos valores-verdade de cada uma das proposi c oes que a comp oem. Na tabelaverdade apresentamos todas as possibilidades. Por exemplo, considere a conjun c ao das proposi c oes p e q , que denotamos por p q . Lembre-se de que pq e verdadeira apenas quando ambas proposi c oes, p e q , s ao verdadeiras. H a quatro possibilidades: p e verdadeira e q e verdadeira. p e verdadeira e q e falsa. p e falsa e q e verdadeira. p e falsa e q e falsa. A tabela-verdade correspondente e: p V V F F q V F V F pq V F F F

As tabelas-verdade correspondentes ` as proposi c oes p (n a o p) e p q (p ou q ) s ao:


17 CEDERJ

Tabelas-verdade e leis da l ogica

p p V F p F V V V F F

q V F V F

pq V V V F

Equival encia l ogica e leis da l ogica


poss E vel expressar uma proposi c ao de diferentes maneiras. Por exemplo, podemos negar a proposi c ao Marcos e pintor e gosta de pescar dizendo N ao e verdade que Marcos e pintor e gosta de pescar. Uma outra maneira e Marcos n ao e pintor ou n ao gosta de pescar. Estas duas u ltimas arma c oes s ao ditas logicamente equivalentes. Logicamente equivalentes: Duas proposi c oes s ao ditas logicamente equivalentes quando t em os mesmos valores-verdade em todos os casos poss veis. Quando duas proposi c oes, p e q , s ao equivalentes, usamos a seguinte nota c ao: p q.

A import ancia pr atica deste conceito e a seguinte duas proposi c oes logicamente equivalentes s ao, sob o ponto de vista da l ogica, a mesma coisa. No entanto, podem apresentar pontos de vista diferentes, facilitando a nossa compreens ao, aprofundando o nosso entendimento do conte udo que ela reveste.

As tabelas-verdade s ao u teis para detectar quando duas proposi c oes s ao logicamente equivalentes. O exemplo N ao e verdade que Marcos e pintor e gosta de pescar e um caso particular da situa c ao (p q ) equivalente a p q , em que p e Marcos e pintor e q e Marcos gosta de pescar. Exemplo 9 Vamos mostrar, usando uma tabela-verdade, que as proposi c oes (p q ) e p q s ao logicamente equivalentes. Aqui, veja como e f acil preencher as tabelas, contanto que o trabalho seja feito por etapas. Antes de mais nada, iniciamos construindo uma tabela que tenha cinco linhas: na primeira delas alinharemos as diferentes etapas e nas outras quatro consideraremos todas as possibilidades, j a que contamos com duas proposi c oes b asicas, p e q . p V V F F
CEDERJ 18

q V F V F

pq

(p q )

p q

pq

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

Agora, para se chegar ao valor-verdade de (p q ) e simples. Primeiro, obtenha o valor-verdade de p q e depois, num segundo passo, obtenha o valor-verdade de sua nega c ao. Comece preenchendo, na tabela, os valores-verdade das proposi c oes p q, p e q. p V V F F q V F V F pq V F F F (p q ) p F F V V q F V F V pq

Agora, num segundo passo, complete a tabela preenchendo as colunas correspondentes ` as proposi c oes (p q ) e p q . p V V F F q V F V F pq V F F F (p q ) F V V V p F F V V q F V F V pq F V V V

Veja que na tabela completa podemos comparar as duas colunas correspondentes ` as proposi c oes (p q ) e p q . Como as duas colunas s ao iguais, as proposi c oes s ao logicamente equivalentes. Resumindo, (p q ) p q . Antes de prosseguirmos, tente voc e construir a tabela-verdade de p (q r ). A proposi c a o p (q r ) e composta por tr es proposi c oes: p, q e r . Sua 3 tabela ter a, al em da primeira linha, mais 8 = 2 linhas. Preencha primeiro a quarta coluna, usando as colunas dois e tr es. Depois, usando a primeira e a quarta, preencha a u ltima coluna. Por exemplo, na terceira linha em branco, q e falso e r e verdadeiro. Portanto, o valor-verdade de q r e verdadeiro e marcamos um V na quarta coluna. Agora, na primeira coluna vemos que p e verdadeiro e, na quarta coluna, q r verdadeiro. Portanto, p(q r ) e verdadeiro, e marcamos outro V na u ltima coluna.
Lembre-se do Princ pio Fundamental de Contagem apresentado no m odulo 1, aula 6. Quantas linhas seriam necess arias para 4 proposi c oes conectadas? Quantas para n proposi c oes conectadas?

19

CEDERJ

Tabelas-verdade e leis da l ogica

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

qr

p (q r )

Lembre-se das tabelas-verdade das proposi c oes p q e p q : p V V F F p V V F F q V F V F q V F V F pq V V V F pq V F F F

Leis da L ogica
Usaremos, agora, o conceito de equival encia l ogica para expressar algumas das leis da l ogica. Elas s ao usadas para reescrevermos algumas proposi c oes de maneiras diferentes, por em equivalentes, do ponto de vista l ogico.

Expressando as Leis da L ogica...

A mais simples e a lei de idempot encia. Lei de Idempot encia: Para qualquer proposi c a o p, pp p p p p.

Al em disso, os conectivos e s ao comutativos e associativos. Leis de Comutatividade: Dadas duas proposi c oes quaisquer, p e q , p q q p; p q q p.

Leis de Associatividade: Dadas tr es proposi c oes quaisquer, p, q e r , (p q ) r p (q r ); ( p q ) r p (q r ).

CEDERJ

20

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

As leis de associatividade permitem que escrevamos simplesmente p q r em vez de (p q ) r ou p (q r ). As leis que veremos a seguir relacionam os dois conectivos e . Vejamos como elas s ao aplicadas, num exemplo, antes de enunci a-las. Exemplo 10 Consideremos as seguintes proposi c oes: p: q: r: a: 2 e um n umero inteiro; 2 e maior do que 3; 2 e um n umero primo. Conectando-as podemos montar as seguintes proposi c oes: 2 e um n umero inteiro, ou 2 e maior do que 3 e primo. b: 2 e um n umero inteiro ou maior do que 3, e 2 e um n umero inteiro ou primo. As proposi c oes a p (q r ) e b (p q ) (p r ) s ao logicamente equivalentes. Este e um caso particular da lei de distributividade. Para completar o exemplo, vamos determinar o valor-verdade das proposi c oes. A claro que p proposi c ao a e a proposi c ao p (q r ). E e verdadeira, q e falsa e r e verdadeira. Como q e falsa, q r e falsa. Mas, sendo p verdadeira, a proposi c ao nal p (q r ) e verdadeira. Por sua vez, a proposi c ao b e a proposi c ao (p q ) (p r ). Ent ao, p q e p r s ao ambas verdadeiras. Portanto, b e uma proposi c ao verdadeira.

Leis de Distributividade: Dadas tr es proposi c oes quaisquer, p, q e r , p (q r ) (p q ) (p r ) e p (q r ) (p q ) (p r ).

Volte alguma p aginas e fa ca uma nova leitura e an alise do exemplo 9. A lei que voc e conhecer a agora j a foi considerada nesse exemplo. Ela e uma das leis de De Morgan. Lembre-se tamb em que este tema j a foi abordado no m odulo 1, aula 3.
21 CEDERJ

Tabelas-verdade e leis da l ogica

Na u ltima aula voc e aprendeu que a palavra princ pio pode ser usada como sin onimo de axioma ou de teorema. A mesma coisa acontece com a palavra lei. Nesta aula a palavra lei est a sendo usada como sin onimo de teorema. Isto e, ela est a sendo usada para indicar quando determinadas proposi c oes s ao logicamente equivalentes e, para que estas leis possam valer, devemos constatar a equival encia usando tabelas-verdade. Leis de De Morgan: Para quaisquer proposi c oes, p e q , (p q ) p q ; (p q ) p q.

Lembre-se que no exemplo 9 a constru c ao da tabela-verdade mostrou que as proposi c oes (p q ) e p q s ao equivalentes. A tabela-verdade abaixo mostrar a que as proposi c oes (p q ) e p q tamb em s ao equivalentes: p V V F F q V F V F pq V V V F (p q ) F F F V p F F V V q F V F V pq F F F V

Vejamos agora o enunciado das leis de De Morgan na vers ao da Teoria de Conjuntos: Sejam A e B conjuntos. Ent ao: (A B )c = Ac B c , (A B )c = Ac B c . Vamos mostrar que (A B )c = Ac B c . Neste caso, o conjunto A B e caracterizado pela arma c ao x A ou x B . O seu complementar e caracterizado pela nega c ao desta arma c ao: (x A x B ). Pela lei de De Morgan (que acabamos de mostrar) esta arma c ao e equivalente a x / A x / B , que caracteriza o conjunto c c A B . Logo, os conjuntos s ao iguais.
CEDERJ 22

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

Agora, a demonstra c ao do segundo caso. Para provar que (A B )c = Ac B c vamos usar a igualdade (A B )c = Ac B c , que acabamos de provar, mais o fato de que o complementar do complementar de qualquer conjunto, c e o pr oprio conjunto: X c = X . Realmente, Ac B c = Ac B c
c c c c

Ac

Bc

= (A B )c .

Isto completa a prova das Leis de De Morgan da Teoria de Conjuntos. Exemplo 11 As leis de De Morgan s ao usadas para reescrevermos as nega c oes de proposi c oes. Considere a seguinte proposi c ao: Todo n umero par e divis vel por 2 e existe um n umero inteiro n tal que 2n = 3. Sua nega c ao e: Existe um n umero par que n ao e divis vel por 2 n e tal que 2n = 3. ou todo n umero inteiro

Finalmente veremos como, em certas situa c oes, podemos compactar uma proposi c ao. Leis de Absor c ao: Para quaisquer duas proposi c oes, p e q , p (p q ) p ; p (p q ) p.

Vamos construir a tabela de p (p q ). Come camos com a tabela de p q e, depois, usamos as colunas correspondentes ` as proposi c oes p e p q para completar a u ltima coluna, que e a correspondente a p (p q ). p V V F F q V F V F pq V F F F p (p q ) V V F F

As colunas de p e de p (p q ) s ao iguais, provando que as proposi c oes s ao logicamente equivalentes: p (p q ) p.


23 CEDERJ

Tabelas-verdade e leis da l ogica

Quadro-Resumo
Para nalizarmos esta parte, vamos montar um quadro com o resumo das principais leis da l ogica.

Leis de Distributividade p (q r ) (p q ) (p r ) p (q r ) (p q ) (p r ) Leis de De Morgan (p q ) p q (p q ) p q Leis de Absor c ao p (p q ) p p (p q ) p

Exerc cios
1. Construa a tabela-verdade para cada uma das seguintes proposi c oes compostas: (a) p q (b) ( p) ( q ) (c) p q (d) ( p q ) (e) ( p q ) p (f) p (q q ) (g) ( p q ) r (h) ( p q ) r

2. Use a tabela-verdade para provar a seguinte lei de distributividade: p (q r ) (p q ) (p r ). Para isto, preencha a tabela abaixo por etapas. p V V V V F F F F q V V F F V V F F r V F V F V F V F qr pq pr p (q r ) (p q ) (p r )

CEDERJ

24

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

3. Fa ca o mesmo para as leis de Absor c ao: p (p q ) p e p (p q ) p.

Implica c oes ou Proposi co es Condicionais


H a frases que se comp oem de uma condi c ao e uma conseq u encia, como se d a no seguinte exemplo: Se n ao chover irei ` a sua festa. Frases deste tipo interessam particularmente aos matem aticos. Aqui est ao alguns exemplos: Se n e um inteiro mpar, ent ao n2 e mpar. ao r e irracional. Se r e um n umero real tal que r 2 = 2, ent Se ABC e um tri angulo tal que A est a no centro de um c rculo e B e C pertencem ` a circunfer encia do c rculo, ent ao o tri angulo ABC e is osceles. Sejam p e q duas proposi c oes. Chamamos a proposi c ao Se p, ent ao q de uma implica c ao. O conectivo Se . . . , ent ao . . . caracteriza uma condi c ao. A nota c ao desta proposi c ao e p = q A proposi c ao p e chamada de hip otese e a proposi c ao q de conclus ao ou tese. O valor-verdade da proposi c ao p = q depende dos valoresverdade da hip otese e da conclus ao. Ela e falsa apenas quando p e verdade e q e falsa. Na verdade, a proposi c ao p = q e logicamente equivalente a ` proposi c ao p q . Aqui est a a tabela-verdade de p q . p V V F F q V F V F p F F V V pq V F V V p = q V F V V
25 CEDERJ Um tri angulo e dito is osceles se tem dois lados de medidas iguais, ou dois angulos internos de medidas iguais.

Tabelas-verdade e leis da l ogica

Observemos, num exemplo, as diferentes possibilidades de valor-verdade de uma proposi c ao do tipo p = q . Exemplo 12 Vamos considerar o seguinte: Se eu ganhar na loteria, ent ao n os viajaremos para Fortaleza.
Lembre-se da tabela-verdade da proposi c ao p q : p V V F F q V F V F pq V F V V

A primeira possibilidade corresponde ` a situa c ao (ideal) p e q verdadeiras. Eu ganho na loteria, viajamos para Fortaleza, a promessa e cumprida e p = q e verdadeira. No caso de ganhar na loteria, e n ao viajarmos para Fortaleza, a promessa estar a quebrada. Isto corresponde ao caso p verdadeira e q falsa. Portanto, p = q e falsa. Agora, apesar de eu n ao ter ganho na loteria, viajamos para Fortaleza. Otimo! A arma c ao p = q n ao pode ser contestada. Isto corresponde ao caso p falsa, q verdadeira e p = q verdadeira. Au ltima possibilidade nada de loteria, nada de viagem a Fortaleza, nada de promessa quebrada corresponde ao caso p e q falsas e p = q verdadeira. Note que, quando a hip otese p e falsa, independente do valor-verdade da conseq u encia q , a implica c ao p = q e verdadeira. Portanto, a u nica chance de p = q ser falsa e quando temos uma situa c ao em que a hip otese e verdadeira e a conseq u encia e falsa. Fa ca uma an alise semelhante considerando a proposi c ao Se o tempo estiver bom, irei a ` praia. Observe que, no discurso mais coloquial, a palavra ent ao pode ser dispensada. H a maneiras ligeiramente diferentes de enunciar a proposi c ao p = q . Algumas s ao: Se p, ent ao q . p implica q . Para que p seja verdadeira, e necess ario que q seja verdadeira. Para que q seja verdadeira, e suciente que p seja verdadeira.

CEDERJ

26

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

Reescreva a proposi c ao abaixo de diferente maneiras. Se recebermos uma boa oferta, venderemos o terreno. Quando trocamos a hip otese pela conseq u encia de uma proposi c ao p = q , estamos criando uma nova proposi c ao: q = p chamada de convers ao de p = q . Aten c ao! N ao cometa o erro de pensar que p = q e sua convers ao q = p s ao logicamente equivalentes. Veja numa tabela-verdade a compara c ao das duas proposi c oes: p V V F F Vamos a um exemplo. Exemplo 13 Tomemos a proposi c ao do tipo p = q : Se Linda e brasileira, ent ao ela gosta de samba. A convers ao desta proposi c ao e outra proposi c ao: Se Linda gosta de samba, ent ao ela e brasileira. Considere as diferentes possibilidades. Especialmente a situa c ao em que Linda, caindo numa roda de samba, fazendo inveja a `s melhores passistas do lugar, acaba confessando ser uma americana de Miami. Isto e, p e falsa mas q e verdadeira. A proposi c ao Se Linda e brasileira, ent ao ela gosta de samba e verdadeira (pois n ao e falsa, coisa de l ogica aristot elica), mas a sua convers ao Se Linda gosta de samba, ent ao ela e brasileira e falsa pois, exatamente como no caso acima, gostar de samba n ao e coisa apenas de brasileiros ou brasileiras. Vamos continuar com este exemplo um pouco mais. Tomemos a seguinte proposi c ao:
27 CEDERJ

q V F V F

pq V F V V

qp V V F V

Tabelas-verdade e leis da l ogica

Se Linda n ao gosta de samba, ent ao ela n ao e brasileira. Esta proposi c ao e da forma q = p. Vamos calcular a sua tabelaverdade e compar a-la com p = q . p V V F F q V F V F q F V F V p F F V V q p V F V V pq V F V V

As proposi c oes p = q e q = p s ao logicamente equivalentes. Dada a proposi c ao p = q , chamamos de contrapositiva a proposi c ao q = p. Elas s ao logicamente equivalentes. u E til olhar para a contrapositiva pois permite um diferente ponto de vista da mesma proposi c ao, uma vez que elas s ao logicamente equivalentes. H a um tipo de proposi c ao composta por duas proposi c oes iniciais p e q que ocorre com certa freq u encia: (p q ) (q p). Isto e, p implica q e q implica p. Damos um nome especial a esta proposi c ao. O conectivo se, e somente se e dito conectivo bicondicional e e denotado pelo s mbolo . A proposi c ao p q e equivalente ` a proposi c ao (p q ) (q p). A proposi c ao p q tamb em pode ser lida como p e necess ario e suciente para q e e verdadeira, quando ambas proposi c oes t em o mesmo valor-verdade. Usando a vers ao (p q ) (q p) de p q , vamos montar a sua tabela-verdade. p V V F F q V F V F pq V F V V qp V V F V (p q ) (q p ) V F F V pq V F F V

CEDERJ

28

Tabelas-verdade e leis da l ogica

MODULO 3 - AULA 27

Tautologias
Uma tautologia e uma proposi c ao composta que e verdadeira qualquer que seja o valor-verdade das proposi c oes que a comp oem. Para averiguarmos se uma proposi c ao composta e uma tautologia, e necess ario fazer sua tabelaverdade. Um exemplo bem simples e a proposi c ao p p Sua tabela-verdade e p V F p F V pp V V

Um outro exemplo de tautologia envolve o conectivo condicional: (p q ) = p cuja tabela-verdade e: p V V F F q V F V F pq V F F F pq p V V V V

Exerc cios
1. Construa as respectivas tabelas-verdade para constatar que as seguintes proposi c oes s ao tautologias: (a) (p p) (b) ((p q ) p) q (c) p (p q ) (d) (p q ) p q

Auto-avalia c ao
Esta aula cont em bastante informa c ao e para que voc e possa familiarizarse com estas novidades e muito importante que voc e resolva os exerc cios. Ao faz e-lo, anote os que achou mais dif ceis. Escolha tamb em aqueles de que voc e gostou mais. Bom trabalho!
29 CEDERJ

Argumentos e Provas

MODULO 3 - AULA 28

Aula 28 Argumentos e Provas


Objetivo
Nessa aula voc e aprender a as estrat egias b asicas de argumenta c ao e demonstra c ao.

Denindo Argumenta c ao
Uma argumenta c ao constitui-se de uma cole c ao de proposi c oes (premissas ) e uma proposi c ao nal (conclus ao ). Do ponto de vista da l ogica, para que uma argumenta c ao seja v alida, e necess ario que a conclus ao seja uma conseq u encia das premissas. Isto e, no caso de as premissas serem verdadeiras, sabemos que a conclus ao e verdadeira. Premissas: Todo homem e mortal. S ocrates e homem. S ocrates e mortal.

Conclus ao:

Consideremos tamb em um exemplo mais prosaico: Premissas: Todos os brasileiros gostam de feijoada. Todos os cariocas s ao brasileiros. Todos os cariocas gostam de feijoada.

Este exemplo tem uma import ancia hist orica e aparece em quase todo texto sobre l ogica. Ele e um silogismo, que se constitui de duas premissas e uma conclus ao, foi formulado por Arist oteles, em seu tratado Primeiros Anal ticos, sobre l ogica.

Conclus ao:

Vamos a ` deni c ao do que e um argumento v alido.

31

CEDERJ

Argumentos e Provas

Um argumento consiste de uma s erie de proposi c oes chamadas premissas e uma proposi c ao chamada conclus ao. Dizemos que o argumento e v alido se, sempre que todas as premissas forem verdadeiras, isto e, se a conjun c ao delas for verdadeira, ent ao, a conclus ao ser a verdadeira. Em outras palavras, um argumento com premissas p1 , p2 , . . . , pn e conclus ao c e valido se: sempre que p1 p2 pn for verdadeira, ent ao a implica c ao p1 p2 pn c ser a verdadeira Um argumento e inv alido se a conclus ao n ao e conseq u encia das premissas. Isto e, mesmo no caso em que as premissas sejam verdadeiras, a conclus ao pode ser falsa. Um argumento inv alido tamb em e chamado de fal acia.

Exemplo 14 Vamos considerar o seguinte argumento: Premissas: p1 : p2 : Se voc e estudar, voc e passar a no teste. Voc e estuda.

Conclus ao: c: Voc e passar a no teste. Suponhamos que uma condi c ao suciente para passar no teste e estudar. Isto e, vamos considerar que caso voc e estude, ent ao voc e passar a no teste. Voc e estuda! A conclus ao e: voc e passar a no teste. Vamos analisar mais detalhadamente a situa c ao. Temos apenas duas proposi c oes b asicas: p: Voc e estuda. q : Voc e passa no teste. Devemos vericar que, quando p q e q s ao verdadeiras, a implica c ao ((p q ) p) q ser a verdadeira. Vamos usar uma tabela-verdade.
CEDERJ 32

Argumentos e Provas

MODULO 3 - AULA 28

p V V F F

q V F V F

pq V F V V

(p q ) p ((p q ) p) q V F F F V V V V
Esta tabela apresenta uma situa c ao interessante. Note que, independente de qual seja o valor-verdade das proposi c oes p e q , a proposi c ao ((p q ) p) q ser a verdadeira. Ela e um exemplo de uma tautologia.

A primeira linha da tabela mostra que, quando p1 = (p q ) e p2 = p s ao ambas verdadeiras, temos que a conclus ao c = q e verdadeira. Isto signica que os argumentos da forma Premissas: pq p q

Conclus ao: s ao v alidos.

O argumento que acabamos de exemplicar e chamado de m etodo direto ou modus ponens. Exemplo 15 Este exemplo ilustrar a um outro tipo de argumento muito usado. Premissas: p1 : p2 : Se n ao chover, Mateus ir a ao parque. Se Mateus for ao parque, ele brincar a com seus amigos.

Conclus ao: c: Se n ao chover, Mateus brincar a com seus amigos. Para analis a-lo, vamos considerar as seguintes proposi c oes b asicas: p: N ao chover. q : Mateus vai ao parque. r : Mateus brinca com seus amigos. A estrutura deste argumento e Premissas: pq qr pr

Conclus ao:

Este argumento e v alido. Veja a tabela-verdade:


33 CEDERJ

Argumentos e Provas

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pq V V F F V V V V

qr V F V V V F V V

pr V F V F V V V V

((p q ) (q r )) (p r ) V V V V V V V V

As linhas 1, 5, 7 e 8 indicam que sempre que as premissas s ao verdadeiras, a conclus ao e verdadeira. A Lei do Silogismo arma que os argumentos do tipo pq qr pr

Premissas:

Conclus ao:

s ao v alidos. Exemplo 16 Vamos agora considerar a seguinte situa c ao: Premissas: p1 : p2 : Se eu ganhar o pr emio de m de ano da companhia, n os passaremos um m de semana em B uzios. Passamos um ( otimo) m de semana em B uzios.

Conclus ao: c: Ganhei o (cobi cado) pr emio da companhia. Este argumento e formado por apenas duas proposi c oes simples: p: Eu ganho o pr emio da companhia e q : N os passamos um m de semana em B uzios. A estrutura deste argumento e
CEDERJ 34

Argumentos e Provas

MODULO 3 - AULA 28

Premissas:

pq q p

Conclus ao:

Voc e j a deve estar desconado de alguma coisa errada nesta hist oria... Realmente, este argumento n ao e v alido! Vejamos a tabela-verdade de ((p q ) q ) p. p V V F F q V F V F pq V F V V (p q ) q V F V F ((p q ) q ) p V V F V

A terceira linha mostra uma situa c ao onde p1 = (p q ) e p2 = q s ao verdadeiras mas c = p e falsa. Compare este exemplo com o exemplo 14, o chamado m etodo direto. Estes argumentos s ao parecidos. Cuidado para n ao os confundir. Para nalizar, vamos resumir os argumentos v alidos que exemplicamos nesta aula: M etodo direto: Se voc e estudar ent ao voc e passar a no teste. Voc e estuda. Ent ao voc e passar a no teste. Premissas: Conclus ao: pq p q

Lei do silogismo: Se n ao chover, Mateus ir a ao parque e, indo ao parque, ele brincar a com seus amigos. Portanto, se n ao chover, Mateus brincar a com seus amigos. Premissas: Conclus ao: pq qr pr

35

CEDERJ

Argumentos e Provas

Exerc cios
Em cada um dos argumentos abaixo, destaque as proposi c oes simples que comp oem as premissas e as conclus oes. Construa uma tabela-verdade com base nas proposi c oes simples e nas premissas, concluindo com a coluna (p1 p2 pn ) c. Determine, ent ao, a validade ou n ao do argumento. Os tr es primeiros exerc cios da lista est ao com a solu c ao. D e a sua pr opria solu c ao e ent ao compare com a solu c ao dada. V a em frente! 1. Se o cachorro escapar, ele pegar a o gato. Se o gato for pego, eu estarei em apuros. Portanto, se o cachorro escapar, eu estarei em apuros. Solu c ao: Este argumento t em as proposi c oes b asicas p: q: r: O cachorro escapa. O cachorro pega o gato. Eu estou em apuros.

O argumento est a estruturado da seguinte forma: p1 = p q : p2 = q r : c = p r: Se o cachorro escapa, ele pegar a o gato. Se o gato for pego (pelo cachorro), eu estarei em apuros. Se o cachorro escapar, eu estarei em apuros.

Este tipo de argumento e v alido. A constru c ao da tabela-verdade est a feita no exemplo 15. Este e um argumento validado pela Lei dos Silogismos. 2. Todas as pessoas inteligentes gostam de Matem atica. Romeu e uma pessoa. Romeu n ao gosta de Matem atica. Portanto, Romeu n ao e inteligente. Solu c ao: Note que podemos reescrever o argumento da seguinte maneira: Se uma pessoa e inteligente, ent ao esta pessoa gosta de Matem atica. Romeu e uma pessoa e n ao gosta de Matem atica. Portanto, Romeu n ao e inteligente. Dessa forma, podemos usar as seguintes proposi c oes b asicas para analisar o argumento: p: q: r: Uma pessoa e inteligente. Uma pessoa gosta de Matem atica. Romeu e uma pessoa.

O argumento est a estruturado da seguinte maneira:


CEDERJ 36

Argumentos e Provas

MODULO 3 - AULA 28

Premissas: p1 = p q : p2 = q r : Conclus ao: p3 = p r :

Se uma pessoa e inteligente, ent ao esta pessoa gosta de Matem atica. Uma pessoa n ao gosta de Matem atica e esta pessoa e Romeu. Uma pessoa n ao e inteligente e esta pessoa e Romeu.

Para analisarmos a validade do argumento temos que saber se, sempre que as premissas forem verdadeiras, a conclus ao ser a verdadeira ou, equivalentemente, se a implica c ao (p1 p2 ) p3 e verdadeira. Ou seja, vamos fazer a tabela-verdade da proposi c ao ((p q ) ( q r )) ( p r ). Vamos chamar de p1 a proposi c ao p q e de p2 a proposi cao q r. p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V qr F F V F F F V F p1 p2 F F F F F F V F pr F F F F V F V F (p 1 p 2 ) p 3 V V V V V V V V

A linha sete eau nica onde as premissas, p1 = p q e p2 = q r , s ao c ao (p1 p2 ) ambas verdadeiras. A conclus ao p3 , bem como a proposi p3 , s ao verdadeiras. Isto quer dizer que o argumento e v alido. 3. Se Alfredo comer lagosta, ele car a feliz. Alfredo come lagosta. Podemos concluir que ele est a feliz. 4. Se eu trabalhar com anco, terminarei de pintar minha cerca. Se eu n ao car batendo papo com os amigos, eu trabalharei com anco. Eu n ao terminei de pintar minha cerca. Podemos concluir que quei batendo papo com meus amigos. 5. Se eu comer agri ao todos os dias, eu viverei mais do que 80 anos. Eu n ao como agri ao todos os dias. Lamentavelmente eu n ao chegarei a ` veneranda idade de 80 anos. 6. Se, ao dirigir meu carro, eu n ao ultrapassar os 80 km por hora, eu n ao provocarei acidentes. Eu dirijo meu carro a 100 km por hora. Portanto, eu provocarei acidentes.
37 CEDERJ

Argumentos e Provas

7. Se zer bom tempo, dar a praia. Se eu levar minha bola de v olei, Mariana car a super feliz. Deu praia, mas Mariana n ao cou super feliz. Podemos concluir que, eu, cabe ca de bagre, esqueci minha bola de v olei. 8. Se Maria vier, Joana vir a. Se Carla n ao vier, Joana n ao vir a. Podemos concluir que, se Maria vier, Carla vir a. 9. Se Luiz souber poupar seu dinheiro, ele car a rico. Se Luiz car rico, ele comprar a um carro novo. Luiz comprou um carro novo. Podemos, ent ao, concluir que ele soube poupar seu dinheiro.

Auto-avalia c ao
Voc e deve ter notado que esta aula foi diferente da aula anterior. Ela cont em menos informa c oes, mas estas requerem um tipo diferente de aten c ao. necess E ario um tempo maior de reex ao. Leia os exemplos vagarosamente. Dedique aten c ao aos exerc cios propostos. Aproveite!

CEDERJ

38

Estrat egias b asicas para demonstra c oes em Matem atica

MODULO 3 - AULA 29

Aula 29 Estrat egias b asicas para demonstra c oes em Matem atica Objetivo
Esta ser a uma aula pr atica. Nela voc e poder a vericar, pelo menos em algumas situa c oes simples, como o matem atico faz uso da l ogica. A maioria das proposi c oes (ou das fun c oes proposicionais) com que lidamos em Matem atica s ao da forma p q ou p q . Isto e, implica c oes e bicondicionais. Como a bicondicional p q e equivalente a ` (p q )(q p), consideraremos apenas o caso de implica c oes. Aqui est a um exemplo: Teorema 1 Se n e mpar ent ao n2 e mpar. e mpar). Este teorema tem a forma p q com (p: n e mpar) e (q : n2 A proposi c ao p e a hip otese e q e a conclus ao ou tese. H a tr es situa c oes onde a proposi c ao p q e verdadeira: 1. Quando p e q s ao ambas verdadeiras; 2. Quando p e falsa e q e verdadeira; 3. Quando p e q s ao ambas falsas. Note que se p e falsa, independentemente do valor-verdade de q , a proposi c ao p q ser a verdadeira. Conseq uentemente devemos nos preocupar apenas com a situa c ao em que p e verdadeira. Neste caso, p q ser a verdadeira apenas quando q for verdadeira. Resumindo, para provar que p q e verdadeira, isto e, para provar que p implica q , basta assumir que p e verdadeira e, sob esta condi c ao, mostrar que q e verdadeira. Esta estrat egia e chamada de m etodo direto. Vamos us a-la para demonstrar o teorema 1. Come camos assumindo que p, a hip otese, e verdadeira. Isto e, supomos que n e mpar. Portanto, podemos armar que existe um inteiro k tal que n = 2k + 1. Mas, ent ao, n2 = (2k + 1)2 = (2k + 1)(2k + 1) = 4k 2 + 4k + 1. E claro que podemos, fazendo l = 2k 2 +2k , escrever n2 = 2(2k 2 +2k )+1 = 2l +1.
39 CEDERJ Apresentando teoremas... Armar que n e um n umero mpar signica dizer que n e um n umero inteiro da forma 2k + 1 para algum inteiro k . Em particular, 201 e mpar bem como 2001.

Estrat egias b asicas para demonstra c oes em Matem atica

Isto quer dizer que a tese, q : n2 e mpar, e verdadeira e o teorema 1 est a provado. Os argumentos anteriores nos levam mais al em do que esper avamos. Na verdade, pode-se provar o seguinte teorema: Teorema 2 Se n e mpar, ent ao n2 e da forma 8m + 1, para algum inteiro m. Realmente, consideremos alguns exemplos: 52 = 25 = 83+1 92 = 81 = 8 10 + 1 2 = 121 = 8 15 + 1 11 2 1307 = 1708248 = 8 213531 + 1. Note que, por mais convincentes que estas evid encias possam ser, elas n ao s ao sucientes para provar o teorema. Tente voc e, usando o m etodo direto, provar o teorema 2. Lembre-se agora que a proposi c ao p q e equivalente ` a proposi c ao q p, chamada contrapositiva. Isto nos d a uma segunda estrat egia para demonstrar teoremas com enunciados da forma p implica q . Usamos o m etodo direto na sua contrapositiva. Em outras palavras, assumimos que q e verdadeira e provamos que p e verdadeira.
Dizemos que uma fun c ao f :AB e injetora se para todos elementos a e b A, com a = b, tivermos f (a) = f (b). Isto e, a fun c ao transforma elementos diferentes de A em elementos diferentes em B . As fun c oes f : R R denidas por f (x) = ax + b, onde a e b s ao n umeros reais, s ao chamadas de fun co es ans.

Vamos a um exemplo. Queremos provar o seguinte teorema. Teorema 3 A fun c ao am f : R R, denida por f (x) = 3x 5, e injetora. Devemos provar que x = y implica 3x 5 = 3y 5. Usando o m etodo da contrapositiva, vamos mostrar que 3x 5 = 3y 5 implica x = y . Ora, se a 3x 5 = 3y 5, somarmos 5 a ambos os lados da igualdade, obteremos 3x = 3y . Agora podemos multiplicar esta igualdade por 1 para obtermos 3 x = y . Isto conclui a prova. Experimente escrever o seguinte teorema na forma contrapositiva. Teorema 4 Se x + 2y = 0 ou x + 3y = 0, ent ao x2 + y 2 = 0. Lembre-se de que (p1 p2 ) ( p1 ) ( p2 ). A estrat egia, que exemplicaremos agora, chama-se m etodo da contradi c ao ou redu c ao ao absurdo (em latim, reductio ad absurdum ) e se baseia

CEDERJ

40

Estrat egias b asicas para demonstra c oes em Matem atica

MODULO 3 - AULA 29

no seguinte: a implica c ao p q e falsa apenas no caso em que p e verdadeira eq e falsa. Come camos a prova assumindo que isto acontece e tentamos chegar a uma contradi c ao. Ao chegar a uma contradi c ao, conclu mos que a possibilidade suposta n ao ocorre e, portanto, a implica c ao p q ca demonstrada. Este m etodo e poderoso, extremamente u til. A diculdade que ele apresenta, comparado com os m etodos vistos anteriormente, e que nos outros casos sab amos exatamente onde come car e onde terminar. J a no caso do m etodo da contradi c ao, n ao sabemos, antecipadamente, qual ser a a contradi c ao. Mas, chega de conversa e vamos a um exemplo. Teorema 5 Se r R e um n umero real tal que r 2 = 2, ent ao r n ao e racional. Lembre-se de que um n umero real r R e dito racional se puder ser escrito da forma r = m , onde m e n s ao n umeros inteiros. A hip otese p n 2 ao q e que r n ao e racional. Ent ao consideremos e que r = 2 e a conclus 2 p ( q ). Isto e, vamos assumir que r = 2 e que existem inteiros m e n . Vamos agora mexer nosso caldo para ver se conseguimos um tais que r = m n bom pir ao. Ou seja, vamos navegar com estas informa c oes, acrescentando fatos conhecidos, para ver se chegamos a ` tal contradi c ao. Quando lidamos com uma fra c ao, a primeira coisa a fazer e escrev e-la da maneira mais simples 30 6 poss vel. Ningu em vai usar 25 mas, sim, 5 . Isto e, sempre que lidarmos com uma fra c ao, e conveniente usar como numerador e denominador, n umeros que n ao tenham divisores comuns. Vamos, portanto, supor que os divisores comuns de m e n foram simplicados. Em termos cient cos podemos dizer m2 2 que m e n s ao primos entre si. Agora, r = n2 = 2 nos d a que m2 = 2n2 e e par, logo, m e par. Isto e, m = 2l para algum inteiro conclu mos que m2 l. Mexendo mais um pouco na nossa panela, temos m2 = (2l)2 = 4l2 = 2n2 e, portanto, n2 = 2l2 . Novamente, n2 par implica n e par. Bom, podemos parar de mexer, pois o pir ao j a est a no ponto. Lembre-se de que come camos com m e n primos entre si. Isto e, m e n n ao t em divisores comuns. Mas agora descobrimos que m e n s ao ambos pares e, portanto, ambos divis veis por 2. Isto e uma s olida contradi c ao e o teorema est a demonstrado. A demonstra c ao que acabamos de apresentar foi registrada em Primeiros Anal ticos, uma das obras do Organum, de Arist oteles. Este resultado e historicamente muito importante. Na antiga Gr ecia, houve um grupo de matem aticos chamados pitag oricos que, sob a lideran ca de Pit agoras, produziram uma quantidade consider avel de Matem atica. Eles acreditavam que
41 CEDERJ

Note que a contrapositiva do teorema 1 e: Se n2 n ao e mpar, ent ao n n ao e mpar que pode ser escrita como Se n2 e par, ent ao n e par.

Estrat egias b asicas para demonstra c oes em Matem atica

Dizemos que os segmentos AB e CD s ao comensur aveis se existe uma unidade de comprimento u tal que AB e CD podem ser ambos divididos justamente por u. Isto e, existem inteiros m e n tais que AB = m u e CD = n u.

Pit agoras de Samos

Eudoxus de Cnido (408? 335? a.C.) foi aluno de Plat ao em sua Academia e chegou a dirigi-la na aus encia do mestre. Foi neste per odo que l a chegou, vindo da Maced onia, o jovem Arist oteles. Eudoxus era de origem humilde e, enquanto foi estudante, morava num bairro do sub urbio de Atenas. O que hoje chamamos de Axioma de Arquimedes, e, na verdade, devido a Eudoxus. Um de seus resultados diz que se a e A s ao as areas de dois c rculos c e C , de di ametros d e D , respectivamente, a d2 ent ao, A = D 2 . Este fato, se considerarmos que a area do c culo c e dada pela f ormula a = ( d )2 , e f acil de 2 ser demonstrado. O caso e que esta informa c ao n ao era dispon vel no tempo de Eudoxus. Podemos dizer que o resultado de Eudoxus foi o primeiro passo importante na dire c ao do entendimento da f ormula para a area do c rculo.

quaisquer dois segmentos de reta eram comensur aveis. Isto corresponde, de alguma maneira, a acreditar que todos os n umeros reais s ao racionais. O erro cometido por eles n ao e grosseiro. H a muitas sutilezas envolvidas nestes racioc nios. Veja que a maioria da popula c ao lida, apenas, com os n umeros racionais e nem se d a conta disto. Acontece que os Pitag oricos acabaram percebendo que o lado de um quadrado e sua diagonal n ao s ao comensur aveis. Veja que se tomamos um quadrado de lado 1, sua diagonal mede 2 . Tal descoberta teve um impacto muito profundo entre os pitag oricos. A raz ao disso e que um grande n umero de teoremas de Geometria havia sido provado usando como verdadeiro o fato de que quaisquer dois segmentos s ao comensur aveis. Todas estas provas estavam erradas. Veja que os teoremas continuaram sendo verdadeiros, mas era necess ario produzir novas provas. A hist oria conta que Hippasus acabou sendo jogado no mar com um bom n umero de pedras amarradas em seus p es, bem ao estilo maoso dos poderosos chef oes. A verdade e que a comunidade precisou de um bom tempo para se recuperar deste epis odio e aceitar este fato. Mais tarde, o grande matem atico Eudoxos, contempor aneo de Plat ao e Arist oteles, produziu um m etodo capaz de prover as demonstra c oes que caram faltando. Uma das obras mais importantes na literatura matem atica, devido a sua profunda inu encia, e que se tornou modelo para muitas outras, s ao os Elementos de Euclides. Quando mencionamos Euclides e seus Elementos, pensamos logo na Geometria. No entanto, Euclides tamb em ocupou-se da Teoria de N umeros. Uma importante revela c ao da Teoria de N umeros foi claro que a no a seguinte: o conjunto dos n umeros primos e innito. E c ao de conjunto n ao existia naquela epoca, mas a demonstra c ao e a mesma, e e muito bonita. Vamos denotar por P o conjunto dos n umeros primos: P={pN|p e primo }. Teorema 6 Se A P e nito, ent ao A e um subconjunto pr oprio de P . Vamos provar este teorema usando o m etodo da contradi c ao. Devemos lembrar o seguinte: para provar que p implica q , consideramos p ( q ) e isto deve gerar uma contradi c ao. No nosso caso, p e A P e nito e q e A e diferente de P . Note que p ( q ) e equivalente a dizer que P e nito, pois supomos A nito e A = P . Como A e nito, podemos listar seus elementos: A = { p1 , p 2 , p 3 , . . . , p n } .

CEDERJ

42

Estrat egias b asicas para demonstra c oes em Matem atica

MODULO 3 - AULA 29

A contradi c ao ocorrer a quando produzirmos um n umero primo que n ao est a listado, isto e, um elemento de P que n ao pertence a A. Aqui e onde reside toda a genialidade e beleza da demonstra c ao. Consideremos o n umero p = p1 p 2 p 3 p n + 1 e primo, e teremos o que e maior do que qualquer um dos pi . Agora, ou p nosso extra primo, ou ele tem fatores primos que s ao distintos dos pi , e, de novo, temos novos primos que n ao est ao listados. Vamos analisar a segunda possibilidade mais atentamente. Suponhamos ent ao que p n ao seja primo. Euclides havia demonstrado antes que, neste caso, p tem algum fator primo. Vamos cham a-lo de q . Veremos que q e ao q divide diferente de todos os pi . Realmente, vamos supor que q = p1 . Ent p = p1 p2 p3 pn + 1 e divide p1 p2 p3 pn . Se um n umero divide dois outros n umeros, ent ao ele tamb em divide a diferen ca entre eles. Ora, isto signica que q divide a diferen ca (p1 p2 p3 pn + 1) (p1 p2 p3 pn ) = 1 Como q e maior ou igual que 2, esta arma c ao e um absurdo e, portanto, q n ao e igual a p1 . Analogamente, q = pi para todos os outros valores de i. Ent ao, q e um n umero primo que n ao estava na lista. Vamos exemplicar. Caso a nossa lista inicial fosse A = { 2, 3, 5 }, ter amos p = 2 3 5 + 1 = 31, que e um n umero primo. Caso a nossa lista fosse A = { 3, 5, 7 }, o valor de p seria 3 5 7+1 = 106, que n ao e primo. No entanto, 106 = 253 e, ambos fatores, 2 e 53 servem para fazer o papel de q . A pr oxima estrat egia de demonstra c ao que consideraremos e chamada de M etodo de Indu c ao Finita. Este m etodo baseia-se no chamado Princ pio da Boa Ordem. Princ pio da Boa Ordem. Todo subconjunto n ao-vazio dos inteiros positivos possui um elemento que e o menor de todos eles.

43

CEDERJ

Estrat egias b asicas para demonstra c oes em Matem atica

O m etodo da indu c ao nita eu til, quando queremos provar que uma fun c ao proposicional p(n) e verdadeira para todo inteiro n 1. Para tanto, basta mostrar o seguinte: PIF-1. p(1) e verdadeira. PIF-2. p(n) p(n + 1). Para justicarmos este m etodo usaremos o Princ pio da Boa Ordem e o m etodo da contradi c ao. As nossas hip oteses s ao PIF-1 e PIF-2 e a tese e p(n) e verdadeira para todo inteiro n 1. Vamos ver que PIF-1, PIF-2 mais a nega c ao da conclus ao geram uma contradi c ao. A maneira pela qual faremos isto e a seguinte: consideremos B o conjunto dos n umeros inteiros k tais que p(k ) e falsa. A conclus ao e equivalente a dizer que B = . Vamos, ent ao, supor que: PIF-1 e PIF-2 s ao verdadeiras; B = .
Esta demonstra c ao e uma p erola da Matem atica. Estas id eias podem ser melhor expressas usando o Teorema da Fatora c ao Unica para inteiros ou Teorema Fundamental da Aritm etica. Ele arma que todo n umero inteiro, maior do que 1, pode ser representado de maneira u nica como um produto de fatores primos (a menos de mudan ca na ordem, como 6 = 2 3 = 3 2). Uma demonstra c ao do Teorema Fundamental da Algebra pode ser encontrada no livro de Jos e Pl nio [3]. Este assunto ser a abordado, propriamente, ao longo da sua gradua c ao. Isto n ao impede que voc e queira dar uma espiadinha no que vem por a . . .

e Pelo Princ pio da Boa Ordem, existe um n umero k0 tal que p(k0 ) falsa e k0 e o menor elemento de B com esta propriedade. De PIF-1, 1 /B , subtraindo 1 de ambos os lados da desigualdade, e, portanto, k0 2. Da temos k0 1 1. Como k0 1 < k0 e k0 e o menor elemento de B , podemos / B e, portanto, p(k0 1) e verdadeira. Agora, PIF-2 concluir que k0 1 verdadeira nos diz que, como p(k0 1) e verdadeira, ent ao p(k0 ) tamb em e / B! verdadeira. Contradi c ao! Isto quer dizer que k0 Vamos agora usar o m etodo da indu c ao nita para demonstrar o seguinte: Teorema 7 Para todo inteiro n 1,
n

j = 1 + 2 + 3 + + (n 2) + (n 1) + n =
j =1

n(n + 1) . 2

Note que este teorema e um caso particular do c alculo da soma dos termos de uma progress ao aritm etica. Por exemplo, se n = 3, ent ao 1+2+3 = 34 = 6, o que e verdadeiro. 2 Para demonstrar teoremas deste tipo, o m etodo de indu c ao nita ea ferramenta adequada.

CEDERJ

44

Estrat egias b asicas para demonstra c oes em Matem atica


2 Come camos com PIF-1. Fazendo n = 1 nos d a 1 = 1 , que e verda2 deiro. Vamos agora demonstrar que p(k ) p(k + 1). Usaremos o m etodo k (k +1) direto, assumindo que 1 + 2 + 3 + + k e igual a 2 . Queremos mostrar que (k + 1)(k + 2) . 1 + 2 + 3 + + k + (k + 1) = 2

MODULO 3 - AULA 29

Realmente, 1 + 2 + + k + (k + 1) = [1 + 2 + + k ] + (k + 1) = Agora, [k (k + 1) + 2(k + 1)] (k + 2)(k + 1) (k + 1)(k + 2) k (k + 1) +k+1 = = = . 2 2 2 2 Isto completa a demonstra c ao. H a uma hist oria a respeito desta f ormula, envolvendo um dos maiores matem aticos que j a houve, chamado Carl Friedrich Gauss. No tempo em que Gauss ia a ` escola, os alunos usavam uma pequena lousa e giz. Numa particular manh a, os pequenos estavam mais agitados do que o normal e o mestre resolveu dar uma tarefa maior para mant e-los ocupados por mais tempo. Ele mandou que somassem todos os n umeros inteiros, de 1 at e 100. Quando sentou-se em sua cadeira, esperando passar alguns minutos em paz, o pegueno Carl estendeu sua lousa com a resposta correta, 5050, dizendo: Aqui est a! O mestre, muito surpreso, quis saber como ele chegara t ao rapidamente aquela resposta. O pequeno g ` enio de dez anos explicou: tome duas vezes estes n umeros e arranje-os, uns debaixo dos outros, propriamente: 1 + 2 + 100 + 99 + 101 + 101 + 3 + ... 98 + . . . 101 + . . . + 99 + + 2 + + 101 + 100 1 101 k (k + 1) + (k + 1). 2

Assim, temos 100 parcelas de 101 cada uma, que somam 10100. Agora, s o temos que dividir este n umero por dois, pois iniciamos a conta dobrando o que quer amos originalmente somar!

Exerc cios
1. Usando o M etodo da Indu c ao Finita, prove que as seguintes igualdades s ao verdfadeiras para todos os inteiros n > 1:

Carl Friedrich Gauss (1777 1855) foi um dos maiores matem aticos de que se tem not cia. Suas contribui c oes cobrem quase todas as areas da Matem atica, como Geometria, Teoria de N umeros, An alise Complexa. Foi tamb em f sico e astr onomo. O primeiro problema importante que ele resolveu foi o seguinte: desde o per odo cl assico da Matem atica na Gr ecia antiga, os u nicos pol gonos regulares (todos os lados de medidas iguais), com um n umero primo de lados, que se sabia construir com r egua e compasso, eram o tri angulo e o pent agono. Gauss, com menos de 19 anos, descobriu como construir, com r egua e compasso, um pol gono regular de 17 lados. Ao completar esta fa canha, estava avan cando num problema que permanecera parado por mais de 2000 anos!

45

CEDERJ

Estrat egias b asicas para demonstra c oes em Matem atica

(a) 1 + 2 + 4 + + 2n = 2n+1 1. Solu c ao: (PIF-1.) Se n = 1, a arma c ao e verdadeira: 1 + 21 = 22 1. (PIF-2.) Devemos supor que a igualdade 1+2+4+ +2n = 2n+1 1 seja verdadeira e provar que 1+2+4+ +2n +2n+1 = 2n+2 1. Realmente, 1 + 2 + 4 + + 2n+1 = (1 + 2 + 4 + + 2n ) + 2n+1 = (2n+1 1) + 2n+1 = 2n+1 + 2n+1 1 = 2 2n+1 1 = 2n+2 1. (b) 1 + 2 2! + 3 3! + + n n! = (n + 1)!1. (c)
1 12

1 23

1 34

++

1 n(n+1)

n . n+1

2. Mostre que para todo inteiro n > 4, 2n n!. 3. Prove que se n e um n umero inteiro, ent ao n(n + 1)(2n + 1) 6 e um n umero inteiro.

Novamente podemos dizer que esta aula foi diferente das anteriores. Voc e gostou? Matem atica deve ser uma fonte de satisfa c ao. Voc e poder a rever esta aula de quando em quando, a ` medida que for avan cando no curso.

CEDERJ

46

Circuitos L ogicos

MODULO 3 - AULA 30

Aula 30 Circuitos L ogicos Objetivo


Na aula anterior vimos como a l ogica e usada na Matem atica. Nesta aula veremos como ela desempenha um papel importante em outra area de atividade. Uma das caracter sticas mais marcantes de nossos dias e o termo digital. O universo est a tomado por computadores, telefonia digital, transmiss ao de dados via sat elite, al em de uma variedade de aparatos como agendas eletr onicas, calculadoras, rel ogios digitais, aparelhos que tocam CDs, DVDs etc. Campos dos mais diversos como o da medicina, o da m dia, o da comunidade econ omica t em como imprescind vel o uso destas m aquinas maravilhosas. No cora c ao de qualquer um destes equipamentos eletr onicos, onde sinais devem ser selecionados ou combinados de maneira controlada, encontram-se os circuitos que s ao denominados circuitos l ogicos ou circuitos digitais.

George Boole (1815 - 1864), matem atico ingl es. Para n os, humanos, e natural operar com dez d gitos. No entanto, isto n ao ocorre com os computadores. Para uma m aquina usar dez d gitos e necess ario que ela opere com dez n veis diferentes de voltagem - um para cada d gito - o que acarretaria em uma grande complexidade em projetar e construir os computadores. Para operar com apenas com dois d gitos e necess ario reconhecer apenas dois tipos de sinais: presen ca ou aus encia de tens ao el etrica (alta ou baixa voltagem). Este aspecto pr atico da constru c ao dos computadores encontrou sua alma-g emea te orica no trabalho de Boole.

O que s ao e para que servem os circuitos l ogicos?


Eles s ao usados para produzir decis oes do tipo verdadeiro ou falso, baseados nas m ultiplas entradas de sinais do tipo verdadeiro ou falso. Os sinais num circuito l ogico s ao de dois tipos: tens ao el etrica alta (ligado) ou tens ao el etrica baixa (desligado). Eles s ao formados por linhas condutoras, chamadas de entradas, que receber ao os sinais iniciais e que est ao ligadas umas a `s outras por conectores diversos, chamados de portas, e terminam em uma sa da que emitir a o sinal resultante. Na verdade, as portas s ao os tipos mais b asicos, mais elementares, de circuitos l ogicos. O n vel de voltagem na sa da de cada um deles depende dos sinais dados nas entradas, de acordo com as leis da l ogica. A voltagem (tens ao el etrica) alta corresponde ao valor-verdade verdadeiro, enquanto que a voltagem baixa corresponde ao valor-verdade falso. As tr es portas b asicas est ao listadas, abaixo, com os seus respectivos diagramas: 1. Porta de invers ao ou porta NAO
p

~p

47

CEDERJ

Circuitos L ogicos

2. Porta E
p q p

^q

3. Porta OU
p q p

Eles s ao chamados de circuitos l ogicos, pois a cada um deles corresponde uma fun c ao proposicional e vice-versa. A cada entrada corresponde uma vari avel proposicional. Estas entradas est ao ligadas pelas portas, que correspondem aos conectores. Vamos a um exemplo. Exemplo 17 Vamos construir o circuito l ogico correspondente ` a fun c ao proposicional (p q ) r . Note que esta fun c ao proposicional tem tr es proposi c oes b asicas, as vari aveis proposicionais p, q e r . Isto signica que nosso circuito contar a com tr es entradas, correspondentes a cada uma delas. Note tamb em que p q e r fazem parte da nossa fun c ao proposicional. Come caremos a constru c ao do circuito montando estas partes:

p q r

~r

Agora, para completar o circuito, fazemos a conex ao destas duas partes com uma porta E:
p q r (p

q)

^~r

CEDERJ

48

Circuitos L ogicos

MODULO 3 - AULA 30

A tabela-verdade desta proposi c ao nos d a informa c ao sobre o funcionamento do circuito. Por exemplo, suponhamos que queremos saber sob que circunst ancias teremos como sa da um sinal de alta voltagem. Isto e equivalente a querer saber quando (p q ) r e verdadeira. A tabela-verdade e: p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F r F V F V F V F V (p q ) r F V F V F V F F

A tabela indica que a sa da estar a ligada, isto e, teremos um sinal de alta voltagem, quando a entrada r estiver desligada e pelo menos uma das fontes p ou q estiver ligada. muito usado construir uma tabela usando apenas os d E gitos 0 e 1 no lugar das letras F e V. A vantagem disto e que podemos operar com os n umeros, usando a seguinte regra: (ou) funciona como soma enquanto que (e) funciona como produto. Temos apenas que considerar uma pequena excentricidade. Como estamos operando apenas com os d gitos 0 e 1, a soma de 1 com 1 resulta 1 (1 1 = 1). p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0 p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0

O comutador apenas reverte de um d gito para o outro. p 1 0 p 0 1

49

CEDERJ

Circuitos L ogicos

Exemplo 18 A tabela do circuito l ogico equivalente a ` fun c ao proposicional (p q ) r pode ser escrita usando o sistema bin ario: p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 pq 1 1 1 1 1 1 0 0 r 0 1 0 1 0 1 0 1 (p q ) r 0 1 0 1 0 1 0 0

A sa da emitir a sinal de alta voltagem (ligada) nos casos onde o n umero 1 aparece. Isto ocorrer a em tr es situa c oes: sempre que a entrada r estiver ligada aparecer a o d gito 0 na coluna r e, pelo menos, uma das entradas p ou q estiver ligada. Situa c oes Pr aticas Vamos agora considerar duas situa c oes pr aticas que requerem constru c ao de circuitos l ogicos. Exemplo 19 Queremos instalar uma campainha num carro (sa da) que soar a caso o motorista desligue a chave de igni c ao (entrada) com os far ois acesos (entrada). Vamos construir a tabela-verdade associada a esta situa c ao. Note que a campainha deve soar apenas quando os far ois estiverem acesos e a igni c ao estiver desligada. Igni c ao 1 1 0 0 Far ois 1 0 1 0 Campainha 0 0 1 0

Esta e a tabela-verdade da fun c ao proposicional i f :


CEDERJ 50

Circuitos L ogicos

MODULO 3 - AULA 30

i 1 1 0 0

f 1 0 1 0

i 0 0 1 1

if 0 0 1 0

Este circuito e formado de uma porta de invers ao no sinal, que vem da chave de igni c ao, e uma porta E unindo os dois sinais resultantes: i e f :

i f
Exemplo 20

~ i^ f

Mostre que o circuito de um sistema de alarme contra inc endio com dois sensores de fuma ca (entradas) e uma campainha (sa da) corresponde ao circuito da porta OU. No nosso pr oximo exemplo, veremos como construir o circuito e fazer a tabela-verdade correspondente a uma dada fun c ao proposicional. Al em disso, veremos como e poss vel usar as leis da l ogica bem como suas equival encias para redesenhar certos circuitos, tornando-os mais compactos. Isto e, sob o ponto de vista te orico, eles s ao equivalentes, mas do ponto de vista pr atico os circuitos mais compactos evitam desperd cio de material e energia. Isto e uma porta para uma a rea muito importante da teoria de circuitos, chamada de otimiza c ao. Mas isto e assunto para outra ocasi ao. Vamos ao exemplo. Exemplo 21 Vamos desenhar o circuito correspondente ` a fun c ao proposicional ( p q ) (p q ). Numa primeira etapa desenhamos os trechos correspondentes a p q e p q .

p q

~p

~ p^ q
p^ ~ q

~q

51

CEDERJ

Circuitos L ogicos

Agora fazemos a conex ao nal: ( p q ) (p q ).


p q

(~ p ^ q) (p ^ ~ q)

Agora vamos construir a tabela-verdade. Teremos duas entradas e v arias combina c oes delas: p 1 1 0 0 q 1 0 1 0 p 0 0 1 1 q 0 1 0 1 pq 0 0 1 0 pq 0 1 0 0 ( p q ) ( p q ) 0 1 1 0

Conclu mos que este circuito produzir a sinal ligado, quando uma e somente uma das duas entradas p e q estiver ligada. Este circuito pode ser substitu do por uma u nica porta, chamada de OU Exclusivo, que e representada da seguinte maneira:

Aten c ao! Vejamos mais um exemplo em que as leis da l ogica ajudam a otimizar um dado circuito l ogico. Exemplo 22 O dono de uma casa quer instalar um sistema de alarme que dever a ser acionado (uma campainha C soar a), caso qualquer uma de duas janelas, J1 ou J2 , seja for cada, e caso a energia el etrica E esteja ligada. Uma primeira companhia apresentou o seguinte projeto:
J1 E J2

CEDERJ

52

Circuitos L ogicos

MODULO 3 - AULA 30

Este circuito corresponde a ` seguinte fun c ao proposicional: (E J 1 ) (E J 2 ) que tem a seguinte tabela-verdade: E 1 1 1 1 0 0 0 0 J1 1 1 0 0 1 1 0 0 J2 1 0 1 0 1 0 1 0 E J1 1 1 0 0 0 0 0 0 E J2 1 0 1 0 0 0 0 0 (E J 1 ) (E J 2 ) 1 1 1 0 0 0 0 0

A tabela deixa claro que o fornecimento de energia e fundamental para o funcionamento do sistema. O dono da casa achou que o projeto estava super faturado e solicitou a outra companhia um sistema mais econ omico. A pessoa encarregada do caso, na segunda companhia, analisou a proposi c ao (E J 1 ) (E J 2 ) e lembrou-se das suas aulas de l ogica: Leis de Distribui c ao! p (q r ) (p q ) (p r ). Ele escreveu ent ao a proposi c ao E (J 1 J 2 ) que corrresponde ao circuito
C

J1 J2 E

que tem a seguinte tabela-verdade:


53 CEDERJ

Circuitos L ogicos

E 1 1 1 1 0 0 0 0

J1 1 1 0 0 1 1 0 0

J2 1 0 1 0 1 0 1 0

J1 J2 1 1 1 0 1 1 1 0

E (J 1 J 2 ) 1 1 1 0 0 0 0 0

As duas tabelas-verdade mostram que os sistemas s ao equivalentes, sendo que o segundo sistema utiliza uma porta a menos. Neste sentido ele e melhor que o primeiro.

Exerc cios
1. Desenhe o circuito l ogico correspondente ` a proposi c ao (p q ) (p r ) (q ( r )). Construa sua tabela-verdade e mostre que ele e equivalente ao circuito correspondente a ` proposi c ao (p r ) (q ( r )). Desenhe o circuito l ogico correspondente a esta u ltima proposi c ao. 2. Desenhe um circuito l ogico com apenas quatro portas e que seja equivalente ao circuito l ogico abaixo. Para isto, escreva a proposi c ao correspondente e use as leis da l ogica para simplic a-la.

CEDERJ

54

Circuitos L ogicos

MODULO 3 - AULA 30

Auto-avalia c ao
Parab ens! Voc e chegou ao m do m odulo. Nesta u ltima aula voc e viu que podemos usar id eias matem aticas para diversos ns. Em particular, deve ter notado que em vez das letras V e F, e poss vel preencher as tabelasverdade com os n umeros 1 e 0, respectivamente. A vantagem disto e que podemos usar a a lgebra descrita logo ap os o exemplo 17.

Sugest oes para leitura complementar:


[1] Arist oteles de Estagira - Arist oteles, Volume 3 da Cole c ao Os Pensadores, Editora Nova Cultural, 2000 [2] Durant, W. - A Hist oria da Filosoa, Editora Nova Cultural, 2000 [3] Santos, Jos e Pl nio de Oliveira - Introdu c ao ` a Teoria de N umeros, Cole c ao Matem atica Universit aria, IMPA, 1998

55

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

Aula 31 O nascimento de uma teoria: o Problema das Pontes de K onigsberg


Objetivos
Nesta aula voc e ser a levado a conhecer e analisar o Problema das Sete Pontes de K onigsberg, que foi resolvido por Euler marcando o in cio da Teoria de Grafos. Aprender a conceitos b asicos desta teoria, incluindo as no c oes de ordem de um grafo e de grau de um v ertice. Conhecer a o Problema da Colora c ao de Mapas: qual e o n umero m nimo de cores necess arias para colorir um mapa? Conhecer a tamb em o Lema do Aperto de M aos: em uma reuni ao qualquer, o n umero de pessoas que cumprimentam um n umero mpar de pessoas e par.

Introdu c ao
Querido aluno ou aluna! Estamos iniciando o u ltimo m odulo da nossa disciplina, a Matem atica Discreta. Nesta u ltima etapa da nossa viagem estudaremos os grafos. Voc e aprender a um conte udo que tem um apelo est etico enorme e muitas aplica c oes. Veremos como a Matem atica pode unir a tradi c ao a ` modernidade, o concreto ao abstrato, o te orico ao aplicado. Tais caracter sticas s ao fonte de energia para o cont nuo desenvolvimento da Matem atica. Nada fascina mais um matem atico do que um problema. Nas origens de qualquer teoria matem atica se encontram bons problemas que despertaram a curiosidade e o interesse de seus criadores. No caso da Teoria dos Grafos, um destes problemas e o Problema das Pontes de K onigsberg (h a tamb em o Problema da Colora c ao de Mapas e outros). Quem solucionou o Problema das Pontes de K onigsberg foi Leonhard Euler, provavelmente o maior matem atico do s eculo XVIII.

Leonhard Euler (1707 1783), matem atico su co que viveu parte de sua vida em Berlim e morreu em S ao Petersburgo, na R ussia. Suas obras completas ocupam 75 volumes e a parte de Matem atica, al em de prol ca, foi profunda, inovadora e diversicada. Suas contribui c oes cobrem v arias areas: Teoria dos N umeros, Geometria, C alculo e muitas outras.

Aten c ao! Para saber um pouco mais sobre estes temas, reveja a nossa primeira aula.

57

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

As Sete Pontes de K onigsberg


Nossa hist oria se passou na cidade de K onigsberg que, no in cio do s eculo XVIII, cava na Pr ussia. O rio Pregel atravessa essa cidade e, ap os contornar uma ilha, divide-se numa bifurca c ao. Nessa epoca havia sete pontes ligando as margens do rio e a ilha. O mapa abaixo mostra a disposi c ao das pontes.

Esta gravura mostra como era K onigsberg no in cio do s eculo XVIII. Hoje ela ca na R ussia e e chamada de Kaliningrado. K onigsberg e a cidade onde Immanuel Kant (1724 - 1804) nasceu, viveu e morreu. Kant foi um l osofo important ssimo, que escreveu a Cr tica da Raz ao Pura. O grande momento de desenvolvimento que a Matem atica e a F sica passavam naqueles dias, com as contribui c oes de Descartes, Newton, Leibniz e Euler, entre outros, teve um importante papel na forma c ao da obra de Kant.

Os moradores de K onigsberg queriam saber se seria poss vel passear por toda a cidade cruzando cada uma das sete pontes uma u nica vez. Pare e pense um pouco. Analise o problema com cuidado. Por exemplo, ao cruzar a ponte c, digamos, indo da margem C para a ilha A, esta n ao poder a mais ser usada. Use l apis e papel e fa ca algumas tentativas. Veja, caso houvesse um n umero menor de pontes, isso seria poss vel. Por exemplo, se as pontes c e f estivessem interditadas para reforma, bastaria seguir o percurso no mapa representado a seguir:

Todos acreditavam, devido a `s muitas tentativas, n ao ser poss vel fazer isso. Contudo, a quest ao n ao parecia estar resolvida. Talvez houvesse um percurso passado despercebido de todos. O que voc e acha?
CEDERJ 58

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

A estrat egia de Euler para atacar o Problema das Pontes


Veja como Euler abordou o problema de maneira brilhante. Ele concentrou-se no que era essencial para a quest ao, deixando de lado tudo o que era irrelevante. Note que as pontes ligam quatro regi oes distintas: as duas margens do rio, representadas no mapa pelas regi oes B e C ; a ilha, representada por A; a regi ao entre as ramica c oes, representada por D . Euler notou que para resolver o problema, a forma e o tamanho de cada regi ao eram irrelevantes. O que realmente importava era a maneira como essas regi oes estavam conectadas pelas pontes. Ele, ent ao, substituiu cada uma das regi oes por um ponto e usou arcos conectando estes pontos para representar as liga c oes feitas pelas pontes, criando o seguinte diagrama:
C c A a B b f d e D g

Um dos resultados pelo qual Leonhard Euler e famoso ea sua f ormula para poliedros convexos: se V e o n umero de v ertices, A o n umero de arestas e F o de faces de um poliedro convexo, ent ao V A + F = 2. Por exemplo, um cubo tem 8 v ertices, 12 arestas e 6 faces, fazendo 8 12 + 6 = 2. Esta f ormula desempenha um papel importante tamb em na teoria que estamos estudando, como voc e ver a na aula 34. Ela e uma p erola matem atica que passou despercebida de g enios como Arquimedes e Descartes. Com essas id eias e as usadas para resolver o Problema das Pontes, Euler lan cou as bases para uma nova area da Matem atica: a Topologia.

Por exemplo, h a duas pontes ligando a margem B com a ilha, representadas por a e b, e uma ponte ligando a mesma margem com a regi ao D , delimitada pela bifurca c ao, que e a ponte representada por f . Nesta forma o problema cou assim: e poss vel percorrer o diagrama anterior com um l apis, sem levant a-lo do papel, de forma que cada um dos arcos seja percorrido uma u nica vez ? Trace um percurso cruzando todo o diagarama correspondente a ` situa c ao em que as pontes c e f estejam interditadas percorrendo cada uma das linhas uma s o vez:
C d A a b B e D g

Que tal explorar mais esta grande id eia de representar diagramaticamente um certo problema? Vamos aplic a-la num outro problema famoso.
59 CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

O Problema da Colora c ao de Mapas


O problema consiste em saber quantas cores s ao necess arias para colorir um mapa, usando cores distintas sempre que duas regi oes tenham uma fronteira comum. Se as regi oes se encontram em um u nico ponto, como as regi oes A e E ou B e F na gura a seguir, ent ao elas podem ser coloridas com a mesma cor.

C B E F

Se o cart ografo dispuser de muitas cores, n ao h a problema. Ele poderia, por exemplo, usar uma cor diferente para cada regi ao. Nosso caprichoso cart ografo, no entanto, quer usar o menor n umero de cores. Isto torna a situa c ao bem mais interessante. Pegue a sua caixa de l apis de cores e tente colorir os mapas abaixo com um m nimo de cores distintas. A solu c ao se encontra no m da aula, mas n ao v a estragar a divers ao antes de ter a certeza que voc e fez o melhor que p ode!

A C D B
Mapas 2 e 3

A E

C D

A F E

B C E D
Mapas 4 e 5

A F

C D

CEDERJ

60

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

O que os dois problemas t em em comum?


A mesma id eia usada por Euler no caso do Problema das Pontes de K onigsberg pode ser usada para abordar o Problema da Colora c ao de Mapas, com a seguinte adapta c ao: substitu mos as regi oes por pontos e ligamos com arcos aqueles pontos cujas regi oes correspondentes t em uma fronteria em comum. Os diagramas correspondentes aos tr es primeiros exemplos s ao:

A B

A C D B E

C D

O Problema de Colora c ao de Mapas nesses exemplos, passa a ser o de atribuir a cada ponto uma cor, de forma que, quando dois pontos est ao ligados por um arco, eles t em cores distintas. Al em disso, queremos realizar esta tarefa usando o menor n umero de cores. Tente desenhar diagramas correspondentes aos dois outros mapas restantes. Novamente, a resposta se encontra no m da aula. Muito bem, avan camos um bocado at e agora. Os diagramas que desenhamos representam objetos matem aticos que chamamos de grafos. A Teoria dos Grafos tem sido usada nas mais diversas atividades humanas. Em ci encia de computadores, nas redes de telefonia, de comunica c oes, um t em engenharia de tr ansito, s o para citar algumas. E opico que desperta o interesse dos pesquisadores devido ` a diculdade de seus problemas, que muitas v ezes t em enunciados simples, e tamb em por causa de suas aplica c oes.

A Teoria dos Grafos cou conhecida originalmente por Teoria das Liga c oes. O termo grafo s o passou a ser usado no m do s eculo XIX ap os a publica c ao dos trabalhos do qu mico Friedrich August Kekule von Stradonitz (1829 - 1896). Ele usava a denomina c ao graphical molecular representation para os diagramas com que representava as mol eculas at omicas. Kekule havia estudado Arquitetura antes de se dedicar ` a Qu mica e isto pode ter sido essencial para suas contribui c oes. Particularmente famosa ea hist oria da descoberta da estrutura do benzeno. Ele teria sonhado com uma cobra que engolia a sua pr opria cauda e isto teria sugerido a id eia da forma em anel da tal estrutura.

61

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

V ertices e Arestas
Nesta se c ao apresentaremos o conceito de grafo assim como outros conceitos necess arios para desenvolver a teoria. Outra importante fun c ao desta se c ao e a de estabelecer a nomenclatura e as nota c oes. Um grafo e um par de conjuntos disjuntos G = (V, A) onde A e um subconjunto das partes de V tal que cada um de seus elementos e um conjunto com exatamente dois elementos. Denotamos V = V (G) e chamamos seus elementos v V (G) de v ertices de G. Os elementos de A = A(G) s ao da forma {v1 , v2 }, com v1 e v2 elementos de V (G), e s ao chamados de arestas. Por praticidade denotamos a aresta {v1 , v2 } por v1 v2 ou por v2 v1 uma vez que a ordem n ao e importante. Geralmente, pensamos num grafo G como uma cole c ao de v ertices, alguns dos quais ligados por arestas. Al em disso n os representamos os grafos por diagramas, desenhando uma bolinha para cada v ertice e indicando as arestas por linhas que ligam os v ertices, como n os est avamos fazendo nos exemplos iniciais. Exemplo 23 Seja G = (V, A) o grafo denido pelos conjuntos V (G) = {v1 , v2 , v3 , v4 } e A(G) = {v1 v2 , v3 v2 , v3 v1 , v4 v3 }. Uma representa c ao gr aca de G e a seguinte:
v1 v2

v3

v4

Exemplo 24 Dada uma representa c ao gr aca podemos obter os conjuntos que denem o grafo G. Por exemplo, o diagrama
v2 v1 v3

v4

v5

CEDERJ

62

representa o grafo G com V (G) = {v1 , v2 , v3 , v4 , v5 } e A(G) = {v1 v3 , v1 v4 , v4 v2 , v2 v5 , v3 v5 }.

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

Segundo esta deni c ao, o diagrama representando as Pontes de K onigsberg n ao representa um grafo, pois seria imposs vel distinguir, por exemplo, as duas arestas que conectam C com A. Isto por que, segundo a deni c ao, dois v ertices podem ser ligados por, no m aximo, uma aresta. Isto e um pouco t ecnico, mas render a benef cios futuros. Podemos contornar esta diculdade facilmente. Basta introduzir sete novos v ertices, nomeados segundo as pontes. Desta forma podemos distinguir a passagem de A para C pela ponte c ou pela ponte d. Exemplo 25 O grafo G com v ertices V (G) = {A, B, C, D, a, b, c, d, e, f, g } e arestas A(G) = {Ac, Ad, Aa, Ab, Cc, Cd, Cg, Ba, Bb, Bf, f D, eD, gD } pode ser representado da seguinte maneira:
C c A a B b f d e D

Ordem de um grafo e suas representa c oes


O n umero de v ertices de um grafo G e chamado de ordem do grafo G. Note que o conjunto V (G) pode ser innito. No entanto, nesta disciplina estaremos considerando sempre grafos de ordem nita. Um mesmo grafo pode ter diferentes representa c oes gr acas, dependendo da posi c ao que dispomos os v ertices ou mesmo como desenhamos as arestas. Exemplo 26 Os dois diagramas a seguir representam o mesmo grafo G com ordem 5.
v1 v2 v2

v3 v4

v3 v5

v1

v5

v4
63 CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

A diferen ca b asica de um diagrama para o outro e o posicionamento do v ertice v4 . Um grafo G e completo se quaisquer dois de seus v ertices s ao adjacentes. n Denotamos por K o grafo completo de ordem n. A seguir representamos K n para n = 1, 2, 3, 4 e 5.

Exemplo 27 Dado um conjunto de tr es elementos V = {v1 , v2 , v3 }, quantos grafos simples poder amos construir tais que V (G) = V ? Na gura a seguir, representamos todos os grafos simples com tr es v ertices. v3
r r r r

v3 v2 v1

r r r

v3 v2 v1

r r r

v3 v2 v1

r r

v1

v2

v3
r

r r r

v3 v2 v1

r r r

v3 v2 v1

r r r

v3 v2 v1

r r

v1

v2

Isomorsmos
Vamos agora estabelecer uma no c ao que voc e encontrar a em outros a no contextos matem aticos. E c ao de isomorsmo. A id eia e bem simples e o pr oprio nome a explica. O radical iso prov em do grego e signica igual. O elemento de composi c ao grego morfo signica forma. Lembre-se, por exemplo, de metamorfose. Portanto, quando dois objetos t em a mesma forma n os os chamamos de isomorfos.
CEDERJ 64

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31 Para saber mais... O radical iso e usado por matem aticos e n ao-matem aticos. Basta dar uma olhada em algum dicion ario para ver como. Um bom exemplo ea palavra isonomia, muito comum em negocia c oes salariais. Isonomia e o nome de um princ pio fundamental que arma que todas as pessoas s ao iguais perante a lei. Veja que nomia e um elemento de composi c ao do grego -nomia (de nomos, que signica lei). Para mais um exemplo, lembre-se que em geometria chamamos de is osceles o tri angulo que tem dois lados ou dois angulos internos de medidas iguais.

Mais especicamente, diremos que dois grafos G e G s ao isomorfos se houver uma correspond encia biun voca entre os conjuntos dos seus v ertices que preserva suas adjac encias. Isto e, se dois v ertices de G s ao adjacentes, ent ao os seus correspondentes v ertices de G tamb em s ao adjacentes e viceversa. Aqui vai um exemplo. Exemplo 28 A correspond encia v1 v2 v3 - v2 - v1 - v3

estabelece um isomorsmo entre os grafos G e G da guras a seguir. v3 v3


r r r r r r

v1

v2

v1

v2

G G Podemos ent ao dizer que, a menos de isomorsmos, h a quatro grafos simples de ordem 3. Isto e, qualquer grafo de ordem 3 e isomorfo a algum dos seguintes grafos:

r r r r

r r r

r r r

r r

Exemplo 29 ao isomorfos. Mostre que os grafos G e G s

v1

v2

v 1

v 2

v3

v4

v 3

v4

65

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

Solu c ao: A correspond encia v1 v2 v3 v4 v1 v2 v4 v3

estabelece o isomorsmo. Basta observar com algum cuidado que a correspond encia entre os v ertices preserva as liga c oes feitas pelas arestas. Intuitivamente, podemos obter o grafo G do grafo G torcendo os v ertices v3 e v4 e mantendo xos os v ertices v1 e v2 .

Grau de um v ertice
Vamos agora introduzir um novo conceito que associa v ertices e arestas de um grafo. Tal conceito e bastante importante na Teoria dos Grafos. Veremos um teorema que, apesar de simples, ilustra essa import ancia. Este conceito e o de grau de um v ertice. Seja G um grafo e seja v V (G) um v ertice de G. Chamamos de grau de v o n umero de arestas ligadas a v e denotamos esse n umero por grau(v ). Se v e um v ertice isolado ent ao grau(v ) = 0. Exemplo 30 Calcularemos o grau de cada v ertice do grafo representado pela gura a seguir.

v1

v5 v4 v6

v2

v3

O v ertice v1 e adjacente aos v ertice v2 , v3 e v5 e portanto, grau(v1 ) = 3. e adjacente aos v ertice v3 e v5 e, ent ao, grau(44 ) e 2. O v ertice O v ertice v4 V6 e isolado e, consequentemente, grau(V6 ) = 0. Podemos montar uma tabela:
CEDERJ 66

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

vn v1 v2 v3 v4 v5 v6 Note que

grau(vn ) 3 2 4 2 3 0

grau(v1 ) + grau(v2 )+ + grau(v6 ) = 3 + 2 + 4 + 2 + 3 + 0 = 14 = 2 7. Veja neste exemplo que a soma dos graus dos v ertices e 2 7, igual a duas v ezes o n umero de arestas. Realmente, usando o conceito de grau, podemos expressar corretamente esta rela c ao existente entre os v ertices e as arestas, formulando o seguinte teorema: Teorema: Seja G uma grafo com v ertices v1 , v2 , . . . , vn . Se m e o n umero de arestas de G, ent ao
n

grau(vi ) = 2m.
i=1

Prova: Se o grafo G n ao tem arestas, todos os v ertices t em grau zero e a arma c ao e verdadeira. Se o grafo G tem arestas, cada uma delas contribuir a com duas unidades na soma total dos graus dos v ertices, pois cada aresta conecta dois v ertices distintos. Exemplo 31 Veja como o teorema se aplica no seguinte grafo:

v1 v2 v4 v6 v3 v5 v7

67

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

Repare que o grafo tem 7 v ertices e 8 arestas. Aqui est a a tabela com os graus dos v ertices: vn v1 v2 v3 v4 v5 v6 v7 grau(vn ) 1 3 3 4 3 2 0

Reparou? Pois bem, realmente, grau(v1 ) + grau(v2 ) + + grau(v7 ) = 1 + 3 + 3 + 4 + 3 + 2 + 0 = 16 = 2 8. Observe que h a quatro v ertices com grau mpar: v1 , v2 , v3 e v5 . Em particular, o teorema garante que em qualquer grafo h a um n umero par de v ertices de grau mpar, uma vez que a soma dos graus e um n umero par. Por exemplo, n ao existe um grafo com tr es v ertices tendo graus 1, 2 e 2, respectivamente, pois a soma dos graus seria 1 + 2 + 2 = 5, um n umero mpar.

O Lema dos Apertos de M aos


Bem, falando nisso, voc e sabia da festa do professor de Matem atica? Um professor de Matem atica deu uma festa e convidou seus alunos. Contando com a mulher do professor, que tamb em era professora, os alunos e mais alguns amigos, estavam na festa 23 pessoas. Sortil egios de n umeros primos? Num determinado momento, o professor armou categoricamente, na animada rodinha em que conversava, que o n umero de pessoas que havia cumprimentado um n umero mpar de pessoas era par. Tal arma c ao foi acompanhada de um certo clima de ceticismo. Alguns j a balan cavam a cabe ca, acostumados aos h abitos do antri ao. D uvida cabia, pois seria pouco prov avel que tal arma c ao fosse vericada naquela altura da festa. Al em disso, por conta de alguns desafetos, algumas pessoas que estavam na festa n ao se cumprimentavam de forma alguma.
CEDERJ 68

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

Pressionado por alguns para dar conta de sua arma c ao, o professor disse: Ora, isto decorre do chamado Lema dos Apertos de M aos. Ele diz o seguinte: Lema: Numa reuni ao qualquer, o n umero de pessoas que cumprimentam um n umero mpar de pessoas e par. Como v eem ele disse, assumindo um certo ar professoral isto independe da festa ou do n umero de participantes da mesma. Para provar o lema, basta usar o teorema sobre grafos que mencionei em minha u ltima aula. Ou seja, para cada festa constru mos um grafo, da seguinte maneira: cada pessoa da festa e representada no grafo por um v ertice. Cada cumprimento entre duas pessoas e representado por uma aresta ligando os dois v ertices correspondentes. Foi ent ao que o professor, que adorava exemplicar suas arma c oes, pegou um guardanapo e, sacando do bolso uma de suas muitas canetas, desenhou o seguinte:

Este grafo representa uma festinha com sete pessoas, uma delas muito popular. Ela cumprimentou as outras seis. Outras duas pessoas cumprimentaram apenas duas outras pessoas. Tr es pessoas cumprimentaram tr es pessoas e a u ltima cumprimentou outras cinco. Neste exemplo, quatro pessoas cumprimentaram um n umero mpar de pessoas. Para completarmos a prova do lema basta notar que o grau de cada v ertice diz, exatamente, o n umero de cumprimentos feitos pela pessoa correspondente a `quele v ertice... Basta dizer que houve uma animada discuss ao sobre os grafos e a festa foi um sucesso! Bem, chegamos ao m da aula.
69 CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

Vale lembrar que o Problema da Colora c ao de Mapas e mais conhecido como o Problema da Colora c ao de Grafos. Voc e deve ter conclu do que ele e bem mais dif cil do que o Problema das Pontes de K onigsberg. Mas n ao se preocupe, n os voltaremos a falar nessa quest ao na aula 34. Vamos cuidar de algumas pend encias: as respostas dos problemas deixados ao longo da aula. A resposta para os problemas de colora c ao de mapas, deixados ao longo da aula, s ao: Os mapas 2 e 4 usam pelo menos 4 cores. Veremos que este e o maior n umero necess ario para pintar qualquer mapa. Os mapas 1 e 3 usam pelo menos 3 cores, enquanto que bastam 2 cores para colorir o mapa 5. Finalmente, aqui est ao grafos correspondentes aos mapas das guras 8 e 9.

A F E D

F E D

Na pr oxima aula voc e ver a a solu c ao dada por Euler para o Problema das Pontes de K onigsberg. Nesta aula voc e aprendeu v arias coisas novas! Voc e poder a pratic a-las nos exerc cios sugeridos. Divirta-se!

Exerc cios
1. Seja G um grafo com v ertices v1 , v2 , v3 , v4 , v5 e v6 . Sabendo que os correspondentes graus s ao 0, 2, 2, 3, 2 e 1, calcule o n umero de suas arestas. Podemos armar que este grafo tem v ertices isolados? Quantos? Por que? 2. Podemos construir grafos de ordem 4 com os seguintes graus: a) b) c) d)
CEDERJ 70

2, 1, 0, 3,

1, 2, 0, 1,

3 1 3 5

e e e e

2 3 2 1

? ? ? ?

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

MODULO 4 - AULA 31

3. Represente gracamente o grafo G = (V (G), A(G)) onde: a) V (G) = {v1 , v2 , v3 , v4 } e A(G) = {v1 v2 , v2 v3 , v2 v4 , v4 v3 }. b) V (G) = {v1 , v2 , v3 , v4 } e A(G) = {v1 v2 , v1 v3 , v1 v4 , v2 v3 , v2 v4 , v3 v4 }. c) V (G) = {v1 , v2 , v3 , v4 , v5 } e A(G) = {v1 v2 , v2 v3 , v3 v1 , v2 v4 , v3 v5 , v5 v4 }. d) V (G) = {v1 , v2 , v3 , v4 , v5 } e A(G) = {v1 v2 , v2 v3 , v3 v4 , v4 v5 , v1 v5 }. 4. Determine o grau de cada v ertice dos grafos representados a seguir. Em cada caso verique a validade do teorema da soma dos graus e do n umero de arestas.

71

CEDERJ

O nascimento de uma teoria: o Problema das Pontes de K onigsberg

5. Determine quais grafos do exerc cio 4 s ao isomorfos uns aos outros. 6. Construa K 6 . Qual e o grau de cada v ertice de K n ? Se voc e fosse 10 construir K , quantas arestas desenharia? Em geral, quantas arestas tem K n ? Verique a validade do Lema do Aperto de M aos.

Auto-avalia c ao
preciso familiarizarEsta e a primeira aula de um novo tema: grafos. E se com as deni c oes. Os exemplos desempenham um papel importante neste processo. Caso voc e tenha diculdades com a deni c ao de grafo concentre-se em sua representa c ao diagram atica. Ela cont em toda a informa c ao sobre ele. Voc e j a percebeu que um grafo consiste de v ertices que representamos por pontos ou bolinhas, e por arestas que representamos por arcos ou segmentos de retas. Cada aresta conecta um v ertice a outro e quando dois v ertices s ao adjacentes eles s ao conectados por apenas uma aresta. Os exerc cios 4 e 5 enfocam o tema das diferentes representa c oes do mesmo grafo. Use l apis e papel para criar, voc e mesmo, outros exemplos de grafos. Al em disso, envolva-se com o aspecto divertido deste tema. Os problemas de colora c ao de mapas podem ser um bom come co. Divirta-se.

CEDERJ

72

Grafos eulerianos

MODULO 4 - AULA 32

Aula 32 Grafos eulerianos


Objetivos
Nesta aula voc e ver a novos conceitos da Teoria de Grafos, tais como: caminho, circuito e multigrafo. Aprender a o que e um grafo conexo. Conhecer a o que e um circuito euleriano e o Teorema de Euler, que soluciona o Problema das Pontes de K onigsberg.

Recordando...
Voc e viu na aula anterior que o Problema das Pontes de K onigsberg e equivalente a ser poss vel, ou n ao, redesenhar um certo grafo, sem levantar o l apis do papel e tra cando cada aresta uma u nica vez. Para responder esta quest ao precisaremos de mais um conceito da teoria a de grafos. Este conceito, chamado de conexidade, e relativamente f acil. E Matem atica imitando a vida. Vamos l a!

Caminhos
Um caminho ligando o v ertice v at e o v ertice w e uma seq u encia de v ertices adjacentes v0 , v1 , v2 , . . . , vk (ou de arestas a1 = v0 v1 , a2 = v1 v2 , . . . , ak = vk1 vk adjacentes), tais que a) v0 = v ; b) vk = w ; Denotamos este caminho simplesmente escrevendo a seq u encia de v ertices v0 v1 v2 v3 . . . vk1 vk . Um exemplo, agora, vale por mil palavras! Aqui vai. Exemplo 32 Seja G o grafo representado na gura abaixo.
73 CEDERJ

Grafos eulerianos

v0

v2

v4

v5 v1
Em Matem atica e comum chamar de palavra qualquer seq u encia de letras, como esta, mesmo com subscritos.

v3

O tra co refor cado indica um caminho ligando o v ertice V0 at e o v ertice v5 . Denotamos este caminho pela palavra v0 v1 v2 v4 v3 v5 . Outro caminho entre estes dois v ertices e representado por v0 v2 v4 v5 . Pegue l apis e papel e trace os seguintes caminhos: v1 v2 v0 v1 v3 v5 , v2 v4 v3 v2 e v0 v1 v2 v1 v3 v4 v5 . Lembre-se, para que uma palavra represente um caminho e necess ario que dois v ertices seguidos sejam adjacentes.

Conexidade de Grafos
Bom, estamos prontos para estabelecer a no c ao de conexidade de grafos. Para come car, podemos armar que um grafo G e conexo se quaisquer dois de seus v ertices podem ser ligados por algum caminho. Veja que num grafo conexo, dados quaisquer dois v ertices, podemos passar de um para o outro atrav es de arestas. Em particular, se um grafo G e conexo e tem mais do que um v ertice, ele n ao pode ter v ertices isolados. Um grafo n ao e conexo quando pelo menos dois de seus v ertices n ao podem ser conectados por algum caminho. Neste caso, o grafo ser a composto de uma uni ao disjunta de grafos conexos. Cada um destes grafos conexos e chamado de uma componente conexa do grafo. Exemplo 33 Aqui est ao dois grafos, um conexo e o outro composto por tr es componentes conexas:
CEDERJ 74

Grafos eulerianos

MODULO 4 - AULA 32

v1

v2

v1

v2

v6

v7

v8

v3

v4

v5

v3

v4

v5

v9

Fique atento! H a exemplos onde as apar encias enganam. A representa c ao do grafo pode ser formada de um s o peda co mas o grafo n ao ser conexo, como e o caso no exemplo seguinte:

v1 v4 v6 v2 v3
v5

v1 v4 v6 v2 v3
v5

v7

v7

Circuitos e Circuitos Eulerianos


Dizemos que um caminho entre v e w e um caminho simples se cada uma das arestas que o comp oem e usada uma s o vez. Quando v e igual a w , temos um caminho simples e fechado, que chamamos de circuito. Finalmente, dizemos que um dado circuito e euleriano se ele cont em todos os v ertices do grafo. Voltando ao Problema das Pontes de K onigsberg, voc e descobrir a que ele pode ser formulado da seguinte maneira: O grafo da gura ao lado admite um circuito euleriano? Isto e, existe um caminho simples (sem arestas repetidas) e fechado (come cando e terminando num mesmo v ertice) que percorra todos os v ertices?

C c A a B b d e

O Teorema de Euler
Leonhard Euler publicou nos anais da Academia de Ci encia da Russia, em 1736, o artigo Solutio problematis ad geometriam situs pertinentis (Uma solu c ao de um problema da geometria da posi c ao) onde ele respondia
75 CEDERJ

Grafos eulerianos

esta quest ao. Aqui est a o teorema que estabelece crit erios precisos para a exist encia de um circuito euleriano. Teorema: Um grafo G admite um circuito euleriano se, e somente se, G e conexo e todos os v ertices de G t em grau par. Note que todos os v ertices do grafo do Problema das Pontes, rotulados por letras ma sculas, t em grau mpar e, portanto, n ao admite um circuito euleriano. Com este teorema Euler decidia denitivamente a quest ao da exist encia de um passeio por K onigsberg que cruzasse todas as pontes uma u nica vez dando uma resposta negativa. Exemplo 34 Use o teorema de Euler para decidir qual dos grafos abaixo admite um circuito euleriano.

Veja que no grafo da direita, todos os v ertices t em grau par e, portanto, ele admite um circuito euleriano. J a o grafo da esquerda tem quatro v ertices de grau tr es e, devido a isto, n ao admite um circuito euleriano. Isto e, se partirmos de qualquer um v ertice, n ao ser a poss vel percorrer todas as arestas retornando a este mesmo v ertice passando por cada delas uma s o vez. Usando l apis e papel estude estes dois exemplos e tente desenhar sobre eles circuitos eulerianos. Construa voc e mesmo alguns exemplos de grafos e decida se eles admitem ou n ao circuitos eulerianos.

Prova do Teorema de Euler


Neste momento da aula, e importante que voc e perceba que podemos usar um teorema para resolver problemas sem mesmo conhecer sua demonstra c ao. Isto e v alido e, na verdade, ocorre com freq u encia. Quantas pessoas conhecem o enunciado do Teorema de Pit agoras e o aplicam na resolu c ao de problemas sem jamais ter visto uma s o de suas demonstra c oes?

Educa c ao e o que permanece quando tudo o que foi aprendido na escola e esquecido. Einstein

CEDERJ

76

Grafos eulerianos

MODULO 4 - AULA 32

No entanto, as demonstra c oes nos levam mais longe, para o mundo das id eias. Veja que o esfor co para compreender uma prova em Matem atica e sempre recompensado. Mesmo depois de esquecida a demonstra c ao, teremos absorvido algo da id eia que a realizou. O teorema arma que as condi c oes necess arias e sucientes para que um grafo G admita um circuito euleriano s ao: a) G e conexo; b) todos os v ertices de G t em grau par. O enunciado deste Teorema e do tipo (p q ) r , onde p, q e r s ao as seguintes proposi c oes: p: o grafo G e conexo; q : cada v ertice do grafo G tem grau par; r : o grafo G admite um circuito euleriano.
In cio da prova do teorema.

Prova. Primeiro vamos mostrar que as condi c oes s ao necess arias. Isto e, r p q. Estamos supondo que G admite um circuito euleriano. Vamos denot a-lo por

v0 v1 v2 v3 . . . vk2 vk1 (vk = v0 ).

Queremos provar que o grafo G e conexo e que cada v ertice tem grau par. Estas duas arma c oes s ao conseq u encias da exist encia do circuito euleriano representado acima. Realmente, usando trechos seq uenciais deste circuito, podemos construir caminhos (simples) ligando quaisquer dois v ertices do grafo, pois todos os v ertices aparecem no circuito. Portanto, o grafo G e conexo. Para observar que cada v ertice tem grau par, basta lembrar que cada aresta da lista acima aparece uma u nica vez e para calcular o grau de um certo v ertice vi , basta contar quantas vezes ele aparece na lista e multiplicar por dois, tomando cuidado com o v ertice v0 , pois ele inicia e termina a lista. Ele eou nico v ertice listado duas vezes. Repare como isto funciona no seguinte exemplo:
77 CEDERJ

Grafos eulerianos

v1 v0 v2

v3 v5 v4

O grafo representado anteriormente admite o seguinte circuito euleriano: v0 v1 v3 v0 v2 v4 v5 v2 v3 v5 v0 . Note que os v ertices v3 , v2 e v5 aparecem, cada um, duas vezes na lista em grau e eles t em grau quatro. Os v ertices v1 e v4 aparecem uma vez. Eles t dois. O v ertice v0 aparece uma vez no interior da lista, o que contribui com duas unidades para seu grau. Como ele inicia e termina a lista, temos que contar uma aresta de cada lado. Portanto, o grau de v0 e quatro.
A contrapositiva da proposi c ao a b ea proposi c ao b a. Elas s ao proposi c oes equivalentes. Lembre-se tamb em que uma das Leis de De Morgan arma que (p q ) p q. Veja aula 27. Prova de (p q ) r :

Bem, esta foi a parte f acil da demonstra c ao. Reforce a sua aten c ao para compreender o que vem a seguir. A proposi c ao r (pq ) e equivalente a ` sua contrapositiva, a proposi c ao ( p q ) r . Portanto, para dar uma resposta negativa a ` exist encia de um circuito euleriano basta constatar que alguma das condi c oes n ao seja satisfeita. Isto e, para concluirmos que um grafo n ao admite um circuito euleriano basta que ele n ao seja conexo ou que tenha v ertices de grau mpar. Como os grafos t em um n umero nito de v ertices e um n umero nito de arestas, podemos listar todos os caminhos simples (cada aresta aparece uma s o vez) do grafo G. A cada caminho podemos associar um comprimento. Basta contar o n umero de arestas do caminho. Olhando em nossa lista de caminhos simples podemos escolher um cujo comprimento seja o maior comprimento. Vamos denotar este caminho por: v0 v1 v2 v3 . . . vk2 vk1 vk . Este caminho e o nosso candidato a circuito euleriano. Precisamos fazer duas coisas: mostrar que ele e um circuito e que cont em todos os v ertices. Para isto usaremos nossas duas condi c oes: graus pares e conexidade.

CEDERJ

78

Grafos eulerianos

MODULO 4 - AULA 32

A hip otese de que todos os v ertices s ao de grau par garantir a que o caminho escolhido e, na verdade, um circuito (vk = v0 ). Como estamos lidando com um caminho simples, quaisquer dois v ertices seguidos na lista acima s ao distintos. Isto e, vj = vj +1 . Al em disto, todos os v ertices adjacentes a vk tamb em est ao na lista. Ou seja, todas as arestas que est ao conectadas a vk j a fazem parte do caminho pois, caso contr ario, n os poder amos aumentar o comprimento do caminho acrescentando-a na lista. Ora, isto contrariaria a suposi c ao de que escolhemos um caminho de comprimento m aximo. Agora, o grau de vk e par, pois todos os v ertices t em grau par, por hip otese. Ent ao vk = v0 . Realmente, se vk = v0 , ent ao grau(vk ) = 2 ( n umero de v ezes que vk aparece no interior da lista) + 1, que e um n umero mpar. Voc e deve estar concluindo que o caminho escolhido e um circuito. Para terminar a prova devemos vericar que cont em todos os v ertices. Para isto usaremos a conexidade do grafo, a hip otese que ainda n ao foi usada. Suponhamos que o caminho v0 v1 v2 v3 . . . vk2 vk1 vk n ao contenha algum v ertice do grafo G. Este v ertice, que chamaremos de w , est a ligado ao circuito v0 v1 v2 v3 . . . vk2 vk1 vk . Caso contr ario o grafo n ao seria conexo. Isto signica ao consta na lista das arestas do caminho que existe uma aresta a = uvi que n v0 v1 v2 v3 . . . vk2 vk1 vk e adjacente a um de seus v ertices, digamos vi . Veja o que acontece nos dois exemplos a seguir:

w=u vi v0 v1
O caminho

w v vi

v0 v2

v3

v1

v2

uvi vi+1 . . . vk1 (vk = v0 )v1 v2 . . . vi1 vi e uma aresta mais longo do que o caminho escolhido inicialmente. Isto e uma contradi c ao.
79 CEDERJ

Grafos eulerianos

Fim da prova do teorema.

Outra conclus ao importante e que n ao deve escapar de sua aten c ao, e de que n ao h a nenhum outro v ertice fora da lista do caminho escolhido e, portanto, o circuito e euleriano.

Outras considera c oes importantes que voc e n ao deve esquecer


Toda a argumenta c ao est a fundamentada na exist encia de uma lista de caminhos simples, ou seja, caminhos onde cada aresta que e usada, e usada uma s o vez. Aqui e essencial que lidemos com um n umero nito de v ertices e de arestas. Al em disso, como esta lista e nita, temos a certeza de que h a um caminho com o maior comprimento de todos os outros. O resto e hist oria... O diagrama original desenhado por Euler n ao e um grafo por ter mais do que uma aresta conectando os mesmos dois v ertices. O conceito original de grafos inclu a tais exemplos, mas a deni c ao atual, usando a linguagem de conjuntos, os exclui. No entanto, h a um conceito que os inclui, e a no c ao de multigrafo. Num multigrafo admite-se mais do que uma aresta ligando os mesmos dois v ertices. Elas s ao chamadas de arestas paralelas. Al em disso, admite-se que uma aresta conecte um v ertice a ele mesmo. Tais arestas s ao chamadas de la cos. As no c oes de caminho, caminho simples, circuito e conexidade aplicamse de maneira natural para os multigrafos. Especialmente, vale a no c ao de grau de um v ertice, contanto que os eventuais la cos sejam contados com multiplicidade dois. O Teorema de Euler continua verdadeiro se trocarmos, em seu enunciado, grafo por multigrafo. Isto e, um multigrafo admite um circuito euleriano se, e somente se, e conexo e cada um de seus v ertices tem grau par. Para provar isto temos que considerar que os multigrafos t em eventuais la cos ou arestas paralelas. O problema e resolvido da seguinte maneira: introduzindo novos v ertices, um para cada la co e um para cada aresta paralela. Desta maneira tornamos o multigrafo um grafo com mais v ertices e arestas do que originalmente mas, um grafo. Este processo n ao desconecta o grafo, pois cada um destes novos v ertices tem grau dois e o grau dos v ertices originais n ao e alterado.

CEDERJ

80

Grafos eulerianos

MODULO 4 - AULA 32

Aqui est a um exemplo de como podemos fazer isto:

v1

v3 v4

v1

v5

v3 v6 v7

v2

v2

v8

Desta forma, o grafo obtido admite um circuito euleriano, devido ao teorema que acabamos de demonstrar. A partir deste circuito euleriano, suprimindo os v ertices acrescentados, obtemos o circuito euleriano para o multigrafo. O teorema que acabamos de demonstrar faz parte de uma classe muito especial de teoremas. S ao os teoremas que, sob certas condi c oes, garantem a exist encia de algo. No nosso caso e a exist encia de um circuito euleriano.

Grafos Eulerianos
Voc e j a sabe que v ertices de grau mpar s ao obstru c oes ` a exist encia de circuitos eulerianos. No entanto, consideremos o seguinte grafo G:

v5 v4 v3 v6

v1

v2

O grafo G tem dois v ertices de grau mpar: v1 e v2 . Conseq uentemente, G n ao admite um circuito euleriano. No entanto, um pouco de incredulidade faz bem a quem estuda Matem atica! Se voc e passar algum tempo pensando neste particular exemplo, e pensar em Matem atica com l apis e papel na m ao e sempre divertido, poder a ter uma surpresa: se abrirmos m ao da condi c ao de
81 CEDERJ

Grafos eulerianos

retornar ao v ertice de partida, e poss vel percorrer todo o grafo G passando por cada aresta uma u nica vez : v1 v2 v3 v1 v4 v3 v6 v4 v5 v6 v2 . O grafo G n ao admite um circuito euleriano, mas admite um caminho simples que cont em todas as suas arestas. Quando isto ocorrer diremos que o grafo G e um grafo euleriano. Exemplo 35 claro que qualquer grafo que admite um circuito euleriano E e ele mesmo um grafo euleriano. Pegue agora l apis e papel e, com um pouco de aten c ao, tente descobrir quais dos grafos representados a seguir s ao eulerianos.

Todos estes grafos s ao eulerianos, com exce c ao de K 4 . O problema e que ele tem mais do que dois v ertices de grau mpar. Teorema: Um grafo G admite um caminho euleriano se, e somente se, e conexo e tem, no m aximo, dois v ertices de grau mpar. Prova do Teorema: Suponhamos que o grafo admita um caminho que percorre todas as arestas passando por cada uma delas uma u nica vez.
CEDERJ 82

Grafos eulerianos

MODULO 4 - AULA 32

Se este caminho e fechado, ele e um circuito euleriano e, portanto, o grafo e conexo e todos os seus v ertices t em grau par. Se o caminho n ao e um circuito, ele tem a forma

v0 v1 v2 . . . vk1 vk

com v0 = vk . Todos os v ertices e arestas est ao presentes nesta lista. v0 e vk s ao os u nicos v ertices de grau mpar. Vamos agora considerar a possibilidade do grafo ser conexo e ter dois v ertices de grau mpar. Vamos denot a-los por v0 e vk . Acrescentando uma extra aresta a que conecte v0 a vk obtemos um grafo que ainda e conexo, mas que tem todos os v ertices de grau par. Este grafo admite um circuito euleriano. Subtraindo a aresta a deste circuito obtemos um caminho que conecta v0 a vk e percorre todas as arestas, cada uma delas uma u nica vez.

Exerc cios
1. Considere o grafo G a seguir e identique quais dos caminhos indicados s ao simples, quais s ao circuitos e quais s ao circuitos eulerianos.

v1 v2 v6

v3 v4

v5

83

CEDERJ

Grafos eulerianos

a) b) c) d) e) f) g) h)

v4 v1 v3 v0 v5 v0 v3 v1 v2 v3 v4 v5 v0 v1 v2 v3 v0 v1 v2 v3 v1 v4 v5 v0 v3 v4 v3 v4 v1 v0 v3 v2 v1 v1 v4 v5 v0 v1 v3 v1 v2 v3 v0 v1 v3 v4 v1 v3 v0 v5 v4 v1 v3 v2 v1

2. Quais dos grafos a seguir s ao conexos? Indique quais s ao as componentes conexas daqueles grafos que n ao s ao conexos.

CEDERJ

84

Grafos eulerianos

MODULO 4 - AULA 32

3. Considere os grafos representados a seguir. Determine quais admitem um circuito euleriano e quais s ao grafos eulerianos. Nos casos armativos, encontre um circuito euleriano ou atravesse o grafo, caso ele seja um grafo euleriano.

4. Para que valores de n o grafo K n admite um circuito euleriano? 5. As informa c oes necess arias para construir um determinado grafo podem ser armazenadas numa tabela, da seguinte forma: Se o grafo for de ordem n a tabela ser a quadrada com uma linha e uma coluna reservada para cada v ertice, respectivamente. Na interse c ao de uma coluna com uma linha marcamos com o n umero 1 ou com o n umero 0, caso os v ertices correspondentes sejam adjacentes ou n ao, respectivamente. Observe que a diagonal que vai do canto
85 CEDERJ

Grafos eulerianos

superior esquerdo do quadrado para o canto inferior direito ser a preenchida com zeros, pois num grafo n ao h a la cos. Um exemplo deixar a claro que isto e bem simples: O grafo G a seguir tem ordem 4 e sua tabela est a disposta ao seu lado.

v1

v2
v1 v1 v2 v3 v4 0 1 1 0 v2 1 0 1 1 v3 1 1 0 1 v4 0 1 1 0

v3

v4

Note que a tabela e sim etrica em rela c ao a ` diagonal pois, se o v ertice vi e adjacente ao v ertice vj , ent ao vj tamb em e adjacente a vi . No exemplo dado, a quarta coluna tem um zero na primeira posi c ao indicando que v4 n ao e adjacente a v1 e, como a terceira coluna tem e 3. tr es n umeros 1 e um n umero 0, sabemos que o grau de v3 A id eia e a mesma que e usada nos guias tur sticos para dispor as dist ancias entre as diferentes cidades. Esta tabela e chamada de matriz de adjac encia do grafo. Para ter certeza que voc e entendeu este conceito, represente o gr aco G de ordem 5 correspondente a ` seguinte matriz de adjac encia:
v1 v5 v2

v1 v1 v2 v3 v4 v5 0 1 1 0 1

v2 1 0 1 0 1

v3 1 1 0 1 1

v4 0 0 1 0 0

v5 1 1 1 0 0

v4

v3

Voc e agora est a preparado para desvendar o seguinte caso: Um jovem casal morava no interior de um certo estado, na cidade de Altamira. As cidades mais pr oximas de Altamira s ao Bicas, Candeias, Diamantina, Estrela do Sul, Figueiras e Galo Branco. Elas s ao conectadas por uma rede de estradas um tanto mal cuidadas. O rapaz prometeu casar-se com a mo ca assim que terminasse o trabalho de
CEDERJ 86

Grafos eulerianos

MODULO 4 - AULA 32

recupera c ao destas estradas, pois havia acabado de rmar um contrato com as prefeituras das cidades para fazer isto. Ele prometeu a jovem que iniciaria os trabalhos em Altamira e prosseguiria sobre ` cada trecho de estrada retornando, no m do trabalho, a ` Altamira. Ser a que o jovem e sincero? Poder a a mo ca conar em seu noivo? Para responder a esta emocionante quest ao, dispomos de uma tabela onde est a marcado com 1 as cidades que est ao ligadas por uma estrada, e por 0 quando n ao h a estrada conectando as duas cidades. A A B C D E F G 0 1 1 1 1 0 0 B 1 0 1 0 0 0 0 C D E 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 F G 0 0 0 0 1 0 1 0 0 1 1 1 1 0
E A D B C G F

Auto-avalia c ao
Esta aula tem uma bonita demonstra c ao. Por isto, voc e precisar a trabalh a-la de maneira bem especial. Primeiro tenha certeza de que entendeu os conceitos novos, apresentados inicialmente. Voc e sabe se um grafo e conexo ou n ao? Sabe distinguir um caminho simples de um caminho que n ao e simples? Qual e a diferen ca entre um caminho fechado qualquer e um circuito? Lembre-se que um circuito e um caminho fechado onde as arestas n ao se repetem. O principal tema da aula e o Teorema de Euler que aqui apresentamos junto com sua demonstra c ao. Saber quando as hip oteses do teorema s ao satisfeitas por um dado grafo e fundamental. Assim voc e saber a se o grafo admite, ou n ao, um circuito euleriano. Voc e e capaz de desenhar dois grafos conexos, um que admite um circuito euleriano e um que n ao admite? Voc e pode propor estas quest oes para seus amigos. Elas d ao bons quebra-cabe cas.
87 CEDERJ

Grafos eulerianos

N ao deixe a demonstra c ao intimid a-lo. Uma vez que voc e tenha uma vis ao global, passe a examinar os detalhes. A demonstra c ao est a escrita em v arias p aginas, pois os argumentos foram detalhados e exemplicados. Aproveite esta oportunidade!

CEDERJ

88

Grafos Hamiltonianos

MODULO 4 - AULA 33

Aula 33 Grafos Hamiltonianos


Objetivos
Nesta aula voc e conhecer a o Problema do Caixeiro-Viajante e aprender a como, sob certas condi c oes, resolv e-lo. Conhecer a o conceito de ciclo hamiltoniano e ver a como ele difere de circuito euleriano, que voc e viu na aula anterior. Vai conhecer uma id eia matem atica muito u til, chamada de Princ pio das Gavetas.

Recordando
Na aula anterior voc e p ode perceber a beleza e a for ca das id eias em Matem atica. A demonstra c ao feita por Euler em 1736 e como um diamante: durar a para sempre. Nesta aula voc e ver a a abordagem de um problema parecido com aquele resolvido por Euler, mas agora a enfase estar a nos v ertices em lugar de nas arestas.

O Problema do Caixeiro-Viajante
Vamos acompanhar nosso amigo caixeiro-viajante numa nova etapa de sua vida. Ele est a para iniciar uma nova rota de vendas e dever a visitar um conjunto de cidades que est ao ligadas por diversas estradas. Nosso caixeiroviajante e, nos momentos em que espera a condu c ao, um matem atico amador muito interessado na Teoria dos Grafos. Ele quer estabelecer uma rota de visitas a `s cidades de forma que ele passe por cada cidade uma s o vez, retornando, no m de sua jornada, a ` cidade da qual partiu. Ele discutiu o problema com o gerente do hotel onde costuma hospedar-se, outro grande interessado na Teoria dos Grafos. Eles conclu ram que a melhor abordagem seria tra car um grafo para representar a situa c ao. Os v ertices representariam as cidades e as arestas representariam as estradas que ligam as cidades. Desta forma, o problema consiste em achar um circuito onde cada v ertice aparece uma u nica vez. Para que o gerente do hotel entendesse bem a abordagem, o caixeiroviajante usou de um conhecido expediente: exemplos. Ele tirou de sua pasta
89 CEDERJ

Grafos Hamiltonianos

de amostras um bloco de papel e uma linda lapiseira. Tra cou dois exemplos sobre os quais ele e o hoteleiro se debru caram. Vejamos com eles.

v1 v5

w1

v4

v2

w4

w5

w2

v3

w3

Nos dois exemplos h a cinco cidades ligadas pelas estradas, por em, de maneiras diferentes. O caixeiro-viajante disse: Olhe, o grafo da esquerda admite um circuito que cont em todas as cidades, cada uma representada uma s o vez. E, com sua reluzente lapiseira, tra cou sobre o grafo o seguinte circuito: v1 v2 v3 v5 v4 v1 . Disse ainda: Caro hoteleiro, voc e encontraria um outro circuito como este? Mas o hoteleiro estava absorto olhando o outro exemplo e disse: Veja, o grafo da direita n ao pode ter seus v ertices todos percorridos desta forma. E assim, prosseguiu: Vamos supor que voc e inicie sua jornada em w1 . H a tr es poss veis escolhas para prosseguir: w4 , w5 ou w2 . Note que seguir para a no mesmo que seguir para w2 , pois o grafo e sim etrico. Vamos w4 , resultar s o e poss vel prosseguir para w3 . supor ent ao que voc e siga para w2 . Da Agora voc e enfrenta uma escolha: w5 ou w4 . Em qualquer um dos casos, voc e precisar a retornar a alguma cidade para completar o circuito. Resta agora supor que voc e parta de w1 para w5 . Neste caso, dever a prosseguir enfrenta uma escolha: w2 ou w4 . Novamente, necessariamente para w3 e a qualquer escolha inviabilizar a a solu c ao. O caixeiro-viajante estava realmente surpreso com a an alise do segundo exemplo feita pelo hoteleiro. Voc e j a percebeu que, como no caso do Problema das Pontes de K onigsberg, o Problema do Caixeiro-Viajante e interessante. Reveja os dois exemplos estudados pelos dois amigos. Tente encontrar um outro circuito, como sugeriu o caixeiro-viajante. Reveja a an alise do segundo exemplo feita pelo
CEDERJ 90

Grafos Hamiltonianos

MODULO 4 - AULA 33

hoteleiro usando l apis e papel. Isto e, conven ca-se de que realmente n ao h a um circuito que percorra todos os v ertices incluindo cada um deles uma u nica vez. Antes de prosseguir, tenha a certeza de que entendeu a diferen ca entre o problema da aula anterior e o que estamos abordando agora. Antes quer amos percorrer todas as arestas, passando cada uma delas uma s o vez e, para conseguir isto, permit amo-nos passar por alguns v ertices mais do que uma vez (o problema do scal-de-estradas). Agora queremos percorrer todos os v ertices, passando por cada um deles uma u nica vez. Para fazer isto n ao importa que, eventualmente, algumas arestas n ao sejam inclu das no circuito.

Ciclos
Para refor car a diferen ca das duas abordagens vamos introduzir uma nova terminologia: chamaremos de ciclo todo circuito que, al em de n ao repetir as arestas, n ao repete v ertices. O exemplo seguinte poder a auxiliar a sua compreens ao. Observe com aten c ao! Exemplo 36 Seja G o grafo de ordem 5 representado a seguir:

v1

v3 v2

v4

v5

O grafo G admite o circuito (euleriano) v1 v2 v3 v5 v2 v4 v1 . Este circuito e usado duas vezes. n ao e um ciclo pois o v ertice v2 Note que G admite dois ciclos: v1 v2 v4 v1 e v2 v3 v5 v2 . Veja tamb em que as palavras v1 v4 v2 v1 , v1 v2 v4 v1 e v2 v1 v4 v2 representam o mesmo ciclo.

91

CEDERJ

Grafos Hamiltonianos

Ciclos Hamiltonianos
Se h a um ciclo que contenha todos os v ertices do grafo G dizemos que ele admite um ciclo hamiltoniano . Neste caso diremos que G e hamiltoniano.
Sir William Rowan Hamilton (1805 - 1865), matem atico irland es que descobriu o primeiro exemplo de um tipo de multiplica c ao n ao comutativa. Isto e o que chamamos de quat ernios. S ao n umeros da forma a + bi + cj + dk onde a, b, c e d s ao n umeros reais e as unidade i, j e k s ao multiplicadas segundo as leis: i2 = j 2 = k 2 = ijk = 1. Por exemplo, se c e d s ao iguais a zero tudo funciona como se os quat ernios fossem n umeros complexos. A hist oria conta que a f ormula acima ocorreu a Hamilton, ap os muito tempo de trabalho no assunto, enquanto ele passeava com sua mulher pela cidade de Dublin. Eles estavam cruzando uma ponte chamada Ponte Brougham e, o impulso criativo foi t ao forte que Sir William sacou de seu canivete e gravou a f ormula na tal ponte...

Exemplo 37 Quais dos seguintes grafos admite um ciclo hamiltoniano? Como voc e j a sabe, a vem divers ao! Pegue l apis e papel e m aos a ` obra. A resposta de cada caso est a no m da aula, mas voc e n ao vai querer ajuda, vai?

v2

v3 v5 v4 v5 v1 v1

v4 v3

v1 v6

v7

v2

v6

v1 v2 v4 v3

v5 v4

v3

v2

Nota sobre a Terminologia


O nome, ciclo hamiltoniano, e uma homenagem a Sir William Rowan Hamilton. Em 1859 Sir William prop os um quebra-cabe ca baseado num dodecaedro. O dodecaedro e um dos cinco poliedros plat onicos e e formado por doze pent agonos regulares, da o nome. Este s olido tem vinte v ertices e trinta arestas. Sir Hamilton deu a cada v ertice o nome de uma cidade famosa e o jogo consistia em tentar viajar ao redor do mundo passando por cada uma das cidades uma u nica vez. S o se poderia viajar de uma cidade para a outra atrav es de alguma aresta do dodecaedro.
CEDERJ 92

Grafos Hamiltonianos

MODULO 4 - AULA 33

Para visualizar o problema n ao e necess ario usar um modelo de do poss decaedro. E vel planicar o problema da seguinte forma: imagine que seu dodecaedro e feito de um material el astico, altamente ex vel e male avel. Usando uma tesoura imagin aria, recorte um dos pent agonos, retirando uma face de seu dodecaedro. Agora, por esta abertura, estique os demais pent agonos sobre uma superf cie plana. Voc e ver a a seguinte congura c ao:

O quebra-cabe ca proposto por Sir Hamilton consiste em encontrar um ciclo hamiltoniano para o grafo obtido do dodecaedro pelo processo exposto acima e representado na gura anterior.

Uma condi c ao suciente para a exist encia de um ciclo hamiltoniano


A quest ao da exist encia ou n ao de um ciclo hamiltoniano para um determinado grafo e mais dif cil do que sua contrapartida euleriana. N ao h a um teorema que decida denitivamente a quest ao, assim como e o caso dos circuitos eulerianos. A experi encia que voc e adquiriu com os exemplos vistos at e agora sugere que quanto mais arestas melhor. No entanto, a distribui c ao destas arestas entre os v ertices tamb em e importante. O teorema que aprenderemos nesta se c ao d a condi c oes sucientes para a exist encia de um ciclo hamiltoniano. Isto e, se as condi c oes do enunciado forem satisfeitas por um certo grafo G, ent ao ele admitir a um ciclo hamiltoniano. No entanto, veremos tamb em que estas condi c oes n ao s ao necess arias.
93 CEDERJ

Grafos Hamiltonianos

Ou seja, h a grafos que n ao satisfazem as hip oteses do teorema e, no entanto, admitem ciclos hamiltonianos.
Este teorema foi demonstrado em 1952 por Gabriel Andrew Dirac, enteado do famoso f sico e pr emio nobel Paul Dirac. Este teorema tem uma certa import ancia hist orica na Teoria dos Grafos, pois ele e o ponto de partida de outros resultados que se aprofundam na quest ao.

Teorema: Seja G um grafo de ordem n (n 3). Se grau(V ) n/2 para cada v ertice V de G, ent ao G admite um ciclo hamiltoniano A hip otese do teorema e restritiva, mas a diculdade da quest ao permite apreciar a sua for ca. Veja que, se o grafo tem 4 v ertices, para podermos usar o teorema, cada v ertice dever a ter pelo menos grau 2 mas, aten c ao, caso ele seja de ordem 5, cada um dos v ertices dever a ter pelo menos grau 3. Hora de exercitar! Usando l apis e papel, construa alguns exemplos de grafos com 5, 6 e 7 v ertices, cada um deles com todos os v ertices de grau maior ou igual a 3, 3 e 4, respectivamente. Voc e ver a agora, depois dos exemplos, que o converso do teorema e falso. Isto e, h a grafos com muitos v ertices mas com graus pequenos e que admitem ciclos hamiltonianos. Por exemplo, um pol gono com 17 lados admite um ciclo hamiltoniano (basta percorrer o pol gono uma vez) mas o grau de cada um de seus v ertices e 2. Prova do Teorema: Antes de proceder nos detalhes da prova, vamos ver como ela se divide em etapas. A primeira etapa consiste em constatar que o grafo G e conexo. Note que ser conexo e uma condi c ao necess aria para que o grafo admita um ciclo hamiltoniano. Realmente, se o grafo n ao for conexo, qualquer ciclo que come car em alguma das componentes conexas n ao percorrer a os v ertices das outras componentes. Considere o seguinte exemplo:

v8 v7 v6

v1 v2 v3 v4 v5

imposs E vel chegar a qualquer v ertice de ndice par come cando em algum v ertice de ndice mpar e vice-versa. A raz ao disto e que este grafo n ao e conexo. Ele e formado por duas componentes conexas, cada uma delas

CEDERJ

94

Grafos Hamiltonianos

MODULO 4 - AULA 33

sendo um ciclo: uma s o com os v ertices com ndices mpares e uma s o de v ertices com ndices pares. A segunda etapa ser a a de conseguir um caminho K com as seguintes propriedades: a) K e um caminho simples (as arestas n ao se repetem) sem v ertices repetidos; b) Qualquer caminho que tenha estas duas caracter sticas e, no m aximo, t ao longo quanto K . A partir deste caminho especial conseguiremos o desejado ciclo hamiltoniano.

Prova de que o grafo G e conexo


Vamos fazer a primeira etapa da prova. Vamos provar que: Lema: Se G e um grafo de ordem n( 3) e grau(V ) n/2 para todo v ertice V de G, ent ao o grafo G e conexo A argumenta c ao ser a por redu c ao ao absurdo. Para isto, vamos supor que G satisfa ca a hip otese do lema, mas n ao seja conexo. Ent ao G e composto por mais de uma componente conexa. Vamos chamar de C a componente conexa que tem o menor n umero de v ertices. A ordem de C e menor ou igual que n/2. Note que, em grafos conexos, o grau de cada v ertice e, no m aximo, igual a ` ordem do grafo menos um.

G
Mas cada v ertice de C tem grau maior ou igual que n/2, por hip otese. Isto e uma contradi c ao. Conclu mos, ent ao, que G e conexo.
95 CEDERJ

Grafos Hamiltonianos

Segunda etapa da prova - O Ciclo Hamiltoniano


Para entender a argumenta c ao que usaremos, vamos come car com um exemplo. Seja G o grafo seguinte:
A F

B E

A ordem de G e 6 e cada um de seus v ertices tem grau 3. Como G e um grafo conexo, as hip oteses do teorema s ao satisfeitas. Considere K o seguinte caminho simples, onde todos os v ertices de G comparecem: ACF BDE Este caminho satisfaz as duas caracter sticas que mencionamos antes: As arestas AC , CF , F B , BD e DE comparecem uma u nica vez, e como todos os v ertices est ao presentes, n ao h a caminho mais longo sem que haja repeti c ao de v ertices. Vamos nos concentrar nos v ertices que est ao nos extremos do caminho: A e E. O v ertice A est a ligado ao v ertice C pela aresta que j a faz parte do caminho K , al em de ser, tamb em, adjacente a B e D . O v ertice E , por sua vez, est a ligado aos v ertices C e F , al em de ser adjacente a D pela aresta que faz parte do caminho K . Vamos acrescentar estas informa c oes ao nosso caminho obtendo o seguinte esquema:

CEDERJ

96

Grafos Hamiltonianos

MODULO 4 - AULA 33

Note que os v ertices B e F , adjacentes a A e E , respectivamente, est ao dispostos um ap os o outro, no caminho K . Vamos usar este fato para obter o ciclo hamiltoniano desejado. Partindo de A vamos para B usando a aresta indicada no esquema () pelo arco superior. Agora prosseguimos de B para E usando o caminho K : B paraD e depois para E . Para passarmos de E para F usamos a aresta indicada no esquema pelo arco inferior. Finalmente, retornamos para A, usando o trecho do caminho K original: de F para C e da de volta para A, fechando o ciclo: ABDEF CA

Nesta constru c ao do ciclo hamiltoniano foi crucial o fato de os extremos do caminho K , os v ertices A e E , estarem ligados aos v ertices adjacentes F e B do interior do caminho, permitindo a constru c ao do ciclo hamiltoniano. Esta e a chave da demonstra c ao. Ou seja, vamos mostrar que, nas circunst ancias da hip otese do teorema, a) existe um caminho simples K = v0 v1 v2 . . . vi1 vi vi+1 . . . vk com vi = vj sempre que i = j , tal que K tem o maior comprimento entre todos os caminhos simples com esta propriedade; b) existem dois v ertices vi e vi+1 no caminho K tais que vi e adjacente a vk e vi+1 e adjacente a v0 :

v0 v1 v2 vi1 vi vi+1 vk1 vk


97 CEDERJ

Grafos Hamiltonianos

Conclu remos ent ao que v0 vi+1 vi+2 . . . vk1 vk vi1 vi2 . . . v2 v1 v0 e um ciclo hamiltoniano. O item (a) e verdadeiro devido a ` nitude do grafo G. Ou seja, pelo menos teoricamente, podemos listar todos os caminhos simples do grafo G onde n ao h a repeti c ao de v ertices e, desta lista, escolhemos um que seja o mais longo de todos. Voc e deve ter reparado que a argumenta c ao e semelhante ` a que foi usada na demonstra c ao do Teorema de Euler. Agora vamos ao item (b). Gra cas ao item (a) podemos contar com o caminho K = v0 v1 . . . vk . Note que todos os v ertices que s ao adjacentes a v0 e a vk fazem parte do caminho K , exatamente porque ele tem comprimento m aximo. vk1 Podemos ent ao armar que, pelo menos n/2 dos v ertices v0 , v1 , . . . , s ao adjacentes a vk .

Podemos armar tamb em que, pelo menos n/2 destes mesmos vi v ertices s ao tais que v0 e vi+1 s ao adjacentes. Estas duas u ltimas arma c oes s ao verdadeiras, pois o grau de v0 e de vk , bem como o de qualquer outro v ertice de G e, pelo menos, n/2. Agora, o pulo do gato: Como k < n, temos uma lista de elementos tal que, mais do que a metade deles satisfaz uma certa propriedade, e mais do que a metade deles satisfaz a uma outra propriedade. Desse modo, podemos concluir que pelo menos um elemento da lista satisfaz a ambas as propriedades. Outra conclus ao importante e a de que existe um v ertice vi que e // adjacente a vk e v0 e adjacente a vi+1 . Assim montamos o esquema

v0 v1 v2 vi vi vi 1 vk1 vk

e, a partir dele, construimos o ciclo v0 vi+1 vi+2 . . . vk1 vk vi1 vi2 . . . v2 v1 v0 . Agora usamos o fato de o grafo ser conexo e de o caminho K ser m aximo para concluir que o ciclo acima e hamiltoniano.
CEDERJ 98

Grafos Hamiltonianos

MODULO 4 - AULA 33

Isto completa a demonstra c ao do Teorema de Dirac. oprio v0 . Mais uma observa c ao importante! O v ertice vi pode ser o pr Isto ocorre caso os v ertices extremos v0 e vk sejam adjacentes e o ciclo hamiltoniano seja obtido simplesmente fechando o caminho K , tornando-o, dessa forma, um ciclo. Veja, n os poder amos ter usado o caminho simples ABF CED no grafo do exemplo, pois ele tamb em e m aximo. Voc e concorda? Como A e D s ao adjacentes, obter amos outro ciclo hamiltoniano: ABF CEDA.

O Princ pio das Gavetas


Na portaria de um pr edio de 17 apartamentos h a um conjunto de caixas de correspond encia, uma para cada apartamento, chamadas de escaninhos. O porteiro encarregado de distribuir a correspond encia recebeu 9 panetos azuis com propaganda de uma pizzaria, e recebeu tamb em, 9 panetos amarelos com propaganda de uma v deo-locadora para distribuir entre os moradores do pr edio. Ele experimentou colocar os panetos nos escaninhos, de maneira que, cada apartamento recebesse pelo menos um deles. Ap os a distribui c ao ele observou que: a) Um apartamento cou sem receber paneto. b) Todos os apartamentos receberam panetos amarelos e azuis. c) Um apartamento recebeu um paneto amarelo e um paneto azul. d) As pizzas eram azuis e os v deos amarelos. E a resposta correta e a letra (c) (Voc e est a certo disto?) O intrigado porteiro retirou todos os panetos dos escaninhos e procedeu a uma nova distribui c ao. Ele observou que novamente um apartamento recebeu um paneto de cada cor.
99 CEDERJ

Grafos Hamiltonianos

Este princ pio tamb em e conhecido por Princ pio da Casa do Pombo. Isto e devido a uma tradu c ao quase literal do t tulo em ingl es: The Pigeonhole Principle. Uma tradu c ao mais precisa seria Princ pio do Escaninho.

O porteiro desta hist oria estava experimentando aquilo que na demons o que em Matem tra c ao anterior chamamos de pulo do gato. E atica e conhecido por Princ pio das Gavetas. Aqui est a o enunciado: Princ pio das Gavetas: Se n + 1 ou mais objetos s ao dispostos em n ou menos gavetas, ent ao pelo menos uma gaveta recebe mais de um objeto. Basta lembrar da famosa brincadeira da dan ca das cadeiras, muito comum nas festas de crian cas.

Mais um exemplo
Vamos ilustrar a busca de um ciclo hamiltoniano num grafo, satisfazendo as hip oteses do Teorema de Dirac com mais um exemplo. Observe com aten c ao! Exemplo 38 Seja G o seguinte grafo de ordem 6:

v4 v5

v6

v3 v1 v2
Note que cada v ertice tem grau 3 e, portanto, o Teroema de Dirac nos diz que h a um ciclo hamiltoniano. Vamos come car nossa busca procurando um caminho simples que contenha todos os v ertices, por exemplo: v1 v4 v5 v2 v3 v6 . Se os v ertices v1 e v6 fossem adjacentes nossa busca haveria terminado. Este n ao e o caso. Repetindo o que foi feito na demonstra c ao do teorema obtemos o seguinte esquema: v1 v4 v5 v2 v3 v6 O ciclo hamiltoniano ser a v1 v2 v3 v6 v5 v4 v1 .
CEDERJ 100

Grafos Hamiltonianos

MODULO 4 - AULA 33

v4 v5

v6

v3 v1 v2
O Problema do Cavalo
Ciclos hamiltonianos eram objetos de estudo bem antes de Sir Hamilton ter proposto seu jogo. Em particular era conhecido o problema do passeio do cavalo pelo tabuleiro de xadrez e que foi completamente analisado por Euler em 1759. O problema e o seguinte: Seguindo as regras de movimento do cavalo, e poss vel que um cavalo parta de uma casa qualquer e percorra todo o tabuleiro, visitando cada uma das 64 casas, passando por cada uma delas uma u nica vez e retornando ` a casa inicial? Este problema pode ser traduzido como a busca de um ciclo hamiltoniano num grafo com 64 v ertices, dispostos em um quadrado 8 por 8, onde dois v ertices s ao adjacentes se, e somente se, for poss vel passar de um para o outro por um movimento de cavalo.
Os cavalos movem-se em L, passando sempre por tr es casas.

101

CEDERJ

Grafos Hamiltonianos

Exerc cios
1. Seja G o grafo representado a seguir:

v2

v1

v3

v0

v4

v5

Quais dos seguintes caminhos s ao fechados, simples? Quais s ao circuitos? Quais s ao ciclos? a) v0 v3 v1 v4 v5 b) v5 v4 v3 v0 v1 v4 v5 c) v2 v1 v4 v3 v0 d) v1 v4 v3 v1 v2 v3 v4 e) v4 v1 v3 v0 v5 v4

CEDERJ

102

Grafos Hamiltonianos

MODULO 4 - AULA 33

2. Quais dos seguintes grafos admitem um ciclo hamiltoniano? Caso sua resposta seja armativa, encontre um.

103

CEDERJ

Grafos Hamiltonianos

3. Divida um ret angulo de tamanho m por n em quadrados iguais de tamanho 1 por 1 e considere isto como uma representa c ao de um grafo que tem cada cruzamento por v ertice. As guras abaixo representam os casos 2 4, 3 4 e 4 4. Estes grafos admitem ciclos hamiltonianos?

Auto-avalia c ao
Nesta aula voc e aprendeu que o problema do caixeiro-viajante e um pouco mais dif cil do que o problema de encontrar um circuito euleriano. Voc e deve ter certeza que entendeu a diferen ca, como por exemplo, voc e deve saber quando um circuito e um ciclo. Tente usar a id eia da demonstra c ao do Teorema de Dirac. Comece buscando um caminho simples que contenha todos os v ertices e tente, a partir da , encontrar o ciclo. O u ltimo problema da lista e muito bonito. Tente alguns exemplos num ericos, como os sugeridos. Fa ca voc e mesmo mais alguns exemplos como 2 2, 3 2, 5 3. Isto e, fa ca suas pr oprias experi encias matem aticas. E n ao esque ca de se divertir!

CEDERJ

104

Grafos Hamiltonianos

MODULO 4 - AULA 33

Respostas Comentadas
Agora as respostas dos problemas deixados ao longo da aula. Dos grafos apresentados bem no come co da aula para voc e descobrir quais s ao hamiltonianos, apenas dois admitem ciclos hamiltonianos. Voc e deve ter notado que um n ao e conexo.

v2

v3 v7 v4 v3

v1 v4

v1

v6

v5

v2

O Problema proposto por Sir Hamilton e o problema do Cavalo s ao bem mais trabalhosos. Veja que um tem 20 v ertices e o outro 64. Aqui est ao poss veis solu c oes para o problema de Sir Hamilton e para o Problema do Cavalo. Elas n ao s ao as u nicas.

105

CEDERJ

Arvores

MODULO 4 - AULA 34

Aula 34 Arvores
Um tolo n ao v e a mesma arvore que um s abio v e. William Blake

Objetivos
Nesta aula voc e conhecer a um tipo especial de grafos: as arvores. Estes grafos s ao importantes em Ci encia da Computa c ao. Aprender a v arios crit erios que identicam se um dado grafo e uma arvore. Compreender a que todo grafo conexo admite uma arvore como subgrafo m aximo. Aprender a a unir e intersectar grafos.

Recordando...
O principal assunto desta aula s ao as a rvores, um tipo especial de grafos. No entanto, iniciaremos com uma no c ao que j a mencionamos anteriormente: subgrafos.

Subgrafos
Certamente, voc e est a acostumado a pensar nos grafos em termos de suas representa c oes gr acas. Isto e muito u til, mas vamos lembrar que um grafo e um par de conjuntos: v ertices e arestas. Observe: Sejam G = (V, A) e G = (V , A ) dois grafos. opera c oes de conjuntos para criar novos grafos: G G = (V V , A V ), Podemos usar as

G G = (V V , A V ).

Se V V e A A dizemos que G e um subgrafo de G e denotamos, simplesmente, G G. Alguns exemplos para voc e entender melhor... Sejam G e G grafos de ordem 5 e 4, respectivamente, com V (G) = {v1 , v2 , v3 , v4 , v5 } e V (G ) = {v3 , v4 , v5 , v6 }. A seguir temos suas representa c oes gr acas, bem como as representa c oes gr acas de G G e G G .
107 CEDERJ

Arvores

v1 v2 v3 v1 v2 v3
Lembre-se que K 5 denota o grafo completo de 5 v ertices.

v4

v4 v6 v3 v5 v4 v6 v3 G U G G G v5
U

v5 G v4

v5

Exemplo 39 ao tais que G1 G2 = K 5 . Os grafos G1 e G2 representados a seguir s

v1 v2 v5 v2

v5 v3

v3

v4 G1

v4 G2

v5

Neste exemplo os dois grafos t em exatamente os mesmos v ertices, mas e qualquer aresta de um deles n ao e aresta do outro. Desta forma, G1 G2 o grafo de ordem 5, com todos os v ertices isolados.

Arvores

K3
CEDERJ 108

Lembre-se que na aula anterior chamamos de ciclos os circuitos onde e o menor grafo que cont em um n ao h a repeti c ao de v ertices. O grafo K 3

Arvores

MODULO 4 - AULA 34

ciclo (e que e ele mesmo). No exemplo anterior vimos que K 5 pode ser escrito como a uni ao de dois subgrafos. Usando-os podemos ver que K 5 admite dois ciclos (hamiltonianos) de 5 v ertices:

v1 v2 v3 v4 v5 v1 ,

e v1 v3 v5 v2 v4 v1 .

Muito bem, uma arvore e um grafo conexo e que n ao tem ciclos. As arvores geneal ogicas nos fornecem exemplos de arvores. Quando um grafo G n ao tem ciclos n os o chamamos de ac clico. Com esta nota c ao uma a rvore e um grafo conexo e ac clico.

As a rvores s ao usadas, por exemplo, para representar a enumera c ao de hidrocarbonos saturados e para estudar circuitos el etricos.

CH 4 Metano

Exemplo 40 Aqui est ao representa c oes de todas as a rvores com at e 5 v ertices.

CH3CH3 Etano CH CH CH
3 2 3

Propano Butano C4H10

Isobutano (CH3 )3 CH

Os v ertices de grau 1 de uma arvore s ao chamados de folhas. Veja que se retirarmos uma folha de uma a rvore (conseq uentemente tiramos tamb em au nica aresta que a conecta ao pr oximo v ertice), o grafo restante ainda ser a uma a rvore. Isto porque o grafo continuar a conexo e ac clico. Arvores s ao grafos relativamente simples e voc e j a viu v arias ao longo das aulas de probabilidade. As arvores tamb em s ao usadas em Ci encia da Computa c ao, para, por exemplo, representar express oes alg ebricas e ordenar e armazenar informa c oes.
109 CEDERJ

Arvores

Uma a rvore.

Crit erios para determinar se um grafo e uma arvore


O seguinte teorema nos d a uma s erie de arma c oes, todas equivalentes a dizer que um determinado grafo e uma arvore. Teorema: Seja G um grafo conexo de ordem 3. As seguintes arma c oes sobre G s ao equivalentes: a) G e uma arvore; b) quaisquer dois v ertices de G s ao ligados de maneira u nica por um caminho (em G); c) G e minimamente conexo, isto e, se subtrairmos uma s o aresta de A(G), o grafo resultante n ao e conexo; d) G e maximamente ac clico, isto e, se acrescentarmos uma s o aresta ao grafo G, que conecte dois v ertices n ao adjacentes, digamos u e v , o grafo obtido G+ = (V (G), A(G) {uv }) tem um ciclo. O teorema diz que (a) (b) (c) (d). Para demonstrar tais teoremas podemos usar a seguinte estrat egia: mostramos que (a) = (b) = (c) = (d) = (a), fechando o c rculo de implica c oes. Hoje faremos algo ligeiramente diferente, por conveni encia nossa. Mostraremos (a) = (b) = (c) = (a) e (a) (d). Prova do teorema: Usaremos, em cada item da prova, o argumento de redu c ao ao absurdo ou o fato que (p q ) ( q q ).
CEDERJ 110

Arvores

MODULO 4 - AULA 34

(a) = (b) Suponha que haja dois v ertices u e v de V (G) conectados por dois caminhos (distintos). Ent ao podemos unir estes dois caminhos e obter um ciclo em G, o que e um absurdo, pois G e uma arvore.

v u

(b) = (c) Suponha que exista uma aresta a = uv em A(G) tal que o grafo obtido de G subtraindo a, G = (V (G), A(G) {uv }), seja conexo. A aresta a pertence a algum caminho ligando dois v ertices de G, digamos v1 e e conexo, existe outro caminho ligando v1 a v2 (que n ao usa a v2 . Como G aresta uv ). Mas isto nega a arma c ao (b). (c) = (a) Suponhamos que G seja minimamente conexo, mas admita um ciclo uw1 w2 . . . wk1wk vu. Ent ao, podemos extrair a aresta uv e G continuar a conexo, pois podemos substitu -la, em qualquer caminho que a utilize, pelo trecho uw1 w2 . . . wk1wk v do ciclo. Isto contradiz a arma c ao (c).

u w1 wk

w2 w3

(d) = (a) Suponhamos que G seja maximamente ac clico. Para provar que G e uma arvore falta provar que G e conexo. Suponhamos que isto n ao aconte ca. Podemos ent ao supor que existem v ertices u e v de G, cada um em uma diferente componente conexa. Isto e, n ao h a caminho em G ligando u at e v . Em particular, eles n ao s ao adjacentes. Acrescentamos uma aresta ao grafo G ligando u a v .
111 CEDERJ

Arvores

De acordo com a arma c ao (d), ao fazer isto estaremos criando um ciclo, digamos uw1 w2 . . . wk1wk vu. Mas isto e uma contradi c ao, pois uw1w2 . . . wk1 wk v e um caminho que liga u at e v. (a) = (d) Suponhamos que G n ao contenha ciclos e que haja dois v ertices u e v , n ao adjacentes, tais que ao acrescentarmos a aresta uv o grafo continuar a ac clico. Isto s o e poss vel caso u e v estejam em componentes conexas distintas de G que, portanto, n ao e conexo. Aqui termina a prova de que todas as arma c oes s ao equivalentes.

Ra zes e Arvores Bin arias


Em Ci encia da Computa c ao usa-se um tipo especial de arvores, chamadas de arvores enraizadas. Uma a rvore e enraizada quando escolhemos um de seus v ertices como especial. Este v ertice e chamado de raiz. Seja G uma a rvore enraizada cuja raiz e denotada por r . Dados dois v ertices v e w de G, suponha que v perten ca ao caminho ( unico) que liga r a w . Ent ao v e um ancestral de w e w e um descendente de v . Se vw e uma aresta de G, ent ao v e dito pai de w e w e chamado de lho de v . A raiz n ao possui pai. Se todos os pais t em, no m aximo, dois lhos, a a rvore e dita bin aria. A terminologia lembra a das a rvores geneal ogicas. Exemplo 41 Aqui est a um exemplo de uma a rvore bin aria enraizada em r e com 7 folhas.

Arvores e Express oes Alg ebricas


Mostraremos em dois exemplos como se usa arvores bin arias para representar express oes alg ebricas. Os elementos que comp oem a express ao: n umeros, constantes, vari aveis e as opera c oes que os relacionam ser ao todos representados por v ertices. As arestas indicar ao de que maneira a express ao e composta.
CEDERJ 112

Arvores

MODULO 4 - AULA 34

Exemplo 42 A arvore a seguir representa a express ao (x + y )/2z :

/ + * z 2

A a rvore deve ser lida da esquerda para a direita: primeiro x + y , depois ((x + y ) dividido por 2 vezes z . Esta a rvore tem / como raiz. Exemplo 43 A arvore da express ao
x +y 3x+y

e a seguinte:
/

**
+

*
3 x y

O s mbolo indica que a opera c ao e exponencial. Apesar da nota c ao ser inadequada e conveniente denotar duas folhas por y .

Arvore M axima
O teorema que apresentaremos agora e bonito e e usado em muitas aplica c oes de grafos. Especialmente em problemas do tipo de otimiza c ao, como buscar a maneira mais econ omica de construir uma rede de liga c oes el etricas ou de tubula c oes para a gua em uma certa a rea. Teorema: Todo grafo G conexo admite um subgrafo H tal que V (G) = V (H ) e H e uma a rvore. A prova indica uma maneira de obter tal subgrafo.
113 CEDERJ

Arvores

Prova do teorema: Se G for minimamente conexo, e uma a rvore e G = H . Caso contr ario, e poss vel subtrair uma aresta de G, obtendo um subgrafo de G que tem os mesmos v ertices que G. Agora repita a pergunta: este grafo e minimamente conexo? Procedendo assim, como o grafo e nito, chegaremos a situ ` c ao de minimalidade e obteremos o grafo H desejado. Exemplo 44 Aqui est ao dois grafos com a rvores m aximas representadas pelos tra cos mais escuros.

Para terminar, vamos enunciar um teorema que estabelece uma rela c ao entre a ordem e o n umero de arestas de uma a rvore. Teorema: Todo grafo G conexo, de ordem n, e uma a rvore se, e somente se, tem n 1 arestas. Prova do teorema: Exerc cio de indu c ao sobre o n umero de v ertices.

Exerc cios
1. Sejam G e G os grafos denidos por: V (G) = {v1 , v2 , v3 , v4 } e A(G) = {v1 v2 , v1 v3 , v2 v3 , v3 v4 }, V (G ) = {v1 , v2 , v3 , v5 } e A(G ) = {v1 v5 , v1 v2 , v2 v5 , v2 v3 , v3 v5 }. Represente G e G gracamente. Determine e represente os seguintes grafos: G G , G G , G G e G G.
CEDERJ 114

Arvores

MODULO 4 - AULA 34

2. Considere os algarismos 1, 2, . . . 8, 9 e 0, representados pelo padr ao digital:

Suponha que cada um deles represente um grafo onde os tra cos s ao as arestas e as esquinas s ao os v ertices. O n umero 1, por exemplo, e uma arvore com tr es v ertices e duas arestas. Quais algarismos representam a rvores? Quais n ao representam a rvores? Justique sua resposta. 3. Desenhe todas as a rvores com seis v ertices. (Dica: h a 6 delas.) 4. Em cada caso a seguir, desenhe um grafo satisfazendo a propriedade dada ou explique por que n ao h a um tal grafo. a) Um grafo conexo com 5 v ertices e 5 arestas. b) Uma a rvore com 5 v ertices e 5 arestas. c) Uma arvore com 7 arestas cuja soma dos graus e 12. d) Uma a rvore com 9 v ertices, com graus 3, 3, 3, 2, 1, 1, 1, 1 e 1. e) Um grafo com 7 v ertices, duas componentes conexas e 10 arestas. f) Uma a rvore com 171 v ertices e 170 arestas. g) Uma a rvore com todos os v ertices pares. 5. Cada uma das a rvores bin arias a seguir representa uma express ao alg ebrica. Encontre as tais express oes.
+

*
+ x y z a

/ b 5 x z y + 1

*
+ x

115

CEDERJ

Arvores

6. Use arvores bin arias para representar as seguintes express oes: a) 2+x 1 3 y b) 2 + (x + 3y )2 xy

7. Encontre duas a rvores m aximas que sejam subgrafos de K 5 tais que: a) Todos os v ertices tenham grau 2. b) H a um v ertice de grau 4. 8. Escreva K 7 como a uni ao de tr es grafos c clicos disjuntos.

Auto-avalia c ao
Voc e deve ter achado esta aula mais leve, apesar das muitas demonstra c oes. Nela voc e conheceu o conceito e identicou crit erios que determinam quando um grafo e uma a rvore, bem como, aprendeu a unir e intersectar estes grafos. Nunca deixe de fazer seus pr oprios testes, estudandos exemplos que voc e mesmo prop oe para entender bem os argumentos. Isto est a sendo exercitado nos v arios itens do exerc cio 4. Bom trabalho!

CEDERJ

116

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

Aula 35 Grafos Planares e o Problema da Colora c ao de Grafos


Objetivos
Nesta aula voc e aprender a o que e um grafo planar.

Compreender a como a f ormula de Euler para poliedros desempenha um papel importante tamb em na teoria de grafos.

Aprender a o que diz o Teorema da Colora c ao de Grafos Planares.

Recordando...
A aula anterior apresentou um tipo especial de grafos: as arvores. Voc e viu como a nomenclatura e adequada (apesar de desenharmos, em muitos casos, as a rvores de cabe ca para baixo). Um fato que n ao mencionamos e que toda a rvore (grafo) pode ser representada numa folha de papel. Voc e pode dizer: qual e a vantagem? Todos os nossos outros grafos s ao desenhados em folhas de papel! Muito bem, o detalhe e que podemos fazer isto sem que arestas cruzem umas sobre as outras. Voc e se lembra da aula sobre ciclos hamiltonianos? Pois e, ao apresentar o jogo inventado por Sir Hamilton, foi feita uma planica c ao do grafo associado ao dodecaedro. Este processo pode ser aplicado, na verdade, em qualquer poliedro convexo. Uma variante do processo e a seguinte: imagine uma estrutura de varetas conectadas em v ertices formando um poliedro convexo como um cubo ou um tetraedro. J a que estamos a imaginar, fa camos de conta que as varetas possam funcionar com um efeito telesc opico. Isto e, que as possamos esticar ou encolher, mas sem suprimi-las de todo. Se, al em disso, tivermos os v ertices articulados, poderemos achatar o poliedro sobre uma superf cie plana e, se tomarmos algum cuidado, conseguiremos fazer isto sem que qualquer aresta recubra alguma outra.
117 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

Aqui est ao os cinco s olidos regulares ou s olidos plat onicos com seus respectivos grafos planicados.

Grafos Planares
Diremos que um grafo e planar se pudermos dispor seus v ertices em um plano de modo que nenhum par de suas arestas se cruzem. O grafo correspondente ao tetraedro e o K 4 , o grafo simples completo de 4 v ertices. 4 Aqui est ao tr es maneiras de representar o K .

Apesar de na primeira representa c ao haver um par de arestas que se e planar. cruzam, como isto n ao ocorre com os outros, dizemos que K 4

CEDERJ

118

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

Exemplo 45 Os grafos obtidos dos mapas, como zemos na aula 31, s ao todos exemplos de grafos planares.

Exemplo 46 Vamos considerar a seguinte situa c ao: Um engenheiro civil foi chamado para ajudar com a legaliza c ao de uma constru c ao que havia sido feita sem supervis ao prossional qualicada. Tr es casas, representadas de agora em diante por C1 , C2 e C3 , estavam conectadas a uma central el etrica E , a uma central telef onica T e a uma central fornecedora de g as G. Para fazer seu trabalho o engenheiro fez um esquema que representava estas liga c oes. Ap os algumas tentativas, ele se rendeu ao fato de que era imposs vel desenhar tal esquema sem que alguma das liga c oes se cruzassem.

C1

C2

C3

Com l apis e papel voc e poder a tentar um pouco e experimentar a diculdade encontrada pelo engenheiro. Veja que no nosso desenho ainda est ao faltando algumas liga c oes. Por exemplo, casa C3 tem g as e telefone, mas n ao tem energia el etrica. O grafo que representa esta situa c ao: (as casas e as centrais s ao indicadas por v ertices e as liga c oes s ao as arestas) e chamado de K3,3 . O grafo completo K 5 e um segundo exemplo de grafo que n ao e planar. Na pr oxima se c ao provaremos que estes dois grafos n ao s ao planares. Por enquanto, contentemo-nos com a pr atica.
Lembre-se que K 5 denota o grafo completo de 5 v ertices.

119

CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

A F ormula de Euler para grafos planares conexos


bem prov E avel que voc e tenha observado, no in cio da aula, atrav es dos exemplos de grafos planares provenientes dos poliedros regulares e de mapas, que al em de v ertices e arestas, podemos estabelecer a no c ao de face. A cada face do poliedro original corresponde uma face no grafo. Cada uma destas faces e delimitada por um ciclo. No caso do tetraedro, do octaedro e do icosaedro, os ciclos s ao isomorfos a K 3 , no caso do hexaedro, vulgo cubo, s ao ciclos de quatro v ertices, enquanto que no nosso conhecido dodecaedro elas s ao ciclos de 5 v ertices. Atrav es desses mesmos exemplos, voc e deve ter observado que h a um ciclo que delimita todo o grafo. Este ciclo separa a parte limitada do desenho conveniente chamar esta regi da regi ao n ao limitada que o circunda. E ao tamb em de face. Em um momento veremos o porqu e. Se contarmos o n umero de v ertices, de arestas e de faces, veremos que a f ormula de Euler para poliedros convexos,

V A + F = 2,

continua verdadeira. Aqui indicamos por V o n umero de v ertices, A o n umero de arestas e F o n umero de faces. Ap os estas considera c oes, podemos enunciar o seguinte: Teorema: conexos. A f ormula de Euler para poliedros vale para grafos planares

Au nica coisa que precisamos olhar com um pouco mais de aten c ao e a no c ao de face. O problema e o seguinte. Dado um grafo planar conexo, obtenha uma representa c ao num plano onde n ao haja arestas cruzadas. Para aplicar a f ormula de Euler contaremos os v ertices e as arestas do grafo. Quem ser ao as faces? Nos exemplos provenientes dos poliedros e f acil. Vejamos alguns outros exemplos.
CEDERJ 120

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

Os dois primeiros grafos s ao isomorfos. Ambos t em quatro v ertices e quatro arestas. Para que a f ormula de Euler seja verdadeira neste caso, e necess ario que haja duas faces: 4 4 + 2 = 2. Estas faces s ao: uma interna e a face denida pela regi ao que circunda o grafo. Consideremos agora o terceiro grafo. Este grafo e uma a rvore, portanto ac clico. Logo ele ter a apenas uma face, aquela denida pela regi ao n ao limitada que o circunda. Como ele tem quatro v ertices, tem tr es arestas, pois e uma arvore e a f ormula se aplica tamb em neste caso: 4 3 + 1 = 2. A maneira adequada de estabelecer a no c ao de face de grafos planares e a seguinte: desenhe o grafo no plano e considere o conjunto formado pelas arestas e v ertices. Agora considere o complementar deste conjunto: o plano menos o desenho do grafo. Este conjunto divide-se em subconjuntos disjuntos, chamados de componentes conexas. Diremos que dois pontos est ao numa mesma componente se pudermos lig a-los por algum tra co cont nuo sem cruzar qualquer v ertice ou aresta do grafo G. Uma maneira de ver se voc e est a entendendo realmente, e a seguinte: Desenhe o grafo em uma folha de cartolina. Se grafo for grande pegue uma folha maior. Agora, com um estilete, fa ca um corte sobre cada uma das arestas que voc e desenhou. A cartolina dividir-se- a, eventualmente, em peda cos. O peda co maior corresponde ` a face n ao limitada. Os outro peda cos ser ao as outras faces. Note que no caso de arvores, apesar de recortarmos a cartolina, ela permanecer a sempre um s o peda co, correspondendo a um exemplo onde o grafo tem uma u nica face. Isto est a coerente, pois sabemos que uma a rvore tem n v ertices e n 1 arestas: n (n 1) + 1 = 2. Uma u ltima palavra sobre o n umero de faces. N ao provamos isto, mas este n umero n ao depende da representa c ao do grafo planar. Agora que sabemos contar as faces de grafos conexos podemos enunciar o seguinte teorema:
121 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

Teorema: Seja G um grafo planar conexo de ordem n, com m arestas e F faces. Ent a o n m + F = 2. Aqui est ao tr es grafos planares conexos. Para ter certeza que voc e entendeu a no c ao de face, veja que o teorema se aplica em cada caso. No nal da aula voc e pode conferir o seu rendimento.

Algumas palavras sobre a prova do teorema


A prova deste teorema e baseada, essencialmente, na prova da f ormula de Euler para poliedros convexos. Podemos dividir os grafos em dois tipos. No primeiro, o grafo planar e conexo e formado por ciclos, cada um deles delimitando um pol gono, em particular o grafo todo tamb em limitado por um ciclo, assim como os exemplos provenientes dos poliedros regulares. Neste caso podemos usar um processo reverso ` a planica c ao e obter um poliedro convexo correspondente ao grafo. Isto e, os v ertices e as arestas do grafo corresponder ao a v ertices e arestas do poliedro. Cada ciclo do grafo corresponder a a um pol gono, face do poliedro, sendo que a face ilimitada corresponder a a ` face que fechar a o poliedro. Como a f ormula de Euler e v alida para o poliedro, ser a v alida para o grafo. E agora, os outros casos. Eles podem ser reduzidos ao caso anterior. A id eia e a seguinte: Com algum cuidado podemos suprimir ou acrescentar arestas, sem alterar o balan co nal da f ormula de Euler, mas de forma a eliminar os casos exc entricos. Vejamos um exemplo:
CEDERJ 122

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

Se suprimirmos a aresta e o v ertice que aparecem no interior do tri angulo, no c omputo nal, a f ormula n ao ser a alterada pois, ao suprimimos um v ertice e uma aresta n ao introduziremos nenhuma nova face. Por outro lado, se acrescentarmos uma aresta extra, conectando o v ertice do interior do tri angulo a qualquer um de seus tr es v ertices, novamente a f ormula n ao ser a alterada, pois o n umero de v ertices n ao muda, uma aresta e acrescentada, mas uma nova face e criada.

Uma aplica c ao do teorema: os grafos K 5 e K3,3 n ao s ao planares


Aqui est a uma boa aplica c ao do teorema. A validade da F ormula de Euler para grafos planares e conexos imp oem a estes grafos alguma limita c ao. Vejamos no caso K 5 .

O fato e que K 5 tem muitos ciclos de 3 v ertices: ABC , ACD, ADE e assim por diante. Use an alise combinat oria para calcular quantos. Ora, 5 se pud essemos representar K sem nenhum cruzamento de arestas, cada um destes ciclos correspoderia a uma face interna. Mas neste caso a f ormula n ao seria satisfeita (muitas faces para poucas arestas).
123 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

O mesmo ocorre com K3,3 , com a diferen ca que aqui os ciclos menores poss veis t em quatro v ertices:

Exemplos s ao: ADBEA, ADCEA, AEBF A, AECF A, BDCEB , BEC F B . Novamente a f ormula de Euler n ao e satisfeita e o grafo n ao e planar.

Kazimier Kuratowski (1896 1980). Nascido na Pol onia, come cou a estudar engenharia na Esc ocia, mas devido ao in cio da Primeira Guerra Mundial, em 1914, retornou ` a Pol onia. Quando a Universidade de Vars ovia reabriu, em novembro de 1915, ele se tornou um de seus primeiros alunos de Matem atica. Em 1927 tornou-se professor em Lvov. Os matem aticos de Lvov faziam matem atica nos caf es da cidade. Os mais famosos eram O Caf e Escoc es e a Confeitaria Zalewski, freq uentada por famoso o Kuratowski. E Livro Escoc es, um caderno de problemas propostos pelos freq uentadores do Caf e Escoc es. Os temas das pesquisas de Kuratowski foram em Topologia Geral e ele provou o teorema que apresentamos aqui em 1930.

Teorema de Kuratowski
O teorema que veremos nesta se c ao diz, essencialmente, que os grafos ao as u nicas obstru c oes ` a planaridade de grafos. Eles s ao, por K 5 e K3,3 s assim dizer, os grafos n ao planares mais simples que h a e qualquer grafo n ao planar cont em um ou outro, de alguma forma. Simples, n ao? Este teorema n ao ser a demonstrado aqui. A prova n ao e particularmente dif cil, mas longa. Nosso trabalho ser a entender o sentido da frase cont em um ou outro, de alguma forma.

Subdivis ao de um grafo
Esta id eia j a foi usada na aula 32 para mostrar que um multigrafo pode ser transformado em um grafo pelo expediente de introduzir novos v ertices no interior de algumas arestas. Este processo, aplicado em grafos, e chamado de subdivis ao. Um grafo H e uma subdivis ao do grafo G se pode ser obtido de G pela subdivis ao de algumas de suas arestas, acrescentadas de novos v ertices. Dizemos tamb em que G e uma subdivis ao de si mesmo. Exemplo 47 Um grafo G e uma subdivis ao H de G:

CEDERJ

124

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

Teorema: Um grafo G e grafo planar se, e somente se, n ao cont em uma 5 subdivis ao de K ou de K3,3 . Aqui est a um teorema! ao e planar. Basta olhar os seVamos us a-lo para concluir que K 7 n 7 em uma subdivis ao de K3,3 , guintes diagramas, que mostram que K cont acrescentado de um v ertice. Veja, tamb em, o exerc cio 1.

Exemplo 48 ao e planar. Vamos usar K 5 para obter um grafo que n


125 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

v1 w1 v5 v2 w3 v4 w2 v3 v4 v5 w1

v1 v2

w3

v3 w2

Exemplo 49 O grafo que apresentamos neste exemplo e chamado de grafo de Peterson e ele n ao e planar. Mostre isto usando o Teorema de Kuratowski. A resposta est a l a no m da aula.

Teorema das Quatro Cores


Na aula 31 apresentamos o problema do n umero m nimo de cores necess arias para colorir um mapa de modo que regi oes com fronteira comum tenham cores diferentes. Note que um u nico ponto n ao e uma fronteira. Isto pois, neste caso, o problema n ao teria solu c ao, pois num mapa na forma de uma pizza fatiada, todas as regi oes tem o ponto central comum e ent ao seriam necess arias tantas cores quantas fatias tiv essemos.
CEDERJ 126

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

1 2 1

2 1 2 2 1 1 3

2 1

2 1

Note que neste mapa usaremos duas ou tr es cores, dependendo da paridade do n umero de fatias. O grafo correspondente e um ciclo com um v ertice para cada fatia. Desde que o problema fora proposto por Francis Guthrie, em 1852, o Problema das Quatro Cores intrigava matem aticos e cart ografos de todos os tipos. A arma c ao e que para colorir qualquer mapa bastam quatro cores. Um anel, dividido em tr es regi oes, circundando uma quarta, corresponde ao 4 K e demanda as quatro diferentes cores.

1 3

4
Colorir as regi oes do mapa e eq uivalente a colorir os v ertices de modo que v ertices adjacentes usem cores diferentes. Podemos ent ao perguntar: quantas cores s ao necess arias para colorir qualquer grafo planar? A resposta a esta quest ao s o surgiu quando o Teorema das Quatro Cores foi demonstrado, em 1976, por dois professores da Universidade de Illinois: Kenneth Appel e Wolgang Haken. A prova que eles apresentaram, no entanto, est a longe de ser simples. Ela ocupa centenas de p aginas com muitos diagramas. Al em disso, uma parte da prova usa computadores. Esta e a parte um pouco controversa. A an alise matem atica feita por Haken e
127 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

Appel mostrou que a prova resumia-se a analisar uma cole c ao de casos. Esta cole c ao, no entanto, e enorme. O computador fez esta parte. O problema ea enormidade de casos. A tarefa ocupou um computador r apido (da epoca) por 1200 horas. Isto tomaria uma eternidade para ser feito sem o computador. Este parece ser um dos teoremas do tipo jun c ao de um pergunta simples, de um problema sucinto com uma prova terrivelmente complicada. Terminamos esta aula enenciando o teorema da colora c ao de grafos planares: Teorema: Todo grafo planar pode ser colorido com at e quatro cores.

Exemplo 50 Use um diagrama para ver que s ao necess arias cinco cores para colorir os 5 v ertices de K de modo a n ao usar a mesma cor para v ertices adjacentes. 5 ao e planar. Por que este argumento n ao funciona no caso Conclua que K n de K3,3 ? N ao perca, na pr oxima aula!

Exerc cios
1. Mostre que os diagramas a seguir representam K3,3 . Isto e, mostre que estes grafos s ao isomorfos.

2. Calcule o menor n umero de cores necess arias para colorir os seguintes mapas:
CEDERJ 128

Grafos Planares e o Problema da Colora c ao de Grafos

MODULO 4 - AULA 35

3. Mostre que os grafos representados pelos seguintes diagramas s ao isomorfos e que eles n ao s ao planares.

4. Mostre que o seguinte grafo n ao e planar. (Dica: Tente K3,3 )

5. Mostre que K 6 n ao e planar. (Dica: encontre um K 5 .) 6. Os grafos representados abaixo s ao isomorfos? Justique sua resposta.
129 CEDERJ

Grafos Planares e o Problema da Colora c ao de Grafos

Solu co es de problemas deixados ao longo da aula


Primeiro a aplica c ao da F ormula de Euler nos tr es grafos planares. O primeiro tem 11 v ertices, 18 arestas e 8 ciclos internos. Contando com a face externa, ele tem, portanto, 9 faces: 11 18 + 9 = 2. O grafo do meio tem 8 v ertices e 10 arestas. Como tem 3 faces internas, somando com a face externa, obtemos 4 faces: 8 10 + 4 = 2. O u ltimo grafo s o n ao e uma arvore devido a um ciclo de 3 arestas: 13 v ertices, 13 arestas e 2 faces, 13 13 + 2 = 2. O grafo de Peterson e um grafo n ao planar. O diagrama a seguir mostra que ele cont em uma subdivis ao de K3,3 .

C2 T E G E

C2 T G

C1

C3

C1

C3 C1 C2 C3

CEDERJ

130

Grafos Bipartidos

MODULO 4 - AULA 36

Aula 36 Grafos Bipartidos


Objetivos
Nesta aula voc e aprender a o que e um grafo bipartido. Aprender a a distinguir os grafos bipartidos dos que n ao s ao bipartidos. Conhecer a o Teorema de Hall, que d a uma resposta para o Problema dos Casamentos. Esta ser a uma aula bem curta pois voc e deve estar se preparando para as provas nais. Aproveite bem o seu tempo!

O Problema dos Casamentos


N ao, esta n ao e uma se c ao de aconselhamento conjugal. O problema e o seguinte: h a um grupo de mo cas e um grupo rapazes, cada uma das mo cas conhece alguns dos rapazes. Sob quais condi c oes as mo cas podem casar-se com os rapazes (poligamia n ao vale!) de modo que cada mo ca case-se com um dos rapazes que ela conhe ca? Veja que se o n umero de rapazes for menor que o n umero de mo cas, o problema n ao tem solu c ao. Lembre-se do Princ pio das Gavetas! Mesmo que o n umero de mo cas seja menor, ou igual, ao n umero de rapazes, o problema pode n ao ter solu c ao, devido a ` imposi c ao de que cada mo ca case-se com um dos rapazes que ela conhe ca. Vamos ilustrar a situa c ao por um diagrama. As mo cas e os rapazes ser ao representados por pontos e caso a mo ca mi conhe ca o rapaz rj uniremos os pontos mi e rj por um segmento reta ou de arco. O problema consiste em encontrar uma fun c ao injetora do conjunto das mo cas no conjunto dos rapazes com a propriedade de que cada mi seja adjacente ` a sua imagem.

131

CEDERJ

Grafos Bipartidos

Exemplo 51 Aqui est ao quatro possibilidades:

No caso A as duas mo cas conhecem apenas um dos rapazes. Neste caso o problema n ao tem solu c ao. O mesmo ocorre no caso B, pois uma das mo cas n ao conhece nenhum rapaz. No caso C h a duas poss veis solu c oes: como uma das mo cas conhece apenas um dos rapazes, ela casa-se com ele e a outra jovem pode escolher entre dois candidatos. Esperamos que ela escolha o melhor. O caso D tamb em tem mais do que uma solu c ao. Voc e sabe quantas? O problema gen erico que acabamos de ilustrar e conhecido como o Problema dos Casamentos e pode ser expresso em termos puramente matem aticos. Hoje, no entanto, esta vers ao nos basta. Sua resposta encontra-se no seguinte teorema, provado em 1935, por Philip Hall: Teorema: Suponha que um conjunto de k mo cas e l rapazes pretendam casar-se; cada uma das mo cas conhece alguns dos rapazes; cada mo ca quer casar-se com um dos rapazes que ela conhe ca. Para que isto seja poss vel e necess ario e suciente que cada subconjunto de i mo cas conhe ca, coletivamente, pelo menos i rapazes, 1 i k .

CEDERJ

132

Grafos Bipartidos

MODULO 4 - AULA 36

Prova do Teorema: A condi c ao e necess aria, e claro, pois se n ao e poss vel casar um n umero menor de garotas, n ao ser a poss vel casar o conjunto todo. A prova de que a condi c ao e suciente ser a por indu c ao sobre o n umero de garotas. claro que o teorema E e verdadeiro caso haja uma s o garota. Vamos supor que o teorema seja verdadeiro para qualquer conjunto com k 1 garotas. Dividiremos os poss veis casos em dois tipos. a) Suponha que cada conjunto de k mo cas (1 k < m) conhece coletivamente pelo menos k + 1 rapazes. Isto e, a condi c ao e verdadeira com um rapaz de sobra. Uma das garotas escolhe e casa-se com um dos rapazes que ela conhece. Neste caso, a condi c ao original permanece verdadeira para as outras m 1 garotas. Devido a ` hip otese de indu c ao, as outras m 1 garotas tamb em podem casar-se! b) Suponha agora que n ao haja rapazes sobrando. Isto e, suponha que haja um certo conjunto de k garotas que conhece, coletivamente, k dos rapazes. Estas k garotas podem casar-se com os k rapazes, cando por casar m k garotas. Mas, qualquer subconjunto com h mo cas entre estas m k restantes, 1 h m k , conhece h dos rapazes ainda n ao casados. Isto e verdade pois sen ao, estas h mo cas mais aquelas j a casadas formariam um conjunto de h + k mo cas que conheceria coletivamente menos do que h + k rapazes. Isto contraria nossa hip otese. Portanto, as condi c oes originais tamb em valem para estas m k mo cas e, por indu c ao, elas tamb em podem casar-se. Desta forma, o teorema est a provado e eles foram felizes para sempre! Este problema e um problema t pico de An alise Combinat oria que se relaciona com grafos. Mas nosso assunto e grafos!! Voltemos ao tema de nossa aula: a fam lia de grafos na qual podemos considerar as quest oes como a que acabamos de ver: os grafos bipartidos.

Grafos Bipartidos
Dizemos que G e um grafo bipartido se V (G) = V1 V2 com V1 V2 = e cada aresta de G tem um de seus v ertices em um dos conjuntos Vi e o outro v ertice no outro conjunto Vj . Em outras palavras, um grafo e bipartido se pudermos colorir seus v ertices com exatamente duas cores e de modo que cada aresta tenha um v ertice de cada cor.
133 CEDERJ

Grafos Bipartidos

Exemplo 52 Denotamos por Kr,s o grafo bipartido completo onde V1 tem r elementos e V2 tem s elementos. Completo signica que cada elemento de V1 e adjacente e j a est a bem familiarizado com o K3,3 , um a todos os elementos de V2 . Voc grafo que temos usado em outras aulas. Observe:

K 2,2

K 2,3

K 1,5

Os v ertices que pertencem a V1 est ao circundados por c rculos, enquanto ao indicados por cruzes. que os v ertices que pertencem a V2 est Exemplo 53 Aqui est ao tr es grafos bipartidos e tr es grafos que n ao s ao bipartidos.

O principal teorema desta aula caracteriza os grafos bipartidos. Teorema: Um grafo G e bipartido se, e somente se, cada um de seus ciclos e de ordem par. Voc e pode observar como o teorema se aplica nos exemplos apresentados antes do teorema. Uma conseq u encia imediata do teorema e o seguinte corol ario, sobre arvores.
CEDERJ 134

Grafos Bipartidos

MODULO 4 - AULA 36

Corol ario: Se grafo G e uma a rvore, ent ao G e bipartido. Prova do Corol ario: A condi c ao e satisfeita por vacuidade, isto e, como as a rvores n ao t em ciclos, a arma c ao todos os seus ciclos s ao de ordem par e verdadeira. Prova do Teorema: (Prova de =) Suponhamos que G seja um grafo bipartido. Seja V (G) = V1 V2 uma parti c ao do conjunto de v ertices tal que cada aresta tem um de seus v ertices em V1 e o outro em V2 . Temos que vericar que todos os ciclos t em um n umero par de v ertices (e de arestas). Seja Cn um ciclo de ertice de Cn adjacente a v1 . G e seja v1 um elemento de Cn V1 . Seja v2 um v Ent ao v2 Cn V2 . Seja v3 Cn o outro v ertice adjacente a v2 (diferente de v1 ). Ent ao v3 V1 . Prosseguindo assim temos que elementos alternados e par. Imagine um colar de p erolas de Cn pertencem ao mesmo Vi . Logo, n brancas e rosas, com as p erolas adjacentes de cores diferentes. Mesmo sem cont a-las, podemos armar que h a um n umero par de p erolas.

vn v1

v2 v3

(Prova de =) Um grafo e bipartido se, e somente se, cada uma de suas componentes conexas e um grafo bipartido. Isto signica que basta provarmos a arma c ao para grafos conexos. Suponhamos que G e um grafo conexo onde todos os seus ciclos t em ordem par. Para provar que G e bipartido temos que dividir os conjuntos dos seus v ertices em dois subconjuntos disjuntos, tais que cada aresta tem um extremo em cada conjunto. Para fazer isto vamos considerar o conceito de dist ancia entre dois v ertices de um grafo conexo. Sejam v e w dois v ertices de G, um grafo conexo. Denimos a dist ancia entre v e w como sendo o comprimento (i.e., o n umero de arestas) do caminho mais curto ligando v at e w . Denotamos este n umero por d(v, w ).
135 CEDERJ

dist ancia entre dois v ertices

Grafos Bipartidos

v w

d (v,w) = 2
Agora estamos prontos para terminar a demonstra c ao. Escolha um v ertice v de G. Vamos dividir V (G) em dois subconjuntos: o subconjunto dos v ertices que est ao a uma dist ancia mpar de v , denotado por V1 e o subconjunto dos v ertices que est ao a uma dist ancia par de v , denotado por V2 . Note que v V2 , pois d(v, v ) = 0. Esta parti c ao pode ser feita em qualquer grafo. O que temos que mostrar e: se todo ciclo de G e de ordem par, ent ao o grafo e bipartido. Devemos ertice de V2 . mostrar que qualquer aresta conecta um v ertice de V1 a um v Vamos, mais uma vez, argumentar pelo m etodo de redu c ao ao absurdo. Suponhamos que haja uma aresta ligando os v ertices u e w de V2 . Como as dist ancias de u e w at e v s ao pares, h a dois caminhos, um ligando v at eueo outro ligando v at e w . Se acrescentarmos a estes dois caminhos a aresta da qual estamos supondo a exist encia, produziremos um ciclo de grau mpar, o que e um absurdo, pois tal ciclo n ao existe, por hip otese. Logo, n ao existe tal aresta. Aqui est ao duas poss veis situa c oes com o ciclo de ordem mpar.

v d (v,u) = 2 d (v,w) = 4 u C5 w C1 u

O mesmo argumento mostra que n ao h a arestas conectando dois v ertices em V1 . O grafo e bipartido.

CEDERJ

136

Grafos Bipartidos

MODULO 4 - AULA 36

Exerc cios
1. Mostre que K1,n e uma arvore. 2. Mostre que o Problema do Casamento tem solu c ao no caso em que o grafo que representa quais das m mo cas conhece os l rapazes e do tipo Km,l (m l). e bipartido? 3. Para quais valores de n o grafo K n 4. O diretor de um P olo do CEDERJ precisa contratar alguns tutores para as disciplinas Geometria, Matem atica Discreta, Pr e-C alculo e Introdu c ao a ` Inform atica. Ap os uma s erie de provas e entrevistas, ele obt em as seguintes informa c oes: um dos pretendentes ` a tutoria est a capacitado para Geometria, um para Matem atica Discreta, um para Geometria e Pr e-Calculo e dois para Pr e-C alculo e Introdu c ao a ` Inform atica. Ser a que o diretor conseguir a tutores para cada uma das disciplinas? Fa ca uma an alise da situa c ao sob o ponto de vista do Teorema de Hall. 5. Mostre que um grafo G e bipartido se, e somente se, para um v ertice xado v0 n ao h a aresta vw tal que d(v0 , v ) = d(v0 , w ).

Despedida e at e breve!
Esta eau ltima aula da disciplina. Parab ens! Voc e fez uma boa jornada. Ao longo destas aulas voc e viu como a Matem atica e rica e diversa. Como suas id eias t em grande for ca e beleza. Um mundo cheio de novidades e supresas aguarda por voc e nas pr oximas disciplinas. Voc e agora est a melhor preparado para enfrentar as diculdades, apreciar as coisas belas, enm, fazer bom uso deste mundo maravilhoso de id eias! Com dedica c ao e anco voc e poder a progredir imensamente. Lembre-se, as u nicas limita c oes s ao denidas por voc e mesmo! Pense grande e irradie, com generosidade, os conhecimentos que voc e adquiriu aqui. Eles s ao patrim onio de todos e cabe a voc e zelar por eles, de agora em diante. A Matem atica e poderosa; feita com arte, irresist vel. dapr` es Eur pedes

137

CEDERJ

Solu c oes de exerc cios selecionados

Solu c oes de exerc cios selecionados


Tabelas-verdade e leis da l ogica
Exerc cio 1. p V V F F q V F V F p q V V F V p q F F F V (p q ) p F F F V

Argumentos e Provas
Exerc cio 3. V alido. Exerc cio 4. V alido. Exerc cio 5. Inv alido. Exerc cio 6. Inv alido. Exerc cio 7. V alido. Exerc cio 8. V alido. Exerc cio 9. Inv alido.

O nascimento de uma teoria: o Problema das Pontes de K onigsberg


Exerc cio 1. Sabemos que a soma dos graus dos v ertices e o dobro do n umero das arestas. Portanto, este grafo tem 5 arestas. Este grafo tem um v ertice isolado pois h a um v ertice de grau 0. Exerc cio 2. a) Sim. b) N ao. c) N ao. d) N ao, pois um dos v ertices teria grau 5 e h a, no total, apenas 4 v ertices. Exerc cio 5. Os grafos 1 e 3 da primeira linha s ao isomorfos. O grafo 1 da segunda linha e isomorfo ao grafo 2 da terceira linha. (Bonito, n ao?) H a mais dois grafos isomorfos um ao outro.
139 CEDERJ

Solu c oes de exerc cios selecionados

Grafos eulerianos
Exerc cio 2. Os grafos da primeira linha s ao todos conexos. Os grafos da segunda linha n ao s ao conexos. Exerc cio 3. Primeira linha: O primeiro n ao e conexo. O segundo e o K4 e n ao admite circuito euleriano nem e atravess avel. O terceiro e o K5 e e euleriano. Segunda linha: O primeiro n ao admite circuito euleriano mas e atravess avel. O segundo e euleriano e o terceiro e apenas atravess avel. Terceira linha: O primeiro n ao admite circuito euleriano e n ao e atravess avel. O segundo n ao admite circuito euleriano mas e atravess avel. O terceiro e euleriano.

Grafos hamiltonianos
Primeira linha: o primeiro n ao admite circuito hamiltoniano. Os outros dois admitem. Segunda linha: Os tr es grafos admitem circuitos hamiltonianos. Terceira linha: O primeiro n ao admite, o outro, admite. Quarta linha: Nenhum dos dois grafos admitem circuitos hamiltonianos. Quinta linha: Ambos admitem circuitos hamiltonianos. Exerc cio 3. Se n ou m e mpar, o grafo admite um ciclo hamiltoniano. Se n e m s ao pares o grafo n ao admite ciclo hamiltoniano, apesar de admitir um caminho hamiltoniano. (Este e um exerc cio bonito.)

Arvores
Exerc cio 2. H a 6 a rvores. Se considerarmos 2 e 5 como uma s o a rvore, a resposta e 5. Exerc cio 4. N ao existe um tal grafo nos itens b, c, e, g. Exerc cio 5. (x + y )z
a b

( x + y )z 5 +

x+1 . y 2

CEDERJ

140