4色で彩色というのは4色すべて使わないといけないということですか?

4色すべて使わなくてもよいです。4色以下ならよいです。

P_i は互いに異なりますか？

集合であるため互いに異なります。