Time Complexity [time-complexity]

Where is 3COLORMAP? We know it is in Exp, and either in Np (complexity class) or in both Np (complexity class) and P (complexity class).

The Time Hierarchy theorem tells us that there is something in Exp \smallsetminus P (complexity class). (why? still not clear)

Figure 1: Complexity hierarchy