In computer science, what is the maximum number of colors needed to color any flat map so that no two adjacent regions share the same color, as proven in 1976?