约定

为个点的完全图

树的性质

Example1([HDU6035]Colorful Tree)

考虑每种颜色的贡献,一种颜色的贡献显然是删去所有这个颜色的边后,剩下的联通块之间的路径.

Example2([2022qbxt国庆Day1]tree)

首先考虑分开处理每个点,在做每个点的时候假设它的所有子节点全部已经满足条件了,最终我们再通过计算组合数的方式计算即可.

那么最后,我们需要对于每个点进行处理,假设我们已知这个子树的集合是,那么我们需要用容斥计算如果当前子树集合是的子集的情况,不难发现容斥式子:

其实也就是个二项式反演的形式.

这题还需要一些技巧优化,我们首先发现由于有可能有重复的,我们可以提前把重复的压缩到一起再用快速幂求,于是后面的部分最多不过级别.而前面是一个类似于树上启发式合并的东西,于是复杂度.

Example3(CF1628E Groceries in Meteor Town)

因为要求路径最大值,所以先建Kruskal重构树.然后问题转化为求一个点和一群白点的LCA是谁.

树上多点LCA有个经典性质:也就相当于其中序最大的和最小的两个点的LCA.

至于区间覆盖可以用线段树.

Example4(loj3692)

注意到很小.

我们考虑处理邻域乘,设表示的级儿子需要乘上的答案.每次修改时,先将和乘上,然后令,,继续此操作直到为.

然后询问的时候直接暴力跳层父亲找答案,不难发现这样做是对的.

同样的思路可以脱离点分治处理很多邻域问题.

树的直径

  1. 定义:树中最长的一条简单路径.

  2. 树的直径可能有多个.

  3. 直径的两个端点一定是两个叶子节点.

  4. 如果树有多条直径,树的不同的直径的中点/中边一定是相同的.

  5. 到一个点距离最远的点一定是直径的一个端点.

  6. 对于两棵树,如果第一棵树直径两端点为,第二棵树直径两端点为,用一条边将两棵树连接,那么新树的直径一定是中的两个点.

上述的证明大都是考虑反证法:如果不成立,则一定存在一条更长的直径.

Example1([SDOI2013]直径)

有一个做法是:考虑找到直径的中点/中边,找到它到两边的最远距离的点,显然两边的点分别的以中点/中边的两个端点为根的LCA中间的部分就是一定会被包含的边.

树的重心

  1. 定义:树的重心是删去后所有剩余子树大小最大值最小的点.

  2. 树的重心是删去后所有剩余子树大小全部小于等于的点.

  3. 树的重心只有可能有一个或两个.

  4. 如果树有两个重心,那么这两个重心相邻.

  5. 树的重心是所有点到其距离之和最小的点.

  6. 把一个树添加或删除一个叶子,那么它的重心最多只移动一条边的距离.

  7. 把两个树通过一条边相连得到一个新的树,那么新的树的重心在连接原来两个树的重心的路径上.

(2)的证明如下:

如果重心是,且删去后剩余最大子树大小大于,设这棵子树中与相邻的点为,则我们删去后,最大子树大小一定会减少,不满足假设,所以(2)得证.

另外,如果一个点删去后所有剩余子树大小全部小于等于,那它也一定是重心.因为不存在除了重心以外的满足条件的点:考虑调整法,与重心相邻的点一定都不满足条件,因为它们的子树大小全都小于等于,移动后最大子树一定不小于.

(3)(4)的证明如下:

首先证明:如果有两个点都是重心,那它们一定相邻.

考虑如果二者不相邻,那删去它们后剩下的最大子树大小一定相等,设这两个点分别为,那删去后,剩下的最大子树一定包含了,而这个子树的大小一定小于等于.那删去后,剩下的最大子树大小必定大于,一定不合法.

而树上不可能有超过两个点两两相邻,于是最多只有两个重心,且它们一定相邻.

(5)的证明如下:

考虑如果是树的重心,我们看能不能将调整到另一个点使得所有点到其距离之和更小.

由于调整是一步一步做的,显然只需要判断所有和相邻的点是否符合条件即可.设这个点为,那我们把改为,会使答案减小,增加,由于,所以这么做一定不优.

(6)的证明如下:

首先,如果加入一个叶子节点后,各个子树大小仍然都,那显然不必调整.

不然,显然是往叶子节点移动一格或者加入一个相邻的重心.

(7)的证明如下:

不妨设两棵树大小分别为,然后令相连的两个点是这两棵树的根.

对于中的重心,肯定是会往根跳,并且不可能跳出原本的树.

Example1([CSP-S2019]树的重心)

首先取重心为根,如果有两个就随便取一个.

接下来我们考虑对于每个点,它在什么情况下会成为重心.首先,删掉的边不可能在的子树内,不然一定不可能取到的.然后,我们假设删掉的子树大小为,的子树内最大的一个子树大小为,那么根据重心的性质有:

整理得到:

考虑这个怎么计算:如果没有删边必须在子树外的限制,那显然可以直接遍历一遍存下,然后统一使用值域树状数组做.而我们接下来考虑删去子树内的贡献,类似colorful tree的做法,每次dfs到一个点,记录下来当前树状数组的答案,然后dfs子树,回溯时拿新答案减去旧答案就是子树内的答案.

接下来我们需要考虑怎么做.

