結果
問題 | No.329 全射 |
ユーザー |
![]() |
提出日時 | 2015-12-25 13:27:21 |
言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
結果 |
AC
|
実行時間 | 1,052 ms / 2,000 ms |
コード長 | 1,640 bytes |
コンパイル時間 | 936 ms |
コンパイル使用メモリ | 90,224 KB |
実行使用メモリ | 18,740 KB |
最終ジャッジ日時 | 2024-09-18 23:47:27 |
合計ジャッジ時間 | 11,274 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 40 |
ソースコード
#include <iostream>#include <stdio.h>#include <vector>#include <map>#include <queue>#include <algorithm>#include <cmath>using namespace std;typedef vector <int> VI;typedef vector <VI> VVI;typedef long long LL;typedef pair<int,int> PII;#define range(i,a,b) for(int i=(a); i < (b); i++)#define rep(i,n) range(i,0,n)#define P 1000000007LL C[1001][1001],F[1001][1001];int w[1000];LL my_pow(LL b, LL e){LL ret = 1, prod = b;for (LL inc=e;inc>0;inc>>=1){if (inc&1){ret *= prod; ret %= P;}prod = prod * prod % P;}return ret;}LL calc(LL wi, LL wj){LL ret = 0;for(LL k = 0;k < wj; k++){ret += (k%2?-1:1)*((C[wj][k]*my_pow(wj-k,wi))%P);ret = (ret + P) % P;}return ret;}int main(){int N,M,x,y,h,w_min;LL ans = 0;VVI E;VI :: iterator it;PII tmp;map <int,int> V;priority_queue <PII, vector<PII> > Q;C[0][0] = 1;rep(i,1000) rep(j,i+1){C[i+1][j]+=C[i][j]; C[i+1][j]%=P;C[i+1][j+1]+=C[i][j]; C[i+1][j+1]%=P;}range(i,1,1001) range(j,1,i+1) F[i][j] = 0;cin >> N >> M;E.resize(N);rep(i,N) cin >> w[i];rep(i,M){cin >> x >> y;E[--x].push_back(--y);}rep(s,N){V.clear();Q.push(PII(w[s],s));while (Q.size()>0){tmp = Q.top(); Q.pop();w_min = tmp.first; h = tmp.second;if (w_min <= V[h]) continue;V[h] = w_min;if(w[s] >= w[h] && w[h] <= w_min) F[w[s]][w[h]] += 1;w_min = min(w_min,w[h]);for (it=E[h].begin(); it!=E[h].end(); it++) Q.push(PII(w_min,*it));}}for(LL i=1; i < 1001; i++){for(LL j = 1;j < i+1; j++){if (F[i][j] > 0){ans += F[i][j]*calc(i,j) % P;ans %= P;}}}cout << ans << endl;return 0;}