摘要: 前置知识 一个结点 的 DFS 序是指深度优先搜索遍历时改结点被搜索的次序,简记为 dfn\(x\)。 Tarjan 缩点维护两个东西,一个是 DFS 序,一个是 Low 值,开两个数组,dfn和low。 dfn:dfs序。 low:该节点能够追溯到的最小的dfn。 设当前枚举点为u ,连出去的边为 阅读全文
posted @ 2023-06-19 19:36 XYini 阅读(1) 评论(0) 推荐(0)
摘要: 前言:关于网络流有个生动的比喻,想象一个自来水厂向各处供水,自来水厂有无限多的水,但每条管子单位时间内允许的最大流量有限,现在钦定一个出水口为汇点,现在要做的就是在满足每一条管子不爆的情况下,最大化汇点流出的水量。 定义 1.网络 对于有向图 \(G = (V,E)\) ,其中每条边 \((u,v) 阅读全文
posted @ 2023-06-19 19:35 XYini 阅读(2) 评论(0) 推荐(0)
摘要: 思想很简单: 先建出一棵最小生成树,满足使用的边都是最小的,剩下的边(称为非树边)一定没有树边优。 如果我们加入一条非树边,删除最小生成树中的一条边,次小生成树一定是包括在以这种方法建出的树中的(倘若删两条树边加两条非树边,则肯定没有删一条加一条优,绝不是次小生成树)。 做法: 对于每一条非树边,其 阅读全文
posted @ 2023-06-19 19:34 XYini 阅读(1) 评论(0) 推荐(0)
摘要: 次短路顾名思义,第二短路。 最短路做法: 有两种可能,一是在最短路上重复走最短边,另一个是至少换另一条边到路径里。 正反跑两遍最短路,然后枚举不属于最短路的每条边( \(a\) , \(b\) ) , 找 \(dis[1 \Rightarrow a][0]+val[a][b]+dis[b\Right 阅读全文
posted @ 2023-06-19 19:33 XYini 阅读(6) 评论(0) 推荐(0)
摘要: 概念 有向图 \(G\) 为欧拉回路:当且仅当 \(G\) 的基图联通,且所有顶点的入度等于出度。 有向图 \(G\) 为欧拉路:当且仅当 \(G\) 的基图联通,而且只存在一个顶点 \(u\) 的入度比出度大于1,只存在一个顶点 \(v\) 的出度比入度大于 1(即最多有两个点的入读不等于出度), 阅读全文
posted @ 2023-06-19 19:32 XYini 阅读(5) 评论(0) 推荐(0)
摘要: 定义 节点由两个集合组成,且两个集合内部没有边的图。 二分图不存在长度为奇数的环。 \(\because\) 每一条边都是从一个集合走到另一个集合,只有走偶数次才可能回到同一个集合。 \(\therefore\) 二分图不存在长度为奇数的环。 判定 需知是否可以将图中的顶点分成两个满足条件的集合。 阅读全文
posted @ 2023-06-19 19:29 XYini 阅读(0) 评论(0) 推荐(0)
摘要: 大部分字符串的东西都会放在这篇。 待补。 KMP 大体思路: 主串和模式串进行挨个匹配。到了一个不匹配的,找该点前面的最长公共前后缀(且要小于子串长度),然后让前缀跳到后缀的位置。 当前位与主串比较,等于最大公共前后缀长度+1。 \(nxt[i]\) : 当第i位失配时,模式串的第\(nxt[i]\ 阅读全文
posted @ 2023-06-19 19:28 XYini 阅读(0) 评论(0) 推荐(0)
摘要: 初步(。 阅读全文
posted @ 2023-06-19 19:20 XYini 阅读(17) 评论(0) 推荐(0)