結果

問題 No.262 面白くないビットすごろく
コンテスト
ユーザー vwxyz
提出日時 2025-06-10 10:33:04
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 105 ms / 2,000 ms
+ 455µs
コード長 540 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 96 ms
コンパイル使用メモリ 64,896 KB
実行使用メモリ 65,328 KB
最終ジャッジ日時 2026-10-21 09:05:47
合計ジャッジ時間 2,405 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 5
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from functools import lru_cache

@lru_cache(maxsize=None)
def solve(a,b,c):
    if c<=2:
        cnt=0
        while b<2**c:
            b+=b.bit_count()+a
            cnt+=1
        return cnt,b
    cnt0,x0=solve(a,b,c-1)
    cnt1,x1=solve(a+1,x0-2**(c-1),c-1)
    return cnt0+cnt1,x1+2**(c-1)

N=int(input())
ans=1
cur=1
for p in range(40,-1,-1):
    while cur+2**p<=N:
        assert cur+2**(p+1)>N
        q,r=divmod(cur,2**p)
        cnt,d=solve(q.bit_count(),r,p)
        ans+=cnt
        cur=q*2**p+d
if cur!=N:
    ans=-1
print(ans)
0