TRABAJO PRCTICO N 7 Ingeniera en Informtica

UNIVERSIDAD NACIONAL DE JUJY

Licenciatura en Sistemas
Facultad de Ingenieria
Complejidad Computacional Lgica Computacional 2017

1. Marcar con una cruz si las siguientes aseveraciones son verdaderas:

El siguiente es un problema de clase P. Dado un Grafo Dirigido, G = (V, E) existe una trayectoria
que lleve de s a t para s, t V
Toda respuesta afirmativa a un problema de tipo NP tiene al menos un certificado.
En un problema NP, siempre que haya una entrada al mismo que lo resuelva, no existe una forma
simple de verificarlo.
Un problema NP- duro es a su vez NPC
Un problema NP- difcil es un problema de decisin.
Dado un grafo con pesos asignados a los arcos y dado un entero K, existe un rbol tal que conecte
todos los nodos del grafo y cuyo total sea K o menos?. Es un problema de complejidad P
El GSAT es un mtodo de solucin incompleto.
Una frmula G es inconsistente si G es vlida
El modo no determinista es menos potente en relacin al espacio, que en relacin al tiempo.
La clase NC es independiente del modelo de computacin paralelo considerado.

2. Sea P = { F1, F2, F3, . . . ,Fn } y G la funcin objetivo; qu se puede deducir si:
F1 F2 F3 . . . Fn G
es una frmula inconsistente?

3. Determinar si el conjunto J = { H K, W (S K), W (S K), H K} es satisfactible.

4. Determinar si B es una consecuencia lgica de P = { B A, A}.

5. Determinar si el conjunto J = {A S, E A, S, T E}, es insastifastible.

6. Los problemas NP son aquellos cuya solucin, hasta la fecha, no se han resuelto de manera exacta
por medio de algoritmos deterministas en tiempo polinomial. En su lugar, se tratan de resolver por
algoritmos no deterministas acotados en tiempo polinomial, cuya solucin deseable sea de
complejidad polinomial. La siguiente figura muestra la diferencia entre una solucin obtenida en
tiempo polinomial y una en tiempo exponencial

Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori

1
Aydante de 1: Mg. Ing. Sebastin Figueroa
 TRABAJO PRCTICO N 7 Ingeniera en Informtica
UNIVERSIDAD NACIONAL DE JUJY
Licenciatura en Sistemas
Facultad de Ingenieria
Complejidad Computacional Lgica Computacional 2017

a) Explique justificando su respuesta porqu se utilizan algoritmos no deterministas acotados en

tiempo polinomial y porqu la solucin deseable debe ser de complejidad polinomial.
b) Qu resultados se obtendran si se empleara algoritmos no deterministas acotados en tiempo
exponencial?
c) Qu influencia tiene en los resultados un mayor tamao de la prueba?
d) Porqu los problemas P estn incluidos dentro de los problemas difciles de resolver (NP)?
e) De ser esto cierto que que un algoritmo determinstico que resuelva un problema P en tiempo
polinomial, tambin pueda resolver un NP, cul sera el resultado?

7. Se puede afirmar que para todos los problemas, existe al menos un algoritmo de solucin. Sin
embargo, generalmente se tienen o proponen varios algoritmos para tratar de resolver un
problema. Qu forma propondra para elegir el mejor algoritmo para resolver un problema?

8. En la actualidad y a pesar de que las computadoras han evolucionado con rapidez, y de que procesar
una gran cantidad de operaciones por segundo, existen problemas cuya solucin puede demorar
aos en obtenerse. Exponga un ejemplo de este tipo de problemas y justifique.

9. Cundo un problema es fcil de resolver, y cundo es difcil de resolver?

10. Cundo un programa de computacin es eficiente?

Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori

2
Aydante de 1: Mg. Ing. Sebastin Figueroa