結果

問題 No.1460 Max of Min
ユーザー 沙耶花沙耶花
提出日時 2021-03-31 22:16:28
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,711 bytes
コンパイル時間 4,150 ms
コンパイル使用メモリ 261,456 KB
最終ジャッジ日時 2025-01-20 03:44:52
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30 WA * 61
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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 Inf 1000000000000000001

vector<long long> get(vector<long long> a,vector<long long> b){
	long long m = -Inf;
	rep(i,a.size()){
		m = max(m,min(a[i],b[i]));
	}
	a.push_back(m);
	a.erase(a.begin());
	return a;
	
}

int main(){
	
	long long K,N;
	cin>>K>>N;
	
	vector<long long> A(K),B(K);
	rep(i,K)cin>>A[i];
	rep(i,K)cin>>B[i];
	
	vector<int> X;
	rep(i,K){
		X.push_back(A[i]);
		X.push_back(B[i]);
	}
	
	sort(X.begin(),X.end());
	X.erase(unique(X.begin(),X.end()),X.end());
	
	if(N<K){
		cout<<A[N]<<endl;
		return 0;
	}
	
	N -= K-1;
	
	if(N<=3000){
		
		rep(i,N)A = get(A,B);
		cout<<A.back()<<endl;
	}
	else{
		
		long long ng = X.size(),ok = 0;
		while(ng-ok>1LL){
			long long mid = (ok+ng)/2;
			bitset<1001> a,b;
			rep(i,K){
				if(A[i]>=X[mid]){
					a[i] = 1;
				}
				else{
					a[i] = 0;
				}
				if(B[i]>=X[mid]){
					b[i] = 1;
				}
				else{
					b[i] = 0;
				}
			}
			long long n = N;
			vector<bitset<1001>> temp(1,a);
			bool f = false;
			while(true){
				if(n==0){
					f=true;
					if(temp.back()[K-1])ok = mid;
					else ng = mid;
					break;
				}
				n--;
				
				bitset<1001> t = temp.back();
			
				if((t & b).any()){
					t >>= 1;
					t[K-1] = 1;
				}
				else{
					t >>= 1;
				}
				
				rep(i,temp.size()){
					if(temp[i]==t){
						temp.erase(temp.begin(),temp.begin()+i);
						goto L;
					}
				}
				temp.push_back(t);
			}
			L:;
			if(!f){
				if(temp[n%temp.size()][K-1])ok = mid;
				else ng = mid;
			}
			
			
		}
		cout<<X[ok]<<endl;
		
	}
	
	
    return 0;
}
0