Oración 1: de esta manera, podemos considerar fácilmente 2 variaciones del TSP: Si es un grafo dirigido, tenemos que la distancia entre ciudades no es simétrica, es decir, que la distancia de la ciudad i a la ciudad j es diferente que la distancia de la ciudad j a la ciudad i
Oración 2: un lenguaje es verificable en tiempo polinomial si existe un verificador con tiempo de ejecución en tiempo polinomial
Relación: neutral
Género: theses