En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado que
This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to randomly generate various input configurations and test whether the defined relation was non-affine, non-bijunctive, etc.
Por supuesto, esto es una limitación:
The fruitfulness of such an approach remains to be proved: the enumeration of the elements of a relation on lO or 15 variables is Surely not a light computational task.
Tengo curiosidad de que
- ¿Existen investigaciones de seguimiento en el desarrollo de esta idea de "pruebas de integridad de NP asistidas por computadora"? ¿Cuál es el estado del arte (puede ser específico de o )? Dado que Schaefer ha propuesto la idea de la prueba de integridad de NP "asistida por computadora" (al menos para las reducciones de ), esto significa que hay algunos principios / estructuras generales subyacentes a estas reducciones (para las de \ textf { 3SAT} o \ text {3-Partition} )? Si es así, ¿Que son? 3-Partition SAT 3SAT 3-Partition
- ¿Alguien tiene experiencia en probar la completitud NP con un asistente de computadora? ¿O alguien puede inventar un ejemplo artificial?