Solución SAT logarítmica con computación de membranas
Autores: Nicolescu, Radu; Dinneen, Michael J.; Cooper, James; Henderson, Alec; Liu, Yezhou
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Solución SAT logarítmica con computación de membranas
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Eficiente
Polinómico
Sistemas cP
Tiempo logarítmico
Solución determinista
NP-completo.
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 23
Citaciones: Sin citaciones
Los sistemas P han demostrado ser capaces de proporcionar soluciones determinísticas eficientes polinomiales (a menudo lineales) a problemas difíciles.
Descripción
Los sistemas P han demostrado ser capaces de proporcionar soluciones determinísticas eficientes polinomiales (a menudo lineales) a problemas difíciles.