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