Una altra demostració del teorema de Cook
Presentem una demostració alternativa del Teorema de Cook: saber si una fòrmula booleana és satisfactible és un problema NP-complet. La demostració es diferencia de les altres que conec en dos aspectes. Un, que defineixo NP en termes de verificadors i no d'indeterminisme. L'altre, que faig...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1993 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | catalán |
| OAI Identifier: | oai:upcommons.upc.edu:2117/370084 |
| Acceso en línea: | https://hdl.handle.net/2117/370084 |
| Access Level: | acceso abierto |
| Palabra clave: | Polynomials Complexitat computacional Polinomis Àrees temàtiques de la UPC::Informàtica |
| Sumario: | Presentem una demostració alternativa del Teorema de Cook: saber si una fòrmula booleana és satisfactible és un problema NP-complet. La demostració es diferencia de les altres que conec en dos aspectes. Un, que defineixo NP en termes de verificadors i no d'indeterminisme. L'altre, que faig servir com a model de càlcul la màquina RAM i no la màquina de Turing. |
|---|