/tmp/solutions/build/lca-slow.cpp:
    1|       |#include <common.h>
    2|       |prelude;
    3|       |
    4|       |namespace {
    5|       |
    6|       |constexpr int N = 5e5;
    7|       |
    8|       |int next[N];
    9|       |int head[N];
   10|       |int size[N];
   11|       |int depth[N];
   12|       |int heavy[N];
   13|       |int ances[N];
   14|       |int parent[N];
   15|       |
   16|  53.3k|def build_step_1(int u, int d) -> void {
   17|  53.3k|  size[u] = 1;
   18|  53.3k|  depth[u] = d;
   19|   106k|  for (int v = head[u]; v; v = next[v]) {
                                         ^53.3k
  ------------------
  |  Branch (19:25): [True: 50.00%, False: 50.00%]
  ------------------
   20|  53.3k|    build_step_1(v, d + 1);
   21|  53.3k|    size[u] += size[v];
   22|  53.3k|    if (heavy[u] == 0 || size[v] > size[heavy[u]]) {
                                       ^0
  ------------------
  |  Branch (22:9): [True: 100.00%, False: 0.00%]
  |  Branch (22:26): [True: 0.00%, False: 0.00%]
  ------------------
   23|  53.3k|      heavy[u] = v;
   24|  53.3k|    }
   25|  53.3k|  }
   26|  53.3k|}
   27|       |
   28|  53.3k|def build_step_2(int u, int a) -> void {
   29|  53.3k|  ances[u] = a;
   30|   106k|  for (int v = head[u]; v; v = next[v]) {
                                         ^53.3k
  ------------------
  |  Branch (30:25): [True: 50.00%, False: 50.00%]
  ------------------
   31|  53.3k|    if (v != heavy[u]) {
  ------------------
  |  Branch (31:9): [True: 0.00%, False: 100.00%]
  ------------------
   32|      0|      build_step_2(v, v);
   33|      0|    }
   34|  53.3k|  }
   35|  53.3k|  if (heavy[u]) build_step_2(heavy[u], a);
                              ^53.3k
  ------------------
  |  Branch (35:7): [True: 100.00%, False: 0.00%]
  ------------------
   36|  53.3k|}
   37|       |
   38|   382k|def lca(int u, int v) -> int {
   39|   382k|  while (ances[u] != ances[v]) {
  ------------------
  |  Branch (39:10): [True: 0.00%, False: 100.00%]
  ------------------
   40|      0|    if (depth[ances[u]] > depth[ances[v]]) {
  ------------------
  |  Branch (40:9): [True: 0.00%, False: 0.00%]
  ------------------
   41|      0|      u = parent[ances[u]];
   42|      0|    } else {
   43|      0|      v = parent[ances[v]];
   44|      0|    }
   45|      0|  }
   46|   382k|  return depth[u] < depth[v] ? u : v;
                                                 ^0
  ------------------
  |  Branch (46:10): [True: 100.00%, False: 0.00%]
  ------------------
   47|   382k|}
   48|       |
   49|       |} // namespace
   50|       |
   51|      1|int main() {
   52|      1|  rd rd;
   53|      1|  wt wt;
   54|      1|  int n = rd.uh();
   55|      1|  int q = rd.uh();
   56|      1|#ifdef LOCAL
   57|      1|  std::memset(head, 0, 4 * n);
   58|      1|  std::memset(heavy, 0, 4 * n);
   59|      1|  std::memset(parent, 0, 4 * n);
   60|      1|#endif
   61|  53.3k|  for (int i = 1; i < n; ++i) {
                                       ^53.3k
  ------------------
  |  Branch (61:19): [True: 100.00%, False: 0.00%]
  ------------------
   62|  53.3k|    int p = rd.uh();
   63|  53.3k|    parent[i] = p;
   64|  53.3k|    next[i] = head[p];
   65|  53.3k|    head[p] = i;
   66|  53.3k|  }
   67|      1|  build_step_1(0, 0);
   68|      1|  build_step_2(0, 0);
   69|   382k|  while (q--) {
  ------------------
  |  Branch (69:10): [True: 100.00%, False: 0.00%]
  ------------------
   70|   382k|    int u = rd.uh();
   71|   382k|    int v = rd.uh();
   72|   382k|    int w = lca(u, v);
   73|   382k|    wt.uw(w);
   74|   382k|  }
   75|      1|  return 0;
   76|      1|}