結果

問題 No.1846 Good Binary Matrix
ユーザー tatyamtatyam
提出日時 2021-12-14 23:59:11
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 106 ms / 2,000 ms
コード長 694 bytes
コンパイル時間 2,878 ms
コンパイル使用メモリ 249,428 KB
実行使用メモリ 11,104 KB
最終ジャッジ日時 2024-07-23 19:44:18
合計ジャッジ時間 5,217 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/modint>
using namespace std;
using Modint = atcoder::modint1000000007;


int main(){
    int H, W;
    cin >> H >> W;
    vector<Modint> fac(H + 1), inv(H + 1);
    fac[0] = 1;
    for(int i = 1; i <= H; i++) fac[i] = fac[i - 1] * Modint::raw(i);
    inv[H] = fac[H].inv();
    for(int i = H; i; i--) inv[i - 1] = inv[i] * Modint::raw(i);
    auto binom = [&](int n, int r){ return fac[n] * inv[r] * inv[n - r]; };
    Modint ans = 0;
    Modint x = 1;
    for(int h = 0; h <= H; h++){
        if((h ^ H) & 1) ans -= (x - 1).pow(W) * binom(H, h);
        else ans += (x - 1).pow(W) * binom(H, h);
        x += x;
    }
    cout << ans.val() << endl;
}
0