結果

問題 No.3400 Nana's Plus Permutation Game (7 + 7) ÷ 7
コンテスト
ユーザー こめだわら
提出日時 2025-12-08 22:29:15
言語 C++23
(gcc 13.3.0 + boost 1.89.0)
結果
RE  
実行時間 -
コード長 3,591 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,946 ms
コンパイル使用メモリ 300,148 KB
実行使用メモリ 26,480 KB
平均クエリ数 9266.36
最終ジャッジ日時 2025-12-08 22:30:08
合計ジャッジ時間 49,304 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 29 WA * 2 RE * 46
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using ull = unsigned long long;

#define rep(i,n) for(ll i=0;i<n;++i)
#define all(a) (a).begin(),(a).end()
ll intpow(ll a, ll b){ ll ans = 1; while(b){ if(b & 1) ans *= a; a *= a; b /= 2; } return ans; }
ll modpow(ll a, ll b, ll p){ ll ans = 1; while(b){ if(b & 1) (ans *= a) %= p; (a *= a) %= p; b /= 2; } return ans; }
template<class T> T div_floor(T a, T b) { return a / b - ((a ^ b) < 0 && a % b); }
template<class T> T div_ceil(T a, T b) { return a / b + ((a ^ b) > 0 && a % b); }
template <typename T, typename U> inline bool chmin(T &x, U y) { return (y < x) ? (x = y, true) : false; }
template <typename T, typename U> inline bool chmax(T &x, U y) { return (x < y) ? (x = y, true) : false; }

template<typename T>
ostream &operator<<(ostream &os, const vector<T> &a){
	if (a.empty()) return os;
	os << a.front();
	for (auto e : a | views::drop(1)){
		os << ' ' << e;
	}
	return os;
}

void dump(auto ...vs){
	((cout << vs << ' '), ...) << endl;
}

bool local=false;
vector<ll> ansP;

void solve() {
	ll N;
	cin>>N;
	if (local){
		ansP=vector<ll>(N,-1);
		rep(i,N){
			cin>>ansP[i];
		}
	}
	ll query_num=0;
	auto query=[&](ll i,ll j){
		assert (i!=j);
		query_num++;
		assert(query_num<3*N);
		cout<<"1 "<<i+1<<' '<<j+1<<endl;
		ll k=-1;
		if (local){
			ll s=ansP[i]+ansP[j];
			rep(a,N){
				if (ansP[a]==s){
					k=a+1;
					break;
				}
			}
		}
		else{
			cin>>k;
		}
		k--;
		if (k<0)k++;
		return k;
	};
	ll base_i=-1;
	rep(i,N-1){
		ll r=query(i,i+1);
		if (r>=0){
			base_i=i;
			break;
		}
	}
	if (base_i==-1){
		ll r=query(N-1,0);
		if (r>=0){
			base_i=N-1;
		}
	}
	assert(base_i>=0);
	vector<ll> nxt(N,-1);
	rep(j,N){
		if (j==base_i)continue;
		nxt[j]=query(base_i,j);
	}
	vector<bool> is_start(N,true);
	rep(i,N){
		if (nxt[i]>=0){
			is_start[nxt[i]]=false;
		}
	}
	vector<vector<ll>> com;
	rep(i,N){
		if (i==base_i)continue;
		if (is_start[i]){
			vector<ll> c;
			ll ni=i;
			while (ni>=0){
				c.push_back(ni);
				ni=nxt[ni];
			}
			com.push_back(c);
		}
	}
	sort(all(com),[](vector<ll> a,vector<ll> b){
		return a.size()>b.size();
	});
	if (com.size()>=2){
		if (com[com.size()-1].size()==com[com.size()-2].size()){
			com.push_back({});
		}
	}
	// dump(com.size());
	// dump(com);
	reverse(all(com.back()));
	com.back().push_back(base_i);
	reverse(all(com.back()));
	vector<ll> P(N,-1);
	ll B=com.size();
	if (B==1){
		rep(j,N){
			P[com[0][j]]=j+1;
		}
		cout<<2<<' ';
		rep(i,N){
			if (i!=0)cout<<' ';
			cout<<P[i];
		}
		cout<<endl;
		return;
	}
	P[base_i]=B;
	vector<ll> D(N);
	rep(i,B){
		for (ll j:com[i]){
			D[j]=i;
		}
	}
	vector<ll> nxtc(B,-1);
	vector<bool> over(B,false);
	rep(i,B){
		if (i==0)continue;
		ll r=query(com[0][0],com[i][0]);
		if (r!=com[D[r]][0]){
			over[i]=true;
		}
		nxtc[i]=D[r];
	}
	is_start=vector<bool>(B,true);
	rep(i,B){
		if (nxtc[i]>=0){
			is_start[nxtc[i]]=false;
		}
	}
	rep(i,B){
		if (is_start[i]){
			nxtc[0]=i;
			ll res=query(com[0][0],com[0][1]);
			if (res==-1 or res!=com[i][1]){
				over[0]=true;
			}
			break;
		}
	}
	// dump(nxtc);
	vector<ll> order;
	ll ni=B-1;
	while (true){
		order.push_back(ni);
		ni=nxtc[ni];
		if (ni==B-1)break;
	}
	assert(order.size()==B);
	ll v=count(all(over),true);
	rep(i,B){
		ll oi=order[i];
		ll s=(v*i)%B;
		if (s==0)s+=B;
		rep(j,(ll)com[oi].size()){
			P[com[oi][j]]=s+B*j;
		}
	}
	cout<<2<<' ';
	rep(i,N){
		if (i!=0)cout<<' ';
		cout<<P[i];
	}
	cout<<endl;
	return;
}


int main() {
	cin.tie(0)->sync_with_stdio(0);
	ll T=1;
	cin>>T;
	while (T--){
		solve();
	}
	return 0;
}
0