tarjan模板 1 #include<cstdio> 2 #include<cstring> 3 #include<algorithm> 4 using namespace std; 5 const int maxn=20010; 6 const int maxm=50010; 7 struct ...
分类：
其他好文 时间：
2018-04-09 23:14:11
阅读次数：
204
树： 1. treap & splay 2. LCT 3. 可持久化线段树 & 主席树 4. 树套树 & 二维数点 5. 点分治图： 1. 网络流 2. 二分图 3. 2——SAT其他： 1. 分块 2. DP及其优化 3. 字符串（能学多少学多少） 4. 数论复习 ...
分类：
其他好文 时间：
2018-04-06 16:40:57
阅读次数：
131
1. "总结各种常见错误" 2. "线性筛与莫比乌斯反演" 3. "杜教筛小结" 4. "link cut tree 简单介绍" 5. "2 SAT 问题与解法小结" 6. "乘法逆元" ...
分类：
编程语言 时间：
2018-04-01 13:20:19
阅读次数：
181
Description: 有N个变量，每个变量取值可能是0或1，给定M个算式，表示a与b进行op运算结果为c，op为与、或、亦或的一种，求是否存在对每个变量的合法赋值 思路： 分三种情况讨论，建立2-sat模型，1 ~n表示该值取值为0，n+1 ~ 2n表示该值取值为1 1. a and b = 0 ...
分类：
其他好文 时间：
2018-03-31 23:58:38
阅读次数：
346
部分转自https://blog.csdn.net/jarjingx/article/details/8521690 博主讲的真的太棒了 2-sat定义： 有一些集合,每个集合里面有且仅有两个元素,且不能同时选取两个元素,集合间的元素存在一定的选择关系,求解可行解以及可行方案// 如果元素最多的集合 ...
分类：
其他好文 时间：
2018-03-31 12:04:16
阅读次数：
116
Building roads Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 8153 Accepted: 2772 Description Farmer John's farm has N barns, and there ar ...
分类：
其他好文 时间：
2018-03-30 10:16:38
阅读次数：
247
Sol 然而我的代码在$UOJ$上被$hack$$\ TLE$了 但思路是没问题的$TAT$ 如果没有$x$，就是个$2 SAT$ 我们爆搜$x$的地图是$a$还是$b$就好了 不用枚举它是$c$，枚举$a$，$b$就能保证正好选$ABC$三种车 我也不知道我的输出方案哪里学的 拓扑排序+染色$QA ...
分类：
其他好文 时间：
2018-03-28 23:56:30
阅读次数：
251
以下代码演示function, filter, projection的使用，可结合注释 省略部分代码，省略部分可参考：https://blog.csdn.net/nickta/article/details/79666918 输出： <Sat Mar 24 13:41:42 CST 2018[par ...
分类：
其他好文 时间：
2018-03-24 14:32:49
阅读次数：
177
【题目】LibreOJ 【题意】n场游戏，有三种车ABC，给定长度为n的字符串，'a'表示不能选A，'b''c'同理，'x'表示不限，至多d个'x'。有m个限制(i,hi,j,hj)表示如果第i场选择车hi，那么第j场必须选择车hj。求可行方案，或无解。n<=10^5，d<=8。 【算法】2-sat ...
分类：
编程语言 时间：
2018-03-19 23:30:12
阅读次数：
219
2 SAT 问题与解法小结 这个算法十分的奇妙qwq... 将一类判定问题转换为图论问题，然后就很容易解决了。 本文有一些地方摘录了一下 赵爽《2 SAT解法浅析》 （侵删） 一些概念： $SAT$问题 ：就是给一些布尔变量赋值，使得所有给你的条件成立的问题 适定性(Satisfiability)问 ...
分类：
其他好文 时间：
2018-03-18 20:12:53
阅读次数：
191
