#include<bits/stdc++.h>
#define st first
#define nd second
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define pp pop_back
#define all(x) (x).begin(), (x).end()
using namespace std;
void debug(){cerr<<"\n";}
template<typename H, typename... T>
void debug(H h, T... t){
cerr<<h;
if(sizeof...(t)){cerr<<", ";debug(t...);}
}
template<typename T>
void debug(vector<T> V){
cerr<<"{";
for(int i=0; i<V.size(); i++){
debug(V[i]);
if(i+1!=V.size())cerr<<", ";
}
cerr<<"}";
}
#define deb(x...) cerr<<#x<<" = ";debug(x);cerr<<"\n";
using ll = long long;
using pii = pair<int, int>;
using vi = vector<int>;
using vii = vector<pii>;
using vvi = vector<vi>;
mt19937 rng(chrono::high_resolution_clock::now().time_since_epoch().count());
#include "monster.h"
map<pii, bool> M;
map<int, int> S[2];
bool czy(int a, int b){//T[a]>T[b]
int ans=0;
if(a>b)ans^=1, swap(a, b);
if(M.find(mp(a, b))==M.end()){
M[{a, b}]=Query(a, b);
}
return ans^M[{a, b}];
}
vvi solve(vi V){
if(V.size()==1)return {{V[0]}};
vi L, R;
for(int i=0; i<V.size(); i++){
if(i&1)L.pb(V[i]);
else R.pb(V[i]);
}
vvi l=solve(L);
vvi r=solve(R);
vvi res;
//deb(V);
while(l.size() || r.size()){
if(!r.size())res.pb(l.back()), l.pp();
else if(!l.size())res.pb(r.back()), r.pp();
else{
if(l.back().size()==3){
//deb("a");
bool b=czy(l.back()[0], r.back()[0]);
if(S[b^1].find(l.back()[0])!=S[b^1].end()){
if(S[b^1][l.back()[0]]==r.back()[0])b^=1;
}
else if(b!=czy(l.back()[1], r.back()[0])){
b=czy(l.back()[2], r.back()[0]);
//deb(l.back()[0], b);
S[b][l.back()[0]]=r.back()[0];
S[b][l.back()[1]]=r.back()[0];
S[b][l.back()[2]]=r.back()[0];
}
//deb(b);
if(b)res.pb(l.back()), l.pp();
else{
//deb("aa");
if(r.back().size()==1 && res.size()>=2 && res.back().size()==1 && res[res.size()-2].size()==1){
if(!czy(res[res.size()-2][0], r.back()[0])){
r.back().pb(res[res.size()-2][0]);
r.back().pb(res.back()[0]);
res.pp();
res.pp();
}
}
res.pb(r.back()), r.pp();
}
}
else if(r.back().size()==3){
//deb("b");
//deb(l);
//deb(r);
//deb(res);
bool b=czy(r.back()[0], l.back()[0]);
if(S[b^1].find(l.back()[0])!=S[b^1].end()){
if(S[b^1][l.back()[0]]==r.back()[0])b^=1;
}
else if(b!=czy(r.back()[1], l.back()[0])){
b=czy(r.back()[2], l.back()[0]);
//deb(r.back()[0], b);
S[b][r.back()[0]]=l.back()[0];
S[b][r.back()[1]]=l.back()[0];
S[b][r.back()[2]]=l.back()[0];
}
if(b)res.pb(r.back()), r.pp();
else{
//deb("bb");
if(res.size()>=2 && res.back().size()==1 && res[res.size()-2].size()==1){
if(!czy(res[res.size()-2][0], l.back()[0])){
l.back().pb(res[res.size()-2][0]);
l.back().pb(res.back()[0]);
res.pp();
res.pp();
}
}
res.pb(l.back()), l.pp();
}
}
else{
if(czy(l.back()[0], r.back()[0])){
//deb("c");
if(r.size()>=2 && r[r.size()-2].size()==1 && czy(r[r.size()-2][0], l.back()[0])){
//deb("cc");
vi V2;
V2.pb(l.back()[0]);
l.pp();
V2.pb(r.back()[0]);
r.pp();
V2.pb(r.back()[0]);
r.pp();
r.pb(V2);
//deb(l);
//deb(r);
}
else{
res.pb(l.back());
l.pp();
}
}
else{
//deb("d");
if(l.size()>=2 && l[l.size()-2].size()==1 && czy(l[l.size()-2][0], r.back()[0])){
vi V2;
V2.pb(r.back()[0]);
r.pp();
V2.pb(l.back()[0]);
l.pp();
V2.pb(l.back()[0]);
l.pp();
l.pb(V2);
//deb(l);
//deb(r);
}
else{
res.pb(r.back());
r.pp();
}
}
}
}
//deb(res);
}
reverse(all(res));
//deb(res);
return res;
}
vi Solve(int n) {
vi VV;
for(int i=0; i<n; i++)VV.pb(i);
vvi V=solve(VV);
int lst=-1;
//deb(V);
for(int i=0; i<V.size(); i++){
if(V[i].size()==3)lst=i;
if(lst==i-2 && czy(V[i][0], V[i-1][0])){
swap(V[i], V[i-1]);
lst=i;
}
}
//deb(V);
deb(M.size());
for(int i=1; i<V.size(); i++){
//deb(i+1);
bool b=0;
for(int j=V[i-1].size()-1; j>=0; j--){
for(int k=0; k<V[i].size(); k++){
//deb(i);
if(!czy(V[i][k], V[i-1][j])){
//deb(k, j, i);
while(j!=V[i-1].size()-1){
swap(V[i-1][2], V[i-1][1]);
swap(V[i-1][1], V[i-1][0]);
j++;
}
while(k!=0 && k!=3){
swap(V[i][2], V[i][1]);
swap(V[i][1], V[i][0]);
k++;
}
//deb(V);
//deb(k, j, i);
b=1;
}
if(b)break;
}
if(b)break;
}
}
deb(M.size());
//deb(V);
vi res(n);
int wsk=0;
for(vi v:V){
for(int i:v){
res[i]=wsk++;
}
}
return res;
}
Compilation message
monster.cpp: In function 'vvi solve(vi)':
monster.cpp:51:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
51 | for(int i=0; i<V.size(); i++){
| ~^~~~~~~~~
monster.cpp: In function 'vi Solve(int)':
monster.cpp:176:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
176 | for(int i=0; i<V.size(); i++){
| ~^~~~~~~~~
monster.cpp:185:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
185 | for(int i=1; i<V.size(); i++){
| ~^~~~~~~~~
monster.cpp:189:21: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
189 | for(int k=0; k<V[i].size(); k++){
| ~^~~~~~~~~~~~
monster.cpp:193:16: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
193 | while(j!=V[i-1].size()-1){
| ~^~~~~~~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
208 KB |
Output is correct |
2 |
Correct |
1 ms |
208 KB |
Output is correct |
3 |
Correct |
1 ms |
208 KB |
Output is correct |
4 |
Correct |
1 ms |
208 KB |
Output is correct |
5 |
Correct |
1 ms |
304 KB |
Output is correct |
6 |
Correct |
1 ms |
208 KB |
Output is correct |
7 |
Correct |
1 ms |
208 KB |
Output is correct |
8 |
Correct |
1 ms |
208 KB |
Output is correct |
9 |
Correct |
1 ms |
208 KB |
Output is correct |
10 |
Correct |
1 ms |
208 KB |
Output is correct |
11 |
Correct |
1 ms |
208 KB |
Output is correct |
12 |
Correct |
1 ms |
208 KB |
Output is correct |
13 |
Correct |
1 ms |
208 KB |
Output is correct |
14 |
Correct |
1 ms |
208 KB |
Output is correct |
15 |
Correct |
1 ms |
208 KB |
Output is correct |
16 |
Correct |
22 ms |
360 KB |
Output is correct |
17 |
Correct |
23 ms |
348 KB |
Output is correct |
18 |
Correct |
24 ms |
432 KB |
Output is correct |
19 |
Correct |
11 ms |
420 KB |
Output is correct |
20 |
Correct |
22 ms |
480 KB |
Output is correct |
21 |
Correct |
1 ms |
208 KB |
Output is correct |
22 |
Correct |
1 ms |
208 KB |
Output is correct |
23 |
Correct |
1 ms |
208 KB |
Output is correct |
24 |
Correct |
1 ms |
208 KB |
Output is correct |
25 |
Correct |
1 ms |
208 KB |
Output is correct |
26 |
Correct |
24 ms |
388 KB |
Output is correct |
27 |
Correct |
1 ms |
208 KB |
Output is correct |
28 |
Correct |
1 ms |
208 KB |
Output is correct |
29 |
Correct |
1 ms |
304 KB |
Output is correct |
30 |
Correct |
1 ms |
208 KB |
Output is correct |
31 |
Correct |
1 ms |
208 KB |
Output is correct |
32 |
Correct |
31 ms |
372 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
208 KB |
Output is correct |
2 |
Correct |
1 ms |
208 KB |
Output is correct |
3 |
Correct |
1 ms |
208 KB |
Output is correct |
4 |
Correct |
1 ms |
208 KB |
Output is correct |
5 |
Correct |
1 ms |
304 KB |
Output is correct |
6 |
Correct |
1 ms |
208 KB |
Output is correct |
7 |
Correct |
1 ms |
208 KB |
Output is correct |
8 |
Correct |
1 ms |
208 KB |
Output is correct |
9 |
Correct |
1 ms |
208 KB |
Output is correct |
10 |
Correct |
1 ms |
208 KB |
Output is correct |
11 |
Correct |
1 ms |
208 KB |
Output is correct |
12 |
Correct |
1 ms |
208 KB |
Output is correct |
13 |
Correct |
1 ms |
208 KB |
Output is correct |
14 |
Correct |
1 ms |
208 KB |
Output is correct |
15 |
Correct |
1 ms |
208 KB |
Output is correct |
16 |
Correct |
22 ms |
360 KB |
Output is correct |
17 |
Correct |
23 ms |
348 KB |
Output is correct |
18 |
Correct |
24 ms |
432 KB |
Output is correct |
19 |
Correct |
11 ms |
420 KB |
Output is correct |
20 |
Correct |
22 ms |
480 KB |
Output is correct |
21 |
Correct |
1 ms |
208 KB |
Output is correct |
22 |
Correct |
1 ms |
208 KB |
Output is correct |
23 |
Correct |
1 ms |
208 KB |
Output is correct |
24 |
Correct |
1 ms |
208 KB |
Output is correct |
25 |
Correct |
1 ms |
208 KB |
Output is correct |
26 |
Correct |
24 ms |
388 KB |
Output is correct |
27 |
Correct |
1 ms |
208 KB |
Output is correct |
28 |
Correct |
1 ms |
208 KB |
Output is correct |
29 |
Correct |
1 ms |
304 KB |
Output is correct |
30 |
Correct |
1 ms |
208 KB |
Output is correct |
31 |
Correct |
1 ms |
208 KB |
Output is correct |
32 |
Correct |
31 ms |
372 KB |
Output is correct |
33 |
Correct |
83 ms |
1284 KB |
Output is correct |
34 |
Correct |
157 ms |
1188 KB |
Output is correct |
35 |
Correct |
148 ms |
1328 KB |
Output is correct |
36 |
Correct |
171 ms |
1216 KB |
Output is correct |
37 |
Correct |
144 ms |
1240 KB |
Output is correct |
38 |
Correct |
137 ms |
1288 KB |
Output is correct |
39 |
Correct |
156 ms |
1228 KB |
Output is correct |
40 |
Correct |
168 ms |
1244 KB |
Output is correct |
41 |
Correct |
142 ms |
1268 KB |
Output is correct |
42 |
Correct |
138 ms |
1312 KB |
Output is correct |
43 |
Correct |
113 ms |
1408 KB |
Output is correct |
44 |
Correct |
85 ms |
1268 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Partially correct |
135 ms |
1408 KB |
Partially correct |
2 |
Partially correct |
137 ms |
1380 KB |
Partially correct |
3 |
Partially correct |
151 ms |
1292 KB |
Partially correct |
4 |
Partially correct |
163 ms |
1264 KB |
Partially correct |
5 |
Partially correct |
161 ms |
1276 KB |
Partially correct |
6 |
Correct |
66 ms |
896 KB |
Output is correct |
7 |
Correct |
74 ms |
796 KB |
Output is correct |
8 |
Partially correct |
132 ms |
1292 KB |
Partially correct |
9 |
Partially correct |
147 ms |
1272 KB |
Partially correct |
10 |
Partially correct |
117 ms |
1252 KB |
Partially correct |
11 |
Partially correct |
147 ms |
1288 KB |
Partially correct |
12 |
Partially correct |
135 ms |
1408 KB |
Partially correct |
13 |
Correct |
79 ms |
772 KB |
Output is correct |
14 |
Correct |
83 ms |
892 KB |
Output is correct |
15 |
Correct |
46 ms |
672 KB |
Output is correct |
16 |
Correct |
40 ms |
576 KB |
Output is correct |
17 |
Correct |
48 ms |
668 KB |
Output is correct |
18 |
Correct |
75 ms |
704 KB |
Output is correct |