Submission #47301089
Source Code Expand
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
#define all(v) (v).begin(),(v).end()
#define pb(a) push_back(a)
#define rep(i, n) for(int i=0;i<n;i++)
#define foa(e, v) for(auto& e : v)
using ll = long long;
const ll MOD7 = 1000000007, MOD998 = 998244353, INF = (1LL << 60);
#define dout(a) cout<<fixed<<setprecision(10)<<a<<endl;
class random_devicer {
int seed;
std::mt19937 engine;
public:
random_devicer(const int seed = 0): seed(seed), engine(seed) {}
// [lower, upper] 中の整数から一様ランダムに選ぶ。
int next(int lower, int upper) {
std::uniform_int_distribution<> dist(lower, upper);
return dist(engine);
}
};
void chmin(int &a, int b) {
a = min(a, b);
}
void chmax(int &a, int b) {
a = max(a, b);
}
int ans = 10000;
const int inf = 10000000;
vector<pair<int, int>> ans_vec;
vector<vector<int>> a;
int n, m;
void solve0() {
vector<int> base(m, 0);
vector<int> down(n + 1, 0), up(n + 1, 0);
vector<pair<int, int>> work;
int Move_cnt = 0;
auto to_zero = [&](int val, int to) -> void {
down[up[val]] = -to - 1;
base[to] = up[val];
up[val] = 0;
};
auto Move = [&](int val, int to) -> int {
int now = up[val], cnt = 0;
while(now != 0) {
cnt ++;
now = up[now];
}
if(!cnt) return 0;
work.push_back({up[val], to + 1});
if(base[to] == 0) to_zero(val, to);
else {
int now = base[to];
while(up[now] != 0) {
now = up[now];
}
up[now] = up[val];
down[up[val]] = now;
up[val] = 0;
}
return cnt + 1;
};
for(int i = 0; i < m; i ++) {
base[i] = a[i][0];
down[a[i][0]] = - i - 1;
for(int j = 1; j < 20; j ++) {
down[a[i][j]] = a[i][j - 1];
up[a[i][j - 1]] = a[i][j];
}
}
for(int i = 1; i <= n; i ++) {
vector<int> M(m, inf);
rep(j, m) {
int now = base[j];
while(now != 0) {
chmin(M[j], now);
now = up[now];
}
}
int idm = 0;
rep(j, m) {
if(M[j] > M[idm]) idm = j;
}
Move_cnt += Move(i, idm); // iより上をidmへ。
if(down[i] < 0) {
base[-down[i] - 1] = 0;
work.push_back({i, 0});
} else {
up[down[i]] = 0;
work.push_back({i, 0});
}
}
if(ans > Move_cnt) {
ans = Move_cnt;
ans_vec = work;
}
}
void solve1() {
vector<int> base(m, 0);
vector<int> down(n + 1, 0), up(n + 1, 0);
vector<pair<int, int>> work;
int Move_cnt = 0;
auto to_zero = [&](int val, int to) -> void {
down[up[val]] = -to - 1;
base[to] = up[val];
up[val] = 0;
};
auto Move = [&](int val, int to) -> int {
int now = up[val], cnt = 0;
while(now != 0) {
cnt ++;
now = up[now];
}
if(!cnt) return 0;
work.push_back({up[val], to + 1});
if(base[to] == 0) to_zero(val, to);
else {
int now = base[to];
while(up[now] != 0) {
now = up[now];
}
up[now] = up[val];
down[up[val]] = now;
up[val] = 0;
}
return cnt + 1;
};
for(int i = 0; i < m; i ++) {
base[i] = a[i][0];
down[a[i][0]] = - i - 1;
for(int j = 1; j < 20; j ++) {
down[a[i][j]] = a[i][j - 1];
up[a[i][j - 1]] = a[i][j];
}
}
for(int i = 1; i <= n; i ++) {
vector<int> M(m, inf);
rep(j, m) {
int now = base[j];
while(now != 0) {
chmin(M[j], now);
now = up[now];
}
}
int idm = 0;
rep(j, m) {
if(M[j] > M[idm]) idm = j;
}
vector<int> v;
{
int now = i;
while(now != 0) {
if(now <= i + 8) v.pb(now);
now = up[now];
}
}
reverse(all(v));
foa(I, v) {
Move_cnt += Move(I, idm); // Iより上をidmへ。
if(I == i) {
if(down[i] < 0) {
base[-down[i] - 1] = 0;
work.push_back({i, 0});
} else {
up[down[i]] = 0;
work.push_back({i, 0});
}
continue;
}
int id = -1, Min = inf * 10;
rep(j, m) if(M[j] > I and M[j] < Min) {
Min = M[j];
id = j;
}
Move_cnt += Move(down[I], id);
M[id] = I;
}
}
if(ans > Move_cnt) {
ans = Move_cnt;
ans_vec = work;
}
}
void solve2(int seed, int th) {
random_devicer rnd(seed);
vector<int> base(m, 0);
vector<int> down(n + 1, 0), up(n + 1, 0);
vector<pair<int, int>> work;
int Move_cnt = 0;
auto to_zero = [&](int val, int to) -> void {
down[up[val]] = -to - 1;
base[to] = up[val];
up[val] = 0;
};
auto Move = [&](int val, int to) -> int {
int now = up[val], cnt = 0;
while(now != 0) {
cnt ++;
now = up[now];
}
if(!cnt) return 0;
work.push_back({up[val], to + 1});
if(base[to] == 0) to_zero(val, to);
else {
int now = base[to];
while(up[now] != 0) {
now = up[now];
}
up[now] = up[val];
down[up[val]] = now;
up[val] = 0;
}
return cnt + 1;
};
for(int i = 0; i < m; i ++) {
base[i] = a[i][0];
down[a[i][0]] = - i - 1;
for(int j = 1; j < 20; j ++) {
down[a[i][j]] = a[i][j - 1];
up[a[i][j - 1]] = a[i][j];
}
}
for(int i = 1; i <= n; i ++) {
vector<int> M(m, inf);
rep(j, m) {
int now = base[j];
while(now != 0) {
chmin(M[j], now);
now = up[now];
}
}
int idm = 0;
rep(j, m) {
if(M[j] > M[idm]) idm = j;
}
vector<int> v;
{
int now = i;
while(now != 0) {
if(now <= i + 8) v.pb(now);
else if(now <= i + th and rnd.next(0, i + th + 1 - now) != 0) v.pb(now);
now = up[now];
}
}
reverse(all(v));
foa(I, v) {
Move_cnt += Move(I, idm); // Iより上をidmへ。
if(I == i) {
if(down[i] < 0) {
base[-down[i] - 1] = 0;
work.push_back({i, 0});
} else {
up[down[i]] = 0;
work.push_back({i, 0});
}
continue;
}
int id = -1, Min = inf * 10;
rep(j, m) if(M[j] > I and M[j] < Min) {
Min = M[j];
id = j;
}
if(id == -1) return;
Move_cnt += Move(down[I], id);
M[id] = I;
}
}
if(ans > Move_cnt) {
ans = Move_cnt;
ans_vec = work;
}
}
int main() {
cin.tie(0);
ios::sync_with_stdio(false);
auto t_start = chrono::system_clock::now();
int seed = 0;
cin >> n >> m;
a.resize(10, vector<int> (20, 0));
rep(i, 10) rep(j, 20) cin >> a[i][j];
solve0();
solve1();
while(1) {
auto t_now = chrono::system_clock::now();
auto dt = chrono::duration_cast<chrono::milliseconds>(t_now - t_start).count();
if (dt > 1900) break;
for(int th = 12; th <= 17; th ++) {
solve2(seed ++, th);
}
}
for(auto [x, y] : ans_vec) {
cout << x << " " << y << endl;
}
return 0;
}
Submission Info
| Submission Time | |
|---|---|
| Task | A - Stack of Boxes |
| User | shinchan |
| Language | C++ 23 (gcc 12.2) |
| Score | 1394046 |
| Code Size | 8418 Byte |
| Status | AC |
| Exec Time | 1903 ms |
| Memory | 3680 KiB |
Judge Result
| Set Name | test_ALL | ||
|---|---|---|---|
| Score / Max Score | 1394046 / 1500000 | ||
| Status |
|
| Set Name | Test Cases |
|---|---|
| test_ALL | test_0000.txt, test_0001.txt, test_0002.txt, test_0003.txt, test_0004.txt, test_0005.txt, test_0006.txt, test_0007.txt, test_0008.txt, test_0009.txt, test_0010.txt, test_0011.txt, test_0012.txt, test_0013.txt, test_0014.txt, test_0015.txt, test_0016.txt, test_0017.txt, test_0018.txt, test_0019.txt, test_0020.txt, test_0021.txt, test_0022.txt, test_0023.txt, test_0024.txt, test_0025.txt, test_0026.txt, test_0027.txt, test_0028.txt, test_0029.txt, test_0030.txt, test_0031.txt, test_0032.txt, test_0033.txt, test_0034.txt, test_0035.txt, test_0036.txt, test_0037.txt, test_0038.txt, test_0039.txt, test_0040.txt, test_0041.txt, test_0042.txt, test_0043.txt, test_0044.txt, test_0045.txt, test_0046.txt, test_0047.txt, test_0048.txt, test_0049.txt, test_0050.txt, test_0051.txt, test_0052.txt, test_0053.txt, test_0054.txt, test_0055.txt, test_0056.txt, test_0057.txt, test_0058.txt, test_0059.txt, test_0060.txt, test_0061.txt, test_0062.txt, test_0063.txt, test_0064.txt, test_0065.txt, test_0066.txt, test_0067.txt, test_0068.txt, test_0069.txt, test_0070.txt, test_0071.txt, test_0072.txt, test_0073.txt, test_0074.txt, test_0075.txt, test_0076.txt, test_0077.txt, test_0078.txt, test_0079.txt, test_0080.txt, test_0081.txt, test_0082.txt, test_0083.txt, test_0084.txt, test_0085.txt, test_0086.txt, test_0087.txt, test_0088.txt, test_0089.txt, test_0090.txt, test_0091.txt, test_0092.txt, test_0093.txt, test_0094.txt, test_0095.txt, test_0096.txt, test_0097.txt, test_0098.txt, test_0099.txt, test_0100.txt, test_0101.txt, test_0102.txt, test_0103.txt, test_0104.txt, test_0105.txt, test_0106.txt, test_0107.txt, test_0108.txt, test_0109.txt, test_0110.txt, test_0111.txt, test_0112.txt, test_0113.txt, test_0114.txt, test_0115.txt, test_0116.txt, test_0117.txt, test_0118.txt, test_0119.txt, test_0120.txt, test_0121.txt, test_0122.txt, test_0123.txt, test_0124.txt, test_0125.txt, test_0126.txt, test_0127.txt, test_0128.txt, test_0129.txt, test_0130.txt, test_0131.txt, test_0132.txt, test_0133.txt, test_0134.txt, test_0135.txt, test_0136.txt, test_0137.txt, test_0138.txt, test_0139.txt, test_0140.txt, test_0141.txt, test_0142.txt, test_0143.txt, test_0144.txt, test_0145.txt, test_0146.txt, test_0147.txt, test_0148.txt, test_0149.txt |
| Case Name | Status | Exec Time | Memory |
|---|---|---|---|
| test_0000.txt | AC | 1902 ms | 3532 KiB |
| test_0001.txt | AC | 1902 ms | 3528 KiB |
| test_0002.txt | AC | 1902 ms | 3556 KiB |
| test_0003.txt | AC | 1902 ms | 3552 KiB |
| test_0004.txt | AC | 1902 ms | 3508 KiB |
| test_0005.txt | AC | 1902 ms | 3472 KiB |
| test_0006.txt | AC | 1902 ms | 3552 KiB |
| test_0007.txt | AC | 1902 ms | 3676 KiB |
| test_0008.txt | AC | 1902 ms | 3528 KiB |
| test_0009.txt | AC | 1902 ms | 3680 KiB |
| test_0010.txt | AC | 1902 ms | 3536 KiB |
| test_0011.txt | AC | 1902 ms | 3604 KiB |
| test_0012.txt | AC | 1902 ms | 3544 KiB |
| test_0013.txt | AC | 1902 ms | 3548 KiB |
| test_0014.txt | AC | 1902 ms | 3464 KiB |
| test_0015.txt | AC | 1902 ms | 3680 KiB |
| test_0016.txt | AC | 1902 ms | 3408 KiB |
| test_0017.txt | AC | 1902 ms | 3544 KiB |
| test_0018.txt | AC | 1902 ms | 3620 KiB |
| test_0019.txt | AC | 1902 ms | 3604 KiB |
| test_0020.txt | AC | 1902 ms | 3616 KiB |
| test_0021.txt | AC | 1902 ms | 3540 KiB |
| test_0022.txt | AC | 1902 ms | 3612 KiB |
| test_0023.txt | AC | 1902 ms | 3544 KiB |
| test_0024.txt | AC | 1902 ms | 3536 KiB |
| test_0025.txt | AC | 1902 ms | 3548 KiB |
| test_0026.txt | AC | 1902 ms | 3536 KiB |
| test_0027.txt | AC | 1902 ms | 3608 KiB |
| test_0028.txt | AC | 1902 ms | 3408 KiB |
| test_0029.txt | AC | 1902 ms | 3476 KiB |
| test_0030.txt | AC | 1902 ms | 3544 KiB |
| test_0031.txt | AC | 1902 ms | 3552 KiB |
| test_0032.txt | AC | 1902 ms | 3524 KiB |
| test_0033.txt | AC | 1902 ms | 3468 KiB |
| test_0034.txt | AC | 1902 ms | 3544 KiB |
| test_0035.txt | AC | 1902 ms | 3680 KiB |
| test_0036.txt | AC | 1902 ms | 3468 KiB |
| test_0037.txt | AC | 1902 ms | 3540 KiB |
| test_0038.txt | AC | 1902 ms | 3528 KiB |
| test_0039.txt | AC | 1902 ms | 3540 KiB |
| test_0040.txt | AC | 1902 ms | 3544 KiB |
| test_0041.txt | AC | 1902 ms | 3548 KiB |
| test_0042.txt | AC | 1902 ms | 3536 KiB |
| test_0043.txt | AC | 1902 ms | 3548 KiB |
| test_0044.txt | AC | 1902 ms | 3552 KiB |
| test_0045.txt | AC | 1902 ms | 3676 KiB |
| test_0046.txt | AC | 1902 ms | 3556 KiB |
| test_0047.txt | AC | 1902 ms | 3536 KiB |
| test_0048.txt | AC | 1902 ms | 3556 KiB |
| test_0049.txt | AC | 1902 ms | 3536 KiB |
| test_0050.txt | AC | 1902 ms | 3532 KiB |
| test_0051.txt | AC | 1902 ms | 3532 KiB |
| test_0052.txt | AC | 1902 ms | 3408 KiB |
| test_0053.txt | AC | 1902 ms | 3620 KiB |
| test_0054.txt | AC | 1902 ms | 3488 KiB |
| test_0055.txt | AC | 1902 ms | 3532 KiB |
| test_0056.txt | AC | 1902 ms | 3612 KiB |
| test_0057.txt | AC | 1902 ms | 3540 KiB |
| test_0058.txt | AC | 1902 ms | 3552 KiB |
| test_0059.txt | AC | 1902 ms | 3612 KiB |
| test_0060.txt | AC | 1902 ms | 3512 KiB |
| test_0061.txt | AC | 1902 ms | 3540 KiB |
| test_0062.txt | AC | 1902 ms | 3476 KiB |
| test_0063.txt | AC | 1902 ms | 3540 KiB |
| test_0064.txt | AC | 1902 ms | 3552 KiB |
| test_0065.txt | AC | 1902 ms | 3552 KiB |
| test_0066.txt | AC | 1902 ms | 3536 KiB |
| test_0067.txt | AC | 1902 ms | 3536 KiB |
| test_0068.txt | AC | 1902 ms | 3468 KiB |
| test_0069.txt | AC | 1902 ms | 3620 KiB |
| test_0070.txt | AC | 1902 ms | 3476 KiB |
| test_0071.txt | AC | 1902 ms | 3556 KiB |
| test_0072.txt | AC | 1902 ms | 3552 KiB |
| test_0073.txt | AC | 1902 ms | 3544 KiB |
| test_0074.txt | AC | 1902 ms | 3672 KiB |
| test_0075.txt | AC | 1902 ms | 3536 KiB |
| test_0076.txt | AC | 1902 ms | 3408 KiB |
| test_0077.txt | AC | 1902 ms | 3520 KiB |
| test_0078.txt | AC | 1902 ms | 3468 KiB |
| test_0079.txt | AC | 1902 ms | 3540 KiB |
| test_0080.txt | AC | 1902 ms | 3540 KiB |
| test_0081.txt | AC | 1902 ms | 3616 KiB |
| test_0082.txt | AC | 1902 ms | 3532 KiB |
| test_0083.txt | AC | 1902 ms | 3544 KiB |
| test_0084.txt | AC | 1902 ms | 3680 KiB |
| test_0085.txt | AC | 1902 ms | 3552 KiB |
| test_0086.txt | AC | 1902 ms | 3616 KiB |
| test_0087.txt | AC | 1902 ms | 3612 KiB |
| test_0088.txt | AC | 1902 ms | 3472 KiB |
| test_0089.txt | AC | 1902 ms | 3412 KiB |
| test_0090.txt | AC | 1902 ms | 3540 KiB |
| test_0091.txt | AC | 1902 ms | 3528 KiB |
| test_0092.txt | AC | 1902 ms | 3676 KiB |
| test_0093.txt | AC | 1902 ms | 3544 KiB |
| test_0094.txt | AC | 1902 ms | 3616 KiB |
| test_0095.txt | AC | 1902 ms | 3552 KiB |
| test_0096.txt | AC | 1902 ms | 3676 KiB |
| test_0097.txt | AC | 1902 ms | 3680 KiB |
| test_0098.txt | AC | 1902 ms | 3472 KiB |
| test_0099.txt | AC | 1902 ms | 3620 KiB |
| test_0100.txt | AC | 1902 ms | 3532 KiB |
| test_0101.txt | AC | 1902 ms | 3544 KiB |
| test_0102.txt | AC | 1902 ms | 3612 KiB |
| test_0103.txt | AC | 1902 ms | 3556 KiB |
| test_0104.txt | AC | 1902 ms | 3544 KiB |
| test_0105.txt | AC | 1902 ms | 3536 KiB |
| test_0106.txt | AC | 1902 ms | 3528 KiB |
| test_0107.txt | AC | 1902 ms | 3404 KiB |
| test_0108.txt | AC | 1902 ms | 3608 KiB |
| test_0109.txt | AC | 1902 ms | 3544 KiB |
| test_0110.txt | AC | 1902 ms | 3604 KiB |
| test_0111.txt | AC | 1902 ms | 3544 KiB |
| test_0112.txt | AC | 1903 ms | 3528 KiB |
| test_0113.txt | AC | 1902 ms | 3536 KiB |
| test_0114.txt | AC | 1902 ms | 3536 KiB |
| test_0115.txt | AC | 1902 ms | 3532 KiB |
| test_0116.txt | AC | 1902 ms | 3548 KiB |
| test_0117.txt | AC | 1902 ms | 3412 KiB |
| test_0118.txt | AC | 1902 ms | 3616 KiB |
| test_0119.txt | AC | 1902 ms | 3528 KiB |
| test_0120.txt | AC | 1902 ms | 3548 KiB |
| test_0121.txt | AC | 1902 ms | 3544 KiB |
| test_0122.txt | AC | 1902 ms | 3548 KiB |
| test_0123.txt | AC | 1902 ms | 3536 KiB |
| test_0124.txt | AC | 1902 ms | 3544 KiB |
| test_0125.txt | AC | 1902 ms | 3552 KiB |
| test_0126.txt | AC | 1902 ms | 3536 KiB |
| test_0127.txt | AC | 1902 ms | 3488 KiB |
| test_0128.txt | AC | 1902 ms | 3536 KiB |
| test_0129.txt | AC | 1902 ms | 3536 KiB |
| test_0130.txt | AC | 1902 ms | 3624 KiB |
| test_0131.txt | AC | 1902 ms | 3532 KiB |
| test_0132.txt | AC | 1902 ms | 3540 KiB |
| test_0133.txt | AC | 1902 ms | 3552 KiB |
| test_0134.txt | AC | 1902 ms | 3544 KiB |
| test_0135.txt | AC | 1902 ms | 3612 KiB |
| test_0136.txt | AC | 1902 ms | 3532 KiB |
| test_0137.txt | AC | 1902 ms | 3524 KiB |
| test_0138.txt | AC | 1902 ms | 3620 KiB |
| test_0139.txt | AC | 1902 ms | 3676 KiB |
| test_0140.txt | AC | 1902 ms | 3556 KiB |
| test_0141.txt | AC | 1902 ms | 3616 KiB |
| test_0142.txt | AC | 1902 ms | 3620 KiB |
| test_0143.txt | AC | 1902 ms | 3524 KiB |
| test_0144.txt | AC | 1902 ms | 3556 KiB |
| test_0145.txt | AC | 1902 ms | 3616 KiB |
| test_0146.txt | AC | 1902 ms | 3608 KiB |
| test_0147.txt | AC | 1902 ms | 3620 KiB |
| test_0148.txt | AC | 1903 ms | 3552 KiB |
| test_0149.txt | AC | 1902 ms | 3532 KiB |