結果

問題 No.1788 Same Set
ユーザー 👑 tute7627tute7627
提出日時 2021-12-01 22:15:20
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 575 ms / 4,000 ms
コード長 1,297 bytes
コンパイル時間 1,837 ms
コンパイル使用メモリ 202,952 KB
最終ジャッジ日時 2025-01-26 02:43:24
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 36
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#include<atcoder/lazysegtree>
using namespace std;

struct S{
  int min;
  int min_num;
};

S op(S l, S r){
  if(l.min == r.min){
    return S{l.min, l.min_num + r.min_num};
  }
  if(l.min < r.min)return l;
  else return r;
}

S e(){
  return S{998244353, 0};
}

S mapping(int l, S r){
  return S{r.min + l, r.min_num};
}

int composition(int l, int r){
  return l + r;
}

int id(){
  return 0;
}

int main(){
  int n;
  cin >> n;
  vector<int>a(n), b(n);
  for(int i = 0; i < n; i++)cin >> a[i];
  for(int i = 0; i < n; i++)cin >> b[i];
  atcoder::lazy_segtree<S, op, e, int, mapping, composition, id> seg(n + 1);
  const int sz = 400005;
  vector<int> pre_a(sz, -1), pre_b(sz, -1);
  long long ans = 0;
  seg.set(n, S{0, 0});
  for(int i = 0; i < n; i++){
    seg.set(i, S{0, 1});
    vector<int>upd;
    upd.push_back(a[i]);
    if(a[i] != b[i])upd.push_back(b[i]);
    for(auto val:upd){
      int l = min(pre_a[val], pre_b[val]);
      int r = max(pre_a[val], pre_b[val]);
      seg.apply(l + 1, r + 1, -1);
    }
    pre_a[a[i]] = i;
    pre_b[b[i]] = i;
    for(auto val:upd){
      int l = min(pre_a[val], pre_b[val]);
      int r = max(pre_a[val], pre_b[val]);
      seg.apply(l + 1, r + 1, 1);
    }
    ans += seg.all_prod().min_num;
  }
  cout << ans << endl;
}
0