Complejidad Computacional de La Universidad de La Laguna

Sat-to-3Sat

Se debe desarrollar una aplicacion en el lenguaje de programacion deseado que implemente dicha tranformacion. Con ese fin, debe describirse una clase con la estructura de datos asociada al primer problema Π1, y otra clase con la estructura de datos asociada al segundo problema Π2. El algoritmo de transformaci´on recibir´a una entrada de Π1, y producir´a una salida del tipo Π2.