結果

問題 No.767 配られたジャパリまん
ユーザー fumiphysfumiphys
提出日時 2019-03-11 23:01:29
言語 C++11
(gcc 11.4.0)
結果
TLE  
(最新)
AC  
(最初)
実行時間 -
コード長 2,944 bytes
コンパイル時間 888 ms
コンパイル使用メモリ 108,232 KB
実行使用メモリ 6,748 KB
最終ジャッジ日時 2023-09-05 20:17:43
合計ジャッジ時間 5,040 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 6 ms
6,748 KB
testcase_01 AC 6 ms
6,508 KB
testcase_02 AC 6 ms
6,540 KB
testcase_03 AC 6 ms
6,520 KB
testcase_04 AC 8 ms
6,524 KB
testcase_05 AC 136 ms
6,584 KB
testcase_06 AC 6 ms
6,584 KB
testcase_07 AC 6 ms
6,516 KB
testcase_08 AC 6 ms
6,540 KB
testcase_09 AC 8 ms
6,520 KB
testcase_10 AC 73 ms
6,532 KB
testcase_11 AC 10 ms
6,532 KB
testcase_12 AC 9 ms
6,600 KB
testcase_13 AC 72 ms
6,596 KB
testcase_14 AC 7 ms
6,524 KB
testcase_15 AC 6 ms
6,584 KB
testcase_16 AC 10 ms
6,528 KB
testcase_17 AC 7 ms
6,592 KB
testcase_18 AC 6 ms
6,656 KB
testcase_19 AC 13 ms
6,656 KB
testcase_20 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

// includes
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <iomanip>
#include <string>
#include <queue>
#include <stack>
#include <vector>
#include <set>
#include <map>
#include <unordered_map>
#include <algorithm>
#include <utility>
#include <functional>
#include <cmath>
#include <climits>
#include <bitset>
#include <list>
#include <random>

// macros
#define ll long long int
#define pb emplace_back
#define mk make_pair
#define pq priority_queue
#define FOR(i, a, b) for(int i=(a);i<(b);++i)
#define rep(i, n) FOR(i, 0, n)
#define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--)
#define all(x) (x).begin(),(x).end()
#define sz(x) ((int)(x).size())
#define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end())

using namespace std;

//  types
typedef pair<int, int> P;
typedef pair<ll, int> Pl;
typedef pair<ll, ll> Pll;
typedef pair<double, double> Pd;
 
// constants
const int inf = 1e9;
const ll linf = 1LL << 50;
const double EPS = 1e-10;
const int mod = 1e8 + 7;

// solve
template <class T>bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;}
template <class T>bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;}

ll h, w;
int k;
struct point{
  int a, b;
  point(){}
  point(int a, int b): a(a), b(b){}
};

vector<point> vec, tvec;

bool comp(const point &x, const point &y){
  if(x.a != y.a)return x.a < y.a;
  return x.b < y.b;
}

template <typename T>
T power(T a, T n, T mod) {
  T res = 1;
  T tmp = n;
  T curr = a;
  while(tmp){
    if(tmp % 2 == 1){
      res = (T)((ll)res * curr % mod);
    }
    curr = (T)((ll)curr * curr % mod);
    tmp >>= 1;
  }
  return res;
}

ll fac[200001], inv[200001];

ll calc(int status){
  ll res = fac[h+w] * (inv[h] * inv[w] % mod) % mod;
  vector<point> v;
  for(int i = 0; i < k; i++){
    if((status >> i) % 2 == 1){
      v.pb(tvec[i]);
    }
  }
  sort(all(v), comp);
  vector<ll> dp(sz(v), 0);
  for(int i = 0; i < sz(v); i++){
    point p = v[i];
    dp[i] = fac[p.a+p.b] * (inv[p.a] * inv[p.b] % mod) % mod;
    for(int j = 0; j < i; j++){
      point pj = v[j];
      if(p.a >= pj.a && p.b >= pj.b){
        dp[i] = (dp[i] - dp[j] * (fac[p.a+p.b-pj.a-pj.b] * (inv[p.a-pj.a] * inv[p.b-pj.b] % mod) % mod) % mod) % mod;
      }
    }
    if(dp[i] < 0)dp[i] += mod;
    res = (res - dp[i] * (fac[h+w-p.a-p.b] * (inv[h-p.a] * inv[w-p.b] % mod) % mod) % mod) % mod;
    if(res < 0)res = res + mod;
  }
  return res;
}

int main(int argc, char const* argv[])
{
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cin >> h >> w >> k;
  fac[0] = 1;
  for(int i = 1; i <= 200000; i++)fac[i] = i * fac[i-1] % mod;
  inv[200000] = power<ll>(fac[200000], mod - 2, mod);
  for(int i = 199999; i >= 0; i--){
    inv[i] = (i + 1) * inv[i+1] % mod;
  }
  vec.resize(k);
  tvec.resize(k);
  rep(i, k)cin >> vec[i].a >> vec[i].b;
  tvec = vec;
  sort(all(vec), comp);
  for(int i = 0; i < (1 << k); i++){
    cout << calc(i) << endl;
  }
	return 0;
}
0