Codeforces 919F——A Game With Numbers

转自大佬博客：https://www.cnblogs.com/NaVi-Awson/p/8405966.html;

题意

两个人 Van♂ 游戏，每人手上各有 8'>88 张牌，牌上数字均为 [0,4]'>[0,4][0,4] 之间的数。每个人在自己的回合选自己手牌中数字不为 0'>00的一张与对方手牌中不为 0'>00 的一张。数字相加对 5'>55 取模，赋给自己当前选中的这张牌。 T'>TT 组询问，给出先手，问谁能胜。

分析

首先注意到卡牌顺序是没有影响的，我们可以按数字大小排序。这时由可重复的组合得每个人可能的方案只有 495(8+5−18)=495 种。所以两个人不同的状态共 4952=2450254952=245025 种。

我们可以将每个状态抽象成节点，节点存下两个状态，改轮的操作者的状态和对方的状态。用有向边链接操作前的和操作后的情况。对于每个节点我们考虑其连向的所有节点：

1. 若存在一个连向的节点的状态能够保证当前的后手必败，那么改轮的操作者必胜；
2. 若其连向的所有节点都是必胜，该节点必败；
3. 其余的情况，则是平局

可以反向建边然后跑topsort

PS：我会说大佬这篇博客让我的编码状态姿势大幅度提高了吗~

  //It is made by Awson on 2018.2.2
 #include <bits/stdc++.h>
 #define LL long long
 #define dob complex<double>
 #define Abs(a) ((a) < 0 ? (-(a)) : (a))
 #define Max(a, b) ((a) > (b) ? (a) : (b))
 #define Min(a, b) ((a) < (b) ? (a) : (b))
 #define Swap(a, b) ((a) ^= (b), (b) ^= (a), (a) ^= (b))
 #define writeln(x) (write(x), putchar('\n'))
 #define lowbit(x) ((x)&(-(x)))
 using namespace std;
 const int N = ;
 void read(int &x) {
     char ch; bool flag = ;
     for (ch = getchar(); !isdigit(ch) && ((flag |= (ch == '-')) || ); ch = getchar());
     for (x = ; isdigit(ch); x = (x<<)+(x<<)+ch-, ch = getchar());
     x *= -*flag;
 }
 void print(int x) {if (x > ) print(x/); putchar(x%+); }
 void write(int x) {if (x < ) putchar('-'); print(Abs(x)); }
 
 int S[N+], C[N+], cnt;
 struct hs {
     int a[];
     hs() {memset(a, , sizeof(a)); }
     hs(int x) {for (int i = ; i >= ; i--) a[i] = x%, x /= ; }
     hs(int *_a) {for (int i = ; i < ; i++) a[i] = _a[i]; }
     void rd() {for (int i = ; i < ; i++) read(a[i]); }
     void st() {sort(a, a+); }
     int hash() {
         int ans = ;
         for (int i = ; i < ; i++) ans = ans*+a[i];
         return ans;
     }
 };
 struct tt {int to, next; }edge[(N<<)+];
 int path[N+], top, in[N+], ans[N+];
 
 void add(int u, int v) {++in[v]; edge[++top].to = v, edge[top].next = path[u]; path[u] = top; }
 int no(int a, int b) {return (a-)*cnt+b-; }
 void dfs(int cen, int last, int h) {
     if (cen == ) {S[++cnt] = h, C[h] = cnt; return; }
     for (int i = last; i < ; i++) dfs(cen+, i, h*+i);
 }
 void prework() {
     dfs(, , );
     for (int i = ; i <= cnt; i++)
         for (int j = ; j <= cnt; j++) {
             hs a(S[i]), b(S[j]);
             for (int p = ; p < ; p++) if (a.a[p])
                 for (int q = ; q < ; q++) if (b.a[q]) {
                     hs c(a.a);
                     c.a[p] = (a.a[p]+b.a[q])%;
                     c.st(); int tmp = C[c.hash()];
                     add(no(j, tmp), no(i, j));
                 }
         }
     queue<int>Q; while (!Q.empty()) Q.pop();
     for (int i = ; i <= cnt; i++) ans[no(i, )] = , Q.push(no(i, ));
     while (!Q.empty()) {
         int u = Q.front(); Q.pop();
         for (int i = path[u]; i; i = edge[i].next) if (!ans[edge[i].to]) {
             if (ans[u] == ) {ans[edge[i].to] = -; Q.push(edge[i].to); }
             else if (--in[edge[i].to] == ) {
                 Q.push(edge[i].to); ans[edge[i].to] = ;
             }
         }
     }
 }
 void work() {
     prework();
     int t, f; hs a, b; read(t);
     while (t--) {
         read(f); a.rd(), b.rd(); a.st(); b.st();
         if (f) swap(a, b);
         int as = ans[no(C[a.hash()], C[b.hash()])];
         if (as == ) puts("Deal");
         else if (as == - && f || as ==  && !f) puts("Bob");
         else puts("Alice");
     }
 }
 int main() {
     work();
     return ;
 }