Supongamos que $G$ es un gráfico simple y $V(G)=V(C)\bigcup \{u_1,...,u_n\}$ donde $C$ es un $2n$ -ciclo en $G$ y $V(C)=\{a_1,...,a_n,b_1,...,b_n\}$ tal que
$(1)V(C)\bigcap \{u_1,...,u_n\}=\varnothing$ ;
$(2)E(G)=\{a_1u_1,u_1b_1,a_2u_2,u_2b_2,...,a_nu_n,u_nb_n\}\bigcup E(C)$ .
Creo que debe existir un subconjunto adecuado $S$ de $\{u_1,...,u_n\}$ tal que $G-S$ es un gráfico hamiltoniano, ¿es cierto?
