結果
| 問題 | No.680 作れる数 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2022-07-27 01:42:41 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 44 ms / 2,000 ms | 
| コード長 | 586 bytes | 
| コンパイル時間 | 397 ms | 
| コンパイル使用メモリ | 82,288 KB | 
| 実行使用メモリ | 54,088 KB | 
| 最終ジャッジ日時 | 2024-07-16 15:01:10 | 
| 合計ジャッジ時間 | 2,044 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 20 | 
ソースコード
N = int(input())
# tの値を決めればsは一意に決まる→二分探索
if N == 0:
    print('YES')
    exit()
def is_ok(arg):
    val = 0
    bia = bin(arg)[2:]
    for j in range(1,len(bia)+1):
        val += int(bia[:j],2)
    return N <= val
 
 
def meguru_bisect(ng, ok):
    while (abs(ok - ng) > 1):
        mid = (ok + ng) // 2
        if is_ok(mid):
            ok = mid
        else:
            ng = mid
    return ok
arg = meguru_bisect(0,10**10)
val = 0
bia = bin(arg)[2:]
for j in range(1,len(bia)+1):
    val += int(bia[:j],2)
print('YES' if val == N else 'NO')
            
            
            
        