Es correcto hacer el algoritmo respecto a la representación del certificado y de la instancia? Sino tendría que haberla hecho con las posiciones, ustedes por lo general usan las instancias en si y no sus representaciones en los algoritmos, igual tengo entendido como las representaciones que uso son literalmente como codifique s y t y el certificador usa los códigos s y t como entrada no esta tan mal usar las representaciones en el algoritmo en vez de hacerlo a lo mas alto nivel (utilizando T como la tabla o con las posiciones). No se si esto te convence.