結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
ユーザー tnakao0123
提出日時 2023-06-23 13:45:49
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 162 ms / 2,000 ms
コード長 2,865 bytes
コンパイル時間 540 ms
コンパイル使用メモリ 55,632 KB
実行使用メモリ 7,808 KB
最終ジャッジ日時 2024-06-30 18:37:23
合計ジャッジ時間 7,880 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 39
権限があれば一括ダウンロードができます

ソースコード

diff # 

/* -*- coding: utf-8 -*-
 *
 * 2308.cc:  No.2308 [Cherry 5th Tune B] もしかして、真? - yukicoder
 */

#include<cstdio>
#include<vector>
#include<algorithm>
 
using namespace std;

/* constant */

const int MAX_N = 200000;

enum { AND, OR, XOR, IMP };

/* typedef */

struct UFT {
  vector<int> links, ranks, sizes;
  UFT() {}

  void init(int n) {
    links.resize(n);
    for (int i = 0; i < n; i++) links[i] = i;
    ranks.assign(n, 1);
    sizes.assign(n, 1);
  }

  int root(int i) {
    int i0 = i;
    while (links[i0] != i0) i0 = links[i0];
    return (links[i] = i0);
  }

  int rank(int i) { return ranks[root(i)]; }
  int size(int i) { return sizes[root(i)]; }
  bool same(int i, int j) { return root(i) == root(j); }

  int merge(int i0, int i1) {
    int r0 = root(i0), r1 = root(i1), mr;
    if (r0 == r1) return r0;
    if (ranks[r0] == ranks[r1]) {
      links[r1] = r0;
      sizes[r0] += sizes[r1];
      ranks[r0]++;
      mr = r0;
    }
    else if (ranks[r0] > ranks[r1]) {
      links[r1] = r0;
      sizes[r0] += sizes[r1];
      mr = r0;
    }
    else {
      links[r0] = r1;
      sizes[r1] += sizes[r0];
      mr = r1;
    }
    return mr;
  }
};

template <typename T>
struct BIT {
  int n;
  vector<T> bits;
  
  BIT() {}
  BIT(int _n) { init(_n); }

  void init(int _n) {
    n = _n;
    bits.assign(n + 1, 0);
  }

  T sum(int x) {
    x = min(x, n);
    T s = 0;
    while (x > 0) {
      s += bits[x];
      x -= (x & -x);
    }
    return s;
  }

  void add(int x, T v) {
    if (x <= 0) return;
    while (x <= n) {
      bits[x] += v;
      x += (x & -x);
    }
  }
};

/* global variables */

bool fs[MAX_N];
int ops[MAX_N], ss[MAX_N];

/* subroutines */

bool func(int op, bool a, bool b) {
  switch (op) {
  case AND: return a && b;
  case OR:  return a || b;
  case XOR: return a ^ b;
  case IMP: return ! a || b;
  }
  return false;
}

/* main */

int main() {
  int tn;
  scanf("%d", &tn);

  while (tn--) {
    int n;
    scanf("%d", &n);

    for (int i = 0; i < n; i++) {
      char s[8];
      scanf("%s", s);
      fs[i] = (s[0] == 'T');
    }

    for (int i = 0; i < n - 1; i++) {
      char s[8];
      scanf("%s", s);
      ops[i] =
	(s[0] == 'a') ? AND : (s[0] == 'o') ? OR : (s[0] == 'x') ? XOR : IMP;
    }

    for (int i = 0; i < n - 1; i++) scanf("%d", ss + i);

    UFT uft; uft.init(n);
    BIT<int> bit; bit.init(n - 1);
    for (int i = 0; i < n - 1; i++) bit.add(i + 1, 1);

    for (int i = 0; i < n - 1; i++) {
      int x0 = -1, x1 = n - 1;
      while (x0 + 1 < x1) {
	int x = (x0 + x1) / 2;
	if (bit.sum(x + 1) >= ss[i]) x1 = x;
	else x0 = x;
      }

      int u = uft.root(x1), v = uft.root(x1 + 1);
      int r = uft.merge(u, v);
      fs[r] = func(ops[x1], fs[u], fs[v]);

      bit.add(x1 + 1, -1);
    }

    if (fs[uft.root(0)]) puts("True");
    else puts("False");
  }
  return 0;
}
0