En matemáticas y ciencias de la computación, la conectividad es uno de los conceptos fundamentales en la teoría de grafos, que pregunta cuántos elementos (nodos o aristas) deben eliminarse para separar los nodos restantes en dos o más subnodos aislados. Esto está estrechamente relacionado con la teoría de los problemas de flujo de red, donde la conectividad de un gráfico es una métrica importante para juzgar la resiliencia de una red.
En un grafo no dirigido G, si hay un camino desde el vértice u al vértice v, entonces se dice que los dos vértices están conectados. De lo contrario, se denominan desconectados. Se dice que dos vértices son adyacentes si están conectados por un camino de longitud 1, es decir, son los puntos finales de una sola arista.
Un grafo se llama conexo si cada par de vértices está conexo.
Si un gráfico no dirigido no tiene conectividad, se denomina desconectado. Por ejemplo, un gráfico que contiene sólo un vértice está conexo, mientras que un gráfico que no contiene aristas está claramente desconectado. Para un gráfico dirigido, si reemplazar todos sus bordes dirigidos con bordes no dirigidos genera un gráfico no dirigido conexo, entonces el gráfico dirigido se denomina débilmente conexo.
Un componente conexo es un subgrafo conexo máximo de un grafo no dirigido. Cada vértice y arista debe pertenecer exactamente a un componente conectado. Un gráfico se llama conexo solo si tiene un solo componente conexo. Si se dice que un gráfico tiene k vértices conexos, significa que la conectividad de los vértices del gráfico es al menos k.
En resumen, un gráfico conexo es un gráfico cuya conectividad es menor o igual que sus aristas. A diferencia de los cortes de vértice, los cortes de arista cortan el gráfico incluso si se corta desde una arista particular, esa arista se llama puente. Una arista se considera crítica si su eliminación provoca la desaparición de la conectividad del gráfico.Un grafo se llama máximamente conexo si su conectividad es igual a su grado mínimo.
Un gráfico superconectado es un gráfico en el que todos los cortes mínimos de vértices pueden separar un vértice. Un gráfico hiperconectado es aquel en el que cada eliminación del corte de vértice mínimo produce exactamente dos componentes, uno de los cuales es un vértice aislado. En este sentido, la definición de conectividad y alta conectividad de los gráficos presenta una propiedad única.
Según el teorema de Menger, el número de caminos independientes de los bordes entre dos vértices refleja la conectividad de los bordes.
El problema de determinar si dos vértices de un gráfico están conectados se puede resolver fácilmente utilizando algoritmos de búsqueda eficientes, como el algoritmo de búsqueda en amplitud. Un problema más general es calcular la conectividad de un gráfico y contar el número de componentes conectados. En la teoría de la complejidad computacional, muchos problemas se simplifican para determinar la conectividad de un gráfico, y también se ha demostrado la eficiencia computacional de estos problemas.
Los datos de diferentes gráficos etiquetados conectados con n nodos se pueden encontrar en la enciclopedia en línea de secuencias de números enteros. Para cualquier gráfico con al menos dos vértices, la conectividad de los bordes es siempre menor o igual al grado mínimo del gráfico. Entonces, ¿cómo garantizamos esta propiedad para los vértices que están conectados entre sí?
La conectividad aún se conserva mediante el homomorfismo de gráficos. Si G está conexo, entonces su gráfico lineal L(G) también está conexo. Cuando la conectividad de los bordes de un gráfico es menor o igual al grado mínimo, el aspecto conectado se hace evidente. El teorema establece que si un grafo es k-conexo, entonces para cualquier conjunto de k vértices en el grafo, existe un circuito que pasa por todos ellos.
En resumen, ya sea conectividad, conectividad de borde u otras propiedades relacionadas, estos conceptos ocupan una posición importante en el diseño de la red y la estructura de datos. Esto nos hace preguntarnos: ¿qué otros factores debemos considerar al mantener y diseñar una estructura de red persistente?