FxorG

摘要： 必要性显然。 当且仅当只有一个从该据点出发的虫洞可用时 考虑我的暴力做法是缩点成若干 DAG，然后对强连通分量点数大于等于 2 的权值赋为 1，其他赋为 0，然后建反图跑拓扑，看看是不是每个点都能被传递到权值 1。 然后你这样做显然很复杂，根据经验，你觉得不够优美，并且猜测没有人会优化！显然是你性质 阅读全文

摘要： https://www.luogu.com.cn/blog/tsukimaru/csp-s-2022-jia-ji-ji-hua-di-yi-ge-jian-dan-sui-ji-hua-zuo-fa https://ac.nowcoder.com/acm/contest/40649/D 倘若你遇到 阅读全文

摘要： 你别急，我可能不会。 https://www.luogu.com.cn/problem/P4437 https://www.luogu.com.cn/problem/UVA1205 平均数作为等效权值，贪贪贪！ 阅读全文

摘要： 往往对于选 A 了，就不能选 B 这种约束关系我们可以抽象成一条边，对于每条边仅能选则其端点之一。 图灵！一般图最大独立集！ https://loj.ac/p/3281 阅读全文

该文被密码保护。 阅读全文

摘要： 需要注意的是，一类二分答案并不能很好的表示答案是否能恰好为，因为这个东西可能并没有单调性。 但是倘若要求答案的极值，你可以试试将定义改为答案能否大于等于我所二分的限制。 阅读全文

摘要： https://www.luogu.com.cn/problem/P6624 当你只能维护乘法而需要加法的答案时，你可以维护一个一次多项式，这样子最后一次项的系数即为权值和。 阅读全文

摘要： JAN 的 T3 too hard for me！ P6008 [USACO20JAN]Cave Paintings P 考虑水位不断上涨的过程即每次合并若干个列（点），注意到合并的答案等于 2 者的乘积，并查集维护一下即可。 #include <bits/stdc++.h> #define int 阅读全文

摘要： 绝大多数请参考 Alex_Wei 本文更多的是类似于算法正确性的理解、证明，以及对概念加深的理解。 定义篇 SAM 是个确定有限状态自动机，即你考虑没经过一条边，到一个节点（状态）的时候，便加上这条边的一个字符。也就是说，SAM 上的路径代表一个字符串。更具体的，SAM 上从根到任意节点的路径代表着 阅读全文

摘要： https://www.luogu.com.cn/blog/command-block/xian-xing-ji-xiao-ji 显然一个矩阵的秩是一定的，于是在一个张成空间中，显然基向量的个数都等于空间维度。根据该性质，对每个向量有价值的时候，你可以按需排序，确保最终基向量集合的总价值取到最值。 阅读全文