結果

問題 No.1953 ８
コンテスト
ユーザー terasa
提出日時 2022-05-22 17:43:29
言語 PyPy3
(7.3.23)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 174 ms / 2,000 ms
+ 633µs
コード長 1,133 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 235 ms
コンパイル使用メモリ 95,432 KB
実行使用メモリ 93,036 KB
最終ジャッジ日時 2026-08-31 19:24:31
合計ジャッジ時間 9,694 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
import pypyjit
import itertools
import heapq
import math
from collections import deque, defaultdict, Counter
import string
import random

input = sys.stdin.readline
sys.setrecursionlimit(10 ** 6)
pypyjit.set_param('max_unroll_recursion=-1')


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

l = -1
r = 10 ** 18
while r - l > 1:
    c = (l + r) // 2

    A = [int(c) for c in str(c)]
    dp = [[[0, 0] for _ in range(50)] for _ in range(len(A) + 1)]
    dp[0][0][0] = 1
    for i in range((len(A))):
        for j in range(40):
            for k in range(10):
                n = circle[k]
                dp[i + 1][j + n][1] += dp[i][j][1]

                if k < A[i]:
                    dp[i + 1][j + n][1] += dp[i][j][0]
                elif k == A[i]:
                    dp[i + 1][j + n][0] += dp[i][j][0]
    acc = 0
    for j in range(40):
        acc += j * sum(dp[len(A)][j])

    acc -= len(A)
    for i in range(1, len(A)):
        acc -= (len(A) - i) * (pow(10, i) - pow(10, i - 1))

    if acc == K:
        print(c)
        exit()
    elif acc > K:
        r = c
    else:
        l = c
print(-1)
0