結果
問題 | No.916 Encounter On A Tree |
ユーザー | vwxyz |
提出日時 | 2024-04-18 13:18:04 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 697 ms / 2,000 ms |
コード長 | 3,102 bytes |
コンパイル時間 | 238 ms |
コンパイル使用メモリ | 13,312 KB |
実行使用メモリ | 93,552 KB |
最終ジャッジ日時 | 2024-10-10 06:30:31 |
合計ジャッジ時間 | 22,622 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 34 ms
11,264 KB |
testcase_01 | AC | 34 ms
11,136 KB |
testcase_02 | AC | 680 ms
93,552 KB |
testcase_03 | AC | 665 ms
93,320 KB |
testcase_04 | AC | 668 ms
93,324 KB |
testcase_05 | AC | 665 ms
93,324 KB |
testcase_06 | AC | 683 ms
93,476 KB |
testcase_07 | AC | 662 ms
93,440 KB |
testcase_08 | AC | 114 ms
21,504 KB |
testcase_09 | AC | 193 ms
31,872 KB |
testcase_10 | AC | 32 ms
11,264 KB |
testcase_11 | AC | 33 ms
11,136 KB |
testcase_12 | AC | 671 ms
93,440 KB |
testcase_13 | AC | 680 ms
93,472 KB |
testcase_14 | AC | 697 ms
93,440 KB |
testcase_15 | AC | 663 ms
93,496 KB |
testcase_16 | AC | 196 ms
31,744 KB |
testcase_17 | AC | 663 ms
93,536 KB |
testcase_18 | AC | 33 ms
11,264 KB |
testcase_19 | AC | 676 ms
93,380 KB |
testcase_20 | AC | 660 ms
93,328 KB |
testcase_21 | AC | 670 ms
93,384 KB |
testcase_22 | AC | 659 ms
93,480 KB |
testcase_23 | AC | 666 ms
93,440 KB |
testcase_24 | AC | 678 ms
93,372 KB |
testcase_25 | AC | 672 ms
93,440 KB |
testcase_26 | AC | 350 ms
52,452 KB |
testcase_27 | AC | 347 ms
52,352 KB |
testcase_28 | AC | 194 ms
31,744 KB |
testcase_29 | AC | 673 ms
93,336 KB |
testcase_30 | AC | 671 ms
93,476 KB |
testcase_31 | AC | 667 ms
93,440 KB |
testcase_32 | AC | 674 ms
93,440 KB |
testcase_33 | AC | 359 ms
52,244 KB |
testcase_34 | AC | 193 ms
31,872 KB |
testcase_35 | AC | 113 ms
21,504 KB |
testcase_36 | AC | 665 ms
93,332 KB |
testcase_37 | AC | 670 ms
93,400 KB |
testcase_38 | AC | 191 ms
31,744 KB |
testcase_39 | AC | 673 ms
93,440 KB |
testcase_40 | AC | 665 ms
93,440 KB |
testcase_41 | AC | 32 ms
11,264 KB |
testcase_42 | AC | 33 ms
11,136 KB |
testcase_43 | AC | 32 ms
11,136 KB |
testcase_44 | AC | 32 ms
11,136 KB |
testcase_45 | AC | 114 ms
21,504 KB |
testcase_46 | AC | 33 ms
11,136 KB |
testcase_47 | AC | 32 ms
11,264 KB |
testcase_48 | AC | 32 ms
11,136 KB |
testcase_49 | AC | 32 ms
11,136 KB |
testcase_50 | AC | 32 ms
11,136 KB |
testcase_51 | AC | 33 ms
11,264 KB |
testcase_52 | AC | 32 ms
11,136 KB |
testcase_53 | AC | 32 ms
11,264 KB |
testcase_54 | AC | 33 ms
11,136 KB |
testcase_55 | AC | 33 ms
11,136 KB |
testcase_56 | AC | 34 ms
11,392 KB |
testcase_57 | AC | 35 ms
11,392 KB |
testcase_58 | AC | 37 ms
11,776 KB |
testcase_59 | AC | 42 ms
12,416 KB |
testcase_60 | AC | 52 ms
13,824 KB |
ソースコード
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 Build_Inverse(self,N): self.inverse=[None]*(N+1) assert self.p>N self.inverse[1]=1 for n in range(2,N+1): if n%self.p==0: continue a,b=divmod(self.mod,n) self.inverse[n]=(-a*self.inverse[b])%self.mod def Inverse(self,n): return self.inverse[n] 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 D,L,R,K=map(int,input().split()) ans=0 mod=10**9+7 MD=MOD(mod) MD.Build_Fact(1<<D) cnt=[1<<d for d in range(D)] l=L.bit_length()-1 r=R.bit_length()-1 if l+r<K or r-l>K or (l+r)%2!=K%2: ans=0 else: x=(l+r-K)//2 cnt[l]-=1 cnt[r]-=1 ans=pow(2,x,mod) if x<l: ans*=pow(2,l-x-1,mod) if x<r: ans*=pow(2,r-x-1,mod) ans*=2 ans%=mod for c in cnt: ans*=MD.Fact(c) ans%=mod print(ans)