IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-19
Complexidade da vivacidade (liveness) em redes de Petri em anel e da parada em chip-firing em dígrafos simples
Título original: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
O artigo mostra que decidir a vivacidade (liveness) de redes de Petri em anel é coNP-completo, mesmo para anéis que conservam tokens, e que o problema da parada para chip-firing em grafos dirigidos simples é NP-completo, respondendo a uma pergunta de Farrell e Levine. A redução foi encontrada pelo Claude Opus 5.5, que também escreveu uma primeira versão do artigo. Os autores humanos a verificaram e a revisaram iterativamente com o modelo.