CE玩家

分享一篇不2-set介绍博客2-set可以用来判断给出的限制能不能全满足。 那么枚举每个议案，用2-SET分别判断当这个议案通过和否决时有没有解。 在判断的时候因为已经知道的当前议案的通过情况，只用从对应的点dfs出去，标记路径上的点，最后判定有没有矛盾。#include <cstdio> #include <cstring> #include <string> #include <iostre

明显的2-SAT模型，但是对于国家的限制，边数是O(n2)O(n^2)的。 可以考虑对有x个城市的国家新建x个结点，第i个结点表示1~i的结点中是否存在首都。那么边数就可以优化到O(n)O(n)了#include <cstdio> #include <iostream> #include <algorithm> #define N 1000010 #define M 5000100using na

2-SAT有两种模板，一种O(M)O(M)可以求任意可行解，另一种O(MN)O(MN)十分暴力，所以可以求字典序最小或最大解POJ2683给定限制求任意可行解这题就是O(M)O(M)的模板。#include <cstdio> #include <iostream> #include <algorithm> #include <cstring> #include <string> #include <

一看题目 3-sat？？？ 然而发现为x的地图最多有8个，那么可以枚举每个x是什么，然后2-sat，复杂度是38(n+m)3^8(n+m)，再想一想，其实可以枚举每个x是a，或者用A型车，再用2-sat，复杂度就是28(n+m)2^8(n+m)了，但是建图太鬼畜，程序一大半在建图，最后还是被卡成68分#include <cstdio> #include <iostream> #include <a

二分答案对于一个点，最多能删一条相连的边，每一种颜色最多能有一条相连的边，那么把每个点相连的边用前缀优化建图就可以了#include <cstdio> #include <iostream> #include <algorithm> #include <vector> #include <cstring>using namespace std;const int N=1000010;int n,m,

把所有串建成一棵Trie树，相当于任意一条从根到叶子的链上都至多有一个点，用类似于前缀优化建图的方法建图#include <cstdio> #include <iostream> #include <algorithm> #include <cstring> #include <vector>using namespace std;const int N=5000010;int n,lst,cnt,

老早以前的坑了 貌似好多地方都有这个题 因为每个串都只有一个问号，问号可取0可取1，这就是一个经典的2-SAT模型 但是直接做的话，边数是n2n^2级别的，不过因为是01串，可以用可持久化字典树优化建图（可能也可以不可持久化，但是我觉得可持久化比较方便）#include <cstdio> #include <iostream> #include <algorithm> #include <st

二分答案对于一个点，肯定有一个区间里的点和它不能共存这个可以用线段树优化建图，每个friend list最多只能删一个，用前缀优化建图还要一些针对随机数据什么的trick才能过…比如二分中的那个特判#include <cstdio> #include <iostream> #include <algorithm> #include <vector> #include <cstring>using n

发现原来我并不会输出方案…这题只要找第一个不相同的位置 pospos如果 ai,pos>ai+1,posa_{i,pos}>a_{i+1,pos} 那么 ai,posa_{i,pos} 一定是大写，ai+1,posa_{i+1,pos} 一定是小写如果 ai,pos<ai+1,posa_{i,pos}<a_{i+1,pos} 那么如果 ai,posa_{i,pos} 是大写， ai+1,posa_{