斯坦纳树 问题是组合优化问题，与最小生成树相似，是最短网络的一种。
Continue reading…图论 Graph Theory
「OI」2-SAT
$\texttt{SAT}$ 是适定性（Satisfiability）问题的简称。一般形式为 $\texttt{k}$ – 适定性问题，简称 $\texttt{k-SAT}$。而当 $\texttt{k}>2$ 时该问题为 NP 完全的。所以我们只研究 $\texttt{k}=2$ 的情况。
「OI」线段树优化建图
说实话，这个其实也没什么。线段树优化建图就是一个简单的技巧而已。
Continue reading…
近期评论