結果

問題 No.696 square1001 and Permutation 5
ユーザー lam6er
提出日時 2025-03-31 17:21:18
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 1,200 bytes
コンパイル時間 247 ms
コンパイル使用メモリ 82,540 KB
実行使用メモリ 277,276 KB
最終ジャッジ日時 2025-03-31 17:22:51
合計ジャッジ時間 23,147 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample -- * 2
other TLE * 1 -- * 11
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

def main():
    import sys
    input = sys.stdin.read
    data = input().split()
    
    n = int(data[0])
    p = list(map(int, data[1:n+1]))
    
    class BIT:
        def __init__(self, size):
            self.size = size
            self.tree = [0] * (self.size + 1)
        
        def update(self, idx, delta):
            while idx <= self.size:
                self.tree[idx] += delta
                idx += idx & -idx
        
        def query(self, idx):
            res = 0
            while idx > 0:
                res += self.tree[idx]
                idx -= idx & -idx
            return res
    
    # Precompute (n-1)! by multiplying from 1 to n-1
    current_fact = 1
    for i in range(1, n):
        current_fact *= i
    
    bit = BIT(n)
    for i in range(1, n+1):
        bit.update(i, 1)
    
    ans = 0
    for i in range(n):
        x = p[i]
        sum_k = bit.query(x - 1)
        ans += sum_k * current_fact
        
        bit.update(x, -1)
        
        remaining = n - i - 1
        if remaining > 0:
            current_fact = current_fact // remaining
        else:
            current_fact = 0
    
    print(ans + 1)
if __name__ == "__main__":
    main()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0