結果

問題 No.329 全射
ユーザー TawaraTawara
提出日時 2015-12-25 13:04:54
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 1,396 ms / 2,000 ms
コード長 1,449 bytes
コンパイル時間 1,425 ms
コンパイル使用メモリ 90,180 KB
実行使用メモリ 10,972 KB
最終ジャッジ日時 2023-10-19 03:32:39
合計ジャッジ時間 15,278 ms
ジャッジサーバーID
(参考情報)
judge13 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 11 ms
10,564 KB
testcase_01 AC 11 ms
10,568 KB
testcase_02 AC 12 ms
10,568 KB
testcase_03 AC 11 ms
10,564 KB
testcase_04 AC 10 ms
10,568 KB
testcase_05 AC 11 ms
10,568 KB
testcase_06 AC 11 ms
10,568 KB
testcase_07 AC 11 ms
10,568 KB
testcase_08 AC 11 ms
10,564 KB
testcase_09 AC 11 ms
10,568 KB
testcase_10 AC 11 ms
10,564 KB
testcase_11 AC 11 ms
10,568 KB
testcase_12 AC 11 ms
10,564 KB
testcase_13 AC 1,303 ms
10,892 KB
testcase_14 AC 546 ms
10,720 KB
testcase_15 AC 716 ms
10,792 KB
testcase_16 AC 968 ms
10,968 KB
testcase_17 AC 944 ms
10,804 KB
testcase_18 AC 1,351 ms
10,972 KB
testcase_19 AC 1,396 ms
10,904 KB
testcase_20 AC 1,282 ms
10,900 KB
testcase_21 AC 1,021 ms
10,804 KB
testcase_22 AC 1,098 ms
10,776 KB
testcase_23 AC 211 ms
10,764 KB
testcase_24 AC 185 ms
10,764 KB
testcase_25 AC 345 ms
10,788 KB
testcase_26 AC 178 ms
10,740 KB
testcase_27 AC 29 ms
10,636 KB
testcase_28 AC 11 ms
10,572 KB
testcase_29 AC 22 ms
10,608 KB
testcase_30 AC 18 ms
10,604 KB
testcase_31 AC 11 ms
10,564 KB
testcase_32 AC 24 ms
10,604 KB
testcase_33 AC 13 ms
10,576 KB
testcase_34 AC 13 ms
10,576 KB
testcase_35 AC 14 ms
10,576 KB
testcase_36 AC 14 ms
10,576 KB
testcase_37 AC 14 ms
10,576 KB
testcase_38 AC 14 ms
10,576 KB
testcase_39 AC 13 ms
10,576 KB
testcase_40 AC 14 ms
10,576 KB
testcase_41 AC 14 ms
10,576 KB
testcase_42 AC 14 ms
10,576 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