結果
| 問題 | 
                            No.2501 Maximum Inversion Number
                             | 
                    
| コンテスト | |
| ユーザー | 
                             沙耶花
                         | 
                    
| 提出日時 | 2023-10-13 21:25:06 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 637 ms / 2,000 ms | 
| コード長 | 1,068 bytes | 
| コンパイル時間 | 4,202 ms | 
| コンパイル使用メモリ | 252,136 KB | 
| 最終ジャッジ日時 | 2025-02-17 07:05:49 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 17 | 
ソースコード
#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000001
long long get(long long n){
	return n*(n-1)/2;
}
int main(){
	
	int _t;
	cin>>_t;
	rep(_,_t){
		
		long long n,m;
		cin>>n>>m;
		vector<long long> l(n),r(n);
		long long L=0,R=0;
		rep(i,n){
			cin>>l[i];
			L += l[i];
		}
		rep(i,n){
			cin>>r[i];
			R += r[i];
		}
		if(m<L || m>R){
			cout<<-1<<endl;
			continue;
		}
		long long ok = 0,ng = 1000000001;
		while(ng-ok>1LL){
			long long mid = (ok+ng)/2;
			long long s = 0;
			rep(i,n){
				s += max(l[i],min(mid,r[i]));
			}
			if(s<m)ok = mid;
			else ng = mid;
		}
		long long s = 0;
		vector<long long> cs(n);
		rep(i,n){
			cs[i] = max(l[i],min(ok,r[i]));
			s += cs[i];
		}
		rep(i,n){
			if(cs[i]==ok && cs[i]<r[i] && s!=m){
				s++;
				cs[i]++;
			}
		}
		long long ans = 0;
		ans = get(m);
		rep(i,n)ans -= get(cs[i]);
		cout<<ans<<endl;
	}
	
	return 0;
}
            
            
            
        
            
沙耶花