結果

問題 No.1044 正直者大学
ユーザー Rubikun
提出日時 2020-05-01 22:08:30
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 8 ms / 2,000 ms
コード長 1,809 bytes
コンパイル時間 1,784 ms
コンパイル使用メモリ 169,868 KB
実行使用メモリ 6,016 KB
最終ジャッジ日時 2024-12-25 11:17:07
合計ジャッジ時間 2,774 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return true; } return false; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return true; } return false; }
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define si(x) int(x.size())
const int mod=1000000007,MAX=100005;
const ll INF=1LL<<60;
ll inv[MAX],fac[MAX],finv[MAX];
void make(){
fac[0]=fac[1]=1;
finv[0]=finv[1]=1;
inv[1]=1;
for(int i=2;i<MAX;i++){
inv[i]=mod-inv[mod%i]*(mod/i)%mod;
fac[i]=fac[i-1]*(ll)i%mod;
finv[i]=finv[i-1]*inv[i]%mod;
}
}
ll comb(ll a,ll b){
if(a<b) return 0;
return fac[a]*(finv[b]*finv[a-b]%mod)%mod;
}
int main(){
std::ifstream in("text.txt");
std::cin.rdbuf(in.rdbuf());
cin.tie(0);
ios::sync_with_stdio(false);
make();
int N,M,K;cin>>N>>M>>K;
if(N>M) swap(N,M);
ll ans=0;
for(int i=2;i<=2*N;i++){
if(i%2==0){
int can=N+M-i;
if(can<K) continue;
ll sum=1;
sum*=comb(N-1,i/2-1);
sum*=fac[N-1];
sum%=mod;
sum*=comb(M-1,i/2-1);
sum%=mod;
sum*=fac[M];
sum%=mod;
ans+=sum;
ans%=mod;
}else{
int can=N+M-i+1;
if(can<K) continue;
ll sum=1;
sum*=comb(N-1,i/2);
sum*=fac[N-1];
sum%=mod;
sum*=comb(M-1,i/2-1);
sum%=mod;
sum*=fac[M];
sum%=mod;
ans+=sum;
ans%=mod;
}
}
cout<<ans<<endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0