四色定理(Four color theorem)又稱四色猜想,是世界近代三大數學難題之一.它是于1852年由畢業于倫敦大學的格斯里(Francis Guthrie)提出來的,其內容是“任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色”四色問題的證明進程緩慢,直到1976年,美國數學家運用電子計算機證明了四色定理.某校數學興趣小組在研究給四棱錐P-ABCD的各個面涂顏色時,提出如下的“四色問題”:要求相鄰面(含公共棱的平面)不得使用同一顏色,現有4種顏色可供選擇,那么不同的涂法有( )