結果
| 問題 | 
                            No.1846 Good Binary Matrix
                             | 
                    
| コンテスト | |
| ユーザー | 
                            👑  tatyam
                         | 
                    
| 提出日時 | 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 | 
ソースコード
#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;
}
            
            
            
        
            
tatyam