考虑的子树中最大的那个和次大的那个,如果我们删去的节点不在最大的子树中,那只需要保证最大的子树大小满足条件;不然,只需保证次大的子树大小满足条件,也是好维护的.

树的结构的维护

Example1

给定一棵树,树上点有点权.现在有一个值,初始为.从号点出发,每第一次到一个点,就会使.求在时刻保证的前提下,最终的最大值.

首先注意到为了保证这个性质,一个节点应该有两个值:表示能走到这个点所需要的最小的,表示到了这个点后能获得的价值.显然如果则无意义.

如果我们能一开始处理出根的所有儿子的和,我们就可以使用先走小的点,并不断累计的方式做.

所以考虑不断向上合并信息.不难发现此时一个点要处理出多对.考虑用一个左偏树维护这个东西.

但是,我们还需要保证不能跳着选点.也就是说我们要保证选中一个点,这个点的父亲必须选,怎么办呢?

一个方式是,我们把排序方法从只看变成先判是否存在祖先后代关系,再判断.

另一个方式是,我们每次直接把当前子树根节点扔到堆顶.但是需要满足堆的性质.不难发现如果这个点,我们可以将它与下面的最的节点合并直到这个点.而如果这个点的太大,我们同样可以合并.注意到这样我们采取了一种很聪明的方式维护了树的形态.

dfs树的性质

Example1([CF1361E]James and the Chase)

如何判断一个点是否是好的呢?首先,如果要求是任意路径,那一个点是好的当且仅当它是一个叶向有根树的根.

现在要求是简单路径,那也就是说如果走了重复点是可以忽略的,这也就是说这个叶向有根树可以有反走边,而显然不能有横插边.不难发现这是充要条件.

另一个问题是:如何快速判断一个点是否满足上述条件呢?首先我们求出以一个好的点为根的dfs树(随机选取一定数量的点,如果一个都不是好点直接输出),然后我们发现:一个点是好的必要条件是它的子树内只有一条反走边,证明显然.假设通过这条反走边走到了点,那么是好的点当且仅当也是好的点.

这是为啥呢?首先,因为我们是以一个好点为根跑的dfs树,所以走到子树内的点必定只有一种方式.那子树外的点呢?走到后,显然就要从它走到其它点,而它到的子树内显然只有一种方案,那如果到其它点也只有一种方案,那么根据这条路径,显然也是好点.

Example2(Loj 6276)

找到所有颜色相同的点对,经过它们的路径都不合法,显然经过它们的路径可以用dfs序刻画成矩阵,最后要求矩阵面积并.

圆方树的性质

  1. 对于任意的非空无向图,一定存在一个的点双连通分量,使得中只有不超过个节点是的割点.其中,若中没有的割点,则有.

  2. 若一个点双连通分量不为,则该点双连通分量中至少有一个简单环.

  3. 在仙人掌上的每个点双连通分量要么是,要么是一个简单环.

  4. 对于一个不是的点双连通分量中的任意一个点,一定存在一个简单环使得在上.

  5. 对于一个不是的点双连通分量中的任意两个点,一定存在一个简单环使得在上.

  6. 对于一个不是的点双,任给一点和一边,一定存在经过的简单环.

  7. 对于一个不是的点双,任给两点和一边,一定存在一条的简单路径.

(6)的证明非常变魔术,你考虑把这条边给改成,然后和在一个简单环上,意味着在一个简单环上.

(7)考虑(6)就行,先找到和所在的简单环,然后从这个环上连到.

任意图的性质

  1. 若一张无向连通图中存在个不同的一度点,则一定存在一个点使得存在条两两没有公共边的简单路径满足其中一个端点均为 且另一个端点分别为.(证明考虑求生成树后讨论LCA)

dsu on tree

Example(QOJ5020)

我们考虑树链剖分,这样将问题转化为三部分:

  1. 对于某个点而言,到它距离的点数量.这个问题可以使用点分治解决.

  2. 对于某条重链的上半部分而言,它连接的所有轻子树中,到它距离的点数量.这个问题直接dsu on tree.

  3. 对于某个点而言,在它子树内到它距离的点数量.这个问题也可以直接dsu on tree.

为什么转化为三个部分就能求解呢?我们考虑一条链,其中是这条链上深度最浅的点.那么首先我们统计在子树外的,这一个部分可以由(1)和(3)做差求出来.然后我们要求的就是在子树内,到这条链的距离的点的数量.这个怎么求呢?我们考虑差分,求一下和的答案然后做差.这样我们对这条到根的路径重链剖分,只需要处理重链的上半部分以及两条重链的连接处.不难发现两条重链的连接处会被多算一次,拿(3)减一下就好.以及这条路径所叉出去的重儿子也需要用(3).

现在的问题在于怎么求(2)和(3),先考虑(2),我们对于每一条重链从顶端走到低端不断地加入轻儿子,然后维护BIT就行.(3)是类似的,只不过是需要从底端走到顶端.

注意如果把重儿子和轻儿子分开处理,那么可能会在一些奇怪的地方算重,解决方法是特判处的答案,然后拆成两条互相之间完全没有影响的链,当然这也有可能会发生跳重链的时候轻儿子算重的情况,同样需要判断一下.

最小生成树

Example1(CF1550F Jumping Around)

首先考虑离线.注意到每次肯定跳到一个自己能跳到的点,而这个点应该是所需灵活度最小的点.

