結果

問題 No.1820 NandShift
ユーザー 蜜蜂蜜蜂
提出日時 2022-01-21 23:22:53
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 88 ms / 2,000 ms
コード長 2,912 bytes
コンパイル時間 4,376 ms
コンパイル使用メモリ 232,576 KB
実行使用メモリ 37,760 KB
最終ジャッジ日時 2024-05-04 14:56:33
合計ジャッジ時間 5,748 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 5 ms
9,576 KB
testcase_01 AC 5 ms
9,444 KB
testcase_02 AC 5 ms
9,464 KB
testcase_03 AC 6 ms
9,428 KB
testcase_04 AC 87 ms
37,592 KB
testcase_05 AC 8 ms
9,568 KB
testcase_06 AC 30 ms
18,804 KB
testcase_07 AC 82 ms
37,624 KB
testcase_08 AC 7 ms
9,432 KB
testcase_09 AC 72 ms
37,564 KB
testcase_10 AC 84 ms
37,600 KB
testcase_11 AC 5 ms
9,624 KB
testcase_12 AC 53 ms
25,148 KB
testcase_13 AC 83 ms
37,608 KB
testcase_14 AC 5 ms
9,428 KB
testcase_15 AC 47 ms
25,108 KB
testcase_16 AC 83 ms
37,692 KB
testcase_17 AC 9 ms
9,440 KB
testcase_18 AC 78 ms
37,660 KB
testcase_19 AC 88 ms
37,720 KB
testcase_20 AC 8 ms
9,536 KB
testcase_21 AC 34 ms
18,808 KB
testcase_22 AC 83 ms
37,620 KB
testcase_23 AC 9 ms
9,472 KB
testcase_24 AC 76 ms
37,760 KB
testcase_25 AC 86 ms
37,632 KB
testcase_26 AC 9 ms
9,472 KB
testcase_27 AC 46 ms
25,128 KB
testcase_28 AC 87 ms
37,760 KB
testcase_29 AC 6 ms
9,600 KB
testcase_30 AC 85 ms
37,656 KB
testcase_31 AC 86 ms
37,632 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

//g++ 1.cpp -std=c++14 -O2 -I .
#include <bits/stdc++.h>
using namespace std;

#include <atcoder/all>
using namespace atcoder;

using ll = long long;
using ld = long double;

using vi = vector<int>;
using vvi = vector<vi>;
using vll = vector<ll>;
using vvll = vector<vll>;
using vld = vector<ld>;
using vvld = vector<vld>;
using vst = vector<string>;
using vvst = vector<vst>;

#define fi first
#define se second
#define pb push_back
#define pq_big(T) priority_queue<T,vector<T>,less<T>>
#define pq_small(T) priority_queue<T,vector<T>,greater<T>>
#define all(a) a.begin(),a.end()
#define rep(i,start,end) for(ll i=start;i<(ll)(end);i++)
#define per(i,start,end) for(ll i=start;i>=(ll)(end);i--)
#define uniq(a) sort(all(a));a.erase(unique(all(a)),a.end())

vi query;
vector<string> v(2e5);

int n,m;
int op=0;

void init(){
  rep(i,0,2e5){
    rep(j,0,m){
      v[i]+='0';
    }
  }
}

void op1(int x,int i){
  //cout<<"1 "<<x<<" "<<i<<endl;
  op++;
  query.emplace_back(1);
  query.emplace_back(x);
  query.emplace_back(i);

  rep(j,0,m){
    if(j<m-1){
      v[x][j]=v[i][j+1];
    }
    v[x][m-1]='0';
  }
}

void op2(int x,int i,int j){
  //cout<<"1 "<<x<<" "<<i<<" "<<j<<endl;
  op++;
  query.emplace_back(2);
  query.emplace_back(x);
  query.emplace_back(i);
  query.emplace_back(j);

  rep(k,0,m){
    if(v[i][k]=='1'&&v[j][k]=='1'){
      v[x][k]='0';
    }
    else{
      v[x][k]='1';
    }
  }
}

void output(){
  cout<<op<<endl;
  int id=0;
  while(id<query.size()){
    if(query[id]==1){
      rep(i,0,3){
        cout<<query[id]<<" ";
        id++;
      }
      cout<<endl;
    }
    else{
      rep(i,0,4){
        cout<<query[id]<<" ";
        id++;
      }
      cout<<endl;
    }
  }

  //cout<<v[0]<<endl;
}

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  cin>>n>>m;

  init();

  string x;
  cin>>x;



  /*
  b[1e5]= 111...11
  b[1e5-1] = 111...10
  b[1000] = 111...11 -> 000...01
  */

  op2(1e5,0,0); // b[1e5]= 111...11
  op1(1e5-1,1e5); // b[1e5-1] = 111...10
  op2(1000,0,0);
  op2(1000,1000,1e5-1); // b[1000] = 000...01

  rep(i,1,m){
    op1(1000+i,1000+i-1);
  }

  // b[1000] = 000...01
  // b[1001] = 000...10
  // b[1000+M-1] = 100...00

  rep(i,0,m){
    op2(2000+i,2000+i,1e5);
    op2(2000+i,2000+i,1000+i);
  }

  // b[2000] = 111...10
  // b[2001] = 111...01
  // b[2000+M-1] = 011...11

  string tar="";
  rep(i,0,m){
    if(x[i]=='0'){
      tar+='1';
    }
    else{
      tar+='0';
    }
  }

  reverse(all(tar));

  //cout<<tar<<endl;

  // tarを作ろう
  rep(i,0,m){
    if(tar[i]=='0'){
      //cout<<"#"<<op<<endl;
      rep(j,i+1,m){
        if(tar[j]=='0'){
          op2(2000+i,2000+i,2000+j);
          op2(2000+i,2000+i,1e5);
          //cout<<v[2000+i]<<endl;
        }
      }

      //cout<<"?"<<op<<endl;

      op2(0,0,0); // b[0] = 111...11
      op2(0,0,2000+i);
      output();
      return 0;
    }
  }

  output();
  return 0;
}
0