Grafos Conexo:

Si cualquier vrtice pertenece al conjunto de vrtices y puede ser alcanzable por otro vrtice. Es un grafo no dirigido donde para cualquier par de nodos existe por lo menos un camino que los une.

Un grafo no dirigido es conexo si existe un camino entre cualquier par de nodos que forman el grafo. Ejemplo:

Un grafo es doblemente conexo si para cada par de vrtices est conectado por al menos dos caminos disjuntos, es conexo y no existe un vrtice que al sacarlo el grafo resultante sea disconexo.

Grafo Fuertemente Conexo:

Es un grafo dirigido donde cada par de vrtices existe un camino de un vrtice para el otro y viceversa. Los componentes fuertemente conexos de un grafo dirigido son sus subgrafos mximos fuertemente conexos que forman una particin del grafo.

Un subgrafo fuertemente conexo es mximo si contiene todos los vrtices del grafo o si al agregarle un vrtice cualquiera deja de ser fuertemente conexo.

La complejidad del clculo de los componentes fuertemente conexos de un grafo es O(V+E).