QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#300735 | #7508. Fast Debugger | defyers | WA | 313ms | 39688kb | C++17 | 6.6kb | 2024-01-08 18:09:22 | 2024-01-08 18:09:22 |
Judging History
answer
#include "bits/stdc++.h"
using namespace std;
#define all(a) (a).begin(), (a).end()
#define int long long
using ll = long long;
using LL = long long;
using pii = pair<int, int>;
const int AND = 1;
const int OR = 2;
const int XOR = 3;
const int FOR = 4;
const int END = 5;
const int AX = 256;
const int BX = 257;
const int CX = 258;
const int DX = 259;
const int INF = 1LL << 30;
struct Action{
int op, a, b;
};
string operandToString(int x){
if(x == AX) return "ax";
if(x == BX) return "bx";
if(x == CX) return "cx";
if(x == DX) return "dx";
return to_string(x);
}
ostream& operator<< (ostream& out, const Action& A){
map<int, string> ops = {
{AND, "AND"},
{OR, "OR"},
{XOR, "XOR"},
{FOR, "FOR"},
{END, "END"}
};
out << ops[A.op] << ' ' << operandToString(A.a) << ' ' << operandToString(A.b);
return out;
}
int readInstruction(){
string s; cin >> s;
if(s.substr(0, 3) == "and")
return AND;
else if(s.substr(0, 2) == "or"){
return OR;
}else if(s.substr(0, 3) == "xor"){
return XOR;
}else if(s == "repeat"){
return FOR;
}else if(s == "end"){
return END;
}
assert(false);
return 0;
}
int readOperand(){
string s; cin >> s;
if(isalpha(s[0])){
return 256 + (s[0] - 'a');
}else{
return stoi(s);
}
}
int getValue(int state, int oper){
if(oper >= 256){
return (state >> (oper - 256)) & 1;
}else{
return oper;
}
}
struct Func{
int a[16];
Func() = default;
Func(int op, int a, int b){
for(int msk = 0; msk < 16; msk++){
int x = getValue(msk, a);
int y = getValue(msk, b);
int z;
assert(x <= 1);
assert(y <= 1);
if (op == AND) {
z = x & y;
} else if (op == OR) {
z = x | y;
} else if (op == XOR) {
z = x ^ y;
}
int ap = a - 256;
int new_msk = (msk & (15 - (1 << ap))) | (z << ap);
Func::a[msk] = new_msk;
}
}
static Func Id(){
Func res;
for(int i = 0; i < 16; i++){
res.a[i] = i;
}
return res;
}
};
Func operator* (const Func& f, const Func& g){
Func h;
for(int i = 0; i < 16; i++){
h.a[i] = g.a[f.a[i]];
}
return h;
}
int a[17];
Func pow (const Func& f, int k) {
if(k == 0) return Func::Id();
Func g;
bool filled[16] = {};
for (int i = 0; i < 16; i++) {
if (!filled[i]) {
a[0] = i; for(int i = 1; i <= 16; i++) a[i] = f.a[a[i - 1]];
if(k <= 16){
g.a[i] = a[k];
}else{
for(int j = 0; j < 16; j++){
if(a[j] == a[16]){
for(int l = 0; l < 16; l++){
g.a[a[l]] = a[j + ((k - 16 + l) % (16 - j))];
filled[a[l]] = true;
}
break;
}
}
}
}
}
return g;
}
struct Func8 : array<Func, 8> {
Func8 () = default;
static Func8 Id(){
Func8 res;
for(int i = 0; i < 8; i++){
res[i] = Func::Id();
}
return res;
}
Func8(int op, int a, int b){
// cout << a << ' ' << b << endl;
for(int i = 0; i < 8; i++){
at(i) = {op, a >= 256 ? a : (a >> i) & 1, b >= 256 ? b : (b >> i) & 1};
}
}
};
Func8 operator* (const Func8& f, const Func8& g){
Func8 res;
for(int i = 0; i < 8; i++){
res[i] = f[i] * g[i];
}
return res;
}
struct node{
vector<Func8> ps; Func8 tot = Func8::Id();
vector<int> cnt; int sz;
vector<node*> ch; node* par = nullptr;
Action act;
Func8 pow(int k){
Func8 res;
for(int i = 0; i < 8; i++){
res[i] = ::pow(ps.back()[i], k);
}
return res;
}
node* append(const Action& act){
if(act.op != END){
node *v = new node();
v->act = act;
ch.push_back(v); v->par = this;
if(act.op == FOR)
return v;
else
return this;
}else{
return par;
}
}
};
void dfs0(node* v){
int sz = 0;
for(auto u : v->ch){
dfs0(u);
sz += u->sz;
}
if(v->act.op == FOR){
v->sz = min(sz * v->act.a, INF);
}else{
v->sz = 1;
}
v->sz = min(v->sz, INF);
}
void dfs1(node* v, node* rt = nullptr){
vector<node*> ch = v->ch; v->ch.clear();
if(rt) rt->ch.push_back(v), v->par = rt;
for(auto u : ch){
dfs1(u, rt && v->sz >= INF ? rt : v);
}
}
void dfs2(node* v){
int sz = 0;
v->ps.push_back(Func8::Id());
v->cnt.push_back(0);
for(auto u : v->ch){
dfs2(u);
v->ps.push_back(v->ps.back() * u->tot);
v->cnt.push_back(min(INF, v->cnt.back() + u->sz));
}
if(v->act.op == FOR){
if(v->cnt.back() >= INF) v->act.a = 1;
v->tot = v->pow(v->act.a);
v->sz = min(v->cnt.back() * v->act.a, INF);
}else{
v->tot = Func8(v->act.op, v->act.a, v->act.b);
v->sz = 1;
}
v->sz = min(v->sz, INF);
}
Func8 dfs(node* v, int k){
assert(k >= 0);
if(k == 0) return Func8::Id();
if(v->act.op != FOR){
assert(k == 1);
return v->tot;
}else{
int psz = v->cnt.back();
Func8 res = v->pow(k / psz);
int pos = --upper_bound(all(v->cnt), k % psz) - v->cnt.begin();
res = res * v->ps[pos];
if(pos < v->ch.size()){
res = res * dfs(v->ch[pos], k % psz - v->cnt[pos]);
}
return res;
}
}
void solve(int TC) {
int n, q; cin >> n >> q;
vector<Action> A;
for(int i = 0; i < n; i++){
int ins = readInstruction();
if(ins == FOR){
int k; cin >> k;
A.push_back({FOR, k});
}else if(ins == END){
A.push_back({END});
}else{
int a = readOperand(), b = readOperand();
A.push_back({ins, a, b});
}
}
node *root = new node();
root->act = {FOR, 1, 0};
node *cur = root;
for(auto act : A){
cur = cur->append(act);
}
cur->append({END});
dfs0(root);
// cout << "DFS 0 DONE" << endl;
dfs1(root);
// cout << "DFS 1 DONE" << endl;
dfs2(root);
// cout << "DFS 2 DONE" << endl;
assert(cur == root);
// for(auto act : A){
// cout << act << '\n';
// }
for(int i = 0; i < q; i++){
int k, a, b, c, d; cin >> k >> a >> b >> c >> d;
int a2 = 0, b2 = 0, c2 = 0, d2 = 0;
Func8 ans = dfs(root, k);
for(int i = 0; i < 8; i++){
int v = ((a >> i) & 1)
+ ((b >> i) & 1) * 2
+ ((c >> i) & 1) * 4
+ ((d >> i) & 1) * 8;
v = ans[i].a[v];
a2 += (v & 1 ? (1 << i) : 0);
b2 += (v & 2 ? (1 << i) : 0);
c2 += (v & 4 ? (1 << i) : 0);
d2 += (v & 8 ? (1 << i) : 0);
}
cout << a2 << ' ' << b2 << ' ' << c2 << ' ' << d2 << '\n';
}
}
int32_t main() {
cin.tie(0)->sync_with_stdio(0);
cout << fixed << setprecision(10);
int t = 1;
// cin >> t;
for (int i = 1; i <= t; i++) {
solve(i);
}
}
詳細信息
Test #1:
score: 100
Accepted
time: 1ms
memory: 3516kb
input:
6 2 repeat 5 xor ax bx xori ax 3 and cx ax xor cx dx end 10 1 2 4 3 8 4 1 2 3
output:
0 2 2 3 4 1 3 3
result:
ok 8 numbers
Test #2:
score: -100
Wrong Answer
time: 313ms
memory: 39688kb
input:
11982 10000 repeat 2 repeat 2 andi bx 201 xori cx 241 repeat 4 xor cx bx xor ax dx repeat 8 or dx bx xori dx 22 end repeat 2 xor dx bx xor dx bx repeat 7 xor bx bx or cx dx and bx cx end andi dx 33 xori ax 179 xori bx 56 end xori dx 63 xori cx 91 xori dx 228 or cx dx repeat 6 xor cx dx xori bx 198 x...
output:
51 195 0 245 4 0 181 0 199 193 6 13 198 198 59 190 0 0 245 0 51 51 0 75 99 26 0 196 176 67 189 0 247 253 247 37 4 67 181 4 235 235 44 36 76 0 253 0 94 94 41 3 51 245 245 33 119 119 176 0 225 215 0 128 199 93 154 3 106 106 152 21 91 48 192 18 236 236 247 147 199 232 199 103 247 60 200 248 119 118 10 ...
result:
wrong answer 1st numbers differ - expected: '24', found: '51'