Professional Documents
Culture Documents
Problema de la mochila
Si un viajero parte de la ciudad A y las distancias a todas las demás ciudades son conocidas, ¿Cual
es la ruta optima que debe elegir para visitar todas las ciudades y volver a la ciudad de origen?
Problema de Clique
El problema SAT es el problema de saber si, dada una expresión booleana con variables y sin
cuantificadores, hay alguna asignación de valores para sus variables que hace que la expresión sea
verdadera. Por ejemplo, una instancia de SAT sería el saber si existen valores para x1, x2, x3, x4,
tales que la expresión:
sea cierta.
Por el contrario, el problema de si la expresión en cuestión adquiere valor falso para todas las
combinaciones de sus variables, se denomina UNSAT.
Problema de Partición