其实这个对偶图的定义有点问题，正确的：
所以PPT画的对偶图也有点问题，还要在\(4\)号点上画一个闭环（之后的图没有做修改）
这个证明唯一想不明白的就是为啥紫色的边一定会构成一棵树，主要是无法判断是否连通
