Escolar Documentos
Profissional Documentos
Cultura Documentos
Apostila Grafo
Apostila Grafo
Busca em grafo
Vrios problemas representados por um grafo podem ser resolvidos efetuando uma busca
nesse grafo. A busca em grafo consiste em explorar um grafo, de forma que obtenha um
processo sistemtico de como caminhar por seus vrtices e arestas. s vezes preciso
visitar todos os vrtices de um grafos, as vezes o problema pode ser resolvido visitando
somente um subconjunto dos vrtices.
Se o grafo for uma rvore, esta questo se torna simples, podem utilizar as visitas em prordem, ou ordem de nvel.
Algoritmos de percurso
Existem dois mtodos de percurso em grafos: percurso em profundidade (depth-first
search DFS) e o percurso em largura (breadth first search BFS).
A ideia bsica do DFS buscar "mais a fundo" no grafo quando possvel. Assim, a partir
de um vrtice v, as arestas ainda no exploradas o so e, ao final, a busca retrocede.
A idia do BFS bastante simples: os vrtices do grafo so visitados nvel a nvel, ou
seja, todos os vrtices a uma distncia k do vrtice inicial so visitados antes de qualquer
vrtice a uma distncia k +1 do inicial.
Referncias
http://www.icmc.sc.usp.br/manuals/sce183/gfbus.html
Histrico
O artigo de Leonhard Euler, publicado em 1736, sobre o problema das sete pontes de
Knigsberg, considerado o primeiro resultado da teoria dos grafos. [1] tambm
considerado um dos primeiros resultados topolgicos na geometria; isto , no
dependente de quaisquer medidas. Isso ilustra a profunda conexo entre a teoria dos
grafos etopologia.
um conjunto V de vrtices,
um conjunto E de arestas e
um conjunto V de vrtices,
um conjunto E de arestas e
finito, ento a valncia total dos vrtices o dobro do nmero de arestas. Em um dgrafo,
distingue-se o grau de sada (o nmero de arestas saindo de um vrtice) e o grau de
entrada (o nmero de arestas entrando em um vrtice). O grau de um vrtice igual
soma dos graus de sada e de entrada.
Dois vrtices so considerados adjacentes se uma aresta existe entre eles. No grafo
acima, os vrtices 1 e 2 so adjacentes, mas os vrtices 2 e 4 no so. O conjunto
de vizinhos de um vrtice consiste de todos os vrtices adjacentes a ele. No grafoexemplo, o vrtice 1 possui 2 vizinhos: vrtice 2 e vrtice 5. Para um grafo simples, o
nmero de vizinhos de um vrtice igual sua valncia.
Na computao, um grafo finito direcionado ou no-direcionado (com,
digamos, n vrtices) geralmente representado por sua matriz de adjacncia:
uma matriz n-por-n cujo valor na linha i e coluna j fornece o nmero de arestas do i-simo
ao j-simo vrtices.
Se for possvel estabelecer um caminho de qualquer vrtice para qualquer outro vrtice
de um grafo, diz-se que o grafo conexo. Se for sempre possvel estabelecer um
caminho de qualquer vrtice para qualquer outro vrtice mesmo depois de remover k-1
vrtices, ento diz-se que o grafo est k-conexo. Note que um grafo est k-conexo se, e
somente se, contm k caminhos independentes entre qualquer par de vrtices. O grafo de
exemplo acima conexo (e portanto 1-conexo), mas no 2-conexo.
Em um grafo genrico G, o corte associado a um conjunto X de vrtices o conjunto de
todas as arestas que tm uma ponta em X e outra em V(G) - X, onde V(G) o conjunto de
todos os vrtices pertencentes ao grafo G.
Grafo completo o grafo simples em que, para cada vrtice do grafo, existe uma
aresta conectando este vrtice a cada um dos demais. Ou seja, todos os vrtices do
grafo possuem mesmo grau. O grafo completo de n vrtices frequentemente
denotado por Kn. Ele tem n(n-1)/2 arestas (correspondendo a todas as possveis
escolhas de pares de vrtices).
Lao (loop) num grafo ou num digrafo uma aresta e em E cujas terminaes
esto no mesmo vrtice.
Ciclo (ou circuito) um caminho que comea e acaba com o mesmo vrtice. Ciclos
de comprimento 1 so laos. No grafo de exemplo, (1, 2, 3, 4, 5, 2, 1) um ciclo de
comprimento 6. Um ciclo simples um ciclo que tem um comprimento pelo menos de
3 e no qual o vrtice inicial s aparece mais uma vez, como vrtice final, e os outros
vrtices aparecem s uma vez. No grafo acima, (1, 5, 2, 1) um ciclo simples. Um
grafo chama-se acclico se no contm ciclos simples.
Grafo planar aquele que pode ser representado em um plano sem qualquer
interseco entre arestas. O grafo do exemplo planar; o grafo completo
de n vertices, para n> 4, no planar.
Caminho uma sequncia de vrtices tal que de cada um dos vrtices existe uma
aresta para o vrtice seguinte. Um caminho chamado simples se nenhum dos
vrtices no caminho se repete. O comprimento do caminho o nmero de arestas
que o caminho usa, contando-se arestas mltiplas mltiplas vezes. O custo de um
caminho num grafo balanceado a soma dos custos das arestas atravessadas. Dois
caminhos so independentes se no tiverem nenhum vrtice em comum, excepto o
primeiro e o ltimo.
Caminho
hamiltoniano em
um
grafo
caminho
que
visita
cada vertice exatamente uma vez. Um ciclo hamiltoniano um ciclo que visita cada
vrtice uma s vez. O grafo do exemplo contm um caminho hamiltoniano. Enquanto
determinar se um dado grafo contm um caminho ou ciclo euleriano trivial, o mesmo
problema para caminhos e ciclos hamiltonianos extremamente rduo.
Grafo bipartido o grafo cujos vrtices podem ser divididos em dois conjuntos,
nos quais no h arestas entre vrtices de um mesmo conjunto. Para um grafo ser
bipartido ele no pode conter circuitos de comprimento mpar.
1. Se um grafo G bipartido, todo o circuito de G possui comprimento
par.
grafo bipartido.
A propriedade especial est no fato de a rvore no possuir ciclos: dados dois vrtices
quaisquer, existe exatamente 1 caminho entre eles. Um percurso em extenso visitar
cada n comeando do menor nvel e move-se para os nveis mais altos nvel aps nvel,
visitando cada n da esquerda para a direita. Sua implementao direta quando uma fila
utilizada. Depois que um n visitado, seus filhos, se houver algum, so colocados no
final da fila e o n no incio da fila visitado. Assim, os ns do nvel n+1 sero visitados
somente depois de ter visitados todos os ns do nvel n. Computa a menor distncia para
todos os vrtices alcanaveis. O sub-grafo contendo os caminhos percorridos chamado
de breadth-first tree.
Conjuntos de Grafos
Conjunto independente
Clique
Problemas de roteamento:
conjectura da reconstruo
Rotulao cannica?
Algoritmos importantes
algoritmo de Dijkstra
algoritmo de Kruskal
algoritmo de Prim.
Generalizaes
Num hipergrafo uma aresta pode conectar mais que dois vrtices.
Um grafo no-direcionado pode ser visto como um complexo simplicial consistindo
de smplices de uma dimenso (as arestas) e smplices de dimenso zero (os vrtices).
Ou seja, complexos so generalizaes de grafos que permitem smplices de maiores
dimenses.
Grafo orientado
Origem: Wikipdia, a enciclopdia livre.
(algumas vezes
)(edge) de:[4][5][6]
Terminologia bsica
Um arco
considerado ser direcionado de para ; chamado
de cabea e chamado de cauda do arco; dito ser um sucessor direto de , e
dito ser um predecessor direto de . Se um caminho composto por um ou mais arcos
sucessivos leva de para , ento dito ser um successor de , e dito ser
umpredecessor de . O arco
chamado de arco
invertido.
Um grafo direcionado G chamado de simtrico se, para cada arco, que pertence G, o
arco invertido correspondente tambm pertence G. Um grafo dirigido simtrico sem
laos equivalente a um grafo no orientado com os pares de arcos invertidos substitudo
por arestas, assim o nmero de arestas igual ao nmero de arcos pela metade.
A orientao de um grafo grafo no-direcionado simples obtida atravs da atribuio de
um sentido para cada lado. Qualquer grafo direcionado construdo desta forma
chamado de um grafo orientado. A distino entre um grafo direcionado simples e um
grafo orientado que se e so vrtices, um grafo direcionado simples permite
tanto
quanto
[5]
orientado.
. Um vrtice
chamado de fonte, uma vez que a origem de cada uma das suas
chamado
balanceado.
Conectividade de digrafos
Um digrafo G chamado de fracamente conectado (ou apenas conectado[4]p. 19) se
o grafo subjacente no-direcionado obtido atravs da substituio de todas as
arestas de G por arestas no direcionadas um grafo conexo. Um digrafo
fortemente conectado ou forte se ele contm um caminho orientado de u a v e um
caminho orientado de v a upara cada par de vrtices u,v. Os componentes fortes so
os subgrafos mximo fortemente conectados.
Classes de digrafos
Conceitos e Vocabulrio
Um estado descreve um n de comportamento do sistema em que est espera de uma
condio para executar uma transio. Normalmente, um estado introduzido quando o
sistema no reage da mesma forma para uma mesma condio. No exemplo de um
sistema de rdio de carro, quando se est ouvindo uma estao de rdio, o estmulo
"prximo" significa ir para a prxima estao. Mas quando o sistema est no estado de
CD, o estmulo "prximo" significa ir para a prxima faixa. O mesmo estmulo desencadeia
aes diferentes, dependendo do estado atual. Em algumas representaes de estado
finito mquina, tambm possvel associar aes a um estado:
Representao
Estado A
Estado B
Estado C
Condio X
...
...
...
Condio Y
...
Estado C
...
Condio Z
...
...
...
enviar um evento
receber um evento
iniciar um temporizador
cancelar um temporizador
deciso
SDL incorpora tipos bsicos de dados chamado Abstract Data Types, uma linguagem de
ao, e uma semntica de execuo, a fim de tornar a mquina de estados finitos
executvel. Um exemplo visto na figura 1.
[editar]Outros diagramas de estado
Existem vrias outras maneiras de se representar uma FSM, assim como mostrado na
figura 2.
Um exemplo o HDL:
Em HDL (Hardware Description Language) ou LDH(Lingugem de Descrio de Hardware)
possvel criar mquinas de estado simples e de descrio intuitiva. feito o uso de
estados nomeados para os quais no h valores binrios definidos. Em VHDLexistem as
palavras-chave como TYPE por exemplo, que define o tipo enumerado em VHDL. O
projetista lista em nomes simblicos (diferentes das palavras-chave) todos os possveis
valores que um sinal, varivel ou porto que declarado como sendo deste tipo pode
assumir. O valor binrio determinado pelo compilador, deixando o trabalho do projetista
mais simples.
Uso
Alm de seu uso na modelagem de sistemas reativos aqui apresentados, autmatos de
estados finitos so significativos em diversas reas, incluindo engenharia eltrica,
lingustica, cincia da computao, filosofia, biologia, matemtica e lgica. Mquinas de
estados finitos so uma classe de autmatos estudada na teoria dos autmatos e teoria
da computao. Em cincia da computao, mquinas de estados finitos so amplamente
utilizados na modelagem do comportamento do aplicativo, design de sistemas digitais de
hardware, engenharia de software, compiladores, protocolos de rede, e o estudo da
computao e linguagens.
[editar]Classificao
Existem dois grupos: Aceitadores/Reconhecedores e Transdutores.
[editar]Aceitadores e reconhecedores
Fig. 4: Representao de uma FSM. Este exemplo mostra uma FSM que determina se um
nmero binrio tem um nmero par ou mpar de 0's, onde S 1 um estado de aceitao.
Estados de aceitao so aqueles em que a mquina relata que a seqncia de entrada,
como processadas at agora, membro da linguagem que ela aceita. geralmente
representado por um crculo duplo. Um exemplo de um estado de aceitao aparece na
figura 4: um autmato finito determinstico (AFD) que detecta se a seqncia de
entrada binria contm um nmero par de 0's. S1 (que tambm o estado inicial) indica o
estado no qual um nmero par de 0's foi dado na entrada. S 1 , portanto, um estado de
aceitao. Esta mquina vai terminar em um estado de aceitao se a seqncia binria
contm um nmero par de 0's (incluindo qualquer seqncia binria que no contenham
0's). Exemplos de cadeias aceitas por este AFD so: epsilon (a cadeia vazia), 1, 11, 11 ...,
00, 010, 1010, 10110, etc.
Transdutores
Transdutores geram uma sada baseada em uma entrada e/ou um estado utilizando
aes. Eles so utilizados para aplicaes de controle.
A sada produzida por um contador ou uma mquina de estado pode vir diretamente das
sadas do flip-flop, ou alguns circuitos lgicos. As duas variaes so chamadas de
modelo Mealy de circuitos sequencial e modelo Moore.
No modelo Mealy, os sinais de sada tambm so controlados por sinais de entrada
adicionais, enquanto o modelo Moore no possui nenhum controle externos para os sinais
de sada gerados.A sada do modelo Moore funo apenas do estado atual do flip-flop.
As sadas de um circuito de tipo Moore sero completamente sncronas em relao ao
clock do circuito, enquanto sadas produzidas por um circuito de tipo Mealy podem mudar
assincronamente.
Mquina de Moore
A FSM utiliza apenas aes de entrada, i.e. a sada depende somente do estado. A
vantagem do modelo de Moore a simplificao do comportamento. Consideremos
por exemplo uma FSM de Moore de uma porta de elevador com 4 estados
"Aberta", "Fechada", "Abrindo", "Fechando". A mquina de estados reconhece dois
comandos: "comando_abrir" e "comando_fechar" que disparam a alterao de
estado. A ao de entrada (E:) no estado "Abrindo" liga o motor que abre a porta, a
ao de entrada no estado "Fechando" liga o motor na outra direo, fechando a
porta. Os estados "Aberta" e "Fechada" no desempenham nenhuma ao. Eles
sinalizam para o mundo externo (e.g. para outras mquinas de estado) a situao:
"porta est aberta" ou "porta est fechada".
Semnticas Alternativas
H outros conjuntos de semntica disponvel para representar mquinas de
estado. Por exemplo, existem ferramentas para modelagem e lgica para projetar
controladores incorporados.[1] Eles combinam mquinas de estado hierrquico,
grficos de fluxo e tabelas de verdade para uma linguagem, resultando em um
diferente formalismo e conjunto de semntica. [2] A Figura 6 ilustra esta mistura de
mquinas de estado e grficos de fluxo com um conjunto de estados para
representar o estado de um cronmetro e um grfico de fluxo para controlar os
tiques do relgio. Estes grficos, como mquinas de estado originais de Harel,
[3]
apoiam os estados hierarquicamente aninhados, regies ortogonais, aes do
estado, e as aes de transio.[4]
Lgica da FSM
Uma mquina de estados finitos tipo aceitador uma quntupla <, S, s0, , F>,
onde:
a funo de sada.
Gramtica
Linguagem
Reconhecedor
Tipo-0
Irrestrita
Recursivamente
enumervel
Mquina de Turing
--
--
Recursiva
Tipo-1
Sensvel ao
contexto
Sensvel ao contexto
Autmato linearmente
limitado
Tipo-2
Livre de
contexto
Livre de contexto
Tipo-3
Regular
Regular
Autmato finito
Implementao
Aplicaes de Hardware
Referncias
1. Tiwari, A. (2002). Formal Semantics and Analysis Methods for Simulink
Stateflow Models.
Ligaes externas
Algoritmo
Origem: Wikipdia, a enciclopdia livre.
sapatos. Fica claro que o primeiro algoritmo mais difcil de executar que o segundo
apesar de ambos levarem ao mesmo resultado.
O conceito de um algoritmo foi formalizado em 1936 pela Mquina de Turing de Alan
Turing e pelo clculo lambda de Alonzo Church, que formaram as primeiras fundaes
da Cincia da computao.
Etimologia
A palavra bastante interessante, pois numa anlise breve parece que algum quis
escrever "logaritmo" mas trocou as primeiras quatro letras. Os historiadores da
palavraalgoritmo encontraram a origem no sobrenome, Al-Khwarizmi, do
matemtico persa do sculo IX Mohamed ben Musa[4], cujas obras foram traduzidas no
ocidente cristo nosculo XII, tendo uma delas recebido o nome Algorithmi de numero
indorum, sobre os algoritmos usando o sistema de numerao decimal (indiano). Outros
autores, entretanto, defendem a origem da palavra em Al-goreten (raiz - conceito que se
pode aplicar aos clculos).[5] Algebra e algorismo tambm formam formas corrompidas da
palavra, pois as pessoas esqueciam as derivaes originais. O dicionrio Vollstndiges
Mathematisches Lexicon (Leipzig, 1747) refere a palavra "Algorithmus"; nesta designao
est combinado as noes de quatro calculos aritmticos, nomeadamente
a adio, multiplicao, subtrao e diviso. A frase "algorithmus infinitesimalis" foi na
altura utilizado para significar; "maneiras de calcular com quantidades infinitsimas"
(pequenas), uma inveno de Leibnitz. Tambm conhecido no meio financeiro, como
"algos".[6]
[editar]Formalismo
Programao linear
Ver tambm
Estrutura de dados
Autmato
Teoria da computao
Algoritmo probabilstico
Algoritmo de Euclides
Ligaes externas
Grafo nulo
Origem: Wikipdia, a enciclopdia livre.
Grafo nulo
vrtices
arestas
Automorfismos 1
No campo da matemtica da teoria dos grafos, o grafo nulo ou o grafo vazio ou
o grafo sem nenhum vrtice e (portanto) sem arestas, ou qualquer grafo sem arestas.
O grafo nulo (no sentido original) o objeto inicial na categoria de grafos, de acordo com
algumas definies de categoria de grafos. No tendo nenhum vrtice, o grafo nulo,
portanto, tambm no tem componentes ligados. Assim, embora o grafo nulo seja
umafloresta (um grafo sem ciclos), no uma rvore, uma vez que as rvores tm
componente ligados.
Grafo sem arestas
Grafo sem arestas
vrtices
arestas
Automorfismos n!
Nmero
cromtico
Propriedades
Integral
Simtrico
Notao
Alguns autores entendem que um termo melhor para o ltimo sentido (V, { }) para
qualquer conjunto V o mais explcito grafo sem arestas. Assim se reserva o termo grafo
nulo para o primeiro sentido: um grafo sem quaisquer vrtices. Outros, ainda, fazem essa
distino, aplicando o rtulo vazio para esses grafos sem arestas.
O grafo sem arestas de n-vrtices o grafo complementar para o grafo completo
por isso comumente denotado como
.
,e
Mesmo que esta definio forneca uma base slida para a definio de certas operaes
sobre grafos (por exemplo: decomposio) considerando-se grafos como conjuntos de
vrtices e arestas (V,E), esta definio levanta um problema na singularidade do elemento
nulo dos grafos.
Grafo regular
Origem: Wikipdia, a enciclopdia livre.
Famlias de grafos definidos por seus
automorfismos
distnciatransitivo
distnciaregular
simtrico
(arcotransitivo
)
t-transitivo, t
2
fortemente
regular
(se conectado)
transitivo
nos
vrtices e
nas
arestatransitivo e
regular
arestatransitivo
arestas
vrticetransitivo
grafo de
Cayley
regular
anti-simtrico
assimtric
o
Em Teoria dos grafos, um grafo regular um grafo onde cada vrtice tem o mesmo
nmero de adjacncias, i.e. cada vrtice tem o mesmo grau ou valncia. Um grafo
direcionado regular tambm deve satisfazer a condio mais forte de que o grau de
entrada e o grau de sada de cada vrtice sejam iguais uns aos outros.[1] Um grafo regular
com vrtices de grau k chamado um grafok-regular ou grafo regular de grau k.
Grafos regulares de grau no mximo 2 so fceis de classificar: Um grafo 0-regular
composto por vrtices desconectados, um grafo 1-regular consiste de arestas
desconectadas, e um grafo 2-regular consiste de ciclos desconectados.
Um grafo 3-regular conhecido como um grafo cbico.
Um grafo fortemente regular um grafo regular, onde cada par de vrtices adjacentes tem
o mesmo nmero l de vizinhos em comum, e cada par de vrtices no-adjacentes tem o
mesmo nmero n de vizinhos em comum. Os menores grafos que so regulares, mas no
fortemente regulares so os grafos ciclos e os grafos circulantes em 6 vrtices.
O grafo completo
grafo 0-regular
grafo 1-regular
grafo 2-regular
grafo 3-regular
Propriedades algbricas
Seja A a matriz de adjacncia de um grafo. Ento, o grafo regular se e somente
se
um autovetor de A..[2] Seu autovalor ser o grau constante do grafo.
Autovetores correspondentes a outros autovalores so ortogonais a , assim como para
tais autovetores
, ns temos
2. a b Cvetkovi, D. M.; Doob, M.; and Sachs, H. Spectra of Graphs: Theory and
Applications, 3rd rev. enl. ed. New York: Wiley, 1998.
Ligaes externas
Multigrafo
Origem: Wikipdia, a enciclopdia livre.
, sendo
Alguns autores tambm consideram multigrafos aqueles que tm laos, isto , uma aresta
que conecta um vrtice a ele mesmo[1]; outros chamam estes de pseudografos,
reservando o termo multigrafo para os casos em que no h laos[2].
Multigrafos podem ser usados, por exemplo, pra modelar as possveis conexes de vo
oferecidas por uma linha area. Nesse caso o pseudografo seria um grafo dirigido com
pares de arestas paralelas dirigidas conectando cidades para mostrar que possvel
voar para e a partir destas locaes.
Um multidgrafo um dgrafo (grafo com arestas dirigidas) em que pode-se ter arestas
mltiplas. Um multidgrafo
um par ordenado
, sendo
, em que:
um multiconjunto de arcos.
destino de um arco.
e
dos ns e arestas.
Notas
1. Para exemplos, veja. Bollobas, p. 7 and Diestel, p. 25.
2. Graphs, Colourings and the Four-Colour Theorem, by Robert A. Wilson,
2002, ISBN 0198510624, p. 6
Referncias
http://www.utm.edu/departments/math/graph/glossary.html#multigraph
Diestel, Reinhard; Graph Theory, Springer; 2nd edition (February 18, 2000). ISBN
0-387-98976-5.
um multigrafo ou pseudografo muitas vezes definido como um grafo que pode ter
laos e arestas mltiplas.[4][5]
Grau
Para um grafo no direcionado, o grau de um vrtice igual ao nmero de vrtices
adjacentes.
Um caso especial um lao, que acrescenta dois para o grau. Isso pode ser entendido se
deixando cada conexo da contagem de arestas do lao como seu prprio vrtice
adjacente. Em outras palavras, um vrtice com um lao "v" a si mesmo como um vrtice
adjacente de ambas as extremidades da aresta, assim, se soma dois e no um, para o
grau.
Para um grafo direcionado, um lao soma um ao grau de entrada e um ao grau de sada
Ver tambm
Referncias
1. BALAKRISHNAN, V. K.. Graph Theory (em ingls). New York: McGraw-Hill,
1997. ISBN 0-07-005489-4
2. GROSS, Jonathon L.;YELLEN, Jay (eds.). Handbook of Graph Theory (em
ingls). [S.l.]: CRC, 2003. ISBN 1-58488-090-2
3. ZWILLINGER, Daniel. CRC Standard Mathematical Tables and Formulae (em
ingls). 31 ed. [S.l.]: Chapman & Hall/CRC, 2002. ISBN 1-58488-291-3
4. BOLLOBS, Bla. Modern Graph Theory (em ingls). 1 ed. New
York/Berlin: Springer, 2002. ISBN 0-387-98488-7
5. DIESTEL, Reinhard. Graph Theory (em ingls). 2 ed. New York/Berlin: Springer,
2000. ISBN 0-387-98976-5
Ligaes externas
Um grafo no-dirigido com n=5 vertices en-2=3 vrtices de corte; os vrtices de corte (em
vermelho) so aqueles que no esto em ambos as pontas
dirigido, com n vrtices no pode ter mais do que n-2 vrtices de corte. Naturalmente, um
grafo pode no ter nenhum vrtice de corte.
Uma ponte uma aresta anloga a um vrtice de corte, ou seja, a remoo de uma ponte
aumenta o nmero de componentes conectados do grafo.
como se segue:
<algorithm>
<set>
<vector>
<cstring>
[2]
conhecido usando
rvore (grafo)
Definies
Uma rvore denominada enraizada se um vrtice escolhido como especial.
Esse vrtice chamado raiz. Uma rvore que no enraizada denominada livre.
Um grafo G uma rvore se e somente se existir um nico caminho entre cada par
de vrtices de G[2].
Referncias
1. BARBOSA, Ruy Madsen. Combinatria e Grafos. So Paulo: Livraria Nobel,
1975. p. 196. 2 vol. vol. 2.
2. a b SZWARCFITER, Jayme Luiz. Grafos e algoritmos computacionais. Rio de
Janeiro: Campus, 1988. p. 43-45. ISBN 85-7001-341-8
Este artigo sobre Informtica um esboo. Voc pode ajudar a Wikipdia expandindo-o.
Este artigo sobre matemtica um esboo. Voc pode ajudar a Wikipdia expandindo-o.
Clique
Origem: Wikipdia, a enciclopdia livre.
Grafo completo
Referncias
1. BOAVENTURA NETTO, Paulo Oswaldo. Grafos. So Paulo: Edgard Blcher,
2001. ISBN 85-212-0292-X
Conjunto independente
um conjunto independente de
uma cobertura de vertices de
um conjunto independente de
Ver
Grafo planar
Teorema de Kuratowski
Segundo o Teorema de Kuratowski, um grafo planar no pode apresentar nem o grafo
completo K5 nem o grafo bipartido K3,3 como subgrafos. A prova de que o K3,3 no planar
pode ser feita de duas formas: por induo e por construo, enquanto a do K 5 feita
apenas por construo.
No possvel redesenhar estes grafos sem que suas arestas se cruzem.
Teorema de Kuratowski