#67829 (C++11) No.329 全射

提出ソース

結果

問題	No.329 全射
ユーザー	kmjp
提出日時	2015-12-22 00:51:30
言語	C++11 (gcc 11.4.0)
結果	AC
実行時間	358 ms / 2,000 ms
コード長	1,798 bytes
コンパイル時間	1,578 ms
コンパイル使用メモリ	161,440 KB
実行使用メモリ	27,900 KB
最終ジャッジ日時	2024-09-18 18:18:56
合計ジャッジ時間	7,360 ms
ジャッジサーバーID （参考情報）	judge5 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	25 ms 20,764 KB
testcase_01	AC	26 ms 21,476 KB
testcase_02	AC	25 ms 20,468 KB
testcase_03	AC	24 ms 20,612 KB
testcase_04	AC	24 ms 20,548 KB
testcase_05	AC	25 ms 20,248 KB
testcase_06	AC	25 ms 20,892 KB
testcase_07	AC	24 ms 20,560 KB
testcase_08	AC	24 ms 21,940 KB
testcase_09	AC	24 ms 21,028 KB
testcase_10	AC	24 ms 20,924 KB
testcase_11	AC	24 ms 20,448 KB
testcase_12	AC	25 ms 21,124 KB
testcase_13	AC	332 ms 22,504 KB
testcase_14	AC	279 ms 21,952 KB
testcase_15	AC	261 ms 22,948 KB
testcase_16	AC	271 ms 22,108 KB
testcase_17	AC	299 ms 21,840 KB
testcase_18	AC	317 ms 22,320 KB
testcase_19	AC	344 ms 23,160 KB
testcase_20	AC	320 ms 21,776 KB
testcase_21	AC	291 ms 23,016 KB
testcase_22	AC	358 ms 22,684 KB
testcase_23	AC	62 ms 26,852 KB
testcase_24	AC	63 ms 27,052 KB
testcase_25	AC	88 ms 26,428 KB
testcase_26	AC	76 ms 26,356 KB
testcase_27	AC	41 ms 26,736 KB
testcase_28	AC	32 ms 26,300 KB
testcase_29	AC	41 ms 27,900 KB
testcase_30	AC	38 ms 26,576 KB
testcase_31	AC	26 ms 23,196 KB
testcase_32	AC	38 ms 27,180 KB
testcase_33	AC	97 ms 27,508 KB
testcase_34	AC	81 ms 27,100 KB
testcase_35	AC	104 ms 27,660 KB
testcase_36	AC	102 ms 26,160 KB
testcase_37	AC	91 ms 26,544 KB
testcase_38	AC	92 ms 26,308 KB
testcase_39	AC	93 ms 26,056 KB
testcase_40	AC	102 ms 27,440 KB
testcase_41	AC	89 ms 26,368 KB
testcase_42	AC	115 ms 26,708 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;
typedef signed long long ll;

#undef _P
#define _P(...) (void)printf(__VA_ARGS__)
#define FOR(x,to) for(x=0;x<(to);x++)
#define FORR(x,arr) for(auto& x:arr)
#define ITR(x,c) for(__typeof(c.begin()) x=c.begin();x!=c.end();x++)
#define ALL(a) (a.begin()),(a.end())
#define ZERO(a) memset(a,0,sizeof(a))
#define MINUS(a) memset(a,0xff,sizeof(a))
//-------------------------------------------------------

int N,M;
int W[300];
int I[40404],J[40404];
ll mo=1000000007;
int mat[300][300];

static const int N_=1020;
static ll C_[N_][N_];

ll fact[1010][1010];
ll dp[1010][1010];

inline int mulmod(int a,int b,int mo) {
	int d,r;
	if(a==0 || b==0) return 0;
	if(a==1 || b==1) return max(a,b);
	__asm__("mull %4;"
	        "divl %2"
		: "=d" (r), "=a" (d)
		: "r" (mo), "a" (a), "d" (b));
	return r;
}

void solve() {
	int i,j,k,l,r,x,y,z; string s;
	
	
	FOR(i,N_) C_[i][0]=C_[i][i]=1;
	for(i=1;i<N_;i++) for(j=1;j<i;j++) C_[i][j]=(C_[i-1][j-1]+C_[i-1][j])%mo;
	
	FOR(i,1010) {
		fact[i][0]=1;
		FOR(j,1001) fact[i][j+1]=fact[i][j]*i%mo;
	}
	
	cin>>N>>M;
	FOR(i,N) {
		cin>>W[i], mat[i][i]=W[i];
		z=W[i];
		
		for(x=1;x<=z;x++) {
			dp[z][x]=fact[x][z];
			for(y=1;y<x;y++) {
				dp[z][x] -= mulmod(C_[x][y],dp[z][y],mo);
				if(dp[z][x]<0) dp[z][x] += mo;
			}
		}
	}
	FOR(i,M) {
		cin>>I[i]>>J[i], I[i]--, J[i]--;
		mat[I[i]][J[i]]=min(W[I[i]],W[J[i]]);
	}
	
	FOR(z,N) FOR(x,N) FOR(y,N) mat[x][y] = max(mat[x][y], min(mat[x][z],mat[z][y]));
	
	ll ret=0;
	FOR(x,N) FOR(y,N) if(mat[x][y]>=W[y] && W[x]>=W[y]) ret +=dp[W[x]][W[y]];
	
	cout<<ret%mo<<endl;
	
}


int main(int argc,char** argv){
	string s;int i;
	if(argc==1) ios::sync_with_stdio(false);
	FOR(i,argc-1) s+=argv[i+1],s+='\n';
	FOR(i,s.size()) ungetc(s[s.size()-1-i],stdin);
	solve(); return 0;
}

yukicoder

結果

テストケース

ソースコード