考虑boruvka算法,建立最小生成树并判断.

Kruskal重构树

最小生成树时,每一次加边的时候把那个边变成虚点,两个点连到这条边上.任意两个点的LCA就是它们路径上的最小边权.

最短路

Example1(CF1753D The Beach)

首先,自然的想法是把格子图黑白染色.

然后,我们注意到一个床是不可能被移动两次及以上的.因为如果是横着动两次,那不动自然就有一对空位置了;如果是转两次,考虑转的目的一定是为了空出某个位置或某两个位置(不可能为了空出三个位置,显然这么做很闲),一次操作足矣;如果是动一次转一次也是一样的,要么转的很闲要么原本就存在这么一对空位置.

我们再进行一步转化,考虑把动床改为动格子.换句话说,每个格子可以通过一定的代价移动到和它相邻的床的与它不相邻的那个位置上.注意到移动格子的过程只会把黑格子移动到黑格子,白格子移动到白格子.

于是建立超级源点跑两边最短路,枚举最后床放在哪里即可.不过这里有一点是一个床有没有可能被黑白最短路同时跑了一遍,是有可能的,但这么跑一定不优秀,不可能是最小答案.

Example2([CF843D]Dynamic Shortest Path)

注意到能过.而且每次修改只是对于若干条边,自然想到每次修改完后跑01bfs.

但是怎么跑呢?注意到维护每个点最短路的增量,并且在路径的增量上跑01bfs,自然可求.

Example3 同余最短路([luoguP2371]墨墨的等式)

因为无序,假设最小,那么所有的数字都可以按的结果分成类.我们按照余数设置个点,编号为至.

设为所有能组成的数中且余数为的最小数.那么,所有能表示出来的余数为的数都可以写作的形式,求得后可以很轻易算出.

那么怎么求呢?我们考虑:对于任意一个数,它可以怎么得到.注意到如果(其中)可行,那么一定可行.自然有:.

这显然是一个最短路问题.

差分约束

Example1([AGC056C] 01 Balanced)

将看成,看成,不难发现字典序最小也就是让前缀和序列字典序最小,并且有以及,然后做bfs跑最短路,显然最短路可以保证每个都尽可能小.

然后另一个问题在于这玩意为啥不会让,这个建图后观察一下就知道不会发生这种情况.

2-SAT

Example1(CF1697F)

对每个点建立对点表示和,就能做了.

Example2(2021集训队互测 序列)

注意到如果,那么,这样就可以刻画所有的条件.

而且一定可以刻画所有的条件.

对偶图

Example1([CSP-S 2021] 交通规划)

先考虑如果附加点的颜色全都相同,那肯定输出即可.

考虑附加点的数量为的时候,那显然最优情况需要将整个图分成各自联通的两部分,一部分染成黑色,一部分染成白色.可以发现这就是一个对偶图.

而如果附加点的数量很多怎么做呢?稍微思考一下

广义串并联图/三度化

定义

定义:不存在个点使得任意两点之间存在一条简单路径,且这六条路径不在个点之外的地方相交.

删一度点

经典问题引入:树上带权最大独立集.

首先dp是可以实现的,我们考虑是否存在贪心算法.

首先,如果不带权,我们显然可以每次选取一度点或零度点,并删去所有相连的点.这样做显然是最优的.

但怎么做带权的方法呢?我们注意到可以先删掉所有负点权的点,然后可以加入剩下的所有零度点.

那么对于一度点呢?对于一个一度点和它的相邻点,我们不能盲目选的原因是可能选取会更优秀.考虑做一个带悔贪心,我们先把选上,然后把的权值设为,相当于我们仍然可以选,但是要花费的代价把删去.

我们把类似这样的操作称为删一度点.

缩二度点

问题引入:给定一个仙人掌,每个点可以染色为或,节点染成会有的贡献,不然有的贡献.若一条边相邻的两点颜色相同则有的贡献,不然有的贡献,求最大答案.

首先如果有一度点和零度点,我们仍然可以使用删一度点的操作.

如果没有,考虑仙人掌上的一个点双一定是一个简单环.而且一定存在一个点双满足只包含一个割点.

那么对于这个点双上的一个非割点以及和它相邻的两个点和,我们考虑的染色有可能改变和的答案,那么怎么办呢?

冷静思考一下,我们想办法把给删掉.简单来说,我们把和之间连一条边权为的边,分别表示和的染色为以上四种情况时这条边(也就是原本的)的最大贡献是什么,这显然可以通过讨论的取值而求得.这样初始边权实际上就是,于是我们就可以删掉一个二度点并连起来与它相邻的两个点,我们把类似这样的操作称为缩二度点.

叠合重边

注意到使用缩二度点的时候,会把一个三元环缩成两个点及链接它们的两条重边,但是我们可以直接把重边合起来,我们把类似这样的操作称为叠合重边.

正确性证明

接下来我们证明:任何广义串并联图都可以通过以上三种操作缩为一个点.

引理1

对于一个无向图,若进行若干次删一度点操作,缩度点操作以及叠合重边操作后得到的图不是广义串并联图,那么也不是广义串并联图.

考虑用逆操作还原原图.删一度点的逆操作是加入一个点,叠合重边的逆操作是将一条边变成两条边,这两个操作显然不会使一个不是广义串并联图的图变成广义串并联图.接下来考虑缩二度点的逆操作:删掉一条边并加入一个点和两条边和.

