QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#183093 | #4896. Alice、Bob 与 DFS | hos_lyric | 0 | 1ms | 3996kb | C++14 | 4.5kb | 2023-09-18 23:07:38 | 2023-09-18 23:07:39 |
answer
#include <cassert>
#include <cmath>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <functional>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
using namespace std;
using Int = long long;
template <class T1, class T2> ostream &operator<<(ostream &os, const pair<T1, T2> &a) { return os << "(" << a.first << ", " << a.second << ")"; };
template <class T> ostream &operator<<(ostream &os, const vector<T> &as) { const int sz = as.size(); os << "["; for (int i = 0; i < sz; ++i) { if (i >= 256) { os << ", ..."; break; } if (i > 0) { os << ", "; } os << as[i]; } return os << "]"; }
template <class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; }
template <class T> bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; }
template <class T> bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; }
#define COLOR(s) ("\x1b[" s "m")
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
template <class T> using rbtree = __gnu_pbds::tree<
T,
__gnu_pbds::null_type,
std::less<T>,
__gnu_pbds::rb_tree_tag,
__gnu_pbds::tree_order_statistics_node_update
>;
int N;
vector<int> C;
vector<int> deg;
vector<vector<int>> graph;
int K;
vector<int> R;
namespace brute {
// state: just determined to call dfs(stack.back().first)
map<vector<pair<int, int>>, int> cache;
int calc(const vector<pair<int, int>> &stack) {
auto it = cache.find(stack);
if (it != cache.end()) return it->second;
set<int> app;
for (auto ujs = stack; ; ujs.pop_back()) {
if (ujs.empty()) {
app.insert(0);
goto done;
}
const int u = ujs.back().first;
for (int &j = ujs.back().second; ++j < deg[u]; ) {
auto vjs = ujs;
vjs.emplace_back(graph[u][j], -1);
app.insert(calc(vjs));
if (!C[u]) {
goto done;
}
}
}
done:{}
int ret;
for (ret = 0; app.count(ret); ++ret) {}
#ifdef LOCAL
cerr<<"calc "<<stack<<" = "<<ret<<endl;
#endif
return cache[stack] = ret;
}
int run() {
cache.clear();
int ans = 0;
for (const int r : R) {
ans ^= calc({make_pair(r, -1)});
}
return ans;
}
} // brute
namespace fast {
// dp[u][p]: now at u, p = {transition with returning} \subseteq {0, 1}
int dp[200'010][1 << 2];
int run() {
vector<int> fs(N), gs(N);
for (int u = N; --u >= 0; ) {
for (int p = 0; p < 1 << 2; ++p) {
if (C[u] || !deg[u]) {
int q = p;
rbtree<int> unapp;
for (int x = 2; x <= deg[u] + 2; ++x) {
unapp.insert(x);
}
for (int j = deg[u]; --j >= 0; ) {
const int v = graph[u][j];
const int g = dp[v][q];
if (g < 2) {
q |= 1 << g;
} else {
// (g-2)-th excludant
auto it = unapp.find_by_order(q);
if (it != unapp.end()) {
unapp.erase(it);
}
}
}
dp[u][p] = (!(q & 1 << 0)) ? 0 : (!(q & 1 << 1)) ? 1 : *unapp.begin();
} else {
int q = p;
for (int j = deg[u]; --j >= 0; ) {
const int v = graph[u][j];
const int g = dp[v][q];
q = (g < 2) ? (1 << g) : 0;
}
dp[u][p] = (!(q & 1 << 0)) ? 0 : (!(q & 1 << 1)) ? 1 : -1;
}
}
// cerr<<"dp["<<u<<"] = ";pv(dp[u],dp[u]+4);
}
int ans = 0;
for (const int r : R) {
ans ^= (C[r] || !deg[r]) ? dp[r][1 << 0] : dp[r][0];
}
return ans;
}
} // sub5
int main() {
for (; ~scanf("%d", &N); ) {
C.resize(N);
for (int u = 0; u < N; ++u) {
scanf("%d", &C[u]);
}
deg.resize(N);
graph.resize(N);
for (int u = 0; u < N; ++u) {
scanf("%d", °[u]);
graph[u].resize(deg[u]);
for (int j = 0; j < deg[u]; ++j) {
scanf("%d", &graph[u][j]);
--graph[u][j];
}
}
scanf("%d", &K);
R.resize(K);
for (int k = 0; k < K; ++k) {
scanf("%d", &R[k]);
--R[k];
}
const int ans = fast::run();
puts(ans ? "Alice" : "Bob");
#ifdef LOCAL
const int brt=brute::run();
assert(brt==ans);
cerr<<"========"<<endl;
#endif
}
return 0;
}
Details
Tip: Click on the bar to expand more detailed information
Subtask #1:
score: 0
Wrong Answer
Test #1:
score: 5
Accepted
time: 1ms
memory: 3776kb
input:
1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0...
output:
Alice
result:
ok "Alice"
Test #2:
score: 0
Accepted
time: 1ms
memory: 3848kb
input:
1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0...
output:
Bob
result:
ok "Bob"
Test #3:
score: 0
Accepted
time: 1ms
memory: 3840kb
input:
1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0...
output:
Alice
result:
ok "Alice"
Test #4:
score: -5
Wrong Answer
time: 0ms
memory: 3964kb
input:
10 0 0 0 0 0 0 0 0 0 0 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 1 10 0 1 1
output:
Alice
result:
wrong answer 1st words differ - expected: 'Bob', found: 'Alice'
Subtask #2:
score: 0
Wrong Answer
Test #18:
score: 15
Accepted
time: 0ms
memory: 3988kb
input:
7 0 0 1 1 0 1 1 1 2 2 3 4 0 2 5 6 0 1 7 0 1 1
output:
Bob
result:
ok "Bob"
Test #19:
score: 0
Accepted
time: 0ms
memory: 3700kb
input:
6 0 1 0 0 1 0 2 2 6 3 3 4 5 0 0 0 0 1 1
output:
Bob
result:
ok "Bob"
Test #20:
score: 0
Accepted
time: 0ms
memory: 3996kb
input:
3 0 1 0 1 2 1 3 0 1 1
output:
Bob
result:
ok "Bob"
Test #21:
score: 0
Accepted
time: 0ms
memory: 3996kb
input:
10 1 1 1 1 1 1 1 1 1 1 1 2 4 3 5 7 8 1 4 0 1 6 0 0 1 9 1 10 0 1 1
output:
Alice
result:
ok "Alice"
Test #22:
score: 0
Accepted
time: 0ms
memory: 3700kb
input:
10 1 0 0 1 1 1 0 0 1 0 2 2 3 0 1 4 1 5 1 6 3 7 9 10 1 8 0 0 0 1 1
output:
Alice
result:
ok "Alice"
Test #23:
score: 0
Accepted
time: 0ms
memory: 3700kb
input:
10 1 1 1 1 1 1 1 1 1 1 4 2 3 4 10 0 0 1 5 1 6 2 7 8 0 1 9 0 0 1 1
output:
Alice
result:
ok "Alice"
Test #24:
score: -15
Wrong Answer
time: 0ms
memory: 3780kb
input:
52 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 2 2 3 4 0 3 5 6 8 0 1 7 0 2 9 48 2 10 11 0 1 12 2 13 14 0 1 15 1 16 3 17 42 47 4 18 22 33 41 1 19 2 20 21 0 0 3 23 24 26 0 1 25 0 1 27 2 28 31 1 29 1 30 0 1 32 0 1 34 3 35 37 38 1 36 0 0 1 39...
output:
Alice
result:
wrong answer 1st words differ - expected: 'Bob', found: 'Alice'
Subtask #3:
score: 0
Wrong Answer
Test #55:
score: 15
Accepted
time: 0ms
memory: 3700kb
input:
7 0 0 1 1 0 1 1 1 2 2 3 4 0 2 5 6 0 1 7 0 1 1
output:
Bob
result:
ok "Bob"
Test #56:
score: 0
Accepted
time: 0ms
memory: 3712kb
input:
6 0 1 0 0 1 0 2 2 6 3 3 4 5 0 0 0 0 1 1
output:
Bob
result:
ok "Bob"
Test #57:
score: 0
Accepted
time: 0ms
memory: 3636kb
input:
3 0 1 0 1 2 1 3 0 1 1
output:
Bob
result:
ok "Bob"
Test #58:
score: 0
Accepted
time: 1ms
memory: 3772kb
input:
10 1 1 1 1 1 1 1 1 1 1 1 2 4 3 5 7 8 1 4 0 1 6 0 0 1 9 1 10 0 1 1
output:
Alice
result:
ok "Alice"
Test #59:
score: 0
Accepted
time: 0ms
memory: 3772kb
input:
10 1 0 0 1 1 1 0 0 1 0 2 2 3 0 1 4 1 5 1 6 3 7 9 10 1 8 0 0 0 1 1
output:
Alice
result:
ok "Alice"
Test #60:
score: 0
Accepted
time: 0ms
memory: 3636kb
input:
10 1 1 1 1 1 1 1 1 1 1 4 2 3 4 10 0 0 1 5 1 6 2 7 8 0 1 9 0 0 1 1
output:
Alice
result:
ok "Alice"
Test #61:
score: 0
Accepted
time: 0ms
memory: 3776kb
input:
10 1 1 1 1 1 1 1 1 1 1 2 2 7 1 3 2 4 6 1 5 0 0 0 1 9 0 0 10 8 10 10 8 10 8 10 10 1 8
output:
Alice
result:
ok "Alice"
Test #62:
score: 0
Accepted
time: 0ms
memory: 3960kb
input:
10 1 1 1 1 1 1 1 1 1 1 2 2 3 0 0 1 5 0 2 7 9 1 8 0 0 0 10 6 6 4 1 1 4 10 10 10 6
output:
Alice
result:
ok "Alice"
Test #63:
score: -15
Wrong Answer
time: 0ms
memory: 3736kb
input:
10 1 1 1 1 1 1 1 1 1 1 1 2 0 2 4 5 0 1 6 0 0 0 0 0 10 10 10 1 9 8 9 10 7 7 3
output:
Bob
result:
wrong answer 1st words differ - expected: 'Alice', found: 'Bob'
Subtask #4:
score: 0
Wrong Answer
Test #103:
score: 20
Accepted
time: 0ms
memory: 3720kb
input:
10 1 1 1 1 1 1 1 1 1 1 1 2 4 3 5 7 8 1 4 0 1 6 0 0 1 9 1 10 0 1 1
output:
Alice
result:
ok "Alice"
Test #104:
score: 0
Accepted
time: 0ms
memory: 3732kb
input:
10 1 1 1 1 1 1 1 1 1 1 4 2 3 4 10 0 0 1 5 1 6 2 7 8 0 1 9 0 0 1 1
output:
Alice
result:
ok "Alice"
Test #105:
score: 0
Accepted
time: 0ms
memory: 3720kb
input:
10 1 1 1 1 1 1 1 1 1 1 2 2 7 1 3 2 4 6 1 5 0 0 0 1 9 0 0 10 8 10 10 8 10 8 10 10 1 8
output:
Alice
result:
ok "Alice"
Test #106:
score: 0
Accepted
time: 0ms
memory: 3692kb
input:
10 1 1 1 1 1 1 1 1 1 1 2 2 3 0 0 1 5 0 2 7 9 1 8 0 0 0 10 6 6 4 1 1 4 10 10 10 6
output:
Alice
result:
ok "Alice"
Test #107:
score: -20
Wrong Answer
time: 0ms
memory: 3716kb
input:
10 1 1 1 1 1 1 1 1 1 1 1 2 0 2 4 5 0 1 6 0 0 0 0 0 10 10 10 1 9 8 9 10 7 7 3
output:
Bob
result:
wrong answer 1st words differ - expected: 'Alice', found: 'Bob'
Subtask #5:
score: 0
Skipped
Dependency #4:
0%
Subtask #6:
score: 0
Skipped
Dependency #1:
0%