結果

問題 No.1953 ８
ユーザー KazunKazun
提出日時 2022-04-15 00:34:34
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 73 ms / 2,000 ms
コード長 1,089 bytes
コンパイル時間 163 ms
コンパイル使用メモリ 81,920 KB
実行使用メモリ 71,168 KB
最終ジャッジ日時 2024-06-06 19:17:10
合計ジャッジ時間 6,151 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 64 ms
68,224 KB
testcase_01 AC 64 ms
67,712 KB
testcase_02 AC 71 ms
70,784 KB
testcase_03 AC 65 ms
68,224 KB
testcase_04 AC 63 ms
67,840 KB
testcase_05 AC 64 ms
67,712 KB
testcase_06 AC 62 ms
67,712 KB
testcase_07 AC 65 ms
67,456 KB
testcase_08 AC 66 ms
67,712 KB
testcase_09 AC 65 ms
67,712 KB
testcase_10 AC 70 ms
67,840 KB
testcase_11 AC 64 ms
68,096 KB
testcase_12 AC 67 ms
67,456 KB
testcase_13 AC 66 ms
68,224 KB
testcase_14 AC 68 ms
67,968 KB
testcase_15 AC 67 ms
67,968 KB
testcase_16 AC 66 ms
68,224 KB
testcase_17 AC 70 ms
67,968 KB
testcase_18 AC 69 ms
69,760 KB
testcase_19 AC 69 ms
70,016 KB
testcase_20 AC 69 ms
69,504 KB
testcase_21 AC 71 ms
69,888 KB
testcase_22 AC 73 ms
71,168 KB
testcase_23 AC 71 ms
70,912 KB
testcase_24 AC 73 ms
70,272 KB
testcase_25 AC 68 ms
71,168 KB
testcase_26 AC 71 ms
70,912 KB
testcase_27 AC 73 ms
70,656 KB
testcase_28 AC 69 ms
68,096 KB
testcase_29 AC 63 ms
67,712 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from functools import lru_cache

def General_Binary_Decrease_Search_Integer(L, R, cond, default=None):
    """ 条件式が単調減少であるとき, 整数上で二部探索を行う.

    L: 解の下限
    R: 解の上限
    cond: 条件 (1変数関数, 広義単調減少 を満たす)
    default: R で条件を満たさないときの返り値
    """

    if not(cond(L)):
        return default

    if cond(R):
        return R

    L-=1
    while R-L>1:
        C=L+(R-L)//2
        if cond(C):
            L=C
        else:
            R=C
    return L

@lru_cache(maxsize=None)
def count(N):
    if N<10:
        Ans=0
        for n in range(1,N+1):
            Ans+=A[n]
        return Ans

    q,r=divmod(N,10)
    x=y=0
    for i in range(10):
        if i<=r:
            x+=A[i]
        else:
            y+=A[i]
    return count(q)*(r+1)+x*(q+1)-1+count(q-1)*(9-r)+y*q
#==================================================

A=[1,0,0,0,1,0,1,0,2,1]
K=int(input())

N=General_Binary_Decrease_Search_Integer(0,10**18,lambda x:count(x)<=K)
print(N if count(N)==K else -1)
0