2-Sat
y_immortal
蒟蒻蒟蒻
展开
-
洛谷4782 2-Sat模板 + 2-Sat学习笔记
qwq这个东西我询问了几位神仙 发现后面构造方案的时候只能感性理解 首先 2−Sat2 - Sat2−Sat是用来求解类似 每个物品有一个属性,真或假,要求满足mmm个形如二者同时存在,都不存在,只能存在一个之类的条件。 那么这时候就需要2−Sat2-Sat2−Sat了 这个算法的实现过程大概是 我们对于每一个点建立两个点iii和i+ni+ni+n表示这个点是真或者是假。 然后对于题目中给出的关系...原创 2019-02-15 09:02:31 · 297 阅读 · 0 评论 -
洛谷3825 [NOI2017]游戏 (2-Sat+枚举)
qwq细节好多的啊 可能是2 Sat2\ Sat2 Sat并没有学好的原因 为了计算方便,先写了两个函数,分别求不同的地图不同字母对应的编号或者不同编号对应的字母。 int getnum(int opt,char c)//1 AB 2 AC 3 BC { if (opt==1) { if (c=='A') return 0; if (c=='B') return 1...原创 2019-02-15 21:05:10 · 197 阅读 · 0 评论