思路来自，重点大概是想到建树和无解情况，然后就变成树形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 
     
      using namespace std;const int N = 3e5+5;struct Edge {    int v, i;};vector
      
        edge[N];vector
       
         c1, c2;int n, m;int d[N];bool vis[N], flag[N];vector
        
          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("");}