結果
問題 | No.762 PDCAパス |
ユーザー | beet |
提出日時 | 2018-12-22 20:27:16 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 98 ms / 2,000 ms |
コード長 | 4,607 bytes |
コンパイル時間 | 2,134 ms |
コンパイル使用メモリ | 206,360 KB |
実行使用メモリ | 9,728 KB |
最終ジャッジ日時 | 2024-09-25 10:15:52 |
合計ジャッジ時間 | 4,859 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
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 | 1 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 | 2 ms
5,376 KB |
testcase_08 | AC | 2 ms
5,376 KB |
testcase_09 | AC | 2 ms
5,376 KB |
testcase_10 | AC | 2 ms
5,376 KB |
testcase_11 | AC | 2 ms
5,376 KB |
testcase_12 | AC | 2 ms
5,376 KB |
testcase_13 | AC | 2 ms
5,376 KB |
testcase_14 | AC | 2 ms
5,376 KB |
testcase_15 | AC | 2 ms
5,376 KB |
testcase_16 | AC | 2 ms
5,376 KB |
testcase_17 | AC | 2 ms
5,376 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 2 ms
5,376 KB |
testcase_20 | AC | 2 ms
5,376 KB |
testcase_21 | AC | 2 ms
5,376 KB |
testcase_22 | AC | 44 ms
5,376 KB |
testcase_23 | AC | 44 ms
5,376 KB |
testcase_24 | AC | 69 ms
9,728 KB |
testcase_25 | AC | 70 ms
9,600 KB |
testcase_26 | AC | 45 ms
5,376 KB |
testcase_27 | AC | 45 ms
5,376 KB |
testcase_28 | AC | 98 ms
9,216 KB |
testcase_29 | AC | 93 ms
9,216 KB |
testcase_30 | AC | 88 ms
8,064 KB |
testcase_31 | AC | 91 ms
8,064 KB |
testcase_32 | AC | 88 ms
8,064 KB |
testcase_33 | AC | 81 ms
6,940 KB |
testcase_34 | AC | 80 ms
6,912 KB |
testcase_35 | AC | 80 ms
6,912 KB |
testcase_36 | AC | 67 ms
5,376 KB |
testcase_37 | AC | 66 ms
5,376 KB |
testcase_38 | AC | 67 ms
5,376 KB |
testcase_39 | AC | 67 ms
5,376 KB |
testcase_40 | AC | 67 ms
5,376 KB |
ソースコード
#include<bits/stdc++.h> using namespace std; using Int = long long; template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;} template<typename T,T MOD = 1000000007> struct Mint{ T v; Mint():v(0){} Mint(signed v):v(v){} Mint(long long t){v=t%MOD;if(v<0) v+=MOD;} Mint pow(long long k){ Mint res(1),tmp(v); while(k){ if(k&1) res*=tmp; tmp*=tmp; k>>=1; } return res; } Mint inv(){return pow(MOD-2);} Mint& operator+=(Mint a){v+=a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator-=(Mint a){v+=MOD-a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator*=(Mint a){v=1LL*v*a.v%MOD;return *this;} Mint& operator/=(Mint a){return (*this)*=a.inv();} Mint operator+(Mint a) const{return Mint(v)+=a;}; Mint operator-(Mint a) const{return Mint(v)-=a;}; Mint operator*(Mint a) const{return Mint(v)*=a;}; Mint operator/(Mint a) const{return Mint(v)/=a;}; Mint operator-(){return v?MOD-v:v;} bool operator==(const Mint a)const{return v==a.v;} bool operator!=(const Mint a)const{return v!=a.v;} bool operator <(const Mint a)const{return v <a.v;} // find x s.t. a^x = b static T log(Mint a,Mint b){ const T sq=40000; unordered_map<T, T> dp; dp.reserve(sq); Mint res(1); for(int r=0;r<sq;r++){ if(!dp.count(res)) dp[res]=r; res*=a; } Mint p=pow(a.inv(),sq); res=b; for(int q=0;q<=MOD/sq+1;q++){ if(dp.count(res)){ T idx=q*sq+dp[res]; if(idx>0) return idx; } res*=p; } return T(-1); } static vector<Mint> fact,finv,invs; static void init(int n){ if(n+1<=(signed)fact.size()) return; fact.assign(n+1,1); finv.assign(n+1,1); invs.assign(n+1,1); for(int i=1;i<=n;i++) fact[i]=fact[i-1]*Mint(i); finv[n]=Mint(1)/fact[n]; for(int i=n;i>=1;i--) finv[i-1]=finv[i]*Mint(i); for(int i=1;i<=n;i++) invs[i]=finv[i]*fact[i-1]; } static Mint comb(long long n,int k){ Mint res(1); for(int i=0;i<k;i++){ res*=Mint(n-i); res/=Mint(i+1); } return res; } static Mint C(int n,int k){ if(n<k||k<0) return Mint(0); init(n); return fact[n]*finv[n-k]*finv[k]; } static Mint P(int n,int k){ if(n<k||k<0) return Mint(0); init(n); return fact[n]*finv[n-k]; } static Mint H(int n,int k){ if(n<0||k<0) return Mint(0); if(!n&&!k) return Mint(1); init(n+k-1); return C(n+k-1,k); } static Mint S(int n,int k){ Mint res; init(k); for(int i=1;i<=k;i++){ Mint tmp=C(k,i)*Mint(i).pow(n); if((k-i)&1) res-=tmp; else res+=tmp; } return res*=finv[k]; } static vector<vector<Mint> > D(int n,int m){ vector<vector<Mint> > dp(n+1,vector<Mint>(m+1,0)); dp[0][0]=Mint(1); for(int i=0;i<=n;i++){ for(int j=1;j<=m;j++){ if(i-j>=0) dp[i][j]=dp[i][j-1]+dp[i-j][j]; else dp[i][j]=dp[i][j-1]; } } return dp; } static Mint B(int n,int k){ Mint res; for(int j=1;j<=k;j++) res+=S(n,j); return res; } static Mint montmort(int n){ Mint res; init(n); for(int k=2;k<=n;k++){ if(k&1) res-=finv[k]; else res+=finv[k]; } return res*=fact[n]; } static Mint LagrangePolynomial(vector<Mint> &y,Mint t){ int n=y.size()-1; if(t.v<=n) return y[t.v]; init(n+1); Mint num(1); for(int i=0;i<=n;i++) num*=t-Mint(i); Mint res; for(int i=0;i<=n;i++){ Mint tmp=y[i]*num/(t-Mint(i))*finv[i]*finv[n-i]; if((n-i)&1) res-=tmp; else res+=tmp; } return res; } }; template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::fact = vector<Mint<T, MOD> >(); template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::finv = vector<Mint<T, MOD> >(); template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::invs = vector<Mint<T, MOD> >(); //INSERT ABOVE HERE signed main(){ int n,m; cin>>n>>m; string s; cin>>s; vector<vector<int> > G(n); for(int i=0;i<m;i++){ int x,y; cin>>x>>y; x--;y--; G[x].emplace_back(y); G[y].emplace_back(x); } using M = Mint<int, 1000000007>; vector<M> cp(n,0),ca(n,0); for(int v=0;v<n;v++){ for(int u:G[v]){ if(s[u]=='P') cp[v]+=M(1); if(s[u]=='A') ca[v]+=M(1); } } M ans; for(int v=0;v<n;v++){ if(s[v]!='D') continue; for(int u:G[v]){ if(s[u]!='C') continue; ans+=cp[v]*ca[u]; } } cout<<ans.v<<endl; return 0; }