結果
| 問題 |
No.767 配られたジャパリまん
|
| コンテスト | |
| ユーザー |
chonbo0127
|
| 提出日時 | 2021-08-04 12:19:36 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 1,244 ms / 2,000 ms |
| コード長 | 1,634 bytes |
| コンパイル時間 | 388 ms |
| コンパイル使用メモリ | 82,304 KB |
| 実行使用メモリ | 254,112 KB |
| 最終ジャッジ日時 | 2024-09-16 15:04:01 |
| 合計ジャッジ時間 | 4,453 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge6 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 6 |
| other | AC * 15 |
ソースコード
H,W,K = map(int,input().split())
L = [list(map(int,input().split())) for _ in range(K)]
L = [L[i][0]*(W+1)+L[i][1] for i in range(K)]
MOD = 10**8+7
mod = MOD
fac = [1]
for i in range(1,H+W+1):
fac.append((fac[-1]*i) % mod)
fac_inv = [0]*(H+W+1)
f = pow(fac[-1],mod-2,mod)
for i in range(H+W,-1,-1):
fac_inv[i] = f
f *= i
f %= mod
def nCr(n,r):
if r < 0:
return 0
return fac[n] * fac_inv[r] % mod * fac_inv[n-r] % mod
def bit_count(n):
c = (n & 0x5555555555555555) + ((n >> 1) & 0x5555555555555555)
c = (c & 0x3333333333333333) + ((c >> 2) & 0x3333333333333333)
c = (c & 0x0f0f0f0f0f0f0f0f) + ((c >> 4) & 0x0f0f0f0f0f0f0f0f)
c = (c & 0x00ff00ff00ff00ff) + ((c >> 8) & 0x00ff00ff00ff00ff)
c = (c & 0x0000ffff0000ffff) + ((c >> 16) & 0x0000ffff0000ffff)
c = (c & 0x00000000ffffffff) + ((c >> 32) & 0x00000000ffffffff)
return c
D = [0]*(1<<K)
for i in range(1<<K):
X = []
for j in range(K):
if i&(1<<j):
X.append(L[j])
X.sort()
lx = len(X)
a,b = 0,0
ans = 1
for j in range(lx):
na,nb = divmod(X[j],W+1)
da,db = na-a,nb-b
ans *= nCr(da+db,db)
ans %= MOD
a,b = na,nb
na,nb = H,W
da,db = na-a,nb-b
ans *= nCr(da+db,db)
ans %= MOD
if bit_count(i)%2:
ans *= -1
D[i] = ans%MOD
dp = [D[i] for i in range(1<<K)]
for j in range(K):
ndp = [0]*(1<<K)
for i in range(1<<K):
if i&(1<<j):
ndp[i] = dp[i]+dp[i&(~(1<<j))]
else:
ndp[i] = dp[i]
ndp[i] %= MOD
dp = ndp[:]
for i in range(1<<K):
print(dp[i])
chonbo0127