题意: 有一个n个点,m条边的图。
可以从任意一个点开始访问,每个点被访问奇数次 ,则状态为1,没被访问过,或者访问偶数次,状态为0。
现在给出每个点的最终状态,找出一条路,使得路上访问的点不超过4n个,并且能够达到要求状态。
策略:其实刚看到会感觉无从下手,所以从最简单的地方开始分析。
每一个点被访问,他的状态位就会改变。
所以我们把n个节点的初始状态0变为要求状态可以看作是从要求状态变为0,
现在的问题是如何把图上的1都变为0。
首先思考不可能的状态,如果图非联通,那么在不联通的图上,如果有2个不联通块上存在1,则必然无解。
那么对于一块连通图,是否可以把点都变成0,可以分出一些情况来考虑。
从最简单的链式来看,如果链上都为1,显然我们从一端(1号和5号)出发,可以完成。
如 1-1-1-1-1。
编号 1 2 3 4 5
如果我们从链的中间某点出发。这时候左右两个方向是等价的,
如果从3号出发走到最左
这时 0-0-0-1-1 并且此时在1号点。如果我们把4,5更新为0,那么我们需要找到一个走法从回到3号点并且,1,2,3仍为0。
此走法为 1->2->3->2->3. 发现我们如果在回溯的时候,回溯在某一个点时,如果这一个点为1,那么我们需要震荡的走法,如果为0,那么直接向上回溯即可。。
我们可以发现,我们不管从链上的哪里出发在走到末端时都可以通过来回震荡的方式回去并且把链变为0。
而一张图我们可以看出是很多链的交错堆叠,而对于一个环,我们可以把一条路断开,变成链,这并不影响结果。
所以最终我们就能转换为一棵树。在每一个分叉的地方我们把子树看成一条链这样递归下去。每次把叶子节点变为0,再向上回溯,采用震荡的方法。
从递归函数看递归的每一层一个点不会超过4次进入答案的数组
//Author: Wenjun Shi
//on 2016/7/14
#include <iostream>
#include <vector>
#include <cstdio>
#define MAX_N 100005
using namespace std;
int n,m;
int odd[MAX_N];
bool vis[MAX_N];
vector<int> G[MAX_N];
vector<int> path;
void add_edge(int u,int v)
{
G[v].push_back(u);
G[u].push_back(v);
}
void dfs(int u,int fa=-1)
{
vis[u]=1;
path.push_back(u);
odd[u]^=1;
for(int i=0;i<G[u].size();i++)
{
int v=G[u][i];
if(!vis[v]&&v!=fa){
dfs(v,u);
path.push_back(u);
odd[u]^=1;
}
}
if(odd[u]==1 && fa!=-1)
{
path.push_back(fa);
path.push_back(u);
odd[fa]^=1;
odd[u]^=1;
}
}
int main()
{
cin>>n>>m;
int u,v;
for(int i=0;i<m;i++)
{
scanf("%d%d",&u,&v);
add_edge(u,v);
}
for(int i=1;i<=n;i++)
{
cin>>odd[i];
}
int k=1;
for(int i=1;i<=n;i++) {if(odd[i]==1) {k=i;break;} }
dfs(k);
if(odd[k]==1) path.resize(path.size()-1);
bool flag=0;
for(int i=1;i<=n;i++)
{
if(!vis[i]&&odd[i]==1)
flag=1;
}
if(flag) cout<<-1<<endl;
else
{
cout<<path.size()<<endl;
for(int i=0;i<path.size();i++)
cout<<path[i]<<' ';
}
return 0;
}