Even Degree【2020 年 “游族杯”E题】【欧拉回路】

题目链接

---

  题意：有N个点，M条边，每次可以删去一条两端点的度不都是奇数的边，问最多可以删除几条边？题目保证初始所有点度为偶数。

  首先，题目保证了初始的时候所有的点的度都是为偶数的，于是原图中的每一个联通块一定是一个欧拉回路，对于欧拉回路，最好的情况下，一定是最后剩下一条边，链接着两个度为1的点，并且一定是可以如此满足的。

  于是，对于每个有mm条边的联通块，一定会有mm-1条边是可以删去的，但是具体怎么删去呢？我们不能直接按着欧拉回路的跑法直接删去，会有这样的bug：

具体：如果我们先删除第一条边，再删除的是第二条边，实际上，第二条边的两个端点都是奇数度了。

  所以，为了避免这样的情况，我们可以假设现在的是去除一条边的欧拉通路——欧拉回路删除一条边后，形成两个奇数点，变成一个典型的欧拉通路。于是，我们就可以得到了两个奇数点了，作为欧拉通路的起点和终点，每次进行删除边，实际上就是在改变欧拉通路的起点或者是终点，这里可以自己画图进行观察得到。

  于是，作为欧拉通路，我们只需要不选起点和终点构成的边就可以了，于是可以用两边同时判断来进行取的方式来进行区分。保证不取到起、终点，同时维护好了欧拉图的性质。

5 7
1 4
1 3
1 2
1 2
2 3
2 5
4 5

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <bitset>
#include <unordered_map>
#include <unordered_set>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 5e5 + 7;
int N, M, head[maxN], cnt;
bool vis[maxN] = {false};
struct Eddge
{
    int nex, to, id;
    Eddge(int a=-1, int b=0, int c=0):nex(a), to(b), id(c) {}
} edge[maxN << 1];
inline void addEddge(int u, int v, int id)
{
    edge[cnt] = Eddge(head[u], v, id);
    head[u] = cnt++;
}
inline void _add(int u, int v, int id) { addEddge(u, v, id); addEddge(v, u, id); }
pair<int, int> pir[maxN];
vector<int> ans;
int Stap[maxN], Stop;
void dfs(int u)
{
    int v, i;
    while(~head[u])
    {
        i = head[u];
        v = edge[i].to;
        head[u] = edge[i].nex;
        if(vis[edge[i].id]) continue;
        vis[edge[i].id] = true;
        dfs(v);
        Stap[++Stop] = edge[i].id;
    }
}
void Del()
{
    int l = 2, r = Stop;
    int old_u = pir[Stap[1]].first, old_v = pir[Stap[1]].second, now_u, now_v;
    ans.push_back(Stap[1]);
    while(l < r)
    {
        now_u = pir[Stap[r]].first; now_v = pir[Stap[r]].second;
        if(min(old_u, old_v) != min(now_u, now_v) || max(old_u, old_v) != max(now_u, now_v))
        {
            ans.push_back(Stap[r--]);
            if(old_u == now_u) old_u = now_v;
            else if(old_u == now_v) old_u = now_u;
            else if(old_v == now_u) old_v = now_v;
            else if(old_v == now_v) old_v = now_u;
        }
        else
        {
            now_u = pir[Stap[l]].first; now_v = pir[Stap[l]].second;
            ans.push_back(Stap[l++]);
            if(old_u == now_u) old_u = now_v;
            else if(old_u == now_v) old_u = now_u;
            else if(old_v == now_u) old_v = now_v;
            else if(old_v == now_v) old_v = now_u;
        }
    }
}
inline void init()
{
    cnt = 0;
    for(int i=1; i<=N; i++) head[i] = -1;
}
int main()
{
    scanf("%d%d", &N, &M);
    init();
    for(int i=1, u, v; i<=M; i++)
    {
        scanf("%d%d", &u, &v);
        _add(u, v, i);
        pir[i] = make_pair(u, v);
    }
    for(int i=1; i<=N; i++)
    {
        Stop = 0;
        dfs(i);
        if(Stop) Del();
    }
    int len = (int)ans.size();
    printf("%d\n", len);
    for(int i=0; i<len; i++) printf("%d%c", ans[i], i == len - 1 ? '\n' : ' ');
    return 0;
}