# Grafo serie-paralelo

En teoría de grafos, los grafos serie-paralelo son aquellos que poseen dos vértices especiales denominados terminales, y que están formados recursivamente por dos operaciones simples de composición. Se pueden utilizar para modelar circuitos eléctricos en serie y en paralelo.

## Definición y terminología

En este contexto, el término grafo significa multigrafo.
Hay varias formas de definir grafos serie-paralelo. La siguiente definición básicamente sigue la utilizada por David Eppstein.
Un grafo de dos terminales (TTG) es un grafo con dos vértices distinguidos, s y t llamados fuente y sumidero, respectivamente.
La composición paralela Pc = Pc(X,Y) de dos TTG X e Y es un TTG creado a partir de la unión de grafos disjuntos X e Y fusionando las fuentes de X e Y para crear la fuente de Pc y fusionar los sumideros de X e Y para crear el sumidero de Pc.
La composición en serie Sc = Sc(X,Y) de dos TTGs X e Y es un TTG creado a partir de la unión disjunta de grafos X e Y fusionando el sumidero de X con la fuente de Y. La fuente de X se convierte en la fuente de Sc y el sumidero de Y se convierte en el sumidero de Sc.
Un grafo serie-paralelo de dos terminales (TTSPG) es un grafo que puede construirse mediante una secuencia de composiciones en serie y paralelo a partir de un conjunto de copias de un grafo de una sola arista K$_2$ con terminales asignadas.
Definición 1. Finalmente, un grafo se denomina serie-paralelo (grafo-SP), si es un TTSPG cuando dos de sus vértices se consideran fuente y sumidero.
De manera similar, se pueden definir un digrafo en serie-paralelo, construido a partir de copias de grafos de un solo arco, con arcos dirigidos desde la fuente hasta el sumidero.

### Definición alternativa

La siguiente definición especifica la misma clase de grafos.
Definición 2. Un grafo es un grafo SP, si puede convertirse en K$_2$ mediante una secuencia de las siguientes operaciones:
* Reemplazo de un par de aristas paralelas por una sola arista que conecta sus puntos finales comunes.
* Reemplazo de un par de aristas incidentes a un vértice de grado 2 que no sea s o t por una sola arista.

## Propiedades

Cada grafo en serie-paralelo tiene ancho de árbol como máximo 2 y ancho de rama como máximo 2. De hecho, un grafo tiene un ancho de árbol como máximo 2 si y solo si tiene un ancho de rama como máximo 2, si y solo si todo componente biconectado es un grafo en serie-paralelo. Los grafos en serie-paralelo maximales, grafos a los que no se pueden agregar aristas adicionales sin destruir su estructura de serie-paralelo, son exactamente los 2-árboles.
Los grafos en serie-paralelo 2-conectados se caracterizan por no tener un subgrafo homeomorfo a K$_4$.
Los grafos serie-paralelo también se pueden caracterizar por su descomposición en orejas.

## Complejidad computacional

Los grafos SP pueden reconocerse en tiempo lineal y su descomposición en serie-paralelo también puede construirse en tiempo lineal.
Además de ser un modelo de ciertos tipos de redes eléctricas, estos grafos son de interés en teoría de la complejidad computacional, porque una serie de problemas de grafos estándar se pueden resolver en tiempo lineal en grafos SP, incluida la búsqueda de emparejamiento máximo, de conjuntos independientes, de conjuntos dominantes y de completamiento hamiltoniano. Algunos de estos problemas son NP-completos para grafos generales. La solución aprovecha el hecho de que si se conocen las respuestas de uno de estos problemas para dos grafos SP, entonces se puede encontrar rápidamente la respuesta para sus composiciones en serie y en paralelo.

## Generalización

Los grafos serie-paralelo generalizados (grafos GSP) son una extensión de los grafos SP con la misma eficiencia algorítmica para los problemas mencionados. La clase de grafos GSP incluye las clases de grafos SP y los grafos planos exteriores.
Los grafos GSP pueden especificarse mediante la Definición 2 aumentada con la tercera operación de eliminación de un vértice colgante (vértice de grado 1). Alternativamente, la Definición 1 puede complementarse con la siguiente operación.
* La combinación de fuentes S = M(X,Y) de dos TTG X e Y es un TTG creado a partir de la unión disjunta de grafos X e Y fusionando la fuente de X con la fuente de Y. La fuente y el sumidero de X se convierten en la fuente y el sumidero de P respectivamente.
Un árbol SPQR es una estructura de árbol que se puede definir para un grafo 2-vértices-conectado arbitrario. Tiene S nodos, que son análogos a las operaciones de composición en serie sobre grafos serie-paralelos; nodos P, que son análogos a las operaciones de composición en paralelo sobre grafos en serie-paralelo; y nodos R, que no corresponden a operaciones de composición sobre grafos en serie-paralelo. Un grafo conectado en 2 es serie-paralelo si y solo si no hay nodos R en su árbol SPQR.