由于这个图不是广义串并联图,所以一定存在一组反例点.如果我们删掉的边不在作为反例的六条边上,那显然不影响;如果在,由于新加入的两条边仍然可以作为路径,所以也不影响.

于是引理得证.

引理2

任意一张所有点的度数都大于等于的简单无向连通图,一定不是广义串并联图.

这个引理的严格证明有些麻烦.我们冷静一下,一个四个点的完全图满足以上条件且不是广义串并联图.而其他的图感性理解一下应该可以通过缩路径的方式变成一个四个点的完全图.

结合引理1,我们得知任意一个操作后不能变成单个节点的图的无向连通图不是广义串并联图.

引理3

任意一个满足的图,通过删一度点,缩二度点,叠合重边操作后,和都会到达一个的量级.

考虑缩完点后,所有点的度数,于是有,而在操作过程中,的值显然是不增的,于是有,解一下方程得到.

Example1(22zr提高十连测day6摆件)

首先考虑颜色之间没啥区别,所以对于一棵树来说,朴素的dp是可以的.

简单来说,设表示第棵子树的答案.合并的时候考虑设,自然有.

接下来考虑先随便找一棵生成树,然后暴力枚举多余的反走边的深度较低的叶子节点的颜色,再进行dp即可.

另外也可以缩点后做,不过对于这题没啥区别.

Example2([JOI Open 2022] 放学路)

广义串并联图的一个很重要的思想是:我们通过一些手段改变这个图的形态为一个好做的形态,但是答案又和原图相同.

在这个思想的指导下,我们考虑这个题能否进行三度化.不过注意起点和终点简单特判一下,别把他们给删了.这样我们最后如果得到了一个只有起点和终点的图,那就一定是no.

然后如果没有只得到起点和终点呢?对最短路图建DAG,考虑如果和在一个点双中,我们找到两个点,使得,并且的出度至少是,的入度至少是,显然只要找到就做完了.现在的问题就在于为啥这条边一定存在.这个考虑找一个入度至少为的点,找到它的入点,如果的出度不是,那么也是一个入度至少为的点.这样往前推一定至少能推到一个点(因为不可能贡献了俩入度).

如何保证在一个点双中呢?其实只需要添加一条边就行了.显然加了后不会对答案产生影响.然后不在这个边双内的点也没有用了.

点分治

Example1(CFgym101002K)

点分治,假设当前分治重心是,将每个数缩成一个二元组,所求就是最小,直接排序做斜率优化.

点分树的性质

  1. 点分树的高度是级别.

  2. 两个点在原树上的路径一定经过其在点分树上的LCA.

Example1(codechef [BTREE])

这题用到了一个经典套路:一个树形连通图的点数减去边数为,把虚树建出来,能到达一个点的守卫必然是一个树形连通图(虚树中原本没有守卫的点可以加个不同覆盖范围的守卫).于是我们只需要求出每个守卫能覆盖多少点以及两个守卫之间的那条路径能覆盖多少个点,前者用点分树轻松维护,后者的话找一下这条边上的某个满足条件的点就行.

Example2

给定一棵树,现在在上面选定对不同的点,要求每对点的距离之和最大.

考虑如果确定了个点,我们如何匹配他们.对每条边算贡献,假设这条边两侧分别有个点,那么这条边最大的贡献就是.不难发现这个上界可以取到,只需要取这个点的带权重心,由于不存在绝对众数,所以直接两两匹配.枚举带权重心是啥,这样复杂度.

那么怎么优化呢?我们注意到如果以一个点作为根,而它有一个儿子,的子树中选了少于个点,那么我们以为根一定是不优秀的,不然一开始就不可能只选少于个点,再考虑带权重心这个东西,上点分树.

具体来说,我们建立点分树,然后从点分树的根开始枚举带权重心,如果当前没有一棵子树选了个点,就停止,不然往选了个点的那棵子树走(如果有两个的话选第大更大的那个),这样就只会选取个带权重心.

边分治

需要建立虚点转二叉树.

边分树的性质

  1. 非叶子节点代表边,叶子节点代表点.

  2. 边分树的高度是级别.

  3. 边分树上每棵子树中的叶子节点一定联通.

  4. 是一棵完全二叉树.

  5. 两个点在原树上的路径一定经过其在边分树上的LCA所代表的边.

二分图

定理

最大流-最小割定理
Hall定理

对于二分图,那么该图存在完备匹配的充要条件是,其中指的是所有与中点有边相连的点的集合.

必要性很显然,接下来说明充分性.设为最小点覆盖,也就是最大匹配的数量,再设为最大匹配,此时自然有:

显然,于是.

另外,Hall定理有一个推论:正则二分图一定存在完美匹配.什么叫正则二分图,就是所有的点的度数(不为)都相等的图.

-正则二分图求完美匹配的话,可以不断求欧拉回路并给边定向,每次把一个方向的边全都删掉,这样就转化成了-正则二分图,不断递归到.

Vizing定理

设表示将边染色,使得有公共点的边的颜色不同,最少需要的颜色数量.

设表示中的点的最大度数.

对于一般图,我们有:,对于二分图有.

