結果
| 問題 | No.3529 2p Teleportations |
| コンテスト | |
| ユーザー |
👑 potato167
|
| 提出日時 | 2026-05-04 22:00:43 |
| 言語 | C++17 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 76 ms / 2,000 ms |
| コード長 | 4,763 bytes |
| 記録 | |
| コンパイル時間 | 1,545 ms |
| コンパイル使用メモリ | 225,336 KB |
| 実行使用メモリ | 6,400 KB |
| 最終ジャッジ日時 | 2026-05-04 22:00:58 |
| 合計ジャッジ時間 | 14,377 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge1_1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 49 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll=long long;
const ll ILL=2167167167167167167;
const int INF=2100000000;
#define rep(i,a,b) for (int i=(int)(a);i<(int)(b);i++)
#define all(p) p.begin(),p.end()
template<class T> using pq_ = priority_queue<T, vector<T>, greater<T>>;
template<class T> int LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> int UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> bool chmin(T &a,T b){if(b<a){a=b;return 1;}else return 0;}
template<class T> bool chmax(T &a,T b){if(a<b){a=b;return 1;}else return 0;}
template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());}
template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});}
bool yneos(bool a,bool upp=false){if(a){cout<<(upp?"YES\n":"Yes\n");}else{cout<<(upp?"NO\n":"No\n");}return a;}
template<class T> void vec_out(vector<T> &p,int ty=0){
if(ty==2){cout<<'{';for(int i=0;i<(int)p.size();i++){if(i){cout<<",";}cout<<'"'<<p[i]<<'"';}cout<<"}\n";}
else{if(ty==1){cout<<p.size()<<"\n";}for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";}}
template<class T> T vec_min(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;}
template<class T> T vec_max(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;}
template<class T> T vec_sum(vector<T> &a){T ans=T(0);for(auto &x:a) ans+=x;return ans;}
int pop_count(long long a){int res=0;while(a){res+=(int)(a&1),a>>=1;}return res;}
template<class T> T square(T a){return a * a;}
#include<atcoder/modint>
using mint = atcoder::modint;
void solve();
// DEAR MYSTERIES / TOMOO
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int t = 1;
cin >> t;
rep(i, 0, t) solve();
}
void solve(){
int N, P;
cin >> N >> P;
vector<vector<int>> G(N + 1);
vector<int> A(N), seen(N);
rep(i, 0, N) cin >> A[i], A[i]--;
vector<int> ans(N, -1);
rep(i, 0, N) {
vector<int> p;
while (seen[i] == 0) {
// cout << i << " " << A[i] << endl;
int nx = A[i];
p.push_back(nx);
seen[i] = 1;
i = nx;
}
reverse(all(p));
if ((int)p.size() % 2 == 1) {
if ((int)p.size() == 1) {
ans[i] = i;
}
else {
mint::set_mod(p.size());
auto tmp = (mint(1) / (2 * P));
rep(j, 0, p.size()) {
ans[p[j]] = p[(j + tmp).val()];
}
}
}
else if (G[p.size()].empty()) {
G[p.size()] = (p);
}
else {
mint::set_mod(p.size());
int tmp = (mint(P)).inv().val();
mint::set_mod(p.size() * 2);
vector<int> q;
rep(j, 0, p.size()) {
q.push_back(G[p.size()][j]);
q.push_back(p[j]);
}
rep(j, 0, q.size()) {
ans[q[j]] = q[((mint)j + tmp).val()];
}
G[p.size()].clear();
}
}
vector<int> merge;
for (auto x : G) for (auto y : x) merge.push_back(y);
if ((int)merge.size() == 2) {
ans[merge[0]] = merge[0];
ans[merge[1]] = merge[0];
}
else if (!merge.empty()) {
int fr = merge.front();
merge.erase(merge.begin());
mint::set_mod(merge.size());
mint tmp = (mint(2 * P)).inv();
rep(j, 0, merge.size()) {
ans[merge[j]] = merge[(j + tmp).val()];
}
ans[fr] = ans[merge.back()];
}
for (auto &x : ans) x++;
vec_out(ans);
for (auto &x : ans) x--;
if (false) {
int ng = 0;
rep(i, 0, N) {
int a = A[i];
rep(rp, 0, 2 * P) a = ans[a];
if (a != i) ng++;
}
cout << ng << endl;
}
}
/*
* 奇数サイクル :
* 1 / 2p = a (mod sz)
* として、a 個先に行けばいい
*
* 偶数サイクル :
* 二つあるなら、
* 2p * a = 2 (mod 2 * sz)
* p * a = 1 (mod sz)
* として、a 個先に行く
* そうでないとき、いくつかの要素が余る
* このサイクルの個数は多分 sqrt(N) 未満
* だとしてもむずい
* 2, 4 のサイクルのとき、どう組めばいいのかわかっていない
* 5 のサイクルを作って、それに 2 由来のものを 1 つクッつければいい
* 偶数サイクルはをひと繋ぎにして、1 つだけ外す
* そして、1 / 2p = a (mod (sum sz - 1)) を求め、それだけ進める
* できたサイクルに、いい感じになる箇所を見つけ、そこに最後の一つを入れる
*/
potato167