結果
| 問題 | No.329 全射 |
| コンテスト | |
| ユーザー |
Tawara
|
| 提出日時 | 2015-12-26 05:28:31 |
| 言語 | C++11 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 12 ms / 2,000 ms |
| コード長 | 710 bytes |
| 記録 | |
| コンパイル時間 | 297 ms |
| コンパイル使用メモリ | 55,028 KB |
| 実行使用メモリ | 11,992 KB |
| 最終ジャッジ日時 | 2026-04-07 02:51:24 |
| 合計ジャッジ時間 | 5,653 ms |
|
ジャッジサーバーID (参考情報) |
judge2_1 / judge1_1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 40 |
ソースコード
#include <algorithm>
#include <stdio.h>
using namespace std;
typedef long long LL;
#define range(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,n) range(i,0,n)
#define P 1000000007
#define W 1001
LL D[W][W];
int w[W-1],E[300][300];
int main(){
int N,M,x,y;
LL A = 0;
rep(i,W)rep(j,W) D[i][j] = 0;
D[0][0] = 1;
rep(i,W-1) rep(j,i+1) D[i+1][j+1] = (LL) (j+1)*(D[i][j+1]+D[i][j])%P;
scanf("%d%d",&N,&M);
rep(i,N)scanf("%d",w+i);
rep(i,N){rep(j,N) E[i][j] = 0; E[i][i] = w[i];}
rep(i,M){scanf("%d%d",&x,&y);x--; E[x][--y] = w[x];}
rep(k,N) rep(i,N) rep(j,N) E[i][j] = max(E[i][j],min(E[i][k],E[k][j]));
rep(i,N) rep(j,N) if(w[j] <= E[i][j]) A = (A+D[w[i]][w[j]])%P;
printf("%lld\n",A);
return 0;
}
Tawara