結果

問題 No.329 全射
ユーザー pekempey
提出日時 2015-12-22 01:09:01
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 1,387 ms / 2,000 ms
コード長 2,061 bytes
コンパイル時間 1,531 ms
コンパイル使用メモリ 169,468 KB
実行使用メモリ 19,600 KB
最終ジャッジ日時 2024-09-18 18:22:09
合計ジャッジ時間 13,818 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

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;
template<class T> using pqueue = priority_queue<T, vector<T>, greater<T>>;
const ll mod = 1e9 + 7;
ll C[1010][1010], F[1010], Z[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] * modpow(i, n, mod) % 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 main() {
    memset(Z, -1, sizeof(Z));
    F[0] = 1;
    rep (i, 1, 1010) F[i] = F[i - 1] * i % 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);
    }
    ll ans = 0;
    rep (i, n) {
        pqueue<pair<int, int>> q;
        q.emplace(0, i);
        vector<int> dist(n, 0);
        dist[i] = w[i];
        while (!q.empty()) {
            int curr = get<1>(q.top()); q.pop();
            for (int next : g[curr]) {
                if (chmax(dist[next], min(dist[curr], w[next]))) {
                    q.emplace(dist[next], next);
                }
            }
        }
        rep (j, n) {
            if (dist[j] >= w[j]) {
                (ans += count(w[i], w[j])) %= mod;
            }
        }
    }
    cout << ans << endl;
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0