2-SAT习题讲解 讲在前面：下述例题不是按照难度顺序的，而且基本就只会讲解建图的过程。下面讲解中$A'$为$A$的反向状态。 一、bzoj习题 例一：$bzoj2199 奶牛议会$ 首先我们考虑本题是$A$或$B$的问题，所以我们的建图策略为将$A'$连向$B$，表示若不选择$A$，则一定选择$B ...
分类：
其他好文 时间：
2019-11-25 20:50:48
阅读次数：
98
这两天又考了两次试，现总结一下这两次的情况。 11.11场 开场先读题，T1感觉有点大，T2感觉不可做，T3没有思路。确定按顺序做题。先开T1，仿佛是个2-sat，先写了一会儿，发现浪费算法，然后发现T1是个模拟，不如直接写if分类讨论，1.5h左右写完并调完此题。然后开T2，3、4操作一眼打标记， ...
分类：
其他好文 时间：
2019-11-12 21:57:06
阅读次数：
126
方法1：/h, 任意一个动作，就会触发debug 方法2： 执行sat T-CODE: 输入transaction： 执行：查看执行栈。 ...
分类：
其他好文 时间：
2019-11-07 13:01:51
阅读次数：
80
解题思路 用2 SAT的思路将题目转化为：已知$n$个二元组$$，可以算出有多少属于不同二元组的元素$(a,b)$存在冲突，要在每个二元组$$中选择选择一个元素，且要尽可能的少选$y$，问是否可以选取$n$个两两不相互矛盾的元素，若可以输出选取方案。 经过简单的推导可以得到，对于$$和$$ 若$x_ ...
分类：
其他好文 时间：
2019-10-31 23:43:14
阅读次数：
119
提：http://acm.hdu.edu.cn/showproblem.php?pid=3062 题目思路： 对于这类问题一般的解法为将每个点分为 x 和 x' 分别表示每组当中的两种状态，这里表示丈夫和妻子，然后更具定义我们建图，如果 A和B有矛盾则选A必选B'，选B必选A' ，所以我们对该图缩点 ...
分类：
其他好文 时间：
2019-10-27 16:33:36
阅读次数：
80
结果显示： 当前系统时间的毫秒数：1572054751143msSat Oct 26 09:52:31 CST 2019Sat Oct 26 09:52:31 CST 2019Wed Jul 01 09:57:31 CST 1970 格式化时间格式 格式化前Sat Oct 26 09:52:31 C ...
分类：
其他好文 时间：
2019-10-26 10:43:09
阅读次数：
114
https://loj.ac/problem/10097 题目描述 给出n个党派，每个党派中有2个代表，若两个代表彼此厌恶就都不能成为委员会，求能否成立委员会，若能输出一种可行的方案。 思路 典型的2-SAT问题，我们用1表示在委员会中，0表示不在委员会中，那么给出的约束条件就是某两个代表的值必须为 ...
分类：
其他好文 时间：
2019-10-24 21:52:30
阅读次数：
96
题目链接:https://vj.z180.cn/b4aacc08fc7aab6ce14e7baf13816c24?v=1571542994 题目要求n个灯(R,B),给出m组赋值方式,每一组中至少有两个是正确的,问是否能找到一组正确的赋值方式. 2-SAT模板运用强连通分量解决此类真值指派问题. 对 ...
分类：
其他好文 时间：
2019-10-23 09:29:26
阅读次数：
85
conjunctive normal form, MiniSatSAT solver 是解決 SAT 問題的程式的統稱，這裡介紹一些先備知識，以及 miniSAT 這套開源的 SAT solver。一些名詞定義variableboolean function 裡面用到的那些值就叫 variable，... ...
分类：
其他好文 时间：
2019-10-21 09:54:23
阅读次数：
69
Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 2776 Accepted Submission(s): 1204 Problem Descri ...
分类：
其他好文 时间：
2019-10-17 21:47:48
阅读次数：
80
