标签：def col -- can 有一个 inline ++ 不可 clu
题目大意：有$n$个位置，有三种数，每个位置只可以填一种数，$d(d\leqslant8)$个位置有三种选择，其他位置只有两种选择。有一些限制，表示第$i$个位置选了某种数,那么第$j$个位置就只能选规定的数
输出一组合法的选数方案,无解输出$-1$
题解：考虑$d=0$的情况，就是$2-sat$的裸题。
那$d>0$的呢？发现$d\leqslant8$，因为跑一次$2-sat$的复杂度是$O(n+m)(n\leqslant5\times10^4,m\leqslant10^5)$，好像有很大的空间乱搞？若暴力$dfs$每一位选什么，复杂度是$O(3^8(n+m))\approx9.8\times10^8$，过不了。
考虑优化，如果枚举$d$个位置不可以填什么，那么就是$1,2;2,3;1,3$，发现前两种已经包含了$1,2,3$三种方案，于是复杂度成了$O(2^8(n+m))\approx3.8\times10^7$。可以承受，于是就过了
卡点：1.限制条件给的是大写字母，写成小写字母
? 2.有一个函数因为调试改成了另一个，最后忘记调回来，花了我$1.5h+$的时间
C++ Code：
#include <cstdio>
#include <cstring>
#include <iostream>
#define maxn 50010
#define maxm 100010
int n, nn, D, m, tot;
int X[10], p[maxn];
int a[maxm], b[maxm], c[maxm], d[maxm];
char s[maxn];
int head[maxn << 1], cnt;
struct Edge {
int to, nxt;
} e[maxm << 1];
void addE(int a, int b) {
e[++cnt] = (Edge) {b, head[a]}; head[a] = cnt;
}
int DFN[maxn << 1], low[maxn << 1], idx;
int S[maxn << 1], top, res[maxn << 1], CNT;
bool ins[maxn << 1];
inline int min(int a, int b) {return a < b ? a : b;}
void tarjan(int x) {
DFN[x] = low[x] = ++idx; ins[S[++top] = x] = 1;
int y;
for (int i = head[x]; i; i = e[i].nxt)
if (!DFN[y = e[i].to]) tarjan(y), low[x] = std::min(low[x], low[y]);
else if (ins[y]) low[x] = std::min(low[x], DFN[y]);
if (DFN[x] == low[x]) {
CNT++;
do ins[y = S[top--]] = 0, res[y] = CNT; while (x != y);
}
}
void init() {
memset(head, 0, sizeof head), cnt = 0;
memset(DFN, 0, sizeof DFN), idx = 0;
CNT = 0;
}
inline bool get(int a, int b) {return b != (a + 1) % 3;}
inline char reget(int a, int b) {return (b + a + 1) % 3 + ‘A‘;}
inline int P(int a, int b) {return a << 1 | b;}
bool work(int T) {
init();
for (int i = 0; i < D; i++) p[X[i]] = bool(T & 1 << i);
for (int i = 0; i < m; i++) {
if (p[a[i]] != b[i]) {
if (p[c[i]] == d[i]) addE(a[i] << 1 | get(p[a[i]], b[i]), a[i] << 1 | !get(p[a[i]], b[i]));
else {
addE(a[i] << 1 | get(p[a[i]], b[i]), c[i] << 1 | get(p[c[i]], d[i])),
addE(c[i] << 1 | !get(p[c[i]], d[i]), a[i] << 1 | !get(p[a[i]], b[i]));
}
}
}
for (int i = 2; i <= nn + 1; i++) {
if (!DFN[i]) tarjan(i);
if (i & 1) if (res[i] == res[i - 1]) return false;
}
for (int i = 1; i <= n; i++) printf("%c", reget(res[i << 1] > res[i << 1 | 1], p[i]));
return true;
}
int main() {
scanf("%d%d%s", &n, &D, s + 1); nn = n << 1;
for (int i = 1; i <= n; i++) {
if (s[i] == ‘x‘) X[tot++] = i;
p[i] = s[i] - ‘a‘;
}
scanf("%d", &m);
for (int i = 0; i < m; i++) {
char B, D;
scanf("%d %c %d %c", a + i, &B, c + i, &D);
b[i] = B - ‘A‘;
d[i] = D - ‘A‘;
}
int U = 1 << D;
for (int i = 0; i < U; i++) if (work(i)) return 0;
printf("-1");
return 0;
}
标签：def col -- can 有一个 inline ++ 不可 clu
原文地址：https://www.cnblogs.com/Memory-of-winter/p/9690758.html
