图论 杂..

于 2017-03-08 23:12:20 发布
阅读量300 收藏
点赞数
分类专栏： 图论 文章标签： 图论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mtxxxx/article/details/60885577
版权

二分图

最小顶点覆盖等于最大匹配 证明：

所有的边分为匹配的（A）边和不是匹配的边（B），最小点覆盖的点集就是要每条匹配的边两端顶点中的一个，

比如现在有x1-y1属于A，x1-y2属于B，对于x1-y1这条匹配边取x1而不取y1，这样就能覆盖到x1-y2，即B也能覆盖到。

例题：poj3041

mtxxxx
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
ACM学习资源和资料收集.docx
05-21
- **图论**: 研究图的性质。 - **数理逻辑**: 逻辑推理和证明方法。 2. **数论** - **基础**: 整除性、质数分解等。 - **高级**: 模运算、扩展欧几里得算法等。 3. **线性代数** - **矩阵**: 基本运算如加减...
算法题C&C++模板.zip
最新发布
07-03
动态规划、图论、字符串、数学、数据结构、杂题、计算几何 AC自动机、hash函数、splay、划分树、后缀数组、字典树、并查集、树状数组、线段树 动态规划、图论、字符串、数学、数据结构、杂题、计算几何 AC自动机、...
贪心杂题选讲_黄哲威.pdf
09-14
2. **Prim算法**：在图论中，Prim算法是一种求解最小生成树的贪心算法，每次选取当前未加入集合中的边中权重最小的一条，将一个顶点加入已生成的树中，直到所有顶点都被包含。 3. **Dijkstra算法**：Dijkstra算法是...
K-core.pdf
10-10
K-core算法是一种图论中的概念，用于识别网络中的核心部分。在生物信息学领域，这种算法被广泛应用于研究蛋白质相互作用网络（PINs）。蛋白质是生命活动的基础，而蛋白质间的相互作用则构成了复杂的网络结构，对于...
刘汝佳的一些资料，含数据结构，图论
08-21
5. **杂题选**：这个文件名可能包含各种不同类型的问题，可能是对前面知识点的综合应用或者一些实际编程挑战，比如排序算法（快速排序、归并排序等）、搜索算法（二分查找、A*搜索等）或者特定场景下的数据结构优化...
Dijkstra 路径统计 uva10917
mtxxxx的blog
02-17 421
/** Dijkstra 算法模板 Dijkstra用法二：路径统计 可以枚举两点之间所有最短路，以及统计最短路的条数。首先，求出所有点到目标点的最短长度d[i], 然后从起点开始，只沿着d[i]=d[j]+dist[i][j]的边走。 统计路径：设f[i]表示从i点到目标点最短路的条数，则f[i]=sum{f[j]|d[i]=d[j]+dist[i][j]}.边界条件 为终点的f值为1. 这
紫书例题11-8（最大流）
mtxxxx的blog
04-22 390
#include #include #include #include using namespace std; const int maxn=45,INF=1000000000; struct Edge { int from,to,cap,flow; Edge(int u,int v,int c,int f):from(u),to(v),cap(c),flow(f){}
Dijkstra 单源最短路 模板 uva11374
mtxxxx的blog
02-17 380
/** Dijkstra 算法模板 Dijkstra用法一：做预处理，可以计算从起点出发到每个点的最短路，即单源最短路 这道题还要注意的一个地方是，题目给了几条边是无向边的时候，如果分类讨论从哪条无向边走， 要考虑两个端点做起点，也是这个题我wa的地方。 **/ #include #include #include #include #include #include using
uvalive 3713 2-sat
mtxxxx的blog
01-13 361
/** 分析：训练指南图论例题10，p327 2-sat **/ #include #include #include #include #include #include using namespace std; const int maxn=100005; struct TwoSAT { int n; vector G[maxn*2]; bool mark[m
图论 有向图的强连通分量（模板）LA 4287
mtxxxx的blog
01-11 356
#include #include #include #include #include using namespace std; typedef long long ll; const int maxn=50005; vector G[maxn]; int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt; stack S;
差分约束系统 Dijkstra模板（2）
mtxxxx的blog
02-21 349
/** 差分约束 Dijkstra 模板（数组） 这题用vector会超时，后来才知道这个叫链式前向星 差分约束感觉这个博客写的比较好：http://blog.csdn.net/xuezhongfenfei/article/details/8685313 **/ #include #include #include #include #include #include using n
图论 无向图的双连通分量（模板） LA5135
mtxxxx的blog
01-10 330
#include #include #include #include #include using namespace std; typedef long long ll; const int maxn=50005; int pre[maxn],iscut[maxn],bccno[maxn],dfs_clock,bcc_cnt; vector G[maxn],bcc[maxn]; s
图论 欧拉回路 uva10054
mtxxxx的blog
01-09 328
无向图的欧拉回路判断两个条件 1.所有的点的度为偶数 2.满足1的条件下，所给的图连通 #include #include #include using namespace std; typedef long long ll; int G[1005][1005],d[1005]; void eular(int x) { int i; for(i=1;i<=50
uva 11294 2-sat
mtxxxx的blog
01-15 298
/** 挺简单的一道题wa了好久..应该还是当时没完全理解2-sat模板就随便套.. 这个模板中，构造一个有向图G，其中每个变量拆成两个节点2i和2i+1，分别表示xi为假和xi为真，之前是把这两个真假弄反了 对于xi为真或xj为假这样的条件，连有向边2i+1->2j以及2j+1->2i 对于每个没有赋值的变量，设为xi，我们先假定它为假，然后标记节点2i，并沿着有向边标记所有能标记的点，如果过程
LA 3523（双连通分量，判断二分图）
mtxxxx的blog
11-21 297
以后这个代码用来当模板 #include #include #include #include #include using namespace std; const int maxn=1005; struct Edge { int u,v; Edge(int x,int y){ u=x;v=y; } }; int pre[maxn],iscut[
uva 11396 二分图判定
mtxxxx的blog
01-14 295
/** 首先，这个图要满足边数的两倍等于点数乘3。 其次，由于一个爪的中心点不可能与另一个中心点相连，整个图相当于分成两个部分， 中心点和非中心点，所以这个图其实就是一个二分图。 满足这两个条件即可。 **/ #include #include #include #include using namespace std; int color[305]; vector G[305];
UVA 11324 有向图强连通分量缩点得SCC图，并在其上求最长路径
mtxxxx的blog
01-11 293
#include #include #include #include #include using namespace std; typedef long long ll; const int maxn=50005; vector G[maxn],g[maxn]; int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt,sc
UVALive 3211 （训练指南）图论例题9 2-sat+二分
mtxxxx的blog
01-11 284
/** 2-sat模板 **/ #include #include #include #include #include #include using namespace std; const int maxn=2005; //恩，我理解的这个2-sat模板就是用来使得一些变量满足一些题目给的条件， //更准确的说，是每次不能同时满足某两个条件时就形成一个子句，有很多这些子句限制..
最大流 hdu 4183
mtxxxx的blog
02-28 264
/** hdu 4183 求两点之间来回不重复的两条路就是要求从起点到终点至少有两条不重复的路径，最大流大于等于2即可 **/ #include #include #include #include #include using namespace std; struct edge{int to,cap,rev;}; const int INF=10000000000,max_v=1
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值