开集与色树理论

Ｗｈｉｔｎｅｙ和Ｔｕｔｔｅ为了探讨四色问题的理论证明曾把平面四色问题与圈上的４染色集的性质联系起来进行研究，提出了开集的概念和色树理论。本文研究圈上４染色集的性质，证明开集在某种组合运算后仍为开集，从而发展了色树理论，为研究平面图的染色问题提供了新的方法。文末提出了一些进一步研究的问题。