"Link" 对于火星人$u$，在时间点$t$，我们将其拆成两个点$(u,t,0),(u,t,1)$表示它的存活状态。 考虑用$\text{2 SAT}$来表示限制。 那么此时我们有$(i,t,0)\rightarrow(i,t+1,0),(i,t+1,1)\rightarrow(i,t,1)$两条 ...
分类：
Web程序 时间：
2020-05-21 22:29:45
阅读次数：
68
$\texttt{Tarjan}$ 解决缩点、割点、桥、点双联、边双联、$\texttt{2-sat}$。 ...
分类：
其他好文 时间：
2020-05-19 14:17:04
阅读次数：
41
2-SAT裸题 如果不会2-SAT，点我。 总结一下2-SAT其实就是若a则非b这样的形式，建一条边即可。 #include <bits/stdc++.h> using namespace std; const int N = 16010; const int M = 40010; struct n ...
分类：
其他好文 时间：
2020-05-09 23:20:49
阅读次数：
85
又是一道2-SAT裸题（读题比想题久/kk） /* m: 0 (i + 0 * n) h: 1 (i + 1 * n) */ #include <iostream> #include <cstdio> #include <cstring> using namespace std; const int ...
分类：
Web程序 时间：
2020-05-09 22:55:23
阅读次数：
62
Sat May 09 15:57:04 2020Non critical error ORA-48913 caught while writing to trace file "/u01/app/oracle/diag/rdbms/mdb/mdb/trace/mdb_dbrm_7134.trc"Er ...
分类：
数据库 时间：
2020-05-09 17:15:08
阅读次数：
73
前置芝士： dfs，强连通分量 一般的k-sat问题就是给你n个变量$a_i$，每个变量有k个取值，然后给你一堆条件让你求出满足所有条件的一组解。 而当k>2时已经被证明为NP完全问题，没有多项式复杂度的解法（只能暴搜），故我们只考虑2-sat问题。 2-sat问题就是每个变量只有两种取值（当做0和 ...
分类：
其他好文 时间：
2020-05-01 16:46:39
阅读次数：
67
名称是否必须允许值特殊字符 秒 是 0-59 , - * / 分 是 0-59 , - * / 时 是 0-23 , - * / 日 是 1-31 , - * ? / L W C 月 是 1-12 或 JAN-DEC , - * / 周 是 1-7 或 SUN-SAT , - * ? / L C # ...
分类：
其他好文 时间：
2020-04-26 18:38:13
阅读次数：
115
题意:有n间房间，一些房间是上锁的，一些是未上锁的，只有所有门未上锁的时候，所有人才能逃出去，这里有m个开关，每个开关都可以控制多扇门，一旦按下一个开关，控制的门的状态都会发生变化，未上锁的变成上锁，上锁的变成未上锁。求是否存在一种情况使得所有的门都未上锁。 分析:题目中给出了暗示，说每个门只被两个 ...
分类：
其他好文 时间：
2020-04-26 14:14:23
阅读次数：
54
2-sat问题：设x1~xn为bool，给定m个逻辑表达式(形式为xi <逻辑运算> x2 = 值），求x1~xn的一组解，使得所有逻辑表达式成立：做法：建立2n个点，分别表示点n的true点和false点。连一条边，当且仅当根据一个逻辑表达式能绝对确定xi=true(or false)时xj的取值 ...
分类：
其他好文 时间：
2020-04-18 15:49:29
阅读次数：
63
好题 np. 对于20分 显然可以爆搜。 对于50分 可以发现每个字符串上的问号要么是0,要么是1.考虑枚举一个字符串当前是0还是1 这会和其他字符串产生矛盾。 所以容易 发现这是一个2 sat问题。 拆点 把任意两个产生矛盾的字符串进行连边。然后最后判矛盾即可。 n^2枚举 建图 判断矛盾时使用字 ...
分类：
其他好文 时间：
2020-04-15 18:38:31
阅读次数：
77
