結果
| 問題 | 
                            No.2501 Maximum Inversion Number
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-10-13 23:41:23 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 1,471 ms / 2,000 ms | 
| コード長 | 767 bytes | 
| コンパイル時間 | 256 ms | 
| コンパイル使用メモリ | 82,304 KB | 
| 実行使用メモリ | 111,940 KB | 
| 最終ジャッジ日時 | 2024-09-15 19:34:04 | 
| 合計ジャッジ時間 | 6,755 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 17 | 
ソースコード
import sys
input = sys.stdin.readline
def bis(ok, ng):
  def is_ok(md):
    ttl = sum(min(max(L[i], md), R[i]) for i in range(n))
    return ttl <= m
  
  while abs(ok - ng) > 1:
    md = (ng + ok) // 2
    if is_ok(md): ok = md
    else: ng = md
  return ok
T = int(input())
for _ in range(T):
  n, m = map(int, input().split())
  L = list(map(int, input().split()))
  R = list(map(int, input().split()))
  if m < sum(L) or sum(R) < m:
    print(-1)
    continue
  
  k = max(R) if sum(R) == m else bis(min(L), max(R))
  cnt = [min(max(L[i], k), R[i]) for i in range(n)]
  ttl = sum(cnt)
  for i in range(n):
    if ttl == m: break
    if cnt[i] == k < R[i]:
      cnt[i] += 1
      ttl += 1
  ans = sum(cnt[i] * (m - cnt[i]) for i in  range(n))
  print(ans // 2)