浅谈图论(清华大学黄天)材料.pptx

浅谈图论 清华大学贵系 黄天 图论的前世今生 图论〔Graph Theory〕是数学的一个分支，是应用数学的一部分。它以图为研究对象，研究顶点和边组成的图形的数学理论和方法 。提出者为欧拉（Euler） 。 图论起源于一个非常经典的问题——柯尼斯堡（Konigsber）问题，也就是我们熟知的七桥问题。 后来此问题被远古大神欧拉解决，从此图论迅速发展起来。在图论的历史中，还出现了许多经典问题，比如四色定理、汉密尔顿回路。 图论发展到我们现在，已经拥有一个很庞大的体系。图论成为了信息学的一大专题，也成为不少Oier头疼的难题，当然！也是大神们虐场的必备题（其实，大神们写个A+B也可以虐你_）。 图论在竞赛中的应用 年份 2011 2012 2013 2014 2015 题数 0 1 2 2 2 于是，精通找规律的我们发现今年会出2~3题！ PS：如果不是，不要打我_ 哈哈，图论出现的概率竟然与大模拟是相当的！ 竞赛中图论问题的难度 年份 出现的位置 2011 2012 Day2 T3 2013 Day1 T3、Day2 T3 2014 Day1 T2、Day2 T2 2015 Day1 T2、Day2 T3 所以说，图论经常会是压轴题的存在。一道图论题会直接导致省一和省二的区别。 虽然大神可能会说打不打return 0才是我能否AK的关键。。。。 好的，我们现在步入正题。 学习图论的预备知识（大神们可以无视我开始刷题了）： 00、认识图 01、能画图 10、能记图 00、认识图 什么是图？ 图由点和边组成。根据边是否有方向，可分为有向图、无向图。树是特殊的无向图。 图可以用二元组(V,E)表示，V表示点的集合，E表示边的集合。每条边可以有一个边权。 01、能画图 由于我们这些蒟蒻没有vfleaking的秉异天赋，我们只学习这样的画图： 比如说，给出这样的边： 起点 终点 边权 1 2 1 2 3 2 3 1 1 2 4 3 4 5 4 3 5 2 1 2 1 3 2 1 4 3 5 4 2 10、能记图 记图的常用方法： (00)邻接矩阵 (01)邻接链表 (10)边集 (11)对于树来说，还有记录父亲节点、左儿子右兄弟的方法。 (00)邻接矩阵 0 1 2 3 4 5 0 3 2 1 4 2 2 3 3 3 1 4 5 5 1 2 3 1 2 4 2 3 2 1 3 5 其中空着的位置代表该两点之间没有边。 设G[][]为某一幅图的邻接矩阵，那么对于这样的一条边，点i-点j有一条 权值为w的边，那么就令G[i][j]=w 对于无向图来说，i-j这样的一条边就令G[i][j]=G[j][i]=w (00)邻接矩阵 void Build() { for (int i=0; iM; i++) { int u,v,w; scanf(%d%d%d,u,v,w); G[u][v]=w; //如果是无向图，则是G[u][v]=G[v][u]=w; } } 空间复杂度：O(N^2) (01)邻接链表 原理：用链表把边存起来，直观上我们要用指针来写，但是我们可以用数组模拟指针。 Vector？ (01)邻接链表 void Insert(int u,int v,int w) { cnt++; //注意：在多组数据的时候，cnt和Root一定要初始化，不然很容易错。 Node[cnt]=v; Cost[cnt]=w; Next[cnt]=Root[u]; Root[u]=cnt; } void Build() { for (int i=0; iM; i++) { int u,v,w; scanf(%d%d%d,u,v,w); Insert(u,v,w); //如果是无向图，再加一句Insert(v,u,w)，记得数组翻倍！！！ } } 空间复杂度O(M) (01)邻接链表 搜索边的时候，对于当前点Now，只需要这样写： for (int x=Root[Now]; x!=0; x=Next[x]) Node[x]就是Now连出去