結果

問題 No.271 next_permutation (2)
ユーザー maspymaspy
提出日時 2020-05-14 19:52:09
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 483 ms / 2,000 ms
コード長 1,799 bytes
コンパイル時間 475 ms
コンパイル使用メモリ 10,876 KB
実行使用メモリ 17,588 KB
最終ジャッジ日時 2023-10-13 23:06:48
合計ジャッジ時間 3,719 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 64 ms
9,656 KB
testcase_01 AC 105 ms
10,904 KB
testcase_02 AC 303 ms
15,104 KB
testcase_03 AC 24 ms
8,652 KB
testcase_04 AC 16 ms
8,112 KB
testcase_05 AC 16 ms
8,112 KB
testcase_06 AC 16 ms
8,056 KB
testcase_07 AC 16 ms
8,064 KB
testcase_08 AC 17 ms
8,056 KB
testcase_09 AC 16 ms
8,156 KB
testcase_10 AC 16 ms
8,124 KB
testcase_11 AC 17 ms
8,100 KB
testcase_12 AC 20 ms
8,084 KB
testcase_13 AC 465 ms
17,588 KB
testcase_14 AC 16 ms
8,104 KB
testcase_15 AC 16 ms
8,012 KB
testcase_16 AC 16 ms
8,064 KB
testcase_17 AC 16 ms
8,144 KB
testcase_18 AC 483 ms
17,584 KB
testcase_19 AC 345 ms
15,392 KB
testcase_20 AC 383 ms
16,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys

read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

class BinaryIndexedTree():
    def __init__(self, seq):
        self.size = len(seq)
        self.depth = self.size.bit_length()
        self.build(seq)

    def build(self, seq):
        data = seq
        size = self.size
        for i, x in enumerate(data):
            j = i + (i & (-i))
            if j < size:
                data[j] += data[i]
        self.data = data

    def get_sum(self, i):
        data = self.data
        s = 0
        while i:
            s += data[i]
            i -= i & -i
        return s

    def add(self, i, x):
        data = self.data
        size = self.size
        while i < size:
            data[i] += x
            i += i & -i

N, K, *P = map(int, read().split())

bit = BinaryIndexedTree([0] * (N + 1))
A = []
for x in P:
    bit.add(x, 1)
    A.append(x - bit.get_sum(x))

A = A[::-1]

def g(N, MOD, x):
    # とりあえず愚直実装
    # return sum(i % MOD for i in range(x, x + N))
    ret = -x * (x - 1) // 2
    N += x
    x = 0
    q, r = divmod(N, MOD)
    ret += q * (MOD - 1) * MOD // 2
    ret += r * (r - 1) // 2
    return ret

def f(N, MOD, rep, x, rest):
    # x, x, ..., x, x+1, x+1, ..., x+1, % MOD の和
    # N 項までとる。最初の rest 項は定数。rep 回ずつ。
    ret = 0
    n = min(N, rest)
    N -= n
    ret += x * n
    x = (x + 1) % MOD
    q, r = divmod(N, rep)
    ret += g(q, MOD, x) * rep
    x = (x + q) % MOD
    ret += x * r
    return ret

INF = K + 10
rest = 1
fact = 1
answer = 0
for i, x in enumerate(A):
    answer += f(K, i + 1, fact, x, rest)
    if rest < INF:
        rest += fact * (i - x)
    if fact < INF:
        fact *= (i + 1)

MOD = 10**9 + 7
print(answer % MOD)
0