Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 463 Bytes

README.md

File metadata and controls

6 lines (4 loc) · 463 Bytes

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.