对偶图是与平面图相伴的一种图。对于给定平面图G=〈V，E〉，设G的面为F₁，F₂，…，Fₑ，当图G*满足如下条件时，则图G*=〈V*,E*〉称为G的对偶图：①对G的每个面Fₒ，内部任选一点v*ₒ∈V*； ②对Fₒ，Fₓ的每一条公共边界eₔ，vₒ*与vₓ*间有一条边eₔ*，并且eₔ*与eₔ交于一点； ③当且仅当eₔ仅是一个面Fₒ的边界时，vₒ*有一个环(自回路)，eₒ*与eₔ相交。