【平面图理论】平面图学习笔记

我为什么现在要学平面图
因为顺切HNOI2010遇到了平面图判定…

————————————–线割分是我>w<————————————————–

首先是一些定义:

什么是平面图?
对于一个图G=< V,E >,如果能把G画在一个平面上,且画出的图的任意两条边除了V中的节点没有其他交点,则图G为平面图.
平面图的面:
对于一个平面图,由如果存在一些边围成的区域,且这个区域内不包含这个图的点和边,那么我们称这个区域为该平面图的一个面.
比如这里面的红色区域:

对于包围这个区域的那些边构成的圈,我们称之为这个面的边界.边界的长度,称为这个面的度.
我们定义一个面的集合F,于是对于平面图我们可以将其表示为G=< V,E,F >
平面图的性质(具体内容及证明见国家集训队2003论文刘才良《平面图在信息学中的应用》):

1.若图G=< V,E,F >为连通平面图, ∑f∈F d(f) =2|E| \sum_{f\in F}\ d(f)\ \ =2|E|
2.若图G=< V,E,F >为连通平面图, |V|−|E|+|F|=2 |V|-|E|+|F|=2

当然,对于不连通的平面图,我们可以把它分解成几个联通块,然后对每个联通块这两个性质都成立(这是很显然的),所以就可以得到对不连通的平面图的一些性质.这里我不再赘述.
从上面两个性质又可以得到如下推论:

对于给定的连通简单平面图G=< V,E,F >,若|V|>=3,则|E|<=3|V|-6,|F|<=2|V|-4

原文的第二个推论我觉得好像有问题我不贴了,反正第二个好像也没用
第一个推论的作用就是告诉我们E的数量级是O(|V|)的…

平面图的判定(~~才不会说我就是因为这个才学平面图的~~):
做法转自这里

哈密顿回路会连成一个环，这个图必定被分成两部分，如果两条边相交无论同时在内还是在外都会相交，只有一条在环内一条在外才行——二分图！首先判断出那些边不再回路上然后把有矛盾的边连边利用染色法判断能否构成二分图，二分图的成立决定了平面图的成立。

接下来是重点:平面图与对偶图
定义:对于一个平面图,如果它有源点汇点,我们称之为s-t平面图.
每个平面图都能建出相应的对偶图.
对于一个平面图G,其对偶图为G*.G*中的一个点,对应原图G中的一个面.
对于G中的每条边e,如果e属于两个面 f1,f2 f_1,f_2,那么我们在G*中对点 f1∗,f2∗ f_1*,f_2*连一条边;
如果e只属于一个面f,那么在G*中对点 f∗,f∗ f*,f*连一条自环边.
此时有定理:

1.G的面数等于G*的点数,G与G*的边数相等.
2.对于一个s-t平面图,其对偶图中的一个环对应原图中的一个割.

此时就可以看出我们引入平面图与对偶图有什么作用了.
我们都知道求最大流的算法与最短路算法在效率上有不小的差距.
当我们看到一个题数据范围极大但是像是最大流,却又担心单纯的写最大流会TLE的时候
如果原图满足是平面图,我们不妨先转化为求最小割,然后再建出其对偶图然后求解.
对对偶图跑一遍Heap-Dijkstra,利用它求出的距离来做距离标号,构造最大流.
具体题目我好像只知道BeiJing2006 狼与兔子QAQ
之后单独写题解

【平面图理论】平面图学习笔记相关推荐

DDD领域驱动设计理论篇 - 学习笔记
一.Why DDD? 在加入X公司后,开始了ASP.NET Core+Docker+Linux的技术实践,也开始了微服务架构的实践.在微服务的学习中,有一本微软官方出品的<.NET微服务:容器化 ...
分布式事务理论（学习笔记）
转载自 https://blog.csdn.net/YardStrong/article/details/80199487 先附上笔记内容,最近喜欢用画图来记笔记^v^ [使用LCN]"LC ...
运筹学（最优化理论）学习笔记 | 共轭梯度法
最近博主复习了一下无约束问题最优化算法中的共轭梯度法.无约束问题最优化方法包括最速下降法.牛顿法.共轭梯度法.拟牛顿法等等.借用书中的一句话: 无约束优化问题的求解通过一系列一维搜索来实现.因此怎样选 ...
运筹学（最优化理论）学习笔记 | 分支定界法
首先,我们需要明确一点,什么时候才会用到分支定界法? 答:整数规划的时候,因为整数规划会要求部分变量必须取整数. 求解整数规划的常规步骤是: STEP1:将整数规划去掉整数性约束,得到线性规划,俗称松 ...
影像组学视频学习笔记(11)-支持向量机(SVM)(理论)、Li‘s have a solution and plan.
本笔记来源于B站Up主: 有Li 的影像组学系列教学视频本节(11)主要介绍: SVM支持向量机(理论) 支持向量机 (support vector machine, SVM) 号称是鲁棒性(rob ...
影像组学视频学习笔记(9)-T检验(T-test)理论及示例、Li‘s have a solution and plan.
本笔记来源于B站Up主: 有Li 的影像组学系列教学视频本节(9)主要介绍: T-test理论及示例 T 检验两独立样本t检验(ttest_ind):检验两组独立样本的平均数与其分布是否具有显著性 ...
影像组学视频学习笔记(6)-特征筛选之LASSO回归(理论)、Li‘s have a solution and plan.
本笔记来源于B站Up主: 有Li 的影像组学系列教学视频本节(6)主要介绍: 特征筛选之LASSO回归分析(理论通俗讲解) LASSO (Least Absolute Shrinkage Selec ...
【Bandit Algorithms学习笔记】UCB算法的理论证明
文章目录前言算法优势算法原理 UCB公式 UCB算法流程相关定理及证明定理7.1 证明定理7.2 证明总结参考资料前言笔者毕设研究的是Bandit问题,因此最近在学习相关的内容,想 ...
计算机理论导引第三版答案第四章,《计算理论导引》第四章：可判定性-学习笔记 | 诟屍...
第四章:可判定性 4 Decidability 关于其他章节的内容,请点这:<计算理论导引>学习笔记 4.1 Decidable Languages 几个可判定的语言 acceptance ...

【平面图理论】平面图学习笔记

首先是一些定义:

【平面图理论】平面图学习笔记相关推荐

最新文章

热门文章