結果

問題 No.2501 Maximum Inversion Number
コンテスト
ユーザー titia
提出日時 2023-10-15 02:18:39
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 363 ms / 2,000 ms
コード長 1,083 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 194 ms
コンパイル使用メモリ 84,992 KB
実行使用メモリ 127,232 KB
最終ジャッジ日時 2026-04-05 23:18:12
合計ジャッジ時間 3,143 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
input = sys.stdin.readline

T=int(input())
for tests in range(T):
    n,m=map(int,input().split())
    L=list(map(int,input().split()))
    R=list(map(int,input().split()))

    if sum(L)<=m<=sum(R):
        pass
    else:
        print(-1)
        continue

    OK=0
    NG=10**9+1

    while OK+1<NG:
        mid=(OK+NG)//2

        count=0
        for i in range(n):
            if L[i]<=mid:
                count+=min(mid,R[i])
            else:
                count+=L[i]

        if count<=m:
            OK=mid
        else:
            NG=mid

    #print(OK)

    rest=m
    KO=[0]*n
    CAN=[]

    for i in range(n):
        if L[i]<=OK:
            x=min(OK,R[i])
        else:
            x=L[i]
            
        KO[i]=x
        rest-=x

        if x==OK and x<R[i]:
            CAN.append(i)

    for j in range(rest):
        KO[CAN[j]]+=1

    #assert sum(KO)==m

    #for i in range(n):
    #    assert L[i]<=KO[i]
    #    assert KO[i]<=R[i]

    #print(KO)

    SUM=0
    ANS=0
    for ko in KO:
        ANS+=SUM*ko
        SUM+=ko

    print(ANS)
0