算法树之图论
九羽-
日有所进,月有所变,终有所成。
展开
-
( 图论专题 )【最大团 】
( 图论专题 )【最大团 】当 G′是图 G的子图,且 G′是关于 V′ 的完全图时,子图 G' 为图 G 的团;当 G' 是团,且不是其他团的子集时,G' 为图 G 的极大团;当 G' 是极大团时,且点数最多,G' 为图 G最大团当 G′ 中所有点不相邻,最大点集最大的图 G′ 为图 G 的最大独立集,且最大独立集数=补图的最大团当用个数最少的团覆盖图 G 所有的点时,称为最小团覆盖,由于每个团中最多取一个点,因此有最大独立集<=最小团覆盖简单来说,极大...转载 2020-10-10 19:24:25 · 1136 阅读 · 0 评论 -
( 图论专题 )【 二分图染色 】
( 图论专题 )【 二分图染色 】二分图的判定方式:图中没有边数为奇数的环。二分图的另一种等价的说法是,可以把每个节点着以黑色和白色之一,使得每条边的两个端点颜色不同。不难发现,非连通的图是二分图当且仅当每个连通分量都是二分图,因此我们只考虑无向连通图。#include<bits/stdc++.h>#define int long longusing namespace std;const int maxn = 2e5+10;vector<int&g..原创 2020-09-25 20:13:14 · 451 阅读 · 0 评论 -
( 图论专题 )【 矩阵树定理 】
( 图论专题 )【 矩阵树定理 】首先,矩阵树定理用于求解一个图上的生成树个数。实现方式是:A为邻接矩阵,D为度数矩阵,则基尔霍夫(Kirchhoff)矩阵即为:K=D−A。具体实现中,记 f为Kirchhoff矩阵,则若存在E(u,v),则a[u][u]++, a[v][v]++, a[u][v]−−, a[v][u]−− 。即 f [ i ] [ i ]为i点的度数,f[ i ] [ j ]为i, j 之间边的条数的相反数。 这样构成的矩阵的行列式的值,就为生成树的个数...转载 2020-08-07 09:57:04 · 462 阅读 · 1 评论 -
( 图论专题 )【 最小点覆盖、最少边覆盖和最大独立集 】
( 图论专题 )【 最小点覆盖、最少路径覆盖和最大独立集 】(1)二分图的最大匹配匈牙利算法(2)二分图的最小点覆盖定义:在二分图中,求最少的点集,使得每一条边至少都有端点在这个点集中。二分图的最小点覆盖 = 二分图的最大匹配(3)二分图的最少边覆盖定义:在二分图中,求最少的边,使得他们覆盖所有的点,并且每一个点只被一条边覆盖。二分图的最少边覆盖 = 点数-二分图的最大匹配证明:先贪心选一组最大匹配的边放进集合,对于剩下的没有匹配的点,随便选一条与之关联的边放进集.翻译 2020-07-30 21:18:54 · 2736 阅读 · 0 评论 -
The Unique MST ( 次小生成树 + kruskal模板 )
The Unique MST ( 次小生成树 + kruskal模板 )Given a connected undirected graph, tell if its minimum spanning tree is unique.Definition 1 (Spanning Tree): Consider a connected, undirected graph G = (V, E...原创 2019-08-13 16:44:49 · 245 阅读 · 0 评论 -
( 图论专题 )【 最大费用最大流 】
( 图论专题 )【 最大费用最大流 】【 最大费用最大流 】只需要将【 最小费用最大流 】的w取相反数就好了,最后的mincost( 最小费用 )也取相反数就是最大费用了。( 图论专题 )【 最小费用最大流 】例题:HDU - 643710 3 1 101 5 1000 05 10 1000 1第一行n,m,K,M, 每天n个小时,m个视频,K个人,观看相同视频时失去W幸福值。接下来m行,每行S,T,w,op四个正整数,dii个视频的开始时间,结束时间,看完得到的幸福值,..原创 2020-05-29 21:17:22 · 2885 阅读 · 0 评论 -
( 图论专题 )【 差分约束系统 】
( 图论专题 )【 差分约束系统 】差分约束系统只是对最短路算法的一种应用,没有什么新的算法,只是对于具体问题的建图方法的确定差分约束系统解决的问题是不等式组的求解:X1 - X2 <= 0X1 - X5 <= -1X2 - X5 <= 1X3 - X1 <= 5X4 - X1 <= 4X4 - X3 <= -1X5 - X3 <...转载 2019-11-25 17:09:05 · 200 阅读 · 0 评论 -
( 图论专题 )【 2-SAT 】
( 图论专题 )【 2-SAT 】推荐阅读原文:https://anguei.blog.luogu.org/solution-p4782题目背景2-SAT 问题 模板题目描述有n个布尔变量x1~xn,另有m个需要满足的条件,每个条件的形式都是“xi为true/false或xj为true/false”。比如“x1为真或x3为假”、“x7为假或x2为假”。2-S...转载 2019-11-22 21:12:08 · 182 阅读 · 1 评论 -
( 图论专题 )【 强联通分量Tarjan 】
( 图论专题 )【 强联通分量Tarjan 】推荐阅读:https://blog.csdn.net/weixin_43843835/article/details/88381828推荐阅读:https://blog.csdn.net/qq_34374664/article/details/77488976强连通(strongly connected): 在一个有向图G里,设两个点 ...翻译 2019-11-22 20:13:57 · 166 阅读 · 0 评论 -
( 图论专题 )【 欧拉图 】
( 图论专题 )【 欧拉图与哈密尔顿图 】欧拉图性质1. 欧拉路:欧拉路是指从图中任意一个点开始到图中任意一个点结束的路径,并且图中每条边通过的且只通过一次。2. 欧拉回路:欧拉回路是指起点和终点相同的欧拉路。3. 一个无向图存在欧拉路,当且仅当该图有0个或2个奇数度数的顶点,且该图是连通图。4.一个无向图存在欧拉回路,当且仅当该图所有顶点度数都为偶数,且该图是连通图。...原创 2019-11-19 19:19:54 · 1443 阅读 · 0 评论 -
( 图论专题 )【 拓扑排序 】
( 图论专题 )【 拓扑排序 】在一个有向图中,对所有的节点进行排序,要求没有一个节点指向它前面的节点。先统计所有节点的入度,对于入度为0的节点就可以分离出来,然后把这个节点指向的节点的入度减一。一直做改操作,直到所有的节点都被分离出来。如果最后不存在入度为0的节点,那就说明有环,不存在拓扑排序,也就是很多题目的无解的情况。下面是算法的演示过程。代码:void...原创 2019-11-19 10:08:01 · 153 阅读 · 0 评论 -
( 图论专题 )【 最小费用最大流 】
( 图论专题 )【 最小费用最大流 】推荐视频理解:https://www.bilibili.com/video/av65039892?from=search&seid=1822150581423158194费用流算法现在我们想象假如我们有一个流量网络,现在每个边除了流量,现在还有一个单位费用,这条边的费用相当于它的单位费用乘上它的流量,我们要保持最大流的同时,还要保持边权...原创 2019-10-30 16:53:34 · 917 阅读 · 0 评论 -
( 图论专题 )【 网络最大流 】
( 图论专题 )【 网络最大流 】推荐视频:https://www.bilibili.com/video/av65039892?from=search&seid=1822150581423158194推荐阅读:https://blog.csdn.net/stevensonson/article/details/79177530网络流图是一张只有一个源点和汇点的有向图,而...原创 2020-12-22 21:07:51 · 373 阅读 · 0 评论 -
( 图论专题 )【 最小生成树 】
( 图论专题 )【 最小生成树 】关于图的几个概念定义:连通图:在无向图中,若任意两个顶点vi与vj都有路径相通,则称该无向图为连通图。 强连通图:在有向图中,若任意两个顶点vi与vj都有路径相通,则称该有向图为强连通图。 连通网:在连通图中,若图的边具有一定的意义,每一条边都对应着一个数,称为权;权代表着连接连个顶点的代价,称这种连通图叫做连通网。 生成树:一个连通图的生成树是...翻译 2019-10-29 21:59:17 · 483 阅读 · 0 评论 -
( 图论专题 )【 最短路 】
( 图论专题 )【 最短路 】dijkstra的堆优化(最简版本)先了解不用堆优化的dijkstra:https://blog.csdn.net/weixin_43828245/article/details/90722389推荐视频讲解(代码是Python写的,重点听思路):https://www.bilibili.com/video/av25829980了解c++优先队列:ht...原创 2019-10-28 12:17:24 · 174 阅读 · 0 评论