結果

問題 No.616 へんなソート
コンテスト
ユーザー mkawa2
提出日時 2020-06-09 19:04:43
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 1,360 bytes
コンパイル時間 483 ms
コンパイル使用メモリ 82,228 KB
実行使用メモリ 67,952 KB
最終ジャッジ日時 2025-01-02 14:02:15
合計ジャッジ時間 3,264 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample RE * 3
other RE * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

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()
    LI()
    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