結果

問題 No.329 全射
ユーザー TawaraTawara
提出日時 2015-12-25 13:04:54
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 1,219 ms / 2,000 ms
コード長 1,449 bytes
コンパイル時間 831 ms
コンパイル使用メモリ 90,112 KB
実行使用メモリ 11,008 KB
最終ジャッジ日時 2024-09-18 23:45:58
合計ジャッジ時間 12,587 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 11 ms
10,240 KB
testcase_01 AC 11 ms
10,240 KB
testcase_02 AC 11 ms
10,240 KB
testcase_03 AC 9 ms
10,368 KB
testcase_04 AC 9 ms
10,240 KB
testcase_05 AC 9 ms
10,240 KB
testcase_06 AC 8 ms
10,240 KB
testcase_07 AC 9 ms
10,240 KB
testcase_08 AC 9 ms
10,240 KB
testcase_09 AC 9 ms
10,240 KB
testcase_10 AC 10 ms
10,112 KB
testcase_11 AC 9 ms
10,240 KB
testcase_12 AC 9 ms
10,240 KB
testcase_13 AC 1,152 ms
10,752 KB
testcase_14 AC 487 ms
10,368 KB
testcase_15 AC 635 ms
10,624 KB
testcase_16 AC 884 ms
11,008 KB
testcase_17 AC 885 ms
10,548 KB
testcase_18 AC 1,205 ms
11,008 KB
testcase_19 AC 1,219 ms
10,752 KB
testcase_20 AC 1,143 ms
10,880 KB
testcase_21 AC 914 ms
10,624 KB
testcase_22 AC 981 ms
10,516 KB
testcase_23 AC 187 ms
10,624 KB
testcase_24 AC 165 ms
10,624 KB
testcase_25 AC 309 ms
10,612 KB
testcase_26 AC 162 ms
10,496 KB
testcase_27 AC 28 ms
10,368 KB
testcase_28 AC 11 ms
10,240 KB
testcase_29 AC 19 ms
10,240 KB
testcase_30 AC 16 ms
10,368 KB
testcase_31 AC 9 ms
10,240 KB
testcase_32 AC 22 ms
10,368 KB
testcase_33 AC 12 ms
10,240 KB
testcase_34 AC 16 ms
10,240 KB
testcase_35 AC 14 ms
10,240 KB
testcase_36 AC 14 ms
10,240 KB
testcase_37 AC 12 ms
10,368 KB
testcase_38 AC 12 ms
10,240 KB
testcase_39 AC 12 ms
10,240 KB
testcase_40 AC 13 ms
10,240 KB
testcase_41 AC 12 ms
10,368 KB
testcase_42 AC 14 ms
10,240 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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<LL,int> PLI;

#define range(i,a,b) for(int i=(a); i < (b); i++)
#define rep(i,n) range(i,0,n)

#define P 1000000007

LL C[1001][1001];
LL 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;
	LL w_min,ans = 0;
	VVI E;
	VI :: iterator it;
	PLI tmp;
	map <int,LL> V;
	priority_queue <PLI, vector<PLI> > 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;
	}
	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(PLI(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){ans += calc(w[s],w[h]); ans %= P;} 
			w_min = min(w_min,w[h]);
			for (it=E[h].begin(); it!=E[h].end(); it++) Q.push(PLI(w_min,*it));
		}
	}
	cout << ans << endl;
	return 0;
}
0