結果
| 問題 | No.1596 Distance Sum in 2D Plane | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2021-07-10 10:30:59 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 741 ms / 2,000 ms | 
| コード長 | 1,455 bytes | 
| コンパイル時間 | 4,838 ms | 
| コンパイル使用メモリ | 228,388 KB | 
| 実行使用メモリ | 120,840 KB | 
| 最終ジャッジ日時 | 2024-07-02 01:48:49 | 
| 合計ジャッジ時間 | 18,811 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 17 | 
ソースコード
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint1000000007;
#define repd(i,a,b) for (int i=(a);i<(b);i++)
#define rep(i,n) repd(i,0,n)
#define all(x) (x).begin(),(x).end()
#define SIZE(x) ll(x.size())
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
typedef long long ll;
const long long INF = 1LL << 60;
const long long MOD = 1000000007;
typedef pair<int, int> P;
const int MAX = 10000000;
mint fac[MAX], finv[MAX], inv[MAX];
// テーブルを作る前処理
void COMinit() {
    fac[0] = fac[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    for (int i = 2; i < MAX; i++){
        fac[i] = fac[i - 1] * i;
        inv[i] = MOD - inv[MOD%i] * (MOD / i);
        finv[i] = finv[i - 1] * inv[i];
    }
}
// 二項係数計算
mint COM(int n, int k){
    if (n < k) return 0;
    if (n < 0 || k < 0) return 0;
    return fac[n] * finv[k] * finv[n - k];
}
int main()
{
    COMinit();
    int N, M;
    cin >> N >> M;
    mint res = COM(2 * N, N);
    res *= 2 * N;
    rep(i, M) {
        int t, x, y;
        cin >> t >> x >> y;
        mint from = COM(x + y, x);
        if (t == 1) x++;
        else y++;
        mint to = COM(N - x + N - y, N - x);
        res -= from * to;
    }
    cout << res.val() << endl;
    return 0;
}
            
            
            
        