post_img

2-SAT

摘要

什么是 问题 给出 个变量 ,每一个变量只能取 ,给出 个条件,如 或, 就是求满足这 个条件的一组解。 逻辑关系 根据逻辑关系, …

post_img

欧拉路径 和 欧拉回路

摘要

无向图 存在欧拉路径的充要条件是:度数为奇数的点只能有0或2个 存在欧拉回路的充要条件 : 所有的顶点都是偶数度 有向图 存在欧拉 …

post_img

二分图的最大匹配问题

摘要

假设当前 需要分配一个点 , 但是已经没有可以分配的点给它了,呢么我们就可以询问那些已经分配好的点的对象是否有其他空余的可选点,使 …

post_img

AC 自动机 简单版本

摘要

介绍 多模式匹配算法,给定 个模式串和一个主串,查找有多少个模式串在主串中出现过。 算法流程 构造 树 我们先用 个模式串构造一颗 …

post_img

线性DP+KMP自动机模型

摘要

题目链接 表示的是密码已经生成了 位,第 位处于 状态( 状态可以看作构造串 与模板串的 已经匹配)的情况,第 个位置可能为 个英 …

post_img

LCA 倍增/tarjan/树刨

摘要

倍增算法 :存点的深度 :从点往上跳层的祖先节点。   例如:节点往上跳的祖先节点是,跳的祖先节点是,跳的祖先节点是,跳 …

post_img

Tarjan算法

摘要

用途:求解强连通分量。 DFS生成树 对图深搜时,每一个节点之访问一次,被访问过的节点和边生成的树。 有向边的访问有四种情况 树边 …