結果

問題 No.590 Replacement
ユーザー PulmnPulmn
提出日時 2017-04-15 19:35:25
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 156 ms / 2,000 ms
コード長 1,623 bytes
コンパイル時間 1,063 ms
コンパイル使用メモリ 87,932 KB
実行使用メモリ 17,160 KB
最終ジャッジ日時 2024-07-19 09:30:29
合計ジャッジ時間 6,240 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 9 ms
5,376 KB
testcase_08 AC 5 ms
5,376 KB
testcase_09 AC 9 ms
5,376 KB
testcase_10 AC 5 ms
5,376 KB
testcase_11 AC 3 ms
5,376 KB
testcase_12 AC 9 ms
5,376 KB
testcase_13 AC 41 ms
5,376 KB
testcase_14 AC 65 ms
5,376 KB
testcase_15 AC 5 ms
5,376 KB
testcase_16 AC 16 ms
5,376 KB
testcase_17 AC 27 ms
5,376 KB
testcase_18 AC 91 ms
7,200 KB
testcase_19 AC 92 ms
6,480 KB
testcase_20 AC 24 ms
5,376 KB
testcase_21 AC 128 ms
7,312 KB
testcase_22 AC 122 ms
7,988 KB
testcase_23 AC 124 ms
8,096 KB
testcase_24 AC 118 ms
7,556 KB
testcase_25 AC 119 ms
7,168 KB
testcase_26 AC 121 ms
7,284 KB
testcase_27 AC 125 ms
7,876 KB
testcase_28 AC 133 ms
7,128 KB
testcase_29 AC 127 ms
7,016 KB
testcase_30 AC 128 ms
7,296 KB
testcase_31 AC 124 ms
7,196 KB
testcase_32 AC 124 ms
8,060 KB
testcase_33 AC 2 ms
5,376 KB
testcase_34 AC 2 ms
5,376 KB
testcase_35 AC 2 ms
5,376 KB
testcase_36 AC 96 ms
8,704 KB
testcase_37 AC 96 ms
8,704 KB
testcase_38 AC 92 ms
7,936 KB
testcase_39 AC 92 ms
8,068 KB
testcase_40 AC 156 ms
12,544 KB
testcase_41 AC 156 ms
12,672 KB
testcase_42 AC 93 ms
7,604 KB
testcase_43 AC 92 ms
7,716 KB
testcase_44 AC 131 ms
17,160 KB
testcase_45 AC 95 ms
8,704 KB
testcase_46 AC 96 ms
8,832 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <map>
#include <algorithm>
using namespace std;
typedef long long ll;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef pair<int,int> P;
typedef vector<P> vp;

const ll mod=1e9+7;

ll gcd(ll a,ll b){
	if(!b) return a;
	return gcd(b,a%b);
}

ll lcm(ll a,ll b){
	return a/gcd(a,b)*b;
}

ll Pow_mod(ll n,ll p){
	ll r=1;
	for(;p>0;p>>=1){
		if(p&1) r=(r*n)%mod;
		n=(n*n)%mod;
	}
	return r;
}

ll Division_mod(ll n,ll m){
	return n*Pow_mod(m,mod-2)%mod;
}

int n;
vi a,b;

vi ac,ad,as,bc,bd,bs;
map<pair<P,int>,vp> m;

void f(vi& A,vi& C,vi& D,vi& S){
	for(int i=0;i<n;i++){
		cin>>A[i];
		A[i]--;
	}
	int cnt=0;
	for(int i=0;i<n;i++) if(C[i]==-1){
		int I=i,num=0;
		do{
			C[I]=cnt;
			D[I]=num;
			num++;
			I=A[I];
		}while(I!=i);
		S.push_back(num);
		cnt++;
	}
}

int main(){
	cin>>n;
	a=b=ad=bd=vi(n);
	ac=bc=vi(n,-1);
	f(a,ac,ad,as);
	f(b,bc,bd,bs);
	for(int i=0;i<n;i++){
		int g=gcd(as[ac[i]],bs[bc[i]]);
		m[{{ac[i],bc[i]},(ad[i]%g-bd[i]%g+g)%g}].push_back({ad[i],bd[i]});
	}
	ll res=0;
	for(auto i=m.begin();i!=m.end();i++){
		P tmp=i->first.first;
		vp v=i->second;
		int A=as[tmp.first],B=bs[tmp.second],S=v.size();
		ll l=lcm(A,B),g=gcd(A,B),P=v[0].first,Q=v[0].second;
		vl u(S+1),w(B/g);
		u[S]=l;
		int I=Q/g;
		for(int i=0;i<B/g;i++){
			(I+=A/g)%=B/g;
			w[I]=B/g-i-1;
		}
		for(int i=1;i<S;i++){
			ll X=v[i].first,Y=v[i].second,num;
			num=(P+A-X)%A;
			(Y+=num)%=B;
			num+=w[Y/g]*A;
			u[i]=num;
		}
		sort(u.begin(),u.end());
		for(int i=0;i<S;i++){
			ll sa=(u[i+1]-u[i])%mod;
			(res+=Division_mod(sa*(sa-1)%mod,2))%=mod;
		}
	}
	cout<<res<<endl;
}
0