モジュラー分解を用いたグラフの再彩色可能性について

本稿では、グラフのモジュラー分解を用いることで、特定のグラフクラス（(P5, diamond)-freeグラフ、(P5, house, bull)-freeグラフ、(P5, C5, co-fork)-freeグラフなど）における再彩色可能性を証明できることを示します。