1
Fork 0
mirror of https://github.com/Steffo99/appunti-magistrali.git synced 2024-11-27 20:34:18 +00:00
appunti-steffo/9 - Algoritmi distribuiti/1 - Problemi algoritmici/certificato per un'istanza.md

284 B

Sequenza di caratteri polinomiale.

Dimostra che una data istanza è un'istanza positiva.

Nel problema di esistenza di circuito hamiltoniano, un certificato per un'istanza positiva è una sequenza di nodi attraversati che risulta in un ciclo hamiltoniano.