/*
author: Maksim1744
created: 12.02.2021 00:39:20
*/
#include "bits/stdc++.h"
#ifndef HOUSE
#include "grader.h"
#endif
using namespace std;
#define ll long long
#define ld long double
#define mp make_pair
#define pb push_back
#define eb emplace_back
#define sum(a) ( accumulate ((a).begin(), (a).end(), 0ll))
#define mine(a) (*min_element((a).begin(), (a).end()))
#define maxe(a) (*max_element((a).begin(), (a).end()))
#define mini(a) ( min_element((a).begin(), (a).end()) - (a).begin())
#define maxi(a) ( max_element((a).begin(), (a).end()) - (a).begin())
#define lowb(a, x) ( lower_bound((a).begin(), (a).end(), (x)) - (a).begin())
#define uppb(a, x) ( upper_bound((a).begin(), (a).end(), (x)) - (a).begin())
template<typename T> vector<T>& operator-- (vector<T>& v){for (auto& i : v) --i; return v;}
template<typename T> vector<T>& operator++ (vector<T>& v){for (auto& i : v) ++i; return v;}
template<typename T> istream& operator>>(istream& is, vector<T>& v){for (auto& i : v) is >> i; return is;}
template<typename T> ostream& operator<<(ostream& os, vector<T>& v){for (auto& i : v) os << i << ' '; return os;}
template<typename T, typename U> pair<T,U>& operator-- (pair<T, U> &p){--p.first; --p.second; return p;}
template<typename T, typename U> pair<T,U>& operator++ (pair<T, U> &p){++p.first; ++p.second; return p;}
template<typename T, typename U> istream& operator>>(istream& is, pair<T, U>& p){is >> p.first >> p.second; return is;}
template<typename T, typename U> ostream& operator<<(ostream& os, pair<T, U>& p){os << p.first << ' ' << p.second; return os;}
template<typename T, typename U> pair<T,U> operator-(pair<T,U> a, pair<T,U> b){return mp(a.first-b.first, a.second-b.second);}
template<typename T, typename U> pair<T,U> operator+(pair<T,U> a, pair<T,U> b){return mp(a.first+b.first, a.second+b.second);}
template<typename T, typename U> void umin(T& a, U b){if (a > b) a = b;}
template<typename T, typename U> void umax(T& a, U b){if (a < b) a = b;}
#ifdef HOME
#define SHOW_COLORS
#include "C:/C++ libs/print.cpp"
#else
#define show(...) 42
#define mclock 42
#define shows 42
#define debug if (false)
#endif
#ifdef HOUSE
vector<int> p = {1, 3, 2, 4, 5, 8, 7, 6};
int cnt = 0;
int query(vector<int> q) {
++cnt;
assert(q.size() == p.size());
auto qq = q;
sort(qq.begin(), qq.end());
for (int i = 0; i < qq.size(); ++i) {
assert(qq[i] == i + 1);
}
int ans = 0;
for (int i = 0; i < p.size(); ++i) {
ans += (p[i] == q[i]);
}
// cout << q << "-> " << ans << endl;
if (ans == q.size()) {
cout << "done in " << cnt << " queries" << endl;
}
return ans;
}
#endif
mt19937_64 rng(1287913);
ll rnd (ll l, ll r) { return (ll)(rng() % (r - l + 1)) + l; }
ll rnd (ll r) { return rng() % r; }
ll rnd () { return rng(); }
ld rndf() { return (ld)rng() / (ld)ULLONG_MAX; }
ld rndf(ld l, ld r) { return rndf() * (r - l) + l; }
void solve(int n) {
vector<int> nums;
for (int i = 0; i < n; ++i) {
nums.pb(i + 1);
}
vector<int> p(n, -1);
map<vector<int>, int> mem;
auto ask = [&](vector<int> v) {
int ind = 0;
auto q = p;
for (int i = 0; i < n; ++i) {
if (q[i] == -1) {
q[i] = v[ind];
++ind;
}
}
if (mem.count(q)) return mem[q];
int ans = query(q);
if (ans == n) exit(0);
return mem[q] = ans;
};
int s1 = ask(nums);
swap(nums[0], nums[1]);
int s2 = ask(nums);
if (s2 > s1)
swap(nums[0], nums[1]);
while (nums.size() > 2) {
shows;
vector<int> inds;
for (int i = 1; i + 1 < nums.size(); i += 2) {
inds.pb(i);
}
show(p);
show(nums);
show(inds);
int s1 = ask(nums);
for (auto k : inds) {
swap(nums[k], nums[k + 1]);
}
int s2 = ask(nums);
if (s1 == s2) {
for (int i = 1; i < nums.size(); ++i)
swap(nums[i], nums[rnd(i, nums.size() - 1)]);
continue;
}
if (s1 < s2) {
for (auto k : inds) {
swap(nums[k], nums[k + 1]);
}
}
show(nums);
int s0 = min(s1, s2);
show(s0);
int l = 0, r = (int)inds.size() - 1;
while (l != r) {
int m = (l + r) / 2;
for (int i = l; i <= m; ++i)
swap(nums[inds[i]], nums[inds[i] + 1]);
int ss = ask(nums);
if (ss > s0)
r = m;
else
l = m + 1;
for (int i = l; i <= m; ++i)
swap(nums[inds[i]], nums[inds[i] + 1]);
}
show(nums, l, r);
swap(nums[inds[l]], nums[inds[l] + 1]);
int was = ask(nums);
swap(nums[0], nums[inds[l]]);
int ss = ask(nums);
swap(nums[0], nums[inds[l]]);
int ind;
if (ss < was)
ind = inds[l];
else
ind = inds[l] + 1;
int pos = 0;
for (int i = 0; i < n; ++i) {
if (p[i] != -1) continue;
if (pos == ind)
p[i] = nums[ind];
++pos;
}
nums.erase(nums.begin() + ind);
}
ask(nums);
if (nums.size() == 2)
swap(nums[0], nums[1]);
ask(nums);
assert(false);
}
#ifdef HOUSE
int main() {
ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
p.clear();
p.resize(256);
for (int i = 0; i < p.size(); ++i)
p[i] = i + 1;
for (int i = 0; i < p.size(); ++i)
swap(p[i], p[rnd(i, p.size() - 1)]);
cout << "p: " << p << endl;
int n = p.size();
solve(n);
return 0;
}
#endif
Compilation message
mouse.cpp: In function 'void solve(int)':
mouse.cpp:47:23: warning: statement has no effect [-Wunused-value]
47 | #define shows 42
| ^~
mouse.cpp:113:9: note: in expansion of macro 'shows'
113 | shows;
| ^~~~~
mouse.cpp:115:31: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
115 | for (int i = 1; i + 1 < nums.size(); i += 2) {
| ~~~~~~^~~~~~~~~~~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:118:9: note: in expansion of macro 'show'
118 | show(p);
| ^~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:119:9: note: in expansion of macro 'show'
119 | show(nums);
| ^~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:120:9: note: in expansion of macro 'show'
120 | show(inds);
| ^~~~
mouse.cpp:127:31: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
127 | for (int i = 1; i < nums.size(); ++i)
| ~~^~~~~~~~~~~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:136:9: note: in expansion of macro 'show'
136 | show(nums);
| ^~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:138:9: note: in expansion of macro 'show'
138 | show(s0);
| ^~~~
mouse.cpp:45:23: warning: statement has no effect [-Wunused-value]
45 | #define show(...) 42
| ^~
mouse.cpp:152:9: note: in expansion of macro 'show'
152 | show(nums, l, r);
| ^~~~
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 18 |
| 2 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 8 |
| 3 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 16 |
| 4 |
Correct |
1 ms |
380 KB |
Correct! Number of queries: 20 |
| 5 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| 6 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 18 |
| 2 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 8 |
| 3 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 16 |
| 4 |
Correct |
1 ms |
380 KB |
Correct! Number of queries: 20 |
| 5 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| 6 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| 7 |
Correct |
8 ms |
364 KB |
Correct! Number of queries: 400 |
| 8 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 9 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 10 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 11 |
Correct |
5 ms |
364 KB |
Correct! Number of queries: 300 |
| 12 |
Correct |
6 ms |
364 KB |
Correct! Number of queries: 400 |
| 13 |
Correct |
9 ms |
364 KB |
Correct! Number of queries: 400 |
| 14 |
Correct |
9 ms |
364 KB |
Correct! Number of queries: 400 |
| 15 |
Correct |
7 ms |
528 KB |
Correct! Number of queries: 400 |
| 16 |
Correct |
10 ms |
364 KB |
Correct! Number of queries: 400 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 18 |
| 2 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 8 |
| 3 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 16 |
| 4 |
Correct |
1 ms |
380 KB |
Correct! Number of queries: 20 |
| 5 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| 6 |
Correct |
1 ms |
364 KB |
Correct! Number of queries: 17 |
| 7 |
Correct |
8 ms |
364 KB |
Correct! Number of queries: 400 |
| 8 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 9 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 10 |
Correct |
7 ms |
364 KB |
Correct! Number of queries: 400 |
| 11 |
Correct |
5 ms |
364 KB |
Correct! Number of queries: 300 |
| 12 |
Correct |
6 ms |
364 KB |
Correct! Number of queries: 400 |
| 13 |
Correct |
9 ms |
364 KB |
Correct! Number of queries: 400 |
| 14 |
Correct |
9 ms |
364 KB |
Correct! Number of queries: 400 |
| 15 |
Correct |
7 ms |
528 KB |
Correct! Number of queries: 400 |
| 16 |
Correct |
10 ms |
364 KB |
Correct! Number of queries: 400 |
| 17 |
Correct |
112 ms |
2924 KB |
Correct! Number of queries: 2400 |
| 18 |
Correct |
113 ms |
2800 KB |
Correct! Number of queries: 2300 |
| 19 |
Correct |
102 ms |
2796 KB |
Correct! Number of queries: 2400 |
| 20 |
Correct |
116 ms |
2924 KB |
Correct! Number of queries: 2400 |
| 21 |
Correct |
113 ms |
2924 KB |
Correct! Number of queries: 2400 |
| 22 |
Correct |
106 ms |
2668 KB |
Correct! Number of queries: 2300 |
| 23 |
Correct |
104 ms |
2796 KB |
Correct! Number of queries: 2300 |
| 24 |
Correct |
121 ms |
3052 KB |
Correct! Number of queries: 2500 |
| 25 |
Correct |
115 ms |
3072 KB |
Correct! Number of queries: 2400 |
| 26 |
Correct |
104 ms |
3052 KB |
Correct! Number of queries: 2400 |
