TY  - THES
AU  - Starry González, David Alfonso
A3  - Segura Díaz, Clara María
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/123859
AB  - En este trabajo se pretende demostrar la reducibilidad polinómica entre problemas NP-completos utilizando un lenguaje formal. En particular se utiliza el lenguaje Dafny, que permite especificar y verificar programas que contienen instrucciones tanto...
AB  - The aim of this paper is to prove polynomial reducibility between NP-complete problems using a formal language. In particular, the Dafny language is used, which allows to specify and verify programs containing both imperative and functional...
LA  - spa
KW  - Dafny
KW  - Reducibilidad polinómica
KW  - Verificación
KW  - Demostraciones
KW  - Problemas
KW  - Complejidad de problemas
KW  - NP-completeness
KW  - Polynomial reducibility
KW  - Verification
KW  - Demonstrations
KW  - Problems
KW  - Complexity of problems
TI  - Demostración de reducibilidad entre problemas utilizando Dafny
M3  - bachelor thesis
ER  -