結果
| 問題 | 
                            No.1846 Good Binary Matrix
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2022-06-17 22:24:51 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 622 ms / 2,000 ms | 
| コード長 | 764 bytes | 
| コンパイル時間 | 167 ms | 
| コンパイル使用メモリ | 82,360 KB | 
| 実行使用メモリ | 87,936 KB | 
| 最終ジャッジ日時 | 2024-10-09 08:34:03 | 
| 合計ジャッジ時間 | 10,475 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 35 | 
ソースコード
MAX = 10**6+100
MOD = 10**9+7
fact = [0]*MAX #fact[i]: i!
inv = [0]*MAX #inv[i]: iの逆元
finv = [0]*MAX #finv[i]: i!の逆元
fact[0] = 1
fact[1] = 1
finv[0] = 1
finv[1] = 1
inv[1] = 1
    
for i in range(2, MAX):
    fact[i] = fact[i-1]*i%MOD
    inv[i] = MOD-inv[MOD%i]*(MOD//i)%MOD
    finv[i] = finv[i-1]*inv[i]%MOD
def C(n, r):
    if n<r:
        return 0
    if n<0 or r<0:
        return 0
    return fact[n]*(finv[r]*finv[n-r]%MOD)%MOD
H, W = map(int, input().split())
ans = 0
i = pow(2, -W, MOD)
a = pow(2, H*W, MOD)
b = pow(2, -H, MOD)
for h in range(H+1):
    c = C(H, h)*a%MOD
    d = pow(b-1, W, MOD)
    
    if (W-h)%2==0:
        ans += c*d%MOD
    else:
        ans -= c*d%MOD
    
    ans %= MOD
    a = a*i%MOD
    b = b*2%MOD
print(ans)