我们可以把初始状态转化为目标状态这一约束转化为将黑子移动到目标状态所需要的最少步数。
除了初始点和目标点之外，剩下的点如果被经过那么就会被交换两次，所以我们将一个点拆成3个点，a，b，c，新建附加源点source汇点sink。设每个点的交换次数为num[i]，那么这个点的交换次数如果是奇数其实是没用的，那么我们连接(a,b,num[i] div 2,0),(b,c,num[i] div 2,0)，这样代表这个点一共可以被经过num[i] div 2次，那么对于起始点和终点来说，因为不用被经过，所以原来是奇数的话可以走num[i] div 2+1次，所以(a,b,(num[i]+1) div 2,0),(b,c,(num[i]+1) div 2)。对于两个相邻的点（八连通）连接(ci,aj,inf,1)代表随意经过（每个点的经过次数在拆的点内被限制了，这里不用限制）1次需要1的代价。再连接每个初始状态上的黑点(source,b,1,0)，连接每个目标状态上的黑点(b,sink,1,0)，代表出发点。
需要注意的细节是如果一个点目标状态和初始状态相同，那么会出现这样一种情况：source连接b，b连接sink，然后着两条边可以相当于没有，但是a连b，b连c的流量是(num[i]+1) div 2。这代表原来+1是因为到这个点之后停止，不需要再流出（经过），所以奇数的话可以多走一次。现在这个点因为源汇的直接连接使得这个点和普通路径上的点相同，那么就不应该+1，所以我们可以处理初始状态和目标状态上的相同的点，直接不考虑，连接的流量也是(num[i]) div 2。还有一种处理方法就是对于初始状态上的点连接(a,b,num[i] div 2,0),(b,c,(num[i]+1) div 2)目标状态上的点连接(a,b,(num[i]+1) div 2,0),(b,c,num[i] div 2)分别代表可以多进入（出去）一次，这一次是直接从source（sink）流入（流出）的。这两种方法都可以解决这一问题。
对于无解，有两种情况，第一个是初始状态目标状态上的黑点个数不同，第二种情况是没有达到满流，代表不是所有点都流到目标状态，特判就行了。
/************************************************************** Problem: 2668 User: BLADEVIL Language: Pascal Result: Accepted Time:48 ms Memory:6516 kb ****************************************************************/ //By BLADEVIL var n, m :longint; num :array[0..30,0..30] of longint; source, sink :longint; go :array[0..2,0..8] of longint; ans :longint; last :array[0..2010] of longint; pre, other, len, cost :array[0..400010] of longint; l :longint; que, d, father :array[0..2010] of longint; flag :array[0..2010] of boolean; map :array[0..30,0..30] of longint; function min(a,b:longint):longint; begin if a>b then min:=b else min:=a; end; procedure connect(a,b,c,d:longint); begin inc(l); pre[l]:=last[a]; last[a]:=l; other[l]:=b; len[l]:=c; cost[l]:=d; end; procedure init; var i, j, k :longint; s :char; sum1, sum2 :longint; key :longint; nx, ny :longint; begin readln(n,m); go[1,1]:=-1; go[2,2]:=1; go[1,3]:=1; go[2,4]:=-1; go[1,5]:=-1; go[2,5]:=1; go[1,6]:=1; go[2,6]:=1; go[1,7]:=1; go[2,7]:=-1; go[1,8]:=-1; go[2,8]:=-1; sum1:=0; sum2:=0; l:=1; for i:=1 to n do for j:=1 to m do num[i,j]:=(i-1)*m+j; source:=n*m*3+2; sink:=source+1; for i:=1 to n do begin for j:=1 to m do begin read(s); if s='1' then begin connect(source,num[i,j]+n*m,1,0); connect(num[i,j]+n*m,source,0,0); map[i,j]:=1; inc(sum1); end; end; readln; end; for i:=1 to n do begin for j:=1 to m do begin read(s); if s='1' then begin connect(num[i,j]+n*m,sink,1,0); connect(sink,num[i,j]+n*m,0,0); map[i,j]:=2; inc(sum2); end; end; readln; end; if sum1<>sum2 then begin writeln(-1); halt; end; for i:=1 to n do begin for j:=1 to m do begin read(s); key:=ord(s)-48; if map[i,j]=0 then begin connect(num[i,j],num[i,j]+n*m,key div 2,0); connect(num[i,j]+n*m,num[i,j],0,0); connect(num[i,j]+n*m,num[i,j]+2*n*m,key div 2,0); connect(num[i,j]+2*n*m,num[i,j]+n*m,0,0); end else if map[i,j]=1 then begin connect(num[i,j],num[i,j]+n*m,key div 2,0); connect(num[i,j]+n*m,num[i,j],0,0); connect(num[i,j]+n*m,num[i,j]+2*n*m,(key+1) div 2,0); connect(num[i,j]+2*n*m,num[i,j]+n*m,0,0); end else begin connect(num[i,j],num[i,j]+n*m,(key+1) div 2,0); connect(num[i,j]+n*m,num[i,j],0,0); connect(num[i,j]+n*m,num[i,j]+2*n*m,key div 2,0); connect(num[i,j]+2*n*m,num[i,j]+n*m,0,0); end; end; readln; end; for i:=1 to n do for j:=1 to m do for k:=1 to 8 do begin nx:=i+go[1,k]; ny:=j+go[2,k]; if (nx<1) or (nx>n) or (ny<1) or (ny>m) then continue; connect(num[i,j]+2*n*m,num[nx,ny],maxlongint div 10,1); connect(num[nx,ny],num[i,j]+2*m*n,0,-1); end; end; function spfa:boolean; var cur, h, t :longint; q, p :longint; begin filldword(d,sizeof(d) div 4, maxlongint div 10); d[source]:=0; h:=0; t:=1; que[1]:=source; while h<>t do begin h:=h mod 2000+1; cur:=que[h]; flag[cur]:=false; q:=last[cur]; while q<>0 do begin if len[q]>0 then begin p:=other[q]; if d[p]>d[cur]+cost[q] then begin d[p]:=d[cur]+cost[q]; father[p]:=q; if not flag[p] then begin t:=t mod 2000+1; que[t]:=p; flag[p]:=true; end; end; end; q:=pre[q]; end; end; if d[sink]=maxlongint div 10 then exit(false) else exit(true); end; procedure update; var low, cur :longint; begin cur:=sink; low:=maxlongint; while cur<>source do begin low:=min(low,len[father[cur]]); cur:=other[father[cur] xor 1]; end; cur:=sink; while cur<>source do begin dec(len[father[cur]],low); inc(len[father[cur] xor 1],low); inc(ans,low*cost[father[cur]]); cur:=other[father[cur] xor 1]; end; end; procedure main; var q :longint; begin while spfa do update; q:=last[source]; while q<>0 do begin if len[q]>0 then begin writeln(-1); halt; end; q:=pre[q]; end; writeln(ans); end; begin init; main; end.