Un estudio de cotas inferiores para la satisfactibilidad y problemas relacionados

La completitud NP podría decirse que constituye el concepto más omnipresente de la informática, ya que abarca la complejidad computacional de miles de problemas importantes de todas las ramas de la ciencia y la ingeniería. La pregunta P versus NP plantea si estos problemas pueden resolverse en tiempo polinómico. Durante mucho tiempo se ha conjeturado ampliamente una respuesta negativa, pero, hasta hace poco, no se conocían límites inferiores concretos en modelos generales de computación. La satisfacibilidad es el problema de decidir si una fórmula booleana dada tiene al menos una asignación satisfactoria. Es el primer problema que se demostró ser NP-completo y es posiblemente el problema NP-completo más estudiado, tanto por sus propiedades teóricas como por sus aplicaciones prácticas. "A Survey of Lower Bounds for Satisfiability and Related Problems" revisa los límites inferiores descubiertos recientemente para la complejidad temporal y espacial de la satisfacibilidad y problemas estrechamente relacionados. Ofrece una visión general de los resultados más recientes en modelos de computación deterministas, aleatorios y cuánticos generales, y presenta los argumentos subyacentes en un marco unificado. "A Survey of Lower Bounds for Satisfiability and Related Problems" es una referencia inestimable para profesores y estudiantes que investigan o planean investigar en teoría de la complejidad.

Autor: Dieter Melkebeek Van, Dieter Van Melkebeek
Editorial: Now Publishers
Publicado: 05/10/2007
Páginas: 128
Tipo de encuadernación: Tapa blanda
Peso: 0.42lbs
Tamaño: 9.21h x 6.14w x 0.27d
ISBN13: 9781601980847
ISBN10: 1601980841
Categorías BISAC:
- Informática | Ciencias de la Computación