思路來自這裏，重點大概是想到建樹和無解情況，然後就變成樹形DP了- -

/*
CodeForces 840B - Leha and another game about graph [ 增量構造,樹上差分 ]  |  Codeforces Round #429(Div 1)
題意：
	選擇一個邊集合，滿足某些點度數的奇偶性
分析：
	將d = 1的點連成一顆樹，不在樹上的點都不連邊。
	可以發現，當某個節點u的所有子節點si均可操控 (u, si) 來滿足自身要求
	即整棵樹上至多只有1個點不滿足自身要求，就是根節點，此時需要在樹中任意位置接入 d=-1 的一個節點
	
	然後研究如何在這棵樹上選邊，考慮增量法
	每次選擇兩個d=1的點加入樹中，並將這棵樹上兩點間路徑上所有的邊選擇狀態反轉
	易證對於新加入的節點滿足要求，而路徑上原有節點仍滿足要求
	最後若只剩一個d=1的節點，則和一個d=-1的節點組成一對
*/
#include <bits/stdc++.h>
using namespace std;
const int N = 3e5+5;
struct Edge {
    int v, i;
};
vector<Edge> edge[N];
vector<int> c1, c2;
int n, m;
int d[N];
bool vis[N], flag[N];
vector<int> ans;
void dfs(int u)
{
    vis[u] = 1;
    for (auto& e : edge[u])
    {
        if (vis[e.v]) continue;
        dfs(e.v);
        if (flag[e.v]) ans.push_back(e.i);
        flag[u] ^= flag[e.v];
    }
}
int main()
{
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i++)
    {
        scanf("%d", &d[i]);
        if (d[i] == 1) c1.push_back(i);
        else if (d[i] == -1) c2.push_back(i);
    }
    for (int i = 1; i <= m; i++)
    {
        int u, v; scanf("%d%d", &u, &v);
        edge[u].push_back(Edge{v, i});
        edge[v].push_back(Edge{u, i});
    }
    if (c1.size()%2 && c2.empty())
    {
        puts("-1"); return 0;
    }
    int k = c1.size()/2;
    for (int i = 0; i < k; i++)
    {
        flag[c1[i]] = flag[c1[k+i]] = 1;
    }
    if (c1.size() % 2)
    {
        flag[c1[c1.size()-1]] = flag[c2[0]] = 1;
    }
    dfs(1);
    printf("%d\n", ans.size());
    for (auto& x : ans) printf("%d ", x);
    puts("");
}

CodeForces 840B - Leha and another game about graph | Codeforces Round #429(Div 1)