結果
| 問題 | 
                            No.2501 Maximum Inversion Number
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-10-13 23:03:42 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                TLE
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 769 bytes | 
| コンパイル時間 | 328 ms | 
| コンパイル使用メモリ | 82,220 KB | 
| 実行使用メモリ | 117,736 KB | 
| 最終ジャッジ日時 | 2024-09-15 18:52:53 | 
| 合計ジャッジ時間 | 11,142 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 16 TLE * 1 | 
ソースコード
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 = sorted([min(max(L[i], k), R[i]), i] for i in range(n))
  ttl = sum(cnt[i][0] for i in range(n))
  i = 0
  while ttl < m:
    if cnt[i][0] < R[cnt[i][1]]:
      cnt[i][0] += 1
      ttl += 1
    i += 1
  ans = sum(cnt[i][0] * (m - cnt[i][0]) for i in range(n)) // 2
  print(ans)