結果

問題 No.329 全射
ユーザー Tawara
提出日時 2015-12-24 22:20:08
言語 Python2
(2.7.18)
結果
TLE  
実行時間 -
コード長 928 bytes
コンパイル時間 581 ms
コンパイル使用メモリ 6,784 KB
実行使用メモリ 35,816 KB
最終ジャッジ日時 2024-09-18 23:00:15
合計ジャッジ時間 4,325 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 10 TLE * 1 -- * 29
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from Queue import deque
from collections import defaultdict as ddict
sys.setrecursionlimit(10000)
p = 10**9+7
N,M = map(int,raw_input().split())
w = map(int,raw_input().split())
w_max = max(w)
C = [[0]*(i+1) for i in xrange(w_max+1)]
C[0][0] = 1
for i in xrange(w_max):
	for j in xrange(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
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)
proj = set()
for s in xrange(N):
	visited = ddict(int)
	Q = deque([(s,w[s])])
	while Q:
		h,w_min = Q.popleft()
		if w_min <= visited[h]: continue
		visited[h] = w_min
		if w[s] >= w[h] and w[h] <= w_min:
			proj.add((s,h))
		w_min = min(w_min,w[h])
		for nxt in E[h]: Q.append((nxt,w_min))
ans = 0
for i,j in proj:
	wi = w[i]; wj = w[j]
	ans += sum(C[wj][k]*pow(wj-k,wi,p)*((-1)**(k%2)) for k in xrange(wj))
	ans %= p
print ans
0