Esto es a partir de un conjunto de ejercicios y estoy pegado a este. Por favor, tenga en mente, que quiero entender cómo se resuelve, no solo estoy en busca de una solución.
Definir una secuencia infinita de árboles $T_1, T_2, T_3, ...$ (por el dibujo de los primeros elementos de la secuencia), donde, para cualquier $i$ e $j$, con $i \neq j$, $T_i$ no es un subgrafo de $T_j$. Podemos ver que el conjunto de los árboles no es bien cuasi-ordenó a la relación de la "subgrafo".
Mi mente ha llegado a esta etapa: Un árbol está conectado gráfico, sin ciclos. Un subgrafo $H$ de % de$G$, está formado por $G$, mediante la eliminación de vértices y aristas (puede saltar de una operación (por ejemplo, eliminar sólo los vértices)). Pensé en empezar con un árbol con cuatro nodos. Deje $T_1$ ser el árbol con los bordes: $(1, 2) (2, 3) (3, 4)$ y $T_2$: $(1, 3) (1, 4) (2, 4)$ pero entonces, ¿qué?
