#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
#define ff first
#define ss second
#define pb push_back
#define all(a) (a).begin(), (a).end()
#define replr(i, a, b) for (int i = int(a); i <= int(b); ++i)
#define reprl(i, a, b) for (int i = int(a); i >= int(b); --i)
#define rep(i, n) for (int i = 0; i < int(n); ++i)
#define mkp(a, b) make_pair(a, b)
using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<int, int> PII;
typedef vector<int> VI;
typedef vector<PII> VPI;
typedef vector<VI> VVI;
typedef vector<VVI> VVVI;
typedef vector<VPI> VVPI;
typedef pair<ll, ll> PLL;
typedef vector<ll> VL;
typedef vector<PLL> VPL;
typedef vector<VL> VVL;
typedef vector<VVL> VVVL;
typedef vector<VPL> VVPL;
template<class T> T setmax(T& a, T b) {if (a < b) return a = b; return a;}
template<class T> T setmin(T& a, T b) {if (a < b) return a; return a = b;}
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
template<class T>
using indset = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
#include "registers.h"
const int B = 2000;
const int M = 100;
int k;
const int INT_ONE = 90;
const int BOOL_TRUE = 91;
const int BOOL_FALSE = 92;
const int K_ONES = 93;
/* REGISTERS [90, 98] ARE RESERVED FOR CONSTANTS */
void add_constants() {
vector<bool> ret;
ret = vector<bool>(B, 0);
ret[0] = 1;
append_store(INT_ONE, ret);
ret = vector<bool>(B, 1);
append_store(BOOL_TRUE, ret);
ret = vector<bool>(B, 0);
append_store(BOOL_FALSE, ret);
ret = vector<bool>(B, 0);
rep(i, k) ret[i] = 1;
append_store(K_ONES, ret);
}
/* 2 operations */
void append_neg(int res, int reg1) {
append_not(res, reg1);
append_add(res, res, INT_ONE);
}
/* 3 operations */
void append_sub(int res, int reg1, int reg2) {
append_neg(80, reg2);
append_add(res, reg1, 80);
}
/* 2 operations */
void append_sign(int res, int reg1) {
/* true if reg1 >= 0 */
append_right(80, reg1, B-1);
append_add(res, 80, BOOL_TRUE);
}
/* 5 operations */
void append_ge(int res, int reg1, int reg2) {
append_sub(80, reg1, reg2);
append_sign(res, 80);
}
/* 5 operations */
void append_le(int res, int reg1, int reg2) {
append_sub(80, reg2, reg1);
append_sign(res, 80);
}
/* 9 operations */
void append_min(int res, int reg1, int reg2) {
append_le(80, reg1, reg2);
append_not(81, 80);
append_and(82, reg1, 80);
append_and(83, reg2, 81);
append_or(res, 82, 83);
}
void construct_instructions(int s, int n, int k_arg, int q) {k = k_arg;
assert(s == 0 && n == 2 && k <= 2);
add_constants();
if (k == 1) {
append_move(1, 0);
append_right(1, 1, 1);
append_and(0, 0, 1);
} else {
append_move(1, 0);
append_right(1, 1, 2);
append_and(0, 0, K_ONES);
append_min(0, 0, 1);
}
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
348 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
348 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
1 ms |
344 KB |
Execution killed with signal 6 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
1 ms |
348 KB |
Execution killed with signal 6 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
0 ms |
348 KB |
Execution killed with signal 6 |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Runtime error |
0 ms |
348 KB |
Execution killed with signal 6 |
2 |
Halted |
0 ms |
0 KB |
- |