Defina formalmente um grafo e explique a razão de grafos serem importantes.

Um grafo [ G= (V,E) ] é uma abstração que permite codificar relacionamentos entre pares de objetos, onde os objetos são um conjunto de vértices (V) e os relacionamentos um conjunto de arestas (E).

A importância dos grafos se dá por facilitar a análise de redes e problemas, possibilitando a extração de suas propriedades e predição do comportamento de sistemas.