結果
問題 | No.767 配られたジャパリまん |
ユーザー | vwxyz |
提出日時 | 2023-03-18 01:13:05 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,215 ms / 2,000 ms |
コード長 | 3,112 bytes |
コンパイル時間 | 349 ms |
コンパイル使用メモリ | 82,096 KB |
実行使用メモリ | 133,204 KB |
最終ジャッジ日時 | 2024-09-18 12:48:19 |
合計ジャッジ時間 | 4,008 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 36 ms
53,612 KB |
testcase_01 | AC | 38 ms
55,040 KB |
testcase_02 | AC | 34 ms
53,464 KB |
testcase_03 | AC | 35 ms
54,028 KB |
testcase_04 | AC | 75 ms
76,632 KB |
testcase_05 | AC | 161 ms
91,036 KB |
testcase_06 | AC | 39 ms
54,516 KB |
testcase_07 | AC | 37 ms
54,176 KB |
testcase_08 | AC | 44 ms
59,888 KB |
testcase_09 | AC | 87 ms
79,876 KB |
testcase_10 | AC | 137 ms
84,180 KB |
testcase_11 | AC | 99 ms
85,800 KB |
testcase_12 | AC | 96 ms
82,596 KB |
testcase_13 | AC | 130 ms
83,588 KB |
testcase_14 | AC | 96 ms
86,828 KB |
testcase_15 | AC | 62 ms
74,968 KB |
testcase_16 | AC | 93 ms
84,544 KB |
testcase_17 | AC | 49 ms
64,892 KB |
testcase_18 | AC | 53 ms
66,508 KB |
testcase_19 | AC | 95 ms
87,256 KB |
testcase_20 | AC | 1,215 ms
133,204 KB |
ソースコード
import sys readline=sys.stdin.readline import math def Extended_Euclid(n,m): stack=[] while m: stack.append((n,m)) n,m=m,n%m if n>=0: x,y=1,0 else: x,y=-1,0 for i in range(len(stack)-1,-1,-1): n,m=stack[i] x,y=y,x-(n//m)*y return x,y class MOD: def __init__(self,p,e=None): self.p=p self.e=e if self.e==None: self.mod=self.p else: self.mod=self.p**self.e def Pow(self,a,n): a%=self.mod if n>=0: return pow(a,n,self.mod) else: assert math.gcd(a,self.mod)==1 x=Extended_Euclid(a,self.mod)[0] return pow(x,-n,self.mod) def Build_Fact(self,N): assert N>=0 self.factorial=[1] if self.e==None: for i in range(1,N+1): self.factorial.append(self.factorial[-1]*i%self.mod) else: self.cnt=[0]*(N+1) for i in range(1,N+1): self.cnt[i]=self.cnt[i-1] ii=i while ii%self.p==0: ii//=self.p self.cnt[i]+=1 self.factorial.append(self.factorial[-1]*ii%self.mod) self.factorial_inve=[None]*(N+1) self.factorial_inve[-1]=self.Pow(self.factorial[-1],-1) for i in range(N-1,-1,-1): ii=i+1 while ii%self.p==0: ii//=self.p self.factorial_inve[i]=(self.factorial_inve[i+1]*ii)%self.mod def Fact(self,N): if N<0: return 0 retu=self.factorial[N] if self.e!=None and self.cnt[N]: retu*=pow(self.p,self.cnt[N],self.mod)%self.mod retu%=self.mod return retu def Fact_Inve(self,N): if self.e!=None and self.cnt[N]: return None return self.factorial_inve[N] def Comb(self,N,K,divisible_count=False): if K<0 or K>N: return 0 retu=self.factorial[N]*self.factorial_inve[K]%self.mod*self.factorial_inve[N-K]%self.mod if self.e!=None: cnt=self.cnt[N]-self.cnt[N-K]-self.cnt[K] if divisible_count: return retu,cnt else: retu*=pow(self.p,cnt,self.mod) retu%=self.mod return retu H,W,K=map(int,readline().split()) A,B=[],[] for k in range(K): a,b=map(int,readline().split()) A.append(a) B.append(b) mod=10**8+7 MD=MOD(mod) MD.Build_Fact(H+W) dp=[1]*(1<<K) idx=sorted([i for i in range(K)],key=lambda i:A[i]) for bit in range(1<<K): lst=[(0,0)] for k in idx: if bit&1<<k: lst.append((A[k],B[k])) lst.append((H,W)) le=len(lst) for i in range(le-1): a0,b0=lst[i] a1,b1=lst[i+1] dp[bit]*=MD.Comb(a1-a0+b1-b0,a1-a0) dp[bit]%=mod for bit in range(1<<K): dp[bit]*=(-1)**(sum(bit>>k&1 for k in range(K))%2) for k in range(K): for bit in range(1<<K): if bit&1<<k: dp[bit]+=dp[bit^1<<k] dp[bit]%=mod print(*dp,sep="\n")