考虑这个的证明:我们每次将一对点染色,考虑设它们当前没染色的最小的颜色是,如果相等就直接选,不然类似增广路更新.

二分图最大权匹配

假定二分图两边两两有边(不是的话可以补上的边),这样就一定存在完美匹配.

我们给每个点一个顶标权值,对于任意一条边,它的权值是,我们要求满足.

如果我们规定了一组顶标后,取出所有满足的边后的图(称作相等子图)存在完美匹配,那这组完美匹配就一定是最大权匹配.

这是为啥呢?考虑此时的最大权其实也就是,而由于,因此最大权匹配一定不会超过.这就是一个可达的上界.

那么我们该怎么得到一个相等子图呢?考虑先构造一组合法的顶标,让左部端点取边的最大值,右部端点取,然后开始增广.

从左侧任意一个非匹配点出发,在相等子图上走增广路并增广.如果增广失败,我们将访问过的左部端点全部减去,右部端点全部加上,注意到此时匹配边一定不会变化,因为匹配边要么两个端点都没被访问过,要么都被访问过.而左端点被访问过,右端点没被访问过的边有可能加入相等子图,我们考虑取所有这种边的需要的差值的最小值并进行更新.但是直接这么做的复杂度有点高.

使用bfs优化,可以发现只会扩大次子图,每次复杂度,增广的复杂度类似,于是总复杂度.

Example

Example1([ XVII Open Cup named after E.V. Pankratiev. Grand Prix of Japan(openstrain contest 1489) B]Point Pairs)

看到这种要求横坐标或纵坐标相同的题,有一个自然的想法是建立二分图,对于点,将二分图左边的和右边的连一条边.那么配对等价于要每次找两条相邻的边删掉.那么如何删掉呢?

首先发现的是,二分图不同的连通块可以分开处理,我们接下来只讨论一个连通块的情况.如果这个连通块有奇数条边,显然一定不行.而又可以发现,如果这个连通块有一个点度数仅为,那这条边如何删是确定的,我们可以把它和另一条边删掉,不难发现怎么删最后得到的新图仍然联通.而如果不存在度数为的点呢?由于这是一个二分图,不存在奇环,所以我们可以找一个简单环删掉,之后显然也是一个连通块.我们到这里就可以发现问题了.运用数学归纳不难证明:只要一个连通块的边数是偶数就一定合法.

然后我们可以使用可撤销的分治解决这个问题.

网络流常见模型

最大流

最小费用最大流

最小割

最大流最小割,证明显然.

最小割求方案。这个是简单的，我们删去所有流量的边后从开始bfs，找到所有能到达的点，显然这些点（注意如果这个点一开始就不能到达，那它是废物，不用管它，下面只讨论它能到达的情况）组成一个SCC（为啥呢？首先能到达它们，其次由于是最小割，因此这个点一定到达不了，而原本是可以到达的，假设这个点是，那么一定是原本存在一条的路径被割掉了，也就是现在一定存在一条的路径）。最小割包含的边一定是这个集合和其它集合交界处的边。这是为啥呢？首先这些边一定组成了原图的一个割，其次，我们发现割不可能存在所在SCC中，而割掉完全不连接的边可以发现不如割其中一个点在所在SCC的边。

Example1(luoguP4313 文理分科)

先把所有的满意值全部吃下,然后考虑放弃哪些.

对于每个人,将向他连一条流量为的边,它向连一条为的边,表示它自己要么放弃文科,要么放弃理科.

然后再对每个点建立一个虚点,向连一条为的边,向相邻的实点连的边,表示要么放弃,要么那些点全都放弃理科.是同理的.

从这也可以看出来,大部分最小割的题目其实就是将冲突的选项放到一条路径中,然后考虑放弃哪些,将这个限制用最小割表示出来.

Example2([HNOI2013]切糕)

也是显然的最小割,唯一难处理的地方在于相差.

这个怎么做呢?建图后先每一竖轴都变成了一条链,我们在链之间加一些的边,使得如果断开的两个点之差大于,那就可以通过这条边破坏最小割结构.

这题同样告诉我们:对于最小割题目中的限制条件,几乎都是需要考虑破坏最小割结构的(也有可能是用费用流限制).

Example3(uoj704)

二分图最小割计数.

先求出最小割,然后显然每个匹配的三条边一定会选择一条割掉.

不妨设表示第对匹配割掉了哪一条边.

考虑每个非匹配边对点权的限制:

  1. 在最大匹配中,不在.则.

  2. 在最大匹配中,不在,则.

  3. 在最大匹配中,在最大匹配中,则或.

前两种是好处理的,考虑第三种:显然所有都选或所有都选是一种方案,更进一步地,我们将,那么在一个强连通分量中的点一定都是或都是.这样可以缩点,缩点后发现DAG上的每一条路径的染色都形如.

不妨折半搜索,按照拓扑排序,确定前一半哪些是,剩下是,那他们的后继必然全都是,这样后面的是的集合一定是这个后继集合的超集,高维后缀和.

接下来只需要判断哪些位置可以选.相当于前驱全都是并且后继全都是.

二分图匹配

二分图最小点覆盖

二分图最小点覆盖二分图最小割.

问题在于如何求解方案.

我们从左侧的非匹配点开始dfs,走还有残留流量的路径.并将路径上所有的点全都打上标记.那么左侧所有的未标记点和右侧所有的标记点就是一组合法的方案.

