平面图 极大平面图 筒单平氯图的性质 非平贡图 K氏定理 对偶图 平雨图的染色 作亚 0000000 0000 00000 0000 0000000 000000000 平面图 定义4.1.1：若能把图G画在一个平面上，使任何两条边都不相交，就 称G可嵌入平面，或称G是可平面图。可平面图在平面的一个嵌入称 为平面图。 平面图边相。于顶点 区 刘胜利（上海交大-CS实验到 图论第四章：平面图与图的着色 3/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã ➼➶4.1.1➭❡❯rãG①✸➌❻➨→þ➜➛❄Ûü❫❃ÑØ❷✂➜Ò →G➀✐❭➨→➜➼→G➫➀➨→ã✧➀➨→ã✸➨→✛➌❻✐❭→ ➃➨→ã✧ ➨→ã❃❷✂✉➸✿! ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 3 / 47
平面图 极大平面图 筒单平氯图的性质 非平贡图 K氏定理 对偶图 平雨图的染色 作型 0000000 0000 00000 0000 0000000 000000000 平面图 定义4.1.1：若能把图G画在一个平面上，使任何两条边都不相交，就 称G可嵌入平面，或称G是可平面图。可平面图在平面的一个嵌入称 为平面图。 平面图边相交于顶点！ 刘胜利（上海交大-CS实验到 图论第四章：平面图与图的着色 3/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã ➼➶4.1.1➭❡❯rãG①✸➌❻➨→þ➜➛❄Ûü❫❃ÑØ❷✂➜Ò →G➀✐❭➨→➜➼→G➫➀➨→ã✧➀➨→ã✸➨→✛➌❻✐❭→ ➃➨→ã✧ ➨→ã❃❷✂✉➸✿! ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 3 / 47
平面图 极大平面图 筒单平氯图的性质 非平贡图 K氏定理 对偶图 平雨图的染色 作型 0000000 0000 00000 0000 0000000 000000000 平面图 定义4.1.1：若能把图G画在一个平面上，使任何两条边都不相交，就 称G可嵌入平面，或称G是可平面图。可平面图在平面的一个嵌入称 为平面图。 平面图边相交于顶点！ 刘胜利（上海交大-CS实验到 图论第四章：平面图与图的着色 3/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã ➼➶4.1.1➭❡❯rãG①✸➌❻➨→þ➜➛❄Ûü❫❃ÑØ❷✂➜Ò →G➀✐❭➨→➜➼→G➫➀➨→ã✧➀➨→ã✸➨→✛➌❻✐❭→ ➃➨→ã✧ ➨→ã❃❷✂✉➸✿! ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 3 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平面图的染色 作型 ●000000 0000 00000 0000 0000000 000000000 平面图的域 定义4.1.2：设G是一个平面图，由它的若干条边所构成的一个区域内着 果不含任何结点及边（域中若有边也只能是割边），就称该区域为G的一 个面或域。包围这个域的诸边称为该域的边界。 ☒ 刘胜利（上海交大-CS实验到 图论第四章：平面图与图的着色 4/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ➼➶4.1.2➭✗G➫➌❻➨→ã➜❞➜✛❡❩❫❃↕✟↕✛➌❻➠➁❙❳ ❏Ø➵❄Û✭✿✾❃( ➁➙❡❦❃➃➄❯➫⑧❃)➜Ò→❚➠➁➃G✛➌ ❻→➼➁✧➑➀ù❻➁✛➹❃→➃❚➁✛❃✳✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 4 / 47
平百图 极大平面图 筒单平面图的性质 非平贡图 K氏定理 对偶图 平面图的染色 作型 ●000000 0000 00000 0000 0000000 000000000 平面图的域 定义4.1.2：设G是一个平面图，由它的若干条边所构成的一个区域内如 果不含任何结点及边（域中若有边也只能是割边），就称该区域为G的一 个面或域。包围这个域的诸边称为该域的边界。 ☒ 刘胜利（上海交大CS实验到 图论第四章：平面图与图的着色 4/47
➨→ã ✹➀➨→ã ④ü➨→ã✛✺➓ ➎➨→ã K➻➼♥ éóã ➨→ã✛✴Ú ❾➆ ➨→ã✛➁ ➼➶4.1.2➭✗G➫➌❻➨→ã➜❞➜✛❡❩❫❃↕✟↕✛➌❻➠➁❙❳ ❏Ø➵❄Û✭✿✾❃( ➁➙❡❦❃➃➄❯➫⑧❃)➜Ò→❚➠➁➃G✛➌ ❻→➼➁✧➑➀ù❻➁✛➹❃→➃❚➁✛❃✳✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ãØ✶♦Ù:➨→ã❺ã✛❳Ú 4 / 47