可平面图(planar graph)是一类特殊的图,指同构于某一平面图的图。如果一个图能够画在平面上,使得顶点集合及边集合分别是相同的,而如果边相交仅在边的端点处,则称这个图是可嵌入平面的,或称作可平面图(planar graph);否则称作不可平面图,可平面图G的这样一种画法称为G 的一个平面嵌入(planar embedding)。库拉托夫斯基定理给出了可平面图的特征,其内容为:图G是可平面图当且仅当G没有同胚于完全图K5和完全二部图K3,3的子图,同胚于K5和K3,3的图称为库拉托夫斯基图。这一定理是由库拉托夫斯基(Kuratowski,K.)于1930年证明的,若可平面图G不是任何同阶...