Oración 1: vamos a asumir que este problema ya pertenece a la clase de complejidad NP-completo
Oración 2: vamos a crear una reducción del problema del ciclo hamiltoniano en tiempo polinomial a 3-SAT para probar que es NP-completo
Conector: por lo tanto,
Relación: reasoning
Género: theses