結果
| 問題 | No.329 全射 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2015-12-22 16:17:58 |
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 21 ms / 2,000 ms |
| コード長 | 1,336 bytes |
| 記録 | |
| コンパイル時間 | 1,284 ms |
| コンパイル使用メモリ | 160,348 KB |
| 実行使用メモリ | 11,604 KB |
| 最終ジャッジ日時 | 2024-09-18 18:37:04 |
| 合計ジャッジ時間 | 2,824 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 40 |
ソースコード
#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 dp[1010][1010];
int w[222], dist[222][222];
int main() {
dp[0][0] = 1;
rep (i, 1, 1010) rep (j, 1, 1010) {
dp[i][j] = j * (dp[i - 1][j - 1] + dp[i - 1][j]) % mod;
}
int n, m;
cin >> n >> m;
rep (i, n) cin >> w[i], dist[i][i] = w[i];
rep (i, m) {
int u, v;
cin >> u >> v; u--; v--;
dist[u][v] = w[v];
}
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 += dp[w[i]][w[j]]) %= mod;
}
cout << ans << endl;
return 0;
}