結果

問題 No.1460 Max of Min
コンテスト
ユーザー butsurizuki
提出日時 2021-03-30 05:20:54
言語 C++17(gcc12)
(gcc 12.4.0 + boost 1.89.0)
コンパイル:
g++-12 -O2 -lm -std=c++17 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 212 ms / 2,000 ms
コード長 1,516 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,221 ms
コンパイル使用メモリ 337,968 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-06-19 02:08:33
合計ジャッジ時間 14,443 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 91
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#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