結果

問題 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;
}
0