75.

569 · Grafos y Complejidad · PEC3

2018-19-Sem. 2 · Grado en Ingenierı́a Informática
Estudios de Informática, Multimedia y Telecomunicación

Presentación

Esta PEC profundiza en el concepto de complejidad computacional que cubre los contenidos es-
tudiados en los módulos 6 y 7 de la asignatura. Los ejercicios trabajan los conceptos de medida
de complejidad, la reducción y completitud, la clase NP-completo y algunos de los problemas
intratables más importantes que se conocen.

Competencias

En esta PEC se trabajan las siguientes competencias del Grado de Ingenierı́a Informática:

• Capacidad para utilizar los fundamentos matemáticos, estadı́sticos y fı́sicos para comprender
los sistemas TIC.
• Capacidad para analizar un problema en el nivel de abstracción adecuado en cada situación
y aplicar las habilidades y conocimientos adquiridos para resolverlo.

Objetivos

Los objetivos concretos de esta PEC son:

• Entender los conceptos de intratabilidad y no-determinismo.

• Conocer las diferentes clases de complejidad y saber clasificar los problemas en cada una de
estas.
• Entender el concepto de reducción entre problemas y saber demostrar cuando un problema
es NP-completo.
• Reconocer problemas intratables que aparecen de forma habitual en informática y en inge-
nierı́a.
• Entender y saber aplicar las técnicas básicas de reducción polinómica de los problemas NP-
completos.

1
 75.569 · Grafos y Complejidad · PEC3
2018-19-Sem. 2 · Grado en Ingenierı́a Informática
Estudios de Informática, Multimedia y Telecomunicación

Descripción de la PEC a realizar

1. (Valoración de un 20%=5%+5%+5%+5%)

Clasifica los siguientes problemas utilizando la notación O.

(a) Dado un vector de n caracteres, decidir si el vector es palı́ndromo.
(b) Dado un vector de n enteros, decidir si existe un elemento del vector que sea igual a la
suma del resto de elementos del vector.
(c) Dados dos números naturales m y n, decidir si existen m o más números primos menores
que n.
(d) Dado un grafo de n vértices y una secuencia de n grados, decidir si la secuencia es
gráfica.

2. (Valoración de un 20%=4%+4%+4%+4%+4%)

Sean los siguientes problemas decisionales:

(a) GRAF K: Dado un grafo G, decidir si el grafo es completo.
Px
(b) SUMIMPAR = {x | ( i=0 i) mod 2 6= 0}
(c) 3SAT
(d) A = {x | x mod 2 6= 0}
Justifica brevemente si las siguientes reducciones son posibles:
(a) GRAF K ≤p 3SAT
(b) GRAF K ≤p SUMIMPAR
(c) 3SAT ≤p GRAF K
(d) 3SAT ≤p 3SAT
(e) A ≤p N

2
 75.569 · Grafos y Complejidad · PEC3
2018-19-Sem. 2 · Grado en Ingenierı́a Informática
Estudios de Informática, Multimedia y Telecomunicación

3. (Valoración de un 20%=5%+5%+5%+5%)

Demuestra que los siguientes problemas son N P indicando, para cada uno de ellos, como serı́a
el testigo y cuál serı́a la función de verificación (justificando que tiene coste polinómico).
(a) LIM CLIQUE = {< G, k >| G contiene un clique de x vértices con x ≥ k }
(b) SUMA SUBCONJUNTOS = {< S, t >| S = P {x1 , ..., xk } con xi números naturales y
existe un subconjunto {y1 , ..., yl } ⊆ S tal que yi = t}
(c) CAMINO HAMILTONIANO = {< G, s, t >| G es un grafo dirigido con un camino hamil-
toniano de s a t }
(d) 3COLOR = {< G >| los vértices de G se pueden colorear con tres colores de tal manera
que no hay dos vértices con el mismo color conectados por una arista}
4. (Valoración de un 20%=5%+5%+5%+5%)
Sean las siguientes fórmulas booleanas definidas sobre las variables x1 , x2 , x3 y x4 :
• (¬x1 ∨ x2 ∨ x3) ∧ (x1 ∨ ¬x2 ∨ x3 ) ∧ (¬x1 ∨ ¬x2 ∨ ¬x3 ) ∧ (¬x1 ∨ ¬x2 ∨ x4 ) ∧ (¬x2 ∨ x3 ∨ x4 )
• (¬x1 ∨ x2 ∨ x3) ∧ (x1 ∨ ¬x2 ∨ x3 ) ∧ (¬x1 ∨ ¬x2 ∨ ¬x3 ) ∧ (¬x1 ∨ ¬x2 ∨ ¬x4 ) ∧ (¬x2 ∨ x3 ∨ x4 )

