Tenemos el gráfico siguiente definición:
$$V(G_n)=\{1\leq m\leq n : m = pq\}$$ (so vetices of $G_n$ está compuesto de números) $$E(G_n)=\{\{i,j\}:i\perp j\}$$ (so vertices $i,j$ están conectados si y sólo si, se realtively de los números primos)
El problema nos pide demostrar que $G_{1000}$ no es euleriano. Así parece fácil - sólo necesitamos encontrar dos vértices, de tal manera que la paridad de grado de la primera es diferente que el de la segunda (o - incluso más sencillo encontrar un vértice con grado impar). Por desgracia he estado luchando con encontrar a esa pareja desde hace bastante tiempo ahora. Donde debo buscar?