05 2020 档案
摘要：在我的博客园查看 二分图（可以带权）中的最大匹配问题，一般图要用带花树 （并不会 一些定义 一些定义和性质可能在算法讲解中用不到，但是下面的题目中会用到 二分图：能将原图点集 分成两个集合 ，且 ，使得所有边的端
阅读全文
摘要：https://www.luogu.com.cn/problem/P6190 矩阵优化的最短路 其实这题里的矩阵运算并不是乘法，由此说明在转移的时候并不一定要往矩阵乘法的原本形式上靠，只要符合结合律能快速“幂”就行 题目描述 C 国由 座城市与 条 有向 道路组成，城市与道路都从 $
阅读全文
摘要：https://www.luogu.com.cn/problem/P2149 https://darkbzoj.tk/problem/1880 ~~最近bzoj又不能上了，估计以后可能还没有dbzoj活得长~~ 最短路+建出最短路经过的DAG并拓扑排序 $1\le n\le 1500,1\le w\
阅读全文
摘要：这场好毒瘤，C不特判+不知道哪里写炸导致一直过不去，赛后换了写法才过/kk 然后下分到1600，结果还是不能记分打div3/kk CF1350 A. Orac and Factors https://codeforces.com/problemset/problem/1350/A 给出 $n\le
阅读全文
摘要：点分治 一般可以用于处理大规模树上路径问题 既然是处理路径问题，那么可以把路径分成两种，经过当前根节点的路径，不经过当前根节点的路径 处理完经过当前根节点的路径，然后删掉根节点，此时肯定会形成一个或多个子树，那么剩下的不经过当前根节点的路径，递归到这些子树中处理 删掉的节点肯定在接下来的处理中就不会
阅读全文
摘要：记录一些做过的 2 sat 题目 P4171 [JSOI2010]满汉全席 "洛谷 P4171" ， "bzoj 1823" 很裸的 2 sat 题意： 种食材，每种可以按照满式或汉式来烹饪，有 个要求，每个要求所有做出的菜品中，必须有指定的两个 满式/汉式 烹饪的第 种食材
阅读全文
摘要：k sat sat 是 Satisfiability 的缩写，就是对一串 bool 量进行赋值，使其满足布尔方程 具体来说，k sat 就是给出若干个限制： 求的一组满足所有限制合法解，\o
阅读全文
摘要：P4899 [IOI2018] werewolf 狼人 LOJ#2865.「IOI2018」狼人，第一次AC交互题 kruskal 重构树+主席树 其实知道重构树的算法的话，难度就主要在主席树上 习惯从 开始标号，所以以下讲解中的标号都是从 开始的 从 开始走，只
阅读全文
