NP-completitud del problema de grafos planos no dirigidos

Quiero saber si cierto problema gráfico es NP-completo o no. El problema es el siguiente.

Dado un gráfico plano no dirigido con un número en cada vértice. ¿Puedes darle a cada borde una dirección tal que el grado exterior de cada vértice sea igual al número correspondiente?

¿Alguien tiene una idea de si este problema es NP-completo o conoce un problema relacionado?

Es una reminiscencia del problema factible para los marginales de una tabla de contingencia , pero no estoy seguro de cómo la planaridad del gráfico afectaría la complejidad. Si puedo aclarar la relación con su problema, publicaré una respuesta.

Respuestas (1)

Se puede resolver en tiempo polinomial reduciéndolo al problema de flujo máximo , por lo que es poco probable que sea NP-completo.

Está claro que la suma de todos los números debe ser igual al número de aristas. Si es así, la reducción funciona de la siguiente manera.

Por cada vértice v y borde mi del gráfico original tendremos vértice en la red. También agregar fuente s y hundirse t .

Los bordes en la red son los siguientes:

  • para vértice v con número norte añadir borde s v con capacidad norte
  • para el borde mi = ( v 1 , v 2 ) agregar bordes v 1 mi , v 2 mi , mi t con capacidades 1

Ahora, si tenemos un flujo entero con un valor igual al número de aristas (para que haya flujo desde cada arista), podemos asignar direcciones: para arista mi = ( v 1 , v 2 ) hay flujo de valor 1 a mi desde cualquiera v 1 o v 2 - borde directo desde v 1 a v 2 en el primer caso, y de v 2 a v 1 en el posterior. De esta manera, cada borde está dirigido y cada vértice tiene un número de bordes salientes igual a su número.

De manera similar, si tenemos una dirección de aristas, podemos crear un flujo con un valor igual al número de aristas.

Por lo tanto, el gráfico original se puede dirigir si y solo si hay un flujo con un valor igual al número de aristas. Como el problema de flujo máximo se puede resolver en tiempo polinomial, también puede ser un problema original.