这是为啥呢?首先我们注意到,左侧的非匹配点一定会被标记,右侧的非匹配点一定不会被标记.

为啥右侧的非匹配点一定不会被标记呢?因为如果被标记了,从左侧非匹配点到右侧非匹配点这条路径的起始边和终边就都是非匹配边,显然是一条增广路.

然后我们又注意到:对于一组匹配点,要么两者都被标记,要么两者都不被标记,因为一旦走到了右侧点,下一步必然走向左侧点.而如果走到了左侧点,也必然是从右侧点走过来的.

接下来我们讨论一下:

对于非匹配边,由于其必然连了一个左侧非匹配点,所以它的右边必然被选择了.

对于匹配边,不难发现它会被某个匹配点覆盖掉.

于是得证.

当然,上面的证明略显啰嗦.事实上我们这么考虑:

首先,我们按照套路,求出所有能到达的点.根据二分图的性质,这个点的集合必然不包括.

然后我们取所有不在这个点集的左侧点和所有在这个点集的右侧点,这样所有的点被分为了四个部分,边也自然被分为了四个部分,讨论一下就知道这四个部分中有一个部分是不存在边的.于是得证.

二分图最大独立集

二分图最大独立集二分图最小点覆盖.

Example1(CF1404E)

在两个可选矩形的边界处建立一个点,如果它被选了,那么说明这个矩形和上面那个矩形被一起覆盖了.然后注意到每有一个点被选,自然就多覆盖了一个矩形,显然一个矩形不可能又跟纵向的一起被覆盖又跟横向的一起被覆盖,在他俩之间连边跑最大独立集即可.

感觉还是类似于最小路径覆盖,将这种两个一起被覆盖就减少答案的东西转换成一整条流.

最大权闭合子图

原图的边流量设为,然后对于每个点,如果,那么,然后将,流量为;不然,,流量为,然后求出最小割,答案即为.

Example1(luoguP4177)

只需要把中间的边改为租用的代价即可.

最小路径覆盖(覆盖点)

将每个点拆为两个点,,将向所有连边,向连边,如果图中存在一条路径,则连边,流量均为,然后求出最大流,答案即为.

还有一个版本是可以重复走点,做一遍传递闭包就行.因为可重复相当于原图上的可跳点,这个版本又叫最小链覆盖.

Example1([网络流24题]魔术球问题)

枚举球数,不断在残联网络上加边并在新图跑最小路径覆盖即可.

最长反链

反链是一个点的集合,满足这个集合中的点两两不可达.

最长反链可重复走点的最小点覆盖(最小链覆盖).

为啥呢?因为发现做完传递闭包后等价于新图的最大独立集.当然图是有性质的,观察一下可重复走点的最小点覆盖就可以发现等价于传递闭包后在二分图上求最大独立集.

Example1([CF1630F]Making It Bipartite)

首先显然的一点是,对于任意一个数字,这个序列中不能同时出现和,其中都是大于等于二的正整数.这是显然的.如果我们把图改为有向图,由,那么整个图就只会有两种点:只有出边的点和只有入边的点.

那么我们该怎么办呢?如果是只能出现就不能出现,那这就是一个经典的最长反链问题.但多了一层,我们可以考虑类似分层图的思想:建立和原图完全一样的图,并且将中的向中的连有向边,然后跑最长反链.不难发现这样做是正确的.

平面图最小割

平面图最小割对偶图最短路.

最小费用任意流

一般费用流,但是当当前增广路代价为正的就停止增广.

和最小费用最大流不一样,这玩意是可以增量的.

只需要考虑所有新的从源到汇的增广路以及增加过程出现的负环即可.

Example1(luoguP4694 [PA2013]Raper)

费用流模型很好建立,问题在于这个东西好像跑费用流有点慢.

那咋办呢?我们考虑到费用流是有凸性的.所以搭配一下wqs二分.

然后分一下三种情况讨论:

  1. 直接的负增广路,相当于选取最小的和当前的搭配.

  2. 有一条的负环,相当于以当前的代替前面的某个较大的.

  3. 有一条的负环,注意到这个环必然没意义,因为不可能存在一条的负路径(不然反路径就是正的,而最小费用任意流不可能流正路径),所以这种情况不如直接选的路径.

讨论完拿堆模拟一下就行.

这引出了著名的模拟费用流算法.

负费用最小流

一般费用流,但是当增广当前增广路时费用变成正的就停止增广.

注意如果两条增广路代价相同选流量大的那条.

有负环的费用流

首先注意到:如果初始图没有负环,那无论后面怎么流都不可能出来负环.因为这意味着要么是一开始流了个正环,要么是一开始有负路径不走走正路径,都不太可能.

对于所有的负边,我们建立两个新点和,我们先将这条负边反向权值取相反数并让答案加上,之后令,跑的费用流,这个时候再在残联网络上跑的费用流就是答案.

为啥会这样呢?

首先先证明正确性,这个东西相当于一开始跑了一下的图.然后我们在跑的时候一定是可以把上面的那个东西所从的所有流量全都退回去,因为这是一个可以构造的上界.也就相当于我们跑了一个环流.而在费用流里跑环流显然是不会影响答案的.

好,那么为啥这么做就不会出现负环了呢?因为你不可能在跑的时候跑个正环出来,自然不可能出现负环.

