結果

問題 No.329 全射
ユーザー TawaraTawara
提出日時 2015-12-25 17:17:58
言語 PyPy2
(7.3.15)
結果
TLE  
実行時間 -
コード長 913 bytes
コンパイル時間 635 ms
コンパイル使用メモリ 77,484 KB
実行使用メモリ 151,600 KB
最終ジャッジ日時 2023-10-19 03:39:11
合計ジャッジ時間 5,676 ms
ジャッジサーバーID
(参考情報)
judge15 / judge13
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 85 ms
77,500 KB
testcase_01 AC 87 ms
77,500 KB
testcase_02 AC 87 ms
77,500 KB
testcase_03 AC 89 ms
77,500 KB
testcase_04 AC 86 ms
77,500 KB
testcase_05 AC 85 ms
77,500 KB
testcase_06 AC 86 ms
77,500 KB
testcase_07 AC 85 ms
77,500 KB
testcase_08 AC 85 ms
77,500 KB
testcase_09 AC 86 ms
77,500 KB
testcase_10 AC 85 ms
77,500 KB
testcase_11 AC 85 ms
77,500 KB
testcase_12 AC 85 ms
77,500 KB
testcase_13 TLE -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
権限があれば一括ダウンロードができます

ソースコード

diff #

from heapq import heappop, heappush
from collections import defaultdict as ddict
p = 10**9+7
N,M = map(int,raw_input().split())
w = map(int,raw_input().split())
w_max = max(w)
E = [[] for i in xrange(N)]
for t in xrange(M):
	i,j = map(lambda x:int(x)-1,raw_input().split())
	E[i].append(j)
C = [[0] for i in xrange(w_max+1)]
C[0].extend([1,0])
for i in xrange(1,w_max+1):
	C[i].extend([(C[i-1][j]+C[i-1][j+1])%p for j in xrange(i+1)]+[0])
F = [ddict(int) for i in xrange(w_max+1)]
for s in xrange(N):
	ws = w[s]
	V = ddict(int)
	Q = []
	heappush(Q,(-w[s],s))
	while Q:
		w_min,h = heappop(Q)
		if w_min >= V[h]: continue
		V[h] = w_min
		if w[h] <= -w_min: F[ws][w[h]] += 1
		w_min = max(w_min,-w[h])
		for nxt in E[h]: heappush(Q,(w_min,nxt))
ans = 0
for wi in xrange(1,w_max+1):
	for wj,v in F[wi].iteritems():
		ans += v*sum(C[wj][k+1]*pow(wj-k,wi,p)*((-1)**(k%2)) for k in xrange(wj)) % p
		ans %= p
print ans
0