Intento demostrar que para cualquier grafo existe una ordenación de los vértices tal que el Algoritmo Greedy coloreará los vértices de forma que utilice el número cromático de colores.
Estoy intentando atacar esto por inducción, y tengo la impresión de que casi lo he conseguido. Sin embargo, he estado perdiendo bastante tiempo tratando de hacer el paso inductivo sólido, así que me preguntaba, si alguien sabe si mi estrategia puede incluso potencialmente trabajar?