結果

問題 No.616 へんなソート
コンテスト
ユーザー mkawa2
提出日時 2020-06-09 19:05:24
言語 Python3
(3.14.3 + numpy 2.4.4 + scipy 1.17.1)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
TLE  
実行時間 -
コード長 1,360 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 359 ms
コンパイル使用メモリ 20,696 KB
実行使用メモリ 25,560 KB
最終ジャッジ日時 2026-06-06 03:26:47
合計ジャッジ時間 5,896 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 10 TLE * 1 -- * 16
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys

def MI(): return map(int, sys.stdin.readline().split())

class mint:
    def __init__(self, x):
        self.__x = x % md

    def __repr__(self):
        return str(self.__x)

    def __neg__(self):
        return mint(-self.__x)

    def __add__(self, other):
        if isinstance(other, mint): other = other.__x
        return mint(self.__x + other)

    def __sub__(self, other):
        if isinstance(other, mint): other = other.__x
        return mint(self.__x - other)

    def __rsub__(self, other):
        return mint(other - self.__x)

    def __mul__(self, other):
        if isinstance(other, mint): other = other.__x
        return mint(self.__x * other)

    __radd__ = __add__
    __rmul__ = __mul__

    def __truediv__(self, other):
        if isinstance(other, mint): other = other.__x
        return mint(self.__x * pow(other, md - 2, md))

    def __rtruediv__(self, other):
        return mint(other * pow(self.__x, md - 2, md))

    def __pow__(self, power, modulo=None):
        return mint(pow(self.__x, power, md))

md=10**9+7

def main():
    n,k=MI()
    MI()
    dp=[[0]*(k+1) for _ in range(n+1)]
    dp[0][0]=mint(1)
    for i in range(n):
        s=mint(0)
        w=n-i
        for j in range(k+1):
            s+=dp[i][j]
            if j-w>=0:s-=dp[i][j-w]
            dp[i+1][j]=s
    print(sum(dp[n]))

main()
0