CF1586E

题目大意：

$n$个点，$m$条边的连通图，$q$次操作，可以将$u_i,v_i$一条简单路径上的边加一，初始值所有边权值为0，询问$q$次操作之后，所有边权值是否都可能为偶数

$n\ast q\le 3\cdot 10^5$

解题思路：

• 设$nu{m}_i$为$i$结点在$q$次询问中出现的次数，倘若存在$k$使得$nu{m}_k$为奇数，则说明这样的$q$次询问无法使得所有边权值为偶数
  $$\begin{gathered} 感性证明一下： \\ 先处理所有包含k的询问，那么因为nu{m}_k为奇数，所以必然存在直接连接k的一条边权值为奇数 \\ 之后的边倘若想要使这条边权值变为偶数，则必须要经历这条边，又因为后边的边不包含k，所以每使一条连接k的边变为偶数，则会有另外一条边变为奇数 \\ 感性证毕 \end{gathered}$$

• 之后我们只用处理$num$全为偶数的情况，对于这种情况因为必定可以，所以我们可以建立一颗生成树，直接跑生成树上的简单路径就行了

• ps：之前想过跟路径无关，但是还是没想到生成树上面…

AC代码：

#include <bits/stdc++.h>
#define ft first
#define sd second
#define pb push_back
#define IOS ios::sync_with_stdio(false), cin.tie(0), cout.tie(0) //不能跟puts混用
#define seteps(N) fixed << setprecision(N)
#define endl "\n"
const int maxn = 3e5 + 10;
using namespace std;
typedef long long ll;
typedef double db;
typedef pair<int, int> pii;
int n, m, q;
int f[maxn], num[maxn], d[maxn], fa[21][maxn];
vector <int> G[maxn];
void init() {
    for (int i = 1; i < maxn; i++) f[i] = i;
}
int find(int x) {
    if (x == f[x]) return x;
    else return f[x] = find(f[x]);
}
pii sq[maxn];
void dfs(int u) {
    for (int i = 1; i <= 20; i++) fa[i][u] = fa[i - 1][fa[i - 1][u]];
    for (auto v : G[u]) {
        if (v == fa[0][u]) continue;
        fa[0][v] = u;
        d[v] = d[u] + 1;
        dfs(v);
    }
}
int lca(int u, int v) {
    if (d[u] < d[v]) swap(u, v); 
    for (int i = 20; i >= 0; i--) if (d[fa[i][u]] >= d[v]) u = fa[i][u];
    for (int i = 20; i >= 0; i--) if (fa[i][u] != fa[i][v]) u = fa[i][u], v = fa[i][v];
    if (u != v) u = fa[0][u], v = fa[0][v];
    return u;
}
void solve() {
    d[1] = 1;
    dfs(1);
    vector <int> op1, op2;
    for (int i = 1; i <= q; i++) {
        op1.clear(), op2.clear();
        int u = sq[i].ft, v = sq[i].sd;
        int la = lca(u, v);
        while(u != la) op1.pb(u), u = fa[0][u];
        op1.pb(la);
        while(v != la) op2.pb(v), v = fa[0][v];
        reverse(op2.begin(), op2.end());
        cout << op1.size() + op2.size() << endl;
        for (auto np : op1) cout << np << " ";
        for (auto np : op2) cout << np << " ";
        cout << endl;
    }
}
int main() {
    IOS;
    init();
    cin >> n >> m;
    for (int i = 1, a, b; i <= m; i++) {
        cin >> a >> b;
        int fa = find(a), fb = find(b);
        if (fa == fb) continue;
        f[fa] = fb;
        G[a].pb(b), G[b].pb(a);
    }
    cin >> q;
    for (int i = 1; i <= q; i++) cin >> sq[i].ft >> sq[i].sd, num[sq[i].ft]++, num[sq[i].sd]++;
    int res = 0;
    for (int i = 1; i <= n; i++) res += (num[i] & 1);
    if (!res) {
        cout << "YES\n";
        solve();
    }
    else {
        cout << "NO\n";
        cout << (int)(ceil(res / 2.0)) << endl;
    }
}