摘要：题面http://uoj.ac/problem/210 题解$2-sat$前后缀建边题，见https://www.cnblogs.com/lokiii/p/10800844.html 阅读全文

摘要：题面 https://loj.ac/problem/6036 题解 很抱歉的告诉大家，这道题我思考了很长时间，还是不会。 $yyb$代码的细节我也没有弄懂。我知道以后的学习中我会遇到很多这样的题，可能学习方式要进行转变了。 我只能把我看明白的部分讲给大家听。 首先是暴力，我们只要把$trie$树上具 阅读全文

摘要：题面 https://www.luogu.org/problem/P3825 题解 我发现这些年我学的$2-sat$竟然一直是假的，醉了醉了。 我们看一下$2-sat$的形式： 如果$p$，那么$q$。 数学上学过，一个命题成立，那么它的逆否命题成立。在这里，他的逆否命题是完全确定的。 所以，如果非 阅读全文

摘要：题面 https://www.luogu.org/problem/P4782 题解 输出时，要输出所属强连通分量的字典序最小的点，而且经实测，改了就错。 因为一个联通块，缩了点形成一个$DAG$，我们肯定要输出$DAG$上拓扑序靠后的$DAG$（附加条件更少），有因为$tarjan$是正着搜的，拓扑 阅读全文