結果

問題 No.366 ロボットソート
コンテスト
ユーザー norioc
提出日時 2026-02-11 16:29:32
言語 PyPy3
(7.3.17)
結果
AC  
実行時間 75 ms / 2,000 ms
コード長 2,087 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,039 ms
コンパイル使用メモリ 82,204 KB
実行使用メモリ 64,148 KB
最終ジャッジ日時 2026-02-11 16:29:36
合計ジャッジ時間 3,644 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

class FenwickTree:
    def __init__(self, n: int):
        self.data = [0] * (n+10)
        self.n = len(self.data) - 1

    def add(self, p: int, x: int):
        assert 0 <= p < self.n
        p += 1
        while p < len(self.data):
            self.data[p] += x
            p += p & -p

    def sum(self, p: int) -> int:
        """区間 [0, p] の和"""
        assert 0 <= p < self.n
        p += 1
        s = 0
        while p > 0:
            s += self.data[p]
            p -= p & -p
        return s

    def range_sum(self, l: int, r: int) -> int:
        """区間 [l, r] の和"""
        assert 0 <= l <= r < self.n
        s = self.sum(r)
        if l > 0:
            s -= self.sum(l-1)
        return s

    def suffix_sum(self, l: int) -> int:
        """区間 l... の和"""
        return self.range_sum(l, self.n-1)


class Compression:
    def __init__(self, iterable):
        self.vs = sorted(set(iterable))
        self.v2i = {}
        for i, val in enumerate(self.vs):
            self.v2i[val] = i

    def __len__(self):
        return len(self.vs)

    def index(self, val):
        """val のインデックスを返す"""
        return self.v2i[val]

    def value(self, index):
        """インデックスに対応する値を返す"""
        return self.vs[index]

    def map(self, iterable):
        return [self.index(x) for x in iterable]


def inversion_count(a: list[int]) -> int:
    """転倒数を求める"""
    ft = FenwickTree(max(a) + 1)
    res = 0
    for i, x in enumerate(a, 1):
        ft.add(x, 1)
        res += i - ft.sum(x)
    return res


def solve():
    slis = sorted(A)

    res = 0
    for i in range(K):
        xs = []
        ys = []
        for j in range(i, N, K):
            xs.append(A[j])
            ys.append(slis[j])

        if sorted(xs) != ys:
            return -1
        if len(xs) > 0:
            comp = Compression(xs)
            res += inversion_count([comp.index(x) for x in xs])

    return res


N, K = map(int, input().split())
A = list(map(int, input().split()))

ans = solve()
print(ans)
0