设第i个人在t时刻生/死为(x,0/1,t)，然后显然能够连上(x,0,t)->(x,0,t-1)，(x,1,t)->(x,1,t+1)，然后对于每个限制，用朴素的2-SAT连边即可。 但这样的点数达到了O(nT)，其实有一种方法可以只把限制的边连接建图，点数为4m，这样可能会被卡常。 有没有更优秀 ...
分类：
编程语言 时间：
2019-05-11 10:55:21
阅读次数：
210
题意：中文题意 解题思路：首先每个装备有2种属性，这个很关键。。。，就直接猜了要不2-sat，要不二分图，然后给出n，因为n数据很大，所以考虑属性大小最多为10000，就用属性建图，第一个属性值为x部，第二个属性值为y部，跑二分图最大匹配 代码 ...
分类：
其他好文 时间：
2019-05-03 21:13:18
阅读次数：
133
2-sat有很多写法 可以用tarjan #include<bits/stdc++.h> #include<iostream> #include<cstring> #include<cstdio> using namespace std; //input by bxd #define rep(i,a ...
分类：
其他好文 时间：
2019-05-02 18:41:45
阅读次数：
96
n个国家 每个国家有两个代表 桥求选出 n个人成立世界和平委员会 有m条关系 a与b 关系差不能同时选中 求选中人的最小字典序 2-sat的入门题 调试了半天发现那个博客就是错的心态崩了 #include<bits/stdc++.h> #include<iostream> #include<cstr ...
分类：
其他好文 时间：
2019-05-02 11:34:54
阅读次数：
101
https://www.luogu.org/problemnew/show/P4171 意识到图中只有两种不同的菜系：满和汉 并且检查员类似于一个约束，可以发现这就是一个2-sat模型，满和汉分别对应true和false 由于只是检查可行性，只需要判断存在点的true个false存在同一个强连通分量 ...
分类：
Web程序 时间：
2019-04-26 14:46:42
阅读次数：
142
Problem UVALive - 3211 - Now or later Time Limit: 9000 mSec Problem Description Input Output Sample Input 10 44 156 153 182 48 109 160 201 55 186 54 2 ...
分类：
其他好文 时间：
2019-04-22 20:47:18
阅读次数：
131
"嘟嘟嘟" 最近把21天漏的给不上。 今天重温了一下2 SAT，感觉很简单。就是把所有条件都转化成如果……必然能导出……。然后就这样连边建图，这样一个强连通分量中的所有点必然都是真或者假。从而根据这个点拆点后的两个点是否在一个强连通分量里判断是否有解。 这题人很容易想到拆点：$i$表示$i$连向$s ...
分类：
其他好文 时间：
2019-04-20 15:41:11
阅读次数：
144
Last login: Sat Mar 30 22:47:35 2019 from 10.0.0.3[root@vmhzpcentosdisk ~]# pvdisplay Physical volume PV Name /dev/sdb1 VG Name centos PV Size 5.00 Gi ...
分类：
其他好文 时间：
2019-03-31 09:40:17
阅读次数：
891
ShellSort He made each turtle stand on another one's back And he piled them all up in a nine-turtle stack. And then Yertle climbed up. He sat down on ...
分类：
系统相关 时间：
2019-03-30 10:37:28
阅读次数：
135
