Oración 1: también necesitaríamos crear las desigualdades para las componentes de z tal que solo puedan tomar los valores de 0 o 1, lo cual tomaría menos tiempo que recorrer todo el input, por lo que podemos determinar que esta reducción se puede hacer en tiempo lineal
Oración 2: una forma de determinar si son primos relativos, es ver si el máximo común divisor es 1
Relación: neutral
Género: theses