User:ClueBot III/Master Detailed Indices/Talk:Greedy coloring