平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平需图的染色 作亚 0●00000.0000 00000 0000 0000000 000000000 平面图的域 ·如果G是可平面图，那么它的任何导出子图也是可平面图。 。平面图G外边的无限区威称为无限域： 。无限域外的其他的域都叫做内部域 。录两个度有共同的边界，就说它们是相明的，否侧不相邻 录平面图G中的边：是某个城的边界，则一定是该成另外某个 货的共同边界 。林是一个特殊的平面福心，其特张性在于，林只省一个元限成 平而留只有一个质一是一个林 。平面留心中不是边一一定是平而国心中某两个成的共同边界 年口年①年42年年子年 刘胜利（上海交大CS实验到 图论第四章：平西图与图的着色 5/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ❳❏G➫➀➨→ã➜❅♦➜✛❄Û✓Ñ❢ã➃➫➀➨→ã✧ ➨→ãG✠❃✛➹⑩➠➁→➃➹⑩➁➯ ➹⑩➁✠✛Ù➛✛➁Ñ✗❽❙Ü➁✧ ❳❏ü❻➁❦✁Ó✛❃✳➜Ò❵➜❶➫❷✙✛➜➘❑Ø❷✙✧ ❳❏➨→ãG➙✛❃e➫✱❻➁✛❃✳➜❑e➌➼➫❚➁❺✱✠✱❻ ➁✛✁Ó❃✳✧ ✕➫➌❻❆Ï✛➨→ãG➜Ù❆Ï✺✸✉➭✕➄❦➌❻➹⑩➁✧ ➨→ãG➄❦➌❻➁⇔ G➫➌❻✕✧ ➨→ãG➙eØ➫⑧❃⇔e ➌➼➫➨→ãG➙✱ü❻➁✛✁Ó❃✳✧ ➨→ãG➙e➫⑧❃⇔e ➌➼✸✱❻➁❙Ü✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 5 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平需图的染色 作亚 0●00000.0000 00000 0000 0000000 000000000 平面图的域 ·如果G是可平面图，那么它的任何导出子图也是可平面图。 ●平面图G外边的无限区域称为无限域： 。无限域外的其他的域都叫做内部域 。如果两个域有共同的边界，就说它们是相邻的，否则不相邻 。限平面图G中的边：是某个城的边界，侧一定是该成与另外果个 质的其同边界 。休是一个告殊的平面福心，其传性在于，林只省一个无限成 平面面G只有一个质一品一个林 。平面留中不是边一一定是平面国心中某两个成的共同边界 年口年年42年年2年 刘胜利（上海交大CS实验到 图论第四章：平西图与图的着色 5/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ❳❏G➫➀➨→ã➜❅♦➜✛❄Û✓Ñ❢ã➃➫➀➨→ã✧ ➨→ãG✠❃✛➹⑩➠➁→➃➹⑩➁➯ ➹⑩➁✠✛Ù➛✛➁Ñ✗❽❙Ü➁✧ ❳❏ü❻➁❦✁Ó✛❃✳➜Ò❵➜❶➫❷✙✛➜➘❑Ø❷✙✧ ❳❏➨→ãG➙✛❃e➫✱❻➁✛❃✳➜❑e➌➼➫❚➁❺✱✠✱❻ ➁✛✁Ó❃✳✧ ✕➫➌❻❆Ï✛➨→ãG➜Ù❆Ï✺✸✉➭✕➄❦➌❻➹⑩➁✧ ➨→ãG➄❦➌❻➁⇔ G➫➌❻✕✧ ➨→ãG➙eØ➫⑧❃⇔e ➌➼➫➨→ãG➙✱ü❻➁✛✁Ó❃✳✧ ➨→ãG➙e➫⑧❃⇔e ➌➼✸✱❻➁❙Ü✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 5 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平雨图的染色 作亚 0●00000.0000 00000 0000 0000000 000000000 平面图的域 ·如果G是可平面图，那么它的任何导都子图也是可平面图。 。平面图G外边的无限区域称为无限域： ●无限域外的其他的域都叫做内部域。 。如果两个域有共同的边界，就说它们是相邻的，否则不相邻 。如果平面图G中的边：是某个域的边界，则：一定是该威与另外某个 域的共同边界 。休是一个特脉的平面国心，其传床性在于，林只省一个无限成 平而留心只有一个质一是一个林 平而留心中不是边一一定层平而面中来两个应的共同边界 年口年年42年年2年 文#利（上海交大-CS实验室 图论第四章：平西图与图的着色 5/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ❳❏G➫➀➨→ã➜❅♦➜✛❄Û✓Ñ❢ã➃➫➀➨→ã✧ ➨→ãG✠❃✛➹⑩➠➁→➃➹⑩➁➯ ➹⑩➁✠✛Ù➛✛➁Ñ✗❽❙Ü➁✧ ❳❏ü❻➁❦✁Ó✛❃✳➜Ò❵➜❶➫❷✙✛➜➘❑Ø❷✙✧ ❳❏➨→ãG➙✛❃e➫✱❻➁✛❃✳➜❑e➌➼➫❚➁❺✱✠✱❻ ➁✛✁Ó❃✳✧ ✕➫➌❻❆Ï✛➨→ãG➜Ù❆Ï✺✸✉➭✕➄❦➌❻➹⑩➁✧ ➨→ãG➄❦➌❻➁⇔ G➫➌❻✕✧ ➨→ãG➙eØ➫⑧❃⇔e ➌➼➫➨→ãG➙✱ü❻➁✛✁Ó❃✳✧ ➨→ãG➙e➫⑧❃⇔e ➌➼✸✱❻➁❙Ü✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 5 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶围 平面图的染色 作亚 0●00000.0000 00000 0000 0000000 000000000 平面图的域 ·如果G是可平面图，那么它的任何导出子图也是可平面图。 。平面图G外边的无限区域称为无限域： ●无限域外的其他的域都叫做内部域。 ·如果两个域有共同的边界，就说它们是相邻的，否则不相邻。 。如果平面图G中的边：是某个域的边界，则一定是该域与另外某个 域的共同边界 。林是一个特殊的平面图G,其特殊性在于：林只有一个无限成 平而留G只有一个质一是一个林 。平面图中不是边一一定是平而国G中来两个应的共同边界 年口年年42年年子年 刘胜利（上海交大CS实验到 图论第四章：平西图与图的着色 5/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ❳❏G➫➀➨→ã➜❅♦➜✛❄Û✓Ñ❢ã➃➫➀➨→ã✧ ➨→ãG✠❃✛➹⑩➠➁→➃➹⑩➁➯ ➹⑩➁✠✛Ù➛✛➁Ñ✗❽❙Ü➁✧ ❳❏ü❻➁❦✁Ó✛❃✳➜Ò❵➜❶➫❷✙✛➜➘❑Ø❷✙✧ ❳❏➨→ãG➙✛❃e➫✱❻➁✛❃✳➜❑e➌➼➫❚➁❺✱✠✱❻ ➁✛✁Ó❃✳✧ ✕➫➌❻❆Ï✛➨→ãG➜Ù❆Ï✺✸✉➭✕➄❦➌❻➹⑩➁✧ ➨→ãG➄❦➌❻➁⇔ G➫➌❻✕✧ ➨→ãG➙eØ➫⑧❃⇔e ➌➼➫➨→ãG➙✱ü❻➁✛✁Ó❃✳✧ ➨→ãG➙e➫⑧❃⇔e ➌➼✸✱❻➁❙Ü✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 5 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平面图的染色 作亚 0●00000.0000 00000 ●000 0000000 000000000 平面图的域 ·如果G是可平面图，那么它的任何导出子图也是可平面图。 ●平面图G外边的无限区域称为无限域： ●无限域外的其使的域都叫做内部域。 。如果两个域有共同的边界，就说它们是相邻的，否则论相邻。 ●如果平面图G中的边e是某个域的边界，则e一或是该域与另外某个 域的共同边界。 。林是一个特殊的平面图G,其特殊性在于：林只有一个无限成 平面国G只有一个域一G是一个林 。平面图G中地是割边一一或是平面图G中某两个域的共同边界 0a0 刘胜利（上海交大CS实验到 图论第四章：平西图与图的着色 5/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ❳❏G➫➀➨→ã➜❅♦➜✛❄Û✓Ñ❢ã➃➫➀➨→ã✧ ➨→ãG✠❃✛➹⑩➠➁→➃➹⑩➁➯ ➹⑩➁✠✛Ù➛✛➁Ñ✗❽❙Ü➁✧ ❳❏ü❻➁❦✁Ó✛❃✳➜Ò❵➜❶➫❷✙✛➜➘❑Ø❷✙✧ ❳❏➨→ãG➙✛❃e➫✱❻➁✛❃✳➜❑e➌➼➫❚➁❺✱✠✱❻ ➁✛✁Ó❃✳✧ ✕➫➌❻❆Ï✛➨→ãG➜Ù❆Ï✺✸✉➭✕➄❦➌❻➹⑩➁✧ ➨→ãG➄❦➌❻➁⇔ G➫➌❻✕✧ ➨→ãG➙eØ➫⑧❃⇔e ➌➼➫➨→ãG➙✱ü❻➁✛✁Ó❃✳✧ ➨→ãG➙e➫⑧❃⇔e ➌➼✸✱❻➁❙Ü✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 5 / 47