結果

問題 No.1428 PeRmutation Question
ユーザー butsurizukibutsurizuki
提出日時 2021-01-04 02:22:42
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,751 bytes
コンパイル時間 2,340 ms
コンパイル使用メモリ 204,432 KB
実行使用メモリ 12,672 KB
最終ジャッジ日時 2024-10-13 20:14:51
合計ジャッジ時間 3,789 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 9 ms
11,520 KB
testcase_01 AC 9 ms
11,616 KB
testcase_02 AC 9 ms
11,648 KB
testcase_03 WA -
testcase_04 AC 9 ms
11,648 KB
testcase_05 AC 9 ms
11,520 KB
testcase_06 AC 9 ms
11,532 KB
testcase_07 WA -
testcase_08 AC 8 ms
11,520 KB
testcase_09 WA -
testcase_10 AC 9 ms
11,648 KB
testcase_11 AC 9 ms
11,520 KB
testcase_12 AC 13 ms
11,884 KB
testcase_13 AC 31 ms
12,288 KB
testcase_14 AC 28 ms
12,160 KB
testcase_15 AC 23 ms
12,136 KB
testcase_16 AC 36 ms
12,496 KB
testcase_17 AC 35 ms
12,492 KB
testcase_18 AC 20 ms
11,776 KB
testcase_19 AC 17 ms
11,824 KB
testcase_20 AC 17 ms
11,964 KB
testcase_21 AC 34 ms
12,544 KB
testcase_22 AC 39 ms
12,664 KB
testcase_23 AC 37 ms
12,672 KB
testcase_24 AC 37 ms
12,504 KB
testcase_25 AC 33 ms
12,416 KB
testcase_26 AC 34 ms
12,436 KB
testcase_27 AC 37 ms
12,544 KB
testcase_28 AC 35 ms
12,416 KB
testcase_29 AC 37 ms
12,560 KB
testcase_30 AC 39 ms
12,672 KB
testcase_31 AC 36 ms
12,544 KB
testcase_32 AC 37 ms
12,524 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#define mod 1000000007

using namespace std;

long long power(long long a,long long b){
  long long x=1,y=a;
  while(b>0){
    if(b&1ll){
      x=(x*y)%mod;
    }
    y=(y*y)%mod;
    b>>=1;
  }
  return x%mod;
}

long long modular_inverse(long long n){
  return power(n,mod-2);
}

long long factorial[524288];
long long invfact[524288];

void cfact(){
  long long i;
  factorial[0]=1;
  factorial[1]=1;
  for(i=2;i<524288;i++){
    factorial[i]=factorial[i-1]*i;
    factorial[i]%=mod;
  }
  invfact[524287]=modular_inverse(factorial[524287]);
  for(i=524286;i>=0;i--){
    invfact[i]=invfact[i+1]*(i+1);
    invfact[i]%=mod;
  }
}

struct UnionFind {
  vector<int> data;
  UnionFind(int size) : data(size, -1) { }
  bool unionSet(int x, int y) {
    x = root(x); y = root(y);
    if (x != y) {
      if (data[y] < data[x]) swap(x, y);
      data[x] += data[y]; data[y] = x;
    }
    return x != y;
  }
  bool findSet(int x, int y) {
    return root(x) == root(y);
  }
  int root(int x) {
    return data[x] < 0 ? x : data[x] = root(data[x]);
  }
  int size(int x) {
    return -data[root(x)];
  }
};

int main(){
  cfact();
  int n;
  cin >> n;
  if(n==1){cout << "1\n";return 0;}
  vector<int> a(n+1);
  vector<int> mp(n+1);
  UnionFind uf(n+1);
  for(int i=1;i<=n;i++){
    cin >> a[i];
    uf.unionSet(i,a[i]);
  }
  for(int i=1;i<=n;i++){
    if(uf.root(i)==i){mp[uf.size(i)]++;}
  }
  long long res=factorial[n];
  int gf=1;
  for(int i=1;i<=n;i++){
    if(mp[i]!=0){
      if(i%2==0){gf=0;}
      //printf("%d %d\n",i,mp[i]);
      res*=power((invfact[i]*factorial[i-1])%mod,mp[i]);res%=mod;
      res*=invfact[mp[i]];res%=mod;
    }
  }
  if(gf){res*=modular_inverse(2);res%=mod;}
  cout << res << '\n';
  return 0;
}
0