===== Tipos básicos de grafos =====
Há vários tipos de grafos, vamos enumerar alguns deles e apresentar algumas propriedades. Alguns, inclusive, já tiveram, ou terão sua própria documentação com uma descrição mais abrangente. Vamos começar pelos **Grafos Triviais.**
====Grafos Triviais====
=== Definição ===
//Um grafo trivial é um grafo no qual $G = (V ; \emptyset)$, ou seja, é um grafo que possui $n$ vértices, podendo ser representado por conjunto de $n$ pontos no plano, sem quaisquer arestas.//
Assim sendo, um grafo de **ordem $0$ ou $1$** é chamado **grafo trivial**. Geralmente, por definição, tratamos os grafos triviais de forma despreziva, pois formam contra-exemplos bobos e se tornam um incomômdo, mas não se engane, em algumas situações, para iniciar uma indução,por exemplo, grafos triviais podem ser muito úteis. O grafo $G$ vazio pode ser representado somente por $G = \emptyset$.
==== Grafos Simples ====
Já falamos deste tipo de grafo e o usamos para apresentar uma definição em [[.definicaoGrafos| Definições de grafos]]. Relembremos:
=== Definição===
//Um grafo (simples) $G$ consiste de um conjunto finito e não vazio $V(G)$ de objetos chamados vértices, juntamente com um conjunto $A(G)$ de pares não ordenados de vértices; os elementos de $A(G)$ são chamados de arestas. Podemos representá-lo por $G = (V ; A)$, onde $V = V (G)$ e $A = A(G)$.//
Assim sendo, um grafo simples é um grafo não direcionado, não ponderado, que não possuem [[.loopsmultigraph |laços]] nem mais de uma aresta ligando dois vértices,isto é, sem arestas “paralelas”. Assim, um grafo simples é um grafo que não possui arestas múltiplas. Como ,por exemplo, o grafo abaixo:
{{ :grafos:grafo_1.png?250 |}}
==== Digrafos ====
Um **grafo orientado**, ou **digrafo**, são grafos com uma diferença fundamental em relação aos grafos simples: as arestas possuem uma direção. Isso muda muito a situação e o significado do grafo estudado. Além disso, há a possibilidade da existência de **arestas paralelas**, ou seja, as arestas incidem nos mesmos vértices e possuem a mesma orientação. Para tanto, podemos usar a seguinte definição:
=== Definição===
//Um grafo direcionado $G(V, A)$ é constituído por um conjunto $V = \{v_1, v_2, …, v_n\}$ não vazio de vértices, e um conjunto $A = \{a_1, a_2, …, a_n\}$ de arestas, e uma aplicação que associa cada arestas a um par ordenado de vértices.//
O grafo abaixo é um exemplo de um digrafo. Repare que há arestas paralelas representadas por uma seta dupla, como por exemplo,$\{5, 3\}, \{3, 5\}$.
{{ :grafos:graph_10_.png?250 |}}
=== Nota ===
Quando um grafo possui mais de uma aresta interligando os mesmo dois vértices diz-se que este grafo possui arestas múltiplas(ou arestas paralelas). Ele é chamado de multigrafo ou grafo múltiplo. O grafo acima, observe, além de ser orientado, ele pode ser chamado de **multigrafo** também. Mas cuidado, nem todo grafo orientado pode ser dito multigrafo.
Em um multigrafo, se houver uma aresta $e$ de um grafo $G$ que possui o mesmo vértice como extremos, ou seja, $e = \{x,x\}$, então é dito que este grafo possui um **laço**. Observe que no exemplo a seguir o grafo possui um laço localizado no vértice $(1)$:
{{:grafos:graphs_7_.png?150 |}}
==== Grafos Valorados, ou Ponderados ====
Além da orientação, é possível atribuir custo para o vértice, para a aresta ou para ambos. O grafo que recebe esses valores são chamados **grafos ponderados**. Um grafo valorado $G(V,A)$ consiste de um conjunto finito não vazio de vértices $V$, ligados por um conjunto $A$ de arestas com pesos.
O conjunto $A$ consiste de triplas distintas da forma $(v,w, valor)$, em que $v$ e $w$ são vértices pertencentes a $V$ e $valor$ é um número real$(ℝ)$.
{{ :grafos:graph21.png?250 |}}
O grafo acima é um exemplo de grafo ponderado, com vértices $x, y,w ∈ V$, com as arestas $xy$, $xw$ e $yw$, recebendo os valores 5,9 e 4, respectivamente. Podemos também colocar valores para os vértices caso deja do nosso interesse, logo os valores de $x,y$ e $w$ são mutáveis.
====Grafos Completos ====
Um grafo completo é aquele em que todos os seus vértices são adjacentes aos pares, ou seja, existem arestas presentes entre todos os pares de vértices. Um grafo completo $K_n$ possui $$\frac{n(n-1)}{2}$$ arestas, como veremos mais a frente como um resultado do [[grafos:numtotaldearestas#corolario |corolário do Lema do Aperto de Mão]].
Abaixo um exemplo de grafo completo:
{{ :grafos:graph_11_.png?250 |}}
Material complementar em: [[.conexidad|Conexidade]].
==== Grafos Conexos e Desconexos ====
=== Definição ===
//Um grafo é dito **conexo** se existir pelo menos um caminho entre cada par de vértices do grafo. Caso contrário, o grafo é chamado de **desconexo**.//
O grafo abaixo por exemplo é um **grafo conexo:**
{{:grafos:graph_13_.png?300|}}
E o pŕoximo, é um exemplo de **grafo desconexo:**
{{:grafos:graph_14_.png?300|}}
----
=== Referências ===
* [[https://www.inf.ufsc.br/grafos/definicoes/definicao.html | "Conceito Básicos da Teoria de Grafos"]]. Universidade Federal de Santa Catarina- UFSC. Acesso em 23/09/2022.
* Elias de O. Boaventura. Eugenia B. O. Uribe. [[http://www.unoeste.br/site/enepe/2016/suplementos/area/Exactarum/Matem%C3%A1tica/ESTUDO%20SOBRE%20GRAFOS%20E%20ALGUMAS%20APLICA%C3%87%C3%95ES.pdf | "Estudo sobre grafos e algumas aplicações"]] . Universidade Federal de Mato Grosso do Sul – UFMS. Acesso em 23/09/2022.
* M. Cristina, et al. [[http://wiki.icmc.usp.br/images/a/a2/SCC603-2013-01-IntroducaoGrafos.pdf | "Introdução a grafos"]] .Instituto de Ciências Matemáticas e da Computação- ICMC. Acesso em 23/09/2022.
* Paulo Feofiloff. [[https://www.ime.usp.br/~pf/algoritmos_para_grafos/aulas/graphs.html | "Grafos"]]. Instituto de Matemática e Estatística da Universidade de São Paulo- IME-USP. Acesso em 23/09/2022.
* Samuel Jurkiewicz. [[http://www.obmep.org.br/docs/apostila5.pdf | "Grafos: uma Introdução"]] . Olimpíada Brasileira de Matemática das Escolas Públicas- OBMEP. Acesso em 23/09/2022.
* Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araújo.[[https://www.ibilce.unesp.br/Home/Departamentos/MatematicaAplicada/docentes/socorro/grafosconexos.pdf|"Teoria dos Grafos: Grafos Conexos"]] .2002-2013. Acesso em 16/09/2022.