A Complexity-Theoretic Corollary of Computogenic Logic: Optimality, Spatial Realization, and the Separation of P and NP
0Citations signalées, ce qui n’est pas une note de qualité
1Institutions déclarées
1Pays d’affiliation déclarés
Rattachement africain : es. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
In this paper, we apply Computogenic Logic (CL) and its implementation through multi-n-dimensional cellular automata to the analysis of the satisfiability (SAT) problem. By studying the optimal realization of logical structures within this computational framework, we establish complexity constraints that lead to the separation 𝑃 ≠ 𝑁𝑃.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Où se fait cette recherche
-
Universitat Politècnica de Catalunya pays non établi dans la noticeUniversité ou école supérieure
Universitat Politècnica de Catalunya.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.
Les sujets associés
Cellular Automata and ApplicationsComputability, Logic, AI AlgorithmsFormal Methods in Verification