Buenas!! Intente hacer este ejercicio. Hay algunas cosas de las que no estoy segura.
Primero la forma en que interprete s y t. Por lo que leí en el libro, s es un string (acá obviamente no lo es, pero no se como pasar mi instancia de matriz a un string) que seria la instancia y t es la "evidencia" de que esta bien. Como habíamos puesto el ejemplo en el taller, X podría ser el problema del camino hamiltoneano, s un grafo y t el camino.
Luego la justificación de B o sea las dos propiedades que da el libro, las escribí como entendí que eran.
Me podrían ayudar a corregirlo y tenerlo bien hecho? Muchas gracias