Esta pregunta es doble y está principalmente orientada a referencias:
¿Hay algún lugar donde se den las intuiciones principales para probar el teorema menor del gráfico, sin entrar demasiado en los detalles? Sé que la prueba es larga y difícil, pero seguramente debe haber ideas clave que puedan comunicarse de una manera más fácil.
¿Existen otras relaciones en las gráficas que puedan mostrarse como cuasi órdenes, tal vez de una manera más simple que para la relación menor? (obviamente no estoy interesado en resultados triviales aquí, como comparar tamaños). Los gráficos dirigidos también están dentro del alcance de la pregunta.