結果
| 問題 | No.3400 Nana's Plus Permutation Game (7 + 7) ÷ 7 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-12-08 22:20:08 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 1,148 ms / 2,777 ms |
| コード長 | 3,822 bytes |
| 記録 | |
| コンパイル時間 | 5,190 ms |
| コンパイル使用メモリ | 268,640 KB |
| 実行使用メモリ | 26,356 KB |
| 平均クエリ数 | 20534.32 |
| 最終ジャッジ日時 | 2025-12-08 22:21:33 |
| 合計ジャッジ時間 | 84,075 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 77 |
ソースコード
#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
template<class T> ostream& operator << (ostream& os, const vector<T>& vec) {
if(vec.empty()) return os;
os << vec[0];
for(auto it = vec.begin(); ++it != vec.end(); ) os << ' ' << *it;
return os;
}
struct Weighted_dsu {
public:
Weighted_dsu() : _n(0) {}
Weighted_dsu(int n) : _n(n), parent_or_size(n, -1), diff_weight(n) {}
bool merge(int a, int b, long long w) {
assert(0 <= a && a < _n);
assert(0 <= b && b < _n);
int x = leader(a), y = leader(b);
w += diff_weight[a] - diff_weight[b];
if(x == y) return w == 0;
if (-parent_or_size[x] < -parent_or_size[y]) std::swap(x, y), w *= -1;
parent_or_size[x] += parent_or_size[y];
parent_or_size[y] = x;
diff_weight[y] = w;
return true;
}
long long diff(int a, int b) {
assert(same(a, b));
return diff_weight[b] - diff_weight[a];
}
bool same(int a, int b) {
assert(0 <= a && a < _n);
assert(0 <= b && b < _n);
return leader(a) == leader(b);
}
int leader(int a) {
assert(0 <= a && a < _n);
if (parent_or_size[a] < 0) return a;
int r = leader(parent_or_size[a]);
diff_weight[a] += diff_weight[parent_or_size[a]];
return parent_or_size[a] = r;
}
private:
int _n;
std::vector<int> parent_or_size, diff_weight;
};
int ask(int v, int u){
int res;
cout << "1 " << v + 1 << ' ' << u + 1 << endl;
cin >> res;
if(res == -1) return -1;
return res - 1;
}
void solve(){
int n;
cin >> n;
Weighted_dsu uf(n);
vector<int> ans(n);
vector<vector<int>> G;
int mx = 0, npos = -1, pos = 0;
auto f = [&](int pos){
atcoder::dsu uf2(n);
mx = 0;
vector<pair<int,int>> T;
for(int v = 0; v < n; v++){
if(v == pos) continue;
int u = ask(pos, v);
if(u != -1){
uf2.merge(v, u);
T.emplace_back(v, u);
}
}
G = uf2.groups();
for(auto &&vec : G){
if(vec.size() > mx){
mx = vec.size();
}
}
int res = mx >= 3 ? G.size() - 1 : G.size();
for(auto [u, v] : T) uf.merge(u, v, res);
for(auto &&vec : G){
sort(vec.begin(), vec.end(), [&](int u, int v){
return uf.diff(u, v) > 0;
});
}
return res;
};
int cur = f(0);
if(cur == 1){
if(G[0].size() > G[1].size()) swap(G[0], G[1]);
G[1].insert(G[1].begin(), G[0][0]);
for(int i = 0; i < n; i++) ans[G[1][i]] = i + 1;
cout << "2 " << ans << endl;
return;
}
if(cur != n){
// n を見つけに行く
vector<int> fst, lst;
for(auto &&vec : G){
if(vec.size() != mx) continue;
fst.emplace_back(vec[0]);
lst.emplace_back(vec.back());
}
int li = 0;
for(int i = 0; i < fst.size(); i++){
while(ask(fst[i], lst[li]) != -1){
li++;
}
}
npos = fst[li];
}else{
// nが見つかっている場合
npos = 0;
pos = 1;
cur = f(1);
for(auto &&vec : G){
if(count(vec.begin(), vec.end(), 0) >= 1){
npos = vec[0];
break;
}
}
}
f(npos);
int mn = 0;
for(int i = 0; i < n; i++){
ans[i] = uf.diff(0, i);
mn = min(mn, ans[i]);
}
for(int i = 0; i < n; i++) ans[i] -= mn - 1;
cout << "2 " << ans << endl;
}
int main(){
ios::sync_with_stdio(false);
cin.tie(0);
int T;
cin >> T;
while(T--) solve();
}