La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-19
Complejidad de la vivacidad en redes de Petri en anillo y de la detención en el chip-firing sobre dígrafos simples
Título original: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
El artículo demuestra que decidir la vivacidad (liveness) de las redes de Petri en anillo es coNP-completo, incluso para anillos que conservan los tokens, y que el problema de la parada del chip-firing en grafos dirigidos simples es NP-completo, lo que responde a una pregunta de Farrell y Levine. La reducción fue encontrada por Claude Opus 5.5, que también redactó una primera versión del artículo. Los autores humanos la revisaron y la corrigieron de forma iterativa con el modelo.