另外有一点是,一个点可能向或连很多边,其实是可以拼掉的,因为这些边全都是零权边,而构造完后的图是非负权边.

模拟费用流

对于特殊的图,模拟EK费用流的增广过程并进行操作.

对着例题记吧.

Example1(luoguP4694 [PA2013]Raper)

散题

Example1([CQOI2014]危桥)

有一个朴素的想法是:我们直接按题意建图,然后,,跑最大流然后检查是否满流.

问题在于,这样有可能会出现的流量,我们怎么避免这种情况呢?

做法是,我们交换并重复上面的过程,如果还是满流,我们声明一定合法.

为什么呢?我们注意到此时网络上的流量分为四种:,,,.不难发现和的流量是相等的.

在第二次跑网络流时,我们不妨直接将和的流量加入答案并将这两条路径反向.此时,如果还是要走到,你发现第一轮的时候已经找到了一条的路径,我们一定可以走这条来构造出只有的路径,另一边同理.

图的计数问题

Prufer序列

我们可以将一颗有编号个点()的无根树与一个长度为的Prufer序列建立双射.换句话说,一颗有编号个节点的无根树总共有种(Cayley公式).

首先证明一个树可以对应到一个序列:每次选择一个度数为的编号最小的点,把它连向的点加到序列中并把这个点删去,直到最后只剩下两个节点,这样我们就把一棵树对应到一个序列.不难发现每个点出现的次数是其度数.

然后证明一个序列可以还原成一棵树:

我们可以通过序列得知每个点的度数,每次找到度数中最小的那个点并把它与序列中的第一个元素连边并删去序列中的第一个元素,不断这么做显然可以还原树.

Example

一个个点的图有个连通块,现在加入条边使得图连通,求方案数.

令为第个连通块的点数,为第个连通块所新连上的边数,如果我们令,也即将个位置拆分成个集合,第个集合有个位置的方案数.

那我们所需要做的也就是枚举每个连通块所新连出的边数,于是答案即.

注意到我们有多项式定理:.

于是原式.

Prufer序列的矩阵树定理理解

事实上,Prufer序列其实是可以拿矩阵树定理代替的(但是更麻烦一点).

我们先考虑证明Cayley公式:构造矩阵:

其主余子式为:

将所有行全部加到第一行:

全部加下来,然后就成了上三角矩阵,将对角线乘起来就是.

连通块的结论是类似的.

LGV引理

设是一个有限的带权有向无环图,有点集的一个大小为的子集作为起点集合,一个大小为的子集作为终点集合.

记边的权值为.对于有向路径,记路径上所有边的边权的乘积为.记,即从到的所有路径的边权乘积之和.

记,表示从到的一条路径,其中是一个排列,记为以这个排列的逆序对数量为幂的值.又记为所对应终点的排列.若满足,与没有公共点,则记作,否则记作,若不作区分记作.记,也就是所有路径的乘积.

设矩阵满足,那么有:

证明:

根据行列式的定义,我们有:

考虑后面那部分,形如一个卷积的形式,所以这个式子等价于所有对应排列为的的,所以有:

接下来只需证明即可.

设所有组成的集合为,考虑构造一个映射满足如下条件:

  1. .

  2. .

  3. .

  4. .

上面的结论即得证.

我们不妨考虑中的第一对相交的路径和,并交换它们的终点.显然满足上述条件,于是结论得证.

Example

现在有个点,第个点位于,需要走到.一个在的点可以走向或.求路径不相交的方案数.

路径不相交,则终点排列只有可能是,直接使用LGV引理即可.

矩阵树定理

无向图情况

定义无向图的度数矩阵为:.

令为与之间直接相连的无向边个数,定义无向图的邻接矩阵

定义无向图的基尔霍夫矩阵(又称拉普拉斯矩阵).

记为图的生成树个数,那么有:等于基尔霍夫矩阵任意一个主余子式.

引理:无向图的基尔霍夫矩阵的任意一个代数余子式都相等.

证明:考虑删去第行,设剩下的矩阵为,根据基尔霍夫矩阵的性质,不难发现.,如果我们删去第列,考虑将除了第列的其它列全部加到第列,于是得到矩阵.我们接下来一路将第列交换到第列之前并取反,我们就得到了删去第列的矩阵,于是有,也就是,同理可证明.

接下来,用表示生成树的边的集合,设,我们只需证明.

定义,考虑构造一个的矩阵满足.

注意到:

当时,不难发现.不然,注意到显然为.也就是说,.

定义删去第一行后得到的矩阵为,则.此时我们带入Cauchy-Binet公式,得到:

接下来我们需要证明:如果集合构成了一棵生成树,那么.反之,.

如果集合没有构成一个生成树,则至少存在一个简单环.如果有某个点是孤立点那么答案肯定是,因此只需考虑每个点都与边连通的情况即可.

考虑这种情况下,如果有两条边和被选上了,那么我们可以通过列变换将它们改为和.这样不断进行下去,如果存在环,一定会出现重边选择的情况,这个时候行列式的值为.如果不存在环,那么我们可以通过这个操作得到一个菊花图.所以行列式为.

所以定理得证.

Example([省选联考 2020 A 卷]作业题)

给定一个图,设第条边的权值为,求所有生成树的之和.

