Brooksの定理++

無向グラフGの頂点を適当に順序付けして、辺の両端がなら、へ方向付けした有向グラフをHとする。 Hの最大出次数のとき、Gはk+1彩色可能で、これはBrooksの定理を含んで、より上限を押さえるとおもってるんだけど、既知なのかがわからん。証明自体はたぶん正しいとおもう。n頂点からなる単純な無向グラフをとし、に頂点を一…