Modelado del 3-coloreo de grafos planares usando satisfactibilidad Incremental
"Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una fórmula de entrada, una aplicación normalmente...
| Autores: | , |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| País: | México |
| Institución: | Benemérita Universidad Autónoma de Puebla |
| Repositorio: | Repositorio Institucional de Acceso Abierto RIAA-BUAP |
| Idioma: | español |
| OAI Identifier: | oai:repositorioinstitucional.buap.mx:20.500.12371/11560 |
| Acceso en línea: | https://hdl.handle.net/20.500.12371/11560 |
| Access Level: | acceso abierto |
| Palabra clave: | INGENIERÍA Y TECNOLOGÍA Complejidad computacional Máquinas de Turing Algoritmos computacionales Estructura de datos (Computación) Inteligencia artificial |
| Sumario: | "Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una fórmula de entrada, una aplicación normalmente resolverá una secuencia de fórmulas relacionadas.En esta investigación se propone una estrategia para utilizar estructuras que se formen en la fase 1 de 2-ISAT y que sean usadas durante la fase 2 del problema. Se propone revisar si pueden haber estructuras computacionales que creadas en la primer fase, resuelvan 2-ISAT en tiempo polinomial, o bien, el problema 2-ISAT es de complejidad NP." |
|---|