#include <bits/stdc++.h>
#define pb push_back
#define fst first
#define snd second
#define fore(i,a,b) for(ll i=a,ioi=b; i<ioi; i++)
#define SZ(x) ((int)x.size())
#define ALL(x) x.begin(),x.end()
#define mset(a,v) memset((a),(v),sizeof(a))
#define imp(v) {for(auto kdfhg:v)cout<<kdfhg<<" ";cout<<"\n";}
using namespace std;
typedef long long ll;
typedef pair<ll,ll> ii;
void append_move(int t, int x);
void append_store(int t, vector<bool> v);
void append_and(int t, int x, int y);
void append_or(int t, int x, int y);
void append_xor(int t, int x, int y);
void append_not(int t, int x);
void append_left(int t, int x, int s);
void append_right(int t, int x, int s);
void append_add(int t, int x, int y);
void append_print(int t);
const ll CACHE_SIZE=5;
const ll C=CACHE_SIZE,B=2000;
ll k;
vector<ll>c(C);
ll log2techo(ll n){
ll ret=63-__builtin_clzll(n);
if(__builtin_popcountll(n)>1)ret++;
return ret;
}
void expand(ll x){
fore(i,0,log2techo(k)){
ll q=1ll<<i;
if(2*q>k)q-=2*q-k;
append_left(c[0],x,q);
append_or(x,x,c[0]);
}
}
void my_xor_equal(ll x, ll y, ll f){ // x^=y if f
append_and(c[0],y,f);
append_xor(x,x,c[0]);
}
void my_assign(ll x, ll y, ll f){ // x:=y if f
expand(f);
append_xor(c[0],x,y);
my_xor_equal(x,c[0],f);
// append_and(c[0],c[0],f);
// append_xor(x,x,c[0]);
}
void my_swap(ll x, ll y, ll f){ // swap if f
expand(f);
// append_print(x);
// append_print(y);
// append_print(f);
my_xor_equal(y,x,f);
my_xor_equal(x,y,f);
my_xor_equal(y,x,f);
// append_print(x);
// append_print(y);
}
ll first=0,n;
void ifmaysw(ll w){ // w = parity
// append_print(50+w);
// append_print(50+w);
ll a=0,b=1;
append_right(b,a,k);
append_not(c[0],b);
append_or(c[0],c[0],a);
append_xor(c[1],a,b);
// append_print(a);
// append_print(b);
// append_print(c[0]);
// append_print(c[1]);
ll f0=c[3],f1=c[4];
vector<bool>v(B);
if(first++)append_store(f0,v);
fore(i,0,B)v[i]=(i%k==0&&i/k%2==w);
append_store(f1,v);
for(ll i=k-1;i>=0;i--){
ll pos=c[0];
if(i){
pos=c[2];
append_right(pos,c[0],i);
}
append_or(pos,f0,pos);
append_and(f1,f1,pos);
pos=c[1];
if(i){
pos=c[2];
append_right(pos,c[1],i);
}
append_and(pos,f1,pos);
append_or(f0,f0,pos);
}
my_swap(a,b,f1);
append_and(b,b,25+w);
append_and(a,a,25+w+w);
append_left(b,b,k);
append_or(a,a,b);
}
void construct_instructions(int s, int N, int K, int q){
assert(s|q|1);
n=N,k=K;
fore(i,0,C)c[i]=i+100-C;
vector<bool>v(B);
fore(i,n*k,B)v[i]=1;
if(n>2){
append_store(1,v);
append_or(0,0,1);
}
fore(i,0,B)v[i]=i/k%2==0;
append_store(25,v);
fore(i,0,B)v[i]=i/k%2==1;
append_store(26,v);
fore(i,0,B)if(i/k==0)v[i]=1;
append_store(27,v);
fore(i,0,n)ifmaysw(i&1);
}
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
0 ms |
344 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
0 ms |
600 KB |
Wrong answer detected in grader |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
0 ms |
348 KB |
Output is correct |
| 2 |
Incorrect |
0 ms |
776 KB |
Wrong answer detected in grader |
| 3 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
0 ms |
348 KB |
Wrong answer detected in grader |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
348 KB |
Output is correct |
| 2 |
Correct |
1 ms |
348 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
348 KB |
Output is correct |
| 2 |
Correct |
1 ms |
348 KB |
Output is correct |
| 3 |
Incorrect |
1 ms |
776 KB |
Wrong answer detected in grader |
| 4 |
Halted |
0 ms |
0 KB |
- |