(a) Para cada fórmula, indica si existe una asignación a las varaibles tal que la fórmula sea
cierta. En caso afirmativo, proporciona la asignación.
(b) ¿Cuántas soluciones posibles tiene un problema de 3SAT para una fórmula con m
cláusulas y n variables boleanas? (hablamos de candidatos a solución, sean o no válidos
para una fórmula dada).
(c) Indica si tiene solución la siguiente instancia del problema 3COLOR (definido en el
ejercicio anterior). En caso de que tenga solución, propón una.

(d) ¿Cuántas soluciones posibles tiene el problema 3COLOR anterior para un grafo de n
vértices y m aristas? (hablamos de candidatos a solución, sean o no válidos para el
grafo proporcionado).

3
 75.569 · Grafos y Complejidad · PEC3
2018-19-Sem. 2 · Grado en Ingenierı́a Informática
Estudios de Informática, Multimedia y Telecomunicación

5. (Valoración de un 20%=5%+10%+5%)

CLIQUE es el problema de decidir, para un grafo G y un número natural k, si G contiene un

grafo completo (clique) de medida k.
Vamos a demostrar que el problema M − CLIQUE es NP-Completo a partir del problema
CLIQUE. El problema M − CLIQUE consiste en determinar, dado un grafo G, si contiene un
clique de m vértices con m = d|V |/2e. Fijaos que, a diferencia del problema CLIQUE, en este
caso el tamaño del clique está fijado y no es un parámetro del problema.

(a) Demuestra que M − CLIQUE pertenece a la clase N P .

(b) Razona si la siguiente función f es una función válida para reducir CLIQUE a M − CLIQUE.


 G si d|V |/2e = k
G + (|V | − 2k) vértices conectados entre sı́ formando un clique si k < d|V |/2e

f (G, k) =

 y conectados a todos los vértices de V
G + (2k − |V |) vértices sin aristas en otro caso


(c) Demuestra que M − CLIQUE es NP-Completo.

4
 75.569 · Grafos y Complejidad · PEC3
2018-19-Sem. 2 · Grado en Ingenierı́a Informática
Estudios de Informática, Multimedia y Telecomunicación

Recursos

Recursos Básicos
• Módulo didáctico 6. Complejidad computacional.
• Módulo didáctico 7. Problemas intratables.
• Colección de problemas

Recursos Complementarios
• PECs y exámenes de semestres anteriores.
• Programario para el estudio de algoritmos sobre grafos.
• Enlaces: Applets interactivos sobre algoritmos de grafos.

Criterios de valoración
• La PEC se tiene que resolver de forma individual.
• Es necesario justificar la respuesta de cada apartado. Se valorará tanto el resultado final
como la justificación dada.
• En los apartados donde sea necesario aplicar algún algoritmo, se valorará la elección del
algoritmo apropiado, los pasos intermedios, el resultado final y las conclusiones que se deriven.

Formato y fecha de entrega

Hay que entregar un único documento PDF con las respuestas de todos los ejercicios. El nombre
del fichero tiene que ser: PEC3 Apellido1Apellido2Nombre.pdf.

Este documento se tiene que entregar en el espacio Entrega y Registro de EC del aula antes
de las 23:59 del dı́a 23/05/2019. No se aceptarán entregas fuera de plazo.