首先前面的可以使用来处理.于是剩下的问题在于我们如何将一个生成树的边的和代替乘积作为贡献来求和.

不妨进行扩域,令,这样我们可以类比复数来将每个数写作的模式.考虑将每条边的边权改为并定义新域的四则运算,取最后得到的数的作为答案即可.

另外,注意到这样做复杂度,很难通过.考虑每次只当边数大于等于的时候再跑行列式.不妨设为的因数个数,考虑如果因数很分散,那肯定复杂度很低,不然,我们有复杂度,可以通过.

Example([北京省选集训2019]生成树计数)

给定一个图,设第条边的权值为,求所有生成树的之和.

考虑将第条边边权改为.根据多项式定理,显然最后取并乘以即可.

有向图情况

定义有向图的出度矩阵,类似地可以定义入度矩阵.

令为从直接连向的有向边个数,定义有向图的邻接矩阵

定义有向图的出度基尔霍夫矩阵,同理可以定义其入度基尔霍夫矩阵.

记为图以为根的根向生成树(为根时,所有边都从儿子指向父亲)个数,同理可以定义叶向生成树个数.

设为的主余子式,有.叶向同理.

下面只简单提到根向生成树的证明,叶向同理.

类似于无向图,我们考虑构造矩阵和矩阵:

剩下的部分与无向图类似.

BEST定理

设为有向图的欧拉回路个数,若其存在欧拉回路,则:

其中.

考虑如果勒令以为起点,我们保留除了以外每个点的最后经过的出边,最后一定会形成一棵根向树.而其他点可以随便选(由于我们勒令了每个点存在一个出边,所以不可能走到死胡同),这样的答案是.

但是如果没有规定起点,考虑循环重构,在我们选择不同的边当作初始边时,只需循环一下总体的顺序,就可以得到以另一条边为初始边的另一个图,所以答案要比规定起点的答案多除一个.

格路计数问题

定义

  1. 在平面直角坐标系中,横坐标和纵坐标都是整数的点称为格点,平面格路是指从一个格点到另一格点只走格点的路,格路的长度是指其所走的路的步数.

  2. 对于一条从到的格路,若其只使用了上步,右步,则我们称其为自由路.

  3. 记为自由路的集合,为自由路数量,即的元素个数,显然.

  4. 对于一条从到的自由路,若其始终不经过对角线下方,则我们称之为路.

  5. 记为自由路的集合,为自由路数量,即的元素个数.

  6. 对于从到的条格路,其中.若 ,则我们称格路等价.将的等价格路全集记为.

  7. 对于任意格路,记,则.定义的周期为使得的最小数，用表示,则显然有.

定理

散模型

多叉堆计数

有一棵树,要求给每个点一个的权值且不同的点权值不同,满足父亲的权值小于儿子的权值,求方案数.

不妨设以为根节点的子树方案数为,的儿子是,注意到.

那么考虑根的答案,考虑不断将中含有的其它向下展开,自然的,除了号点外,每个点对答案都贡献了一个,而根的贡献是.

也就是说,.

Example1([AGC060C] Large Heap)

如果没有限制,就是一个简单的多叉堆计数.

而有了限制怎么做呢?我们考虑把到的路径和到的路径归并起来,会得到一条长链.我们只要确定了长链上的元素,通过组合数以及二叉堆计数,自然可以算出不在长链上的元素的答案.而对于长链上的元素,我们可以直接设计一个的dp即可.

Example2([HEOI2013]SAO)

显然给出的是一张树形图,然后每条边有一个限制表示这条边所连接的两个点哪个更大.现在给每个点一个的权值且不同的点权值不同求方案数.

我们随便找一个点然后当成有根树做,然后如果只有父亲小于儿子的边就是简单的多叉堆计数.不然,我们可以做一个简单容斥.这样问题就又转化回多叉堆计数,容斥部分写一个树形dp就好.

补一下,这个树形dp没有那么简单.首先你注意到多叉堆计数是跟子树大小有关系的,所以你不能简单地设计表示子树内选中了条边的代价,你必须加一维来处理子树大小,也就是设表示所在连通块大小为,子树中总共选择了条边的代价.

但是注意到这题的容斥系数是,其中是选择的儿子小于父亲的数量,然后其它的要求儿子大于父亲的边随便选.你发现你选中了一条边,无非是对答案乘以一个,这是没有必要记录的.因此直接以的状态转移就行.

这个故事告诉我们别什么容斥都最后算,你能在做的过程中把乘上去就别惦记最后统一求和了.

三元环计数

我们对原图建立一个新的有向图,在新图中,如果,则在原图中或.根据自然根号,每个点的出度不会超过.

接下来枚举原图的一条边,只要在新的图中找到满足即可.打tag做一做,复杂度.

四元环计数

仍然类似三元环计数那样建立新图.

考虑原图中的两条边和,我们考虑对四元环中度数最大的那个点计数,对于这个统计一个tag表示形如的数量,每次改变的时候清空一下全图tag.

有标号DAG计数

即:

证明见反演与容斥-子集反演-Example2.

Example1(qoj5749)

注意到一个环内部不能有任何边,那么其实也就是有标号DAG计数,只不过要乘上一个斯特林数.不妨设为个点条边的答案,再设为其生成函数.事实上,我们自然有:

逆用斯特林公式,如果:

注意到,于是: