結果

問題 No.1417 100の倍数かつ正整数(2)
コンテスト
ユーザー H20
提出日時 2021-02-26 20:04:42
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 984 ms / 3,000 ms
コード長 1,023 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 721 ms
コンパイル使用メモリ 82,560 KB
実行使用メモリ 128,020 KB
最終ジャッジ日時 2024-10-02 12:25:42
合計ジャッジ時間 13,601 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 36
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from itertools import product

N = input()
mod=10**9+7

def count(a):
    n = len(a)
    dp=[[[[[0] * 2 for i in range(3)] for j in range(3)] for k in range(2)] for l in range(n+1)]
    dp[0][0][0][0][0] = 1

    for i, less, divcnt5, divcnt2, has0 in product(range(n), (0,1), range(3), range(3), (0,1)):
        max_d = 9 if less else int(a[i])
        for d in range(max_d+1):
            less_ = less or d < max_d
            divcnt5_ = min(2,divcnt5+(d==5))
            if d==4 or d==8:
                divcnt2_=2
            elif d==2 or d==6:
                divcnt2_=min(2,divcnt2+1)
            else:
                divcnt2_ = divcnt2
            has0_ = has0 or d==0
            dp[i + 1][less_][divcnt5_][divcnt2_][has0_] = (dp[i + 1][less_][divcnt5_][divcnt2_][has0_] + dp[i][less][divcnt5][divcnt2][has0])%mod

    return dp

dp = count(N)
ans = (dp[-1][0][2][2][0]+dp[-1][1][2][2][0])%mod
dp = count('9'*(len(N)-1))
for i in range(len(N)):
    ans = (ans + dp[i][0][2][2][0]+dp[i][1][2][2][0])%mod
print(ans)
0