結果

問題 No.416 旅行会社
ユーザー rsk0315rsk0315
提出日時 2019-03-17 19:41:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 493 ms / 4,000 ms
コード長 2,951 bytes
コンパイル時間 1,135 ms
コンパイル使用メモリ 78,048 KB
実行使用メモリ 30,720 KB
最終ジャッジ日時 2024-05-08 15:39:59
合計ジャッジ時間 6,263 ms
ジャッジサーバーID
(参考情報)
judge2 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 123 ms
19,456 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 5 ms
5,376 KB
testcase_09 AC 17 ms
5,376 KB
testcase_10 AC 159 ms
19,456 KB
testcase_11 AC 158 ms
19,456 KB
testcase_12 AC 166 ms
20,992 KB
testcase_13 AC 126 ms
19,432 KB
testcase_14 AC 491 ms
30,592 KB
testcase_15 AC 493 ms
30,592 KB
testcase_16 AC 478 ms
30,532 KB
testcase_17 AC 474 ms
30,720 KB
testcase_18 AC 466 ms
30,592 KB
testcase_19 AC 258 ms
19,200 KB
testcase_20 AC 250 ms
19,200 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <cstdio>
#include <cstdint>
#include <cassert>
#include <vector>
#include <utility>
#include <algorithm>
#include <set>
#include <tuple>

template <class Tp>
class semi_persistent_array {
  using Node = std::pair<size_t, Tp>;  // <timestamp, value>
  std::vector<std::vector<Node>> entity;
  size_t last = 0;

public:
  semi_persistent_array(size_t n, Tp v=Tp()):
    entity(n, std::vector<Node>(1, {0, v}))
  {}

  void update(size_t i, Tp x, size_t t) {
    assert(last <= t);
    last = t;
    if (entity[i].back().first == t) {
      entity[i].back().second = x;
    } else {
      assert(entity[i].back().first < t);
      entity[i].emplace_back(t, x);
    }
  }

  Tp get(size_t i, size_t t=-1) const {
    if (entity[i].back().first <= t) {
      // most-frequent case
      return entity[i].back().second;
    }

    size_t lb = 0;
    size_t ub = entity[i].size();
    while (ub-lb > 1) {
      size_t mid = (lb+ub)>>1;
      ((entity[i][mid].first <= t)? lb:ub) = mid;
    }
    return entity[i][lb].second;
  }
};

class semi_persistent_union_find {
  semi_persistent_array<intmax_t> tree;
  size_t last = 0;

  size_t find_root(size_t v, size_t t) const {
    intmax_t pv = tree.get(v, t);
    while (pv >= 0) {
      v = pv;
      pv = tree.get(pv, t);
    }
    return v;
  }

public:
  semi_persistent_union_find(size_t n): tree(n, -1) {}

  bool unite(size_t u, size_t v, size_t t=-1) {
    if (t+1 != 0) {
      assert(last <= t);
      last = t;
    }
    u = find_root(u, t);
    v = find_root(v, t);
    if (u == v) return false;
    size_t su = -tree.get(u, t);
    size_t sv = -tree.get(v, t);
    if (su == sv) {
      tree.update(v, -sv-1, t);
    } else if (su > sv) {
      std::swap(u, v);
    }
    tree.update(u, v, t);
    return true;
  }

  bool connected(size_t u, size_t v, size_t t=-1) const {
    return find_root(u, t) == find_root(v, t);
  }
};

int main() {
  size_t N, M, Q;
  scanf("%zu %zu %zu", &N, &M, &Q);

  using edge = std::pair<size_t, size_t>;

  std::vector<edge> ab(M);
  for (auto& p: ab) {
    scanf("%zu %zu", &p.first, &p.second);
    --p.first;
    --p.second;
  }

  std::vector<edge> cd(Q);
  std::set<edge> es;
  for (auto& p: cd) {
    scanf("%zu %zu", &p.first, &p.second);
    --p.first;
    --p.second;
    es.emplace(p.first, p.second);
  }

  semi_persistent_union_find uf(N);
  for (const auto& p: ab) {
    size_t a, b;
    std::tie(a, b) = p;
    if (es.count({a, b})) continue;
    uf.unite(a, b, 0);
  }

  for (size_t i = Q; i--;) {
    size_t c, d;
    std::tie(c, d) = cd[i];
    uf.unite(c, d, Q-i);
  }

  for (size_t i = 1; i < N; ++i) {
    if (!uf.connected(0, i, Q)) {
      puts("0");
      continue;
    }
    if (uf.connected(0, i, 0)) {
      puts("-1");
      continue;
    }

    size_t lb = 0;
    size_t ub = Q;
    while (ub-lb > 1) {
      size_t mid = (lb+ub) >> 1;
      (uf.connected(0, i, mid)? ub:lb) = mid;
    }
    printf("%zu\n", Q-lb);
  }
}
0