結果

問題 No.1055 牛歩
ユーザー 夕叢霧香(ゆうむらきりか)夕叢霧香(ゆうむらきりか)
提出日時 2019-09-29 01:19:13
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,442 bytes
コンパイル時間 1,119 ms
コンパイル使用メモリ 79,452 KB
実行使用メモリ 20,832 KB
最終ジャッジ日時 2024-05-05 22:30:23
合計ジャッジ時間 6,029 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 150 ms
20,832 KB
testcase_01 AC 82 ms
20,608 KB
testcase_02 AC 54 ms
16,512 KB
testcase_03 AC 52 ms
16,340 KB
testcase_04 AC 54 ms
16,264 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 AC 52 ms
16,000 KB
testcase_08 WA -
testcase_09 AC 45 ms
15,568 KB
testcase_10 AC 45 ms
15,616 KB
testcase_11 WA -
testcase_12 AC 48 ms
15,360 KB
testcase_13 AC 49 ms
15,232 KB
testcase_14 AC 50 ms
16,000 KB
testcase_15 AC 50 ms
16,000 KB
testcase_16 AC 43 ms
15,372 KB
testcase_17 WA -
testcase_18 AC 42 ms
15,360 KB
testcase_19 WA -
testcase_20 AC 53 ms
16,128 KB
testcase_21 WA -
testcase_22 WA -
testcase_23 AC 60 ms
16,640 KB
testcase_24 AC 60 ms
16,640 KB
testcase_25 AC 39 ms
15,660 KB
testcase_26 WA -
testcase_27 AC 46 ms
16,316 KB
testcase_28 WA -
testcase_29 AC 43 ms
15,944 KB
testcase_30 AC 47 ms
16,064 KB
testcase_31 AC 15 ms
14,080 KB
testcase_32 AC 15 ms
13,952 KB
testcase_33 AC 16 ms
13,952 KB
testcase_34 AC 15 ms
13,952 KB
testcase_35 AC 16 ms
14,080 KB
testcase_36 AC 17 ms
14,080 KB
testcase_37 AC 15 ms
13,952 KB
testcase_38 AC 16 ms
13,952 KB
testcase_39 AC 7 ms
13,440 KB
testcase_40 AC 8 ms
13,568 KB
testcase_41 AC 8 ms
13,676 KB
testcase_42 AC 8 ms
13,696 KB
testcase_43 AC 7 ms
13,568 KB
testcase_44 AC 7 ms
13,568 KB
testcase_45 AC 7 ms
13,568 KB
testcase_46 AC 8 ms
13,568 KB
testcase_47 AC 9 ms
13,696 KB
testcase_48 AC 6 ms
13,696 KB
testcase_49 AC 7 ms
13,440 KB
testcase_50 AC 7 ms
13,568 KB
testcase_51 AC 7 ms
13,568 KB
testcase_52 AC 7 ms
13,580 KB
testcase_53 AC 6 ms
13,440 KB
testcase_54 AC 7 ms
13,580 KB
testcase_55 AC 7 ms
13,568 KB
testcase_56 AC 7 ms
13,696 KB
testcase_57 AC 6 ms
13,580 KB
testcase_58 AC 7 ms
13,568 KB
testcase_59 AC 6 ms
13,568 KB
testcase_60 AC 6 ms
13,568 KB
testcase_61 AC 7 ms
13,568 KB
testcase_62 AC 6 ms
13,568 KB
testcase_63 AC 6 ms
13,696 KB
testcase_64 AC 7 ms
13,440 KB
testcase_65 AC 7 ms
13,568 KB
testcase_66 AC 6 ms
13,568 KB
testcase_67 AC 6 ms
13,568 KB
testcase_68 AC 7 ms
13,580 KB
testcase_69 AC 6 ms
13,568 KB
testcase_70 AC 6 ms
13,696 KB
testcase_71 AC 7 ms
13,696 KB
testcase_72 WA -
testcase_73 AC 6 ms
13,568 KB
testcase_74 AC 6 ms
13,456 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<algorithm>
#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
typedef long long lint;
typedef vector<int>vi;
typedef pair<int,int>pii;
#define rep(i,n)for(int i=0;i<(int)(n);++i)

#define DEBUG 0

#define M 214514
int n,m,q;
int a[M],b[M];
vi tu[M];
vi mv[M];

int main(){
  cin>>n>>m;
  rep(i,m)cin>>a[i];
  cin>>q;
  rep(i,q)cin>>b[i];
  //assert
  assert(1<=n&&n<=1000000);
  assert(1<=m&&m<=n&&n<=200000);
  rep(i,m-1)assert(a[i]<a[i+1]);
  rep(i,m)assert(1<=a[i]&&a[i]<=n);
  rep(i,q)assert(1<=b[i]&&b[i]<=m);
  //解
  rep(i,q)tu[b[i]-1].push_back(i);
  rep(i,m){
    int p=a[i];
    mv[i].push_back(p);
    int pp=0;
    rep(j,tu[i].size()+1){
      int t=j==(int)tu[i].size()?q:tu[i][j];
      int pre;
      if(i==0)pre=0;
      else{
        int it=lower_bound(tu[i-1].begin(),tu[i-1].end(),t)-tu[i-1].begin();
        pre=mv[i-1][it];
        if(it+1<mv[i-1].size())pre=max(pre,mv[i-1][it+1]);
        if(DEBUG)cerr<<i<<"-"<<j<<"-"<<pre<<"@"<<t<<endl;
        while(pp<=it){
          if(mv[i-1][pp]>=p){
            cout<<"NO"<<endl;return 0;
          }
          pp++;
        }
        pp--;
      }
      if(j>=tu[i].size())break;
      mv[i].push_back(pre<p-1?--p:++p);
      if(p>n){
        cout<<"NO"<<endl;return 0;
      }
      
    }
    if(DEBUG){
      cerr<<mv[i][0];
      rep(j,tu[i].size())cerr<<" "<<tu[i][j]<<","<<mv[i][j+1];
      cerr<<endl;
    }
  }
  cout<<"YES"<<endl;
}
0