結果

問題 No.1460 Max of Min
ユーザー butsurizuki
提出日時 2021-03-30 05:20:54
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,516 bytes
コンパイル時間 782 ms
コンパイル使用メモリ 62,200 KB
最終ジャッジ日時 2025-01-20 00:39:16
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
main.cpp:2:10: fatal error: testlib.h: No such file or directory
    2 | #include "testlib.h"
      |          ^~~~~~~~~~~
compilation terminated.

ソースコード

diff #
プレゼンテーションモードにする

#include<bits/stdc++.h>
#include "testlib.h"
using namespace std;
long long k,n,cyc;
bool jud(bitset<1024> a,bitset<1024> b){
if(cyc==1000000007){return false;}
for(long long i=k;i<=(10+k)*k;i++){
if((a&b).any()){
a<<=1;
a.set(0);
}
else{a<<=1;}
a.reset(k);
if(i==n){
if(a[0]){return true;}
return false;
}
}
long long cid=((10+k)*k);
for(long long i=0;;i++){
if(cid%cyc==n%cyc){
if(a[i]){return true;}
return false;
}
cid--;
}
}
int main(int argc, char* argv[]){
registerValidation(argc, argv);
k=inf.readLong(1ll,1000ll);inf.readSpace();
n=inf.readLong(0ll,1000000000000000000ll);inf.readEoln();
vector<long long> a=inf.readLongs(k,-1000000000000000000ll,1000000000000000000ll);inf.readEoln();
vector<long long> b=inf.readLongs(k,-1000000000000000000ll,1000000000000000000ll);inf.readEoln();
inf.readEof();
if(n<k){cout << a[n] << '\n';return 0;}
vector<long long> ser;
for(auto &nx : a){ser.push_back(nx);}
for(auto &nx : b){ser.push_back(nx);}
sort(ser.begin(),ser.end());
int st=0,fi=ser.size()-1,te;
while(st<=fi){
te=(st+fi)/2;
bitset<1024> ba,bb;
for(int i=0;i<k;i++){
if(a[k-1-i]>=ser[te]){ba.set(i);}
}
cyc=1000000007;
for(int i=0;i<k;i++){
if(b[k-1-i]>=ser[te]){
bb.set(i);
cyc=min(i+1ll,cyc);
}
}
//cout << ser[te] << ' ' << cyc << '\n';
if(jud(ba,bb)){st=te+1;}else{fi=te-1;}
}
cout << ser[fi] << '\n';
return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0