这里讲一下我对偏序集的认识如果有偏差可以评论我我会修改一：定义（度娘上copy来的不想看的可以跳过设R是非空集合A上的一个二元关系，若R满足：自反性、反对称性、传递性，则称R为A上的偏序关系。以下为定义：非严格偏序，自反偏序给定集合S，“≤”是S上的二元关系，若“≤”满足：自反性：∀a∈S，有a≤a；反对称性：∀a，b∈S，a≤b且b≤a，则a=b；传递性：∀a，b，c∈S，a≤b且b≤c，则a≤

Description给出一个n个点，m条边的DAG，你可以从中选择一些点，被选择的点所能到达的点都无法被选择。求最多能选出多少点。n#include#include#definefo(i,a,b)for(inti=a;i<=b;i++)#definerep(i,a)for(inti=last[a];i;i=next[i])usingnamespacestd;constintN=105;intn,

二分图最大匹配BZOJ题目传送门洛谷题目传送门其实就是求最大点权独立集，而最大点权独立集=总点数-最大匹配数。那么跑个传递闭包后建图求最大匹配即可。代码：#include#include#include#include#defineN405usingnamespacestd;structedge{intnxt,to;}ed[N*N<<1];intn,m,t,ans,k,h[N],p[N],f[N]

题目描述传送门题解用floyed判断连通性。连通的两个点就可以匹配，然后求二分图的最大匹配就可以了。刚开始直接在原图求最小路径覆盖的思路是错误的，因为不能保证覆盖的路径之间不存在连通关系。代码#include#include#includeusingnamespacestd;constintmax_n=105;constintmax_m=max_n*max_n;constintmax_e=max_

174bzoj1192:[HNOI2006]鬼谷子的钱袋二进制，思维bzoj1191:[HNOI2006]超级英雄Hero网络流，残量网络bzoj1179:[Apio2009]Atmtarjan，缩点，最长路，水题bzoj1143

这是一道结论题题目抽象一下就是要在一个DAG上求一个最大点集，使得两两不可达上网搜了一下，这个东西叫做最长反链根据Dilworth定理，最长反链=最小链覆盖最小链覆盖可以这样搞：我们先把图的传递闭包求一下，这个可以用floyd，然后建一个二分图，如果a–>b有边，就从左边的a向右边的b连一条边求一个最大匹配，然后用n减一下就是答案了可以这样理解：刚开始我有n条链，每条链都是一个单点，然后我每选中一

先用floyed判断两点是否联通。把一个点v拆成vx，vy。如果i能到达j，那么连边（ix，jy）。求最大点独立集，即最大匹配。剩下的点都两两不联通了，于是答案就等于总点数-最大匹配。二分图相关结论：最小点覆盖（用最少的点覆盖所有的边）=最大匹配最小边覆盖（用最少的边覆盖所有的点）=最大匹配+总点数-2*最大匹配=总点数-最大匹配因为除了匹配边覆盖的点，剩下的点每个需要一条边覆盖。最大点独立集（最

题目描述传送门题解用floyed判断连通性。连通的两个点就可以匹配，然后求二分图的最大匹配就可以了。刚开始直接在原图求最小路径覆盖的思路是错误的，因为不能保证覆盖的路径之间不存在连通关系。代码#include#include#includeusingnamespacestd;constintmax_n=105;constintmax_m=max_n*max_n;constintmax_e=max_

题目描述传送门题解用floyed判断连通性。连通的两个点就可以匹配，然后求二分图的最大匹配就可以了。刚开始直接在原图求最小路径覆盖的思路是错误的，因为不能保证覆盖的路径之间不存在连通关系。代码#include #include #include usingnamespacestd; constintmax_n=105; constintmax_m=max_n*max_n; constintmax

【题目链接】同【BZOJ1143题解】注意数据范围大了点...

【题目链接】先用Floyd跑个传递闭包，然后建图。最长反链长度=最小链覆盖数。/*Pigonometry*/ #include #include usingnamespacestd; constintmaxn=205,maxm=10005; intn,m,head[maxn],cnt,from[maxn],vis[maxn],clo; boolmp[maxn][maxn]; struct_

果然超神的一道题，但是bzoj上面没有第二问额……好吧暂时第二问只有暴力的想法但是我们可以思考出第一问。大致就是，因为如果在一个地方建了，那么这个地方能够流到的地方统统都不能建。于是我们可以贪心的思考，我们可以使能够流到的一片所组成的图最小。而且很显然答案一定会覆盖整幅图，所以我们就想到了floyed处理出每个点能够流通到的地方，然后对于这个做一个最大匹配。然而我不知道为什么……于是：来自cxjy

根据题意，如果有两个点A和B，A能到达B或者B能到达A，那么两者就只能选一个。因此，首先做一遍Floyd得到任意两个点对之间能否到达，然后连边。由于最大独立子集=n-最大匹配数，所以跑一遍最大匹配就可以了。P·S：由于bz上只有第一问的数据，所以这道题就先到此为止了。下附AC代码：var point,next:array[0..100000]oflongint; a:array[0..200,0.

这里讲一下我对偏序集的认识 如果有偏差可以评论我 我会修改一：定义（度娘上copy来的 不想看的可以跳过设R是非空集合A上的一个二元关系，若R满足：自反性、反对称性、传递性，则称R为A上的偏序关系。以下为定义：非严格偏序，自反偏序给定集合S，“≤”是S上的二元关系，若“≤”满足：自反性：∀a∈S，有a≤a；反对称性：∀a，b∈S，a≤b且b≤a，则a=b；传递性：∀a，b，c∈S，a≤b且b≤c，

题目：http://www.lydsy.com/JudgeOnline/problem.php?id=1143 首先用传递闭包，知道一个点是否可以到达另一个点，即mp[i][j]==1表示i可以到j；mp[i][j]==0表示i不可以到j。 然后变成求有向无环图的最大独立集。 这是个经典问题，要变成二分图。 将每个点拆成两个点x和y 如果有边i->j，那么连边ix->

貌似是我想少了，二分图不止只有最大匹配，先写一些结论吧，等着总结一下。参考：http://endlesscount.blog.163.com/blog/static/821197872012622103810976/二分图最小点覆盖（每条边至少一个顶点在集合里）=最大匹配二分图最小边覆盖（每个点至少连一条边）=二分图点数-最大匹配证明：考虑最大匹配后，每个未匹配的点连出一条边，即为最小边覆盖=二分

貌似是我想少了，二分图不止只有最大匹配，先写一些结论吧，等着总结一下。参考：http://endlesscount.blog.163.com/blog/static/821197872012622103810976/二分图最小点覆盖（每条边至少一个顶点在集合里）=最大匹配二分图最小边覆盖（每个点至少连一条边）=二分图点数-最大匹配证明：考虑最大匹配后，每个未匹配的点连出一条边，即为最小边覆盖=二分

#include intmain() { puts("转载请注明出处谢谢"); puts("http://blog.csdn.net/vmurder/article/details/43225427"); }题意：那个图不要看，给的没错，是有向无环图（拓扑）题解：对于每两点，都有一个关系————>如果传递闭包后a能到b，那么两者只能选一个。完事了。代码：#include #include #inc

【BZOJ1143】CTSC的题目。。。先用floyed传递闭包，然后直接上匈牙利算法。【BZOJ1452】从未写过的二维树状数组。好像很简单。。