結果

問題 No.1846 Good Binary Matrix
ユーザー 👑 SPD_9X2SPD_9X2
提出日時 2022-02-18 22:56:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 743 ms / 2,000 ms
コード長 1,608 bytes
コンパイル時間 180 ms
コンパイル使用メモリ 81,920 KB
実行使用メモリ 237,568 KB
最終ジャッジ日時 2024-06-29 09:42:18
合計ジャッジ時間 13,169 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 183 ms
220,928 KB
testcase_01 AC 183 ms
221,056 KB
testcase_02 AC 185 ms
221,056 KB
testcase_03 AC 180 ms
220,928 KB
testcase_04 AC 181 ms
221,056 KB
testcase_05 AC 180 ms
220,800 KB
testcase_06 AC 180 ms
220,800 KB
testcase_07 AC 180 ms
221,056 KB
testcase_08 AC 181 ms
221,312 KB
testcase_09 AC 181 ms
221,056 KB
testcase_10 AC 179 ms
221,056 KB
testcase_11 AC 180 ms
221,056 KB
testcase_12 AC 181 ms
220,800 KB
testcase_13 AC 183 ms
221,056 KB
testcase_14 AC 184 ms
221,184 KB
testcase_15 AC 178 ms
221,056 KB
testcase_16 AC 699 ms
235,392 KB
testcase_17 AC 741 ms
235,520 KB
testcase_18 AC 683 ms
235,392 KB
testcase_19 AC 743 ms
235,776 KB
testcase_20 AC 722 ms
235,904 KB
testcase_21 AC 240 ms
235,520 KB
testcase_22 AC 251 ms
235,392 KB
testcase_23 AC 177 ms
221,184 KB
testcase_24 AC 175 ms
221,056 KB
testcase_25 AC 568 ms
235,648 KB
testcase_26 AC 450 ms
235,648 KB
testcase_27 AC 200 ms
227,200 KB
testcase_28 AC 250 ms
237,568 KB
testcase_29 AC 357 ms
235,904 KB
testcase_30 AC 634 ms
235,648 KB
testcase_31 AC 550 ms
235,264 KB
testcase_32 AC 640 ms
235,520 KB
testcase_33 AC 678 ms
235,520 KB
testcase_34 AC 183 ms
223,616 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

"""

包除原理で解きそう
全部0で埋める行・列の個数によって変化してしまうな…

まず、行か列の片方だけ求める？
少なくともX個列が0で埋まっている時、少なくともY個行が0で埋まっている場合の数

O(HW)解は

Σ nCr(H,x) * nCr(W,y) * pow( 2 , H*W-x*W-H*y+x*y , mod ) * pow(-1,x+y,mod)
で求まる

分離できないか？

H*W - x*W - H*y + x*y
= (H-x)*(W-y)

分離できてないじゃん

採用   = 2^k
不採用 = -1

A[i+1] = A[i] * ( 2^k-1 )

"""

import sys
from sys import stdin

def modfac(n, MOD):
 
    f = 1
    factorials = [1]
    for m in range(1, n + 1):
        f *= m
        f %= MOD
        factorials.append(f)
    inv = pow(f, MOD - 2, MOD)
    invs = [1] * (n + 1)
    invs[n] = inv
    for m in range(n, 1, -1):
        inv *= m
        inv %= MOD
        invs[m - 1] = inv
    return factorials, invs


def modnCr(n,r): 
    return fac[n] * inv[n-r] * inv[r] % mod

mod = 10**9+7
fac,inv = modfac(10**6+100,mod)
p2 = [1]
for i in range(10**6+100):
    p2.append(p2[-1]*2 % mod)

H,W = map(int,stdin.readline().split())

ans = 0
for unpick in range(0,H+1):

    pick = H-unpick
    bi = p2[pick]

    now = pow(bi-1,W,mod)
    ans += now * modnCr(H,unpick) * ( (-1)**(unpick%2) )
    ans %= mod

print (ans % mod)

"""
A = 0
for x in range(0,H+1):
    now = modnCr(H,x) * p2[H-x]
    if now % 2 == 0:
        A += now
    else:
        A -= now

B = 0
for y in range(0,W+1):
    now = modnCr(W,y) * p2[W-y]
    if now % 2 == 0:
        B += now
    else:
        B -= now

print (A,B)
print (A*B%mod)
"""
0