Codeforces Round #621 (Div. 1 + Div. 2)

A

略

B

略

C

只需计算长度为 (1,2) 的（略）

D

略

E

大概观察一下，划分可行的条件为：吃同种草的最多有两只，一只左一只右；并且左边走得最远的和右边走得最远的不会碰到。

枚举左边的羊向右到达的最远点，然后依次考虑每种 (f_i) ，看看能不能往左边、右边塞。最大数量和方案数都可以按照题意模拟求出来

F

先预处理两两休息点之间是否能到达。以 (frac{k}{2}) 为最大距离进行多源 (bfs) ，用并查集维护。如果 (k) 为奇数，把所有边长度改为 (2) 且在中间加入额外节点即可。

对于询问 ((x,y))，先判断 (dist(x,y)leq k)，若不满足则必须依靠休息点。那么往各往对方的方向走 (frac{k}{2}) 步，然后判断是否在同一个集合中。

int n, k, r, a[N], f[N];
int d[N], fa[N][19], vis[N];
vector<int> g[N];
#define pb push_back
struct node { int u, d; } ; queue<node> q;
int get (int x) { return x == f[x] ? x : f[x] = get (f[x]); }
void merge (int x, int y) { f[get (x)] = get (y); }
void bfs () {
    for (int i = 1; i <= r; ++i)
        q.push ({a[i], 0}), vis[a[i]] = 1;
    while (!q.empty()) {
        node p = q.front (); q.pop ();
        if (p.d == k) continue;
        for (int v : g[p.u]) {
            merge (v, p.u);
            if (!vis[v]) vis[v] = 1, q.push ({v, p.d + 1});
        }
    }
}
void dfs (int u, int la) {
    fa[u][0] = la, d[u] = d[la] + 1;
    for (int i = 1; (1 << i) <= d[u]; ++i)
        fa[u][i] = fa[fa[u][i - 1]][i - 1];
    for (int v : g[u]) if (v != la) dfs (v, u);
}
int lca (int x, int y) {
    if (d[x] < d[y]) swap (x, y);
    for (int i = 18; ~i; --i)
        if (d[fa[x][i]] >= d[y]) x = fa[x][i];
    if (x == y) return x;
    for (int i = 18; ~i; --i)
        if (fa[x][i] ^ fa[y][i]) x = fa[x][i], y = fa[y][i];
    return fa[x][0];
}
int run (int x, int o) {
    for (int i = 18; ~i; --i)
        if ((1 << i) <= o) o -= (1 << i), x = fa[x][i];
    return x;
}
void jump (int &x, int &y, int t) {
    int dx = d[x] - d[t], dy = d[y] - d[t], xx = x;
    x = dx > k ? run (x, k) : run (y, dy - (k - dx));
    y = dy > k ? run (y, k) : run (xx, dx - (k - dy));
}
signed main() {
    read (n), read (k), read (r); int tot = n;
    for (int i = 1, u, v; i < n; ++i) {
        read (u), read (v);
        if (k & 1) {
            g[u].pb (++tot), g[tot].pb (u);
            g[v].pb (tot), g[tot].pb (v);
        } else g[u].pb (v), g[v].pb (u);
    }
    n = tot; if (k & 1) k <<= 1; k >>= 1;
    for (int i = 1; i <= r; ++i) read (a[i]);
    for (int i = 1; i <= n; ++i) f[i] = i;
    bfs (), dfs (1, 0);
    int q, x, y; read (q);
    while (q--) {
        read (x), read (y); int t = lca (x, y);
        if (d[x] + d[y] - 2 * d[t] <= k * 2) puts ("YES");
        else jump (x, y, t), puts (get (x) == get (y) ? "YES" : "NO");
    }
    return 0;
}

G

。。。