結果

問題 No.916 Encounter On A Tree
コンテスト
ユーザー tpyneriver
提出日時 2019-10-28 15:01:02
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,026 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 645 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 112,000 KB
最終ジャッジ日時 2024-09-14 21:13:07
合計ジャッジ時間 9,428 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge6
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 38 WA * 18
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
readline = sys.stdin.readline
mod = 10**9+7

def frac(limit):
    frac = [1]*limit
    for i in range(2,limit):
        frac[i] = i * frac[i-1]%mod
    fraci = [None]*limit
    fraci[-1] = pow(frac[-1], mod -2, mod)
    for i in range(-2, -limit-1, -1):
        fraci[i] = fraci[i+1] * (limit + i + 1) % mod
    return frac, fraci
frac, fraci = frac(1341398)

def check(dl, dr, D, K):
    if dl > dr:
        dl, dr = dr, dl
    
    dist = dr - dl
    if dist > K:
        return 0
    if (K - dist) % 2 == 1:
        return 0
    if dl - (K-dist)//2 < 1:
        return 0
    if dl == dr == 1:
        return 0
    
    par = dl - (K-dist)//2
    if dl == dr:
        return pow(2, mod-2, mod)*pow(2, dr-par, mod) * pow(pow(2, dl-1, mod)-1, mod-2, mod)
    else:
        return pow(pow(2, dl + par, mod), mod-1, mod)
        
    

D, L, R, K = map(int, readline().split())

dl = L.bit_length()
dr = R.bit_length()

ans = 1
for i in range(D):
    ans = ans*frac[pow(2, i)]%mod

print(ans*check(dl, dr, D, K) %mod)
0