模拟退火

摘要： P3825 [NOI2017] 游戏 对于$x$，有三种选择，不符合$2-SAT$，因此靠枚举$x$为$a,b,c$来变为$2-SAT$，但是只需要枚举任意两个即可，因为枚举为$c$,则$a,b$可选，枚举$b$则$a,c$可选，三种情况都覆盖 对于建边： 若$u->v$，但是$u$不合法，则无视 阅读全文

摘要： 解决精确覆盖问题 精确覆盖问题：在一个全集$X$中若干子集的集合为$S$，精确覆盖$（Exactcover）$是指，$S$的子集$S*$，满足$X$中的每一个元素在$S*$中恰好出现一次。在计算机科学中，精确覆盖问题指找出这样的一种覆盖，或证明其不存在。 对于重复覆盖问题，感觉跟深搜差不多，甚至玄学 阅读全文