結果
| 問題 |
No.767 配られたジャパリまん
|
| コンテスト | |
| ユーザー |
ei1333333
|
| 提出日時 | 2018-12-15 02:45:39 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 2,222 bytes |
| コンパイル時間 | 1,998 ms |
| コンパイル使用メモリ | 206,188 KB |
| 最終ジャッジ日時 | 2025-01-06 19:25:51 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 6 |
| other | AC * 14 TLE * 1 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
using int64 = long long;
template< int mod >
struct Combination {
vector< int64_t > mfact, rfact;
Combination(int sz) : mfact(sz + 1), rfact(sz + 1) {
mfact[0] = 1;
for(int i = 1; i < mfact.size(); i++) {
mfact[i] = mfact[i - 1] * i % mod;
}
rfact[sz] = inv(mfact[sz]);
for(int i = sz - 1; i >= 0; i--) {
rfact[i] = rfact[i + 1] * (i + 1) % mod;
}
}
int64_t fact(int k) const {
return (mfact[k]);
}
int64_t pow(int64_t x, int64_t n) const {
int64_t ret = 1;
while(n > 0) {
if(n & 1) (ret *= x) %= mod;
(x *= x) %= mod;
n >>= 1;
}
return (ret);
}
int64_t inv(int64_t x) const {
return (pow(x, mod - 2));
}
int64_t P(int n, int r) const {
if(r < 0 || n < r) return (0);
return (mfact[n] * rfact[n - r] % mod);
}
int64_t C(int p, int q) const {
if(q < 0 || p < q) return (0);
return (mfact[p] * rfact[q] % mod * rfact[p - q] % mod);
}
int64_t H(int n, int r) const {
if(n < 0 || r < 0) return (0);
return (r == 0 ? 1 : C(n + r - 1, r));
}
};
const int mod = 1e8 + 7;
int main() {
int H, W, K;
int A[20], B[20];
cin >> H >> W >> K;
for(int i = 0; i < K; i++) {
cin >> A[i] >> B[i];
}
Combination< mod > latte(H + W + 2);
vector< int64 > dp(1 << K);
for(int i = 0; i < (1 << K); i++) {
vector< pair< int, int > > xs;
xs.emplace_back(0, 0);
for(int j = 0; j < K; j++) {
if((i >> j) & 1) xs.emplace_back(A[j], B[j]);
}
xs.emplace_back(H, W);
sort(begin(xs), end(xs));
bool condition = true;
for(int j = 1; j < xs.size(); j++) {
if(xs[j - 1].second > xs[j].second) condition = false;
}
int64 mul = 1;
for(int j = 1; j < xs.size(); j++) {
int dy = xs[j].first - xs[j - 1].first;
int dx = xs[j].second - xs[j - 1].second;
(mul *= latte.C(dy + dx, dy)) %= mod;
}
dp[i] = mul;
}
for(int i = 0; i < (1 << K); i++) {
int64 ret = 0;
for(int j = i; j > 0; j = (j - 1) & i) {
if(__builtin_popcount(j) % 2) ret += dp[j];
else ret += mod - dp[j];
ret %= mod;
}
cout << (dp[0] + mod - ret) % mod << endl;
}
}
ei1333333