結果

問題 No.329 全射
ユーザー pekempeypekempey
提出日時 2015-12-22 17:17:54
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 99 ms / 2,000 ms
コード長 1,992 bytes
コンパイル時間 1,479 ms
コンパイル使用メモリ 162,204 KB
実行使用メモリ 27,776 KB
最終ジャッジ日時 2024-09-18 18:37:23
合計ジャッジ時間 3,619 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 12 ms
27,276 KB
testcase_01 AC 13 ms
27,124 KB
testcase_02 AC 13 ms
27,392 KB
testcase_03 AC 13 ms
27,392 KB
testcase_04 AC 13 ms
27,136 KB
testcase_05 AC 11 ms
27,292 KB
testcase_06 AC 11 ms
27,264 KB
testcase_07 AC 12 ms
27,264 KB
testcase_08 AC 11 ms
27,392 KB
testcase_09 AC 11 ms
27,344 KB
testcase_10 AC 11 ms
27,372 KB
testcase_11 AC 11 ms
27,272 KB
testcase_12 AC 11 ms
27,216 KB
testcase_13 AC 89 ms
27,552 KB
testcase_14 AC 68 ms
27,360 KB
testcase_15 AC 65 ms
27,340 KB
testcase_16 AC 74 ms
27,776 KB
testcase_17 AC 79 ms
27,496 KB
testcase_18 AC 84 ms
27,520 KB
testcase_19 AC 97 ms
27,576 KB
testcase_20 AC 87 ms
27,516 KB
testcase_21 AC 86 ms
27,520 KB
testcase_22 AC 99 ms
27,520 KB
testcase_23 AC 20 ms
27,256 KB
testcase_24 AC 19 ms
27,472 KB
testcase_25 AC 23 ms
27,588 KB
testcase_26 AC 19 ms
27,520 KB
testcase_27 AC 15 ms
27,264 KB
testcase_28 AC 13 ms
27,392 KB
testcase_29 AC 13 ms
27,392 KB
testcase_30 AC 13 ms
27,136 KB
testcase_31 AC 11 ms
27,264 KB
testcase_32 AC 14 ms
27,324 KB
testcase_33 AC 19 ms
27,432 KB
testcase_34 AC 19 ms
27,460 KB
testcase_35 AC 21 ms
27,392 KB
testcase_36 AC 19 ms
27,520 KB
testcase_37 AC 18 ms
27,520 KB
testcase_38 AC 18 ms
27,360 KB
testcase_39 AC 18 ms
27,520 KB
testcase_40 AC 21 ms
27,516 KB
testcase_41 AC 17 ms
27,504 KB
testcase_42 AC 21 ms
27,520 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define GET_MACRO(a, b, c, NAME, ...) NAME
#define rep(...) GET_MACRO(__VA_ARGS__, rep3, rep2)(__VA_ARGS__)
#define rep2(i, a) rep3 (i, 0, a)
#define rep3(i, a, b) for (int i = (a); i < (b); i++)
#define repr(...) GET_MACRO(__VA_ARGS__, repr3, repr2)(__VA_ARGS__)
#define repr2(i, a) repr3 (i, 0, a)
#define repr3(i, a, b) for (int i = (b) - 1; i >= (a); i--)
#define FILL(a, b, T) fill_n((T *)a, sizeof(a) / sizeof(T), b)
template<class T1, class T2> inline bool chmin(T1 &a, T2 b) { return b < a && (a = b, true); }
template<class T1, class T2> inline bool chmax(T1 &a, T2 b) { return a < b && (a = b, true); }
using ll = long long;

const ll mod = 1e9 + 7;
ll C[1010][1010], F[1010], Z[1010][1010], P[1010][1010];

ll modpow(ll a, ll b, ll mod) {
	if (b == 0) return 1;
	return modpow(a * a % mod, b / 2, mod) * (b & 1 ? a : 1) % mod;
}

ll count(ll n, ll k) {
	if (Z[n][k] != -1) return Z[n][k];
	ll res = 0;
	rep (i, 1, k + 1) {
		ll v = C[k][i] * P[i][n] % mod;
		if ((k + i) % 2 == 1) v *= -1;
		(res += v) %= mod;
	}
	res %= mod; res += mod; res %= mod;
	return Z[n][k] = res;
}

vector<int> g[222];
const int inf = 1e9;
int w[222];

int dist[222][222];

int main() {
	memset(Z, -1, sizeof(Z));

	F[0] = 1;
	rep (i, 1, 1010) F[i] = F[i - 1] * i % mod;

	rep (i, 1010) {
		P[i][0] = 1;
		rep (j, 1, 1010) {
			P[i][j] = i * P[i][j - 1] % mod;
		}
	}

	C[0][0] = 1;
	rep (i, 1, 1010) {
		C[i][0] = 1;
		rep (j, 1, 1010) {
			C[i][j] = (C[i - 1][j] + C[i - 1][j - 1]) % mod;
		}
	}

	int n, m;
	cin >> n >> m;
	rep (i, n) cin >> w[i];
	rep (i, m) {
		int u, v;
		cin >> u >> v;
		u--; v--;
		g[u].push_back(v);
	}

	rep (i, n) dist[i][i] = w[i];
	rep (i, n) for (int next : g[i]) {
		dist[i][next] = w[next];
	}

	rep (k, n) rep (i, n) rep (j, n) {
		chmax(dist[i][j], min(dist[i][k], dist[k][j]));
	}

	ll ans = 0;
	rep (i, n) rep (j, n) if (dist[i][j] >= w[j]) {
		(ans += count(w[i], w[j])) %= mod;
	}
	cout << ans << endl;

	return 0;
}
0