离散数学屈婉玲第十一章讲解.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 极大平面图 定义11.8 G为简单平面图, 若在G的任意两个不相邻的顶点 之间加一条边所得图为非平面图, 则称G为极大平面图. 例如, K5,K33删去一条边后是极大平面图 K1, K2, K3, K4都是极大平面图. 定理11.10 设G为n(n?3)阶简单连通的平面图, G为极大平面图当且仅当G的每个面的次数均为3. 证 现只证必要性. 各面次数都大于或等于3. 假如deg(Ri)=s?4, 若v1与v3不相邻, 则在Ri内加边(v1,v3)不 破坏平面性, 与G是极大平面图矛盾, 因 而v1与v3必相邻, 且边(v1,v3)必在Ri外部. 同样地, v2与v4也相邻且边(v2,v4)在Ri的 外部. 于是, (v1,v3)与(v2,v4)相交于Ri的外 部, 与G是平面图矛盾. * 例 是否是极大平面图? 定理的应用 只有(3)为极大平面图 (1) (2) (3) * 极小非平面图 定