【POJ】3133 Manhattan Wiring

http://poj.org/problem?id=3133

题意：n×m的网格，有2个2，2个3，他们不会重合。还有障碍1。现在求2到2的路径和3到3的路径互不相交的最短长度-2。（2<=n,m<=9）

#include <cstdio>

#include <cstring>

#include <algorithm>



using namespace std;



struct H {

	static const int M=1000007;

	struct E { int next, to; }e[M<<1];

	int mn[M], hash[M], cnt, ihead;

	H() { cnt=ihead=0; memset(mn, 0x3f, sizeof mn); memset(hash, -1, sizeof hash); }

	bool find(int x, int &pos) {

		pos=x%M;

		while(1) { if(hash[pos]==x) return 0; if(hash[pos]==-1) break; ++pos; if(pos==M) pos=0; }

		hash[pos]=x;

		return 1;

	}

	void ins(int a, int b) {

		int pos; if(!find(a, pos)) { mn[pos]=min(mn[pos], b); return; }

		mn[pos]=b; e[++cnt].next=ihead; ihead=cnt; e[cnt].to=pos;

	}

	void clr() { for(int i=ihead; i; i=e[i].next) hash[e[i].to]=-1, mn[e[i].to]=0x3f3f3f3f; ihead=cnt=0; }

}T[2];

int n, m, mp[12][12], all;

#define BIT(a,b) ((a)<<((b)<<1))

#define CLR(a,b) (a^=(a&BIT(3,b)))

#define GET(a,b) (3&((a)>>((b)<<1)))



bool next(int s, int row, int col, bool U, bool D, bool L, bool R, int id, int &t) {

	if((!row&&U) || (!col&&L) || (row==n-1&&D) || (col==m-1&&R)) return 0;

	if((D&&mp[row+1][col]==1) || (R&&mp[row][col+1]==1)) return 0;

	int l=GET(s, col), u=GET(s, col+1), d=0, r=0;

	if((L&&!l) || (!L&&l) || (U&&!u) || (!U&&u)) return 0;

	if((l&&l!=id) || (u&&u!=id)) return 0;

	t=s;

	if(!l && !u) { if(D) d=id; if(R) r=id; }

	else if(l && u) { if(l!=u || mp[row][col]>=1) return 0; }

	else if(l && !u) { if(D) d=l; if(R) r=l; }

	else if(!l && u) { if(D) d=u; if(R) r=u; }

	CLR(t, col); CLR(t, col+1);

	t|=BIT(d, col); t|=BIT(r, col+1);

	if(col==m-1) t<<=2; t&=all;

	return 1;

}



int bfs() {

	int now=0, last=1;

	T[now].clr();

	T[now].ins(0, 0);

	for(int row=0; row<n; ++row) for(int col=0; col<m; ++col) {

		T[last].clr();

		for(int i=T[now].ihead; i; i=T[now].e[i].next) {

			int t, s=T[now].hash[T[now].e[i].to], d=T[now].mn[T[now].e[i].to]+1, id=mp[row][col]-1;

			if(id>=1) {

				if(next(s, row, col, 1, 0, 0, 0, id, t)) T[last].ins(t, d);

				if(next(s, row, col, 0, 1, 0, 0, id, t)) T[last].ins(t, d);

				if(next(s, row, col, 0, 0, 1, 0, id, t)) T[last].ins(t, d);

				if(next(s, row, col, 0, 0, 0, 1, id, t)) T[last].ins(t, d);

			}

			else {

				if(next(s, row, col, 0, 0, 0, 0, 0, t)) T[last].ins(t, d-1);

				if(id==-1) {

					for(int k=1; k<=2; ++k) {

						if(next(s, row, col, 1, 1, 0, 0, k, t)) T[last].ins(t, d);

						if(next(s, row, col, 1, 0, 1, 0, k, t)) T[last].ins(t, d);

						if(next(s, row, col, 1, 0, 0, 1, k, t)) T[last].ins(t, d);

						if(next(s, row, col, 0, 1, 1, 0, k, t)) T[last].ins(t, d);

						if(next(s, row, col, 0, 1, 0, 1, k, t)) T[last].ins(t, d);

						if(next(s, row, col, 0, 0, 1, 1, k, t)) T[last].ins(t, d);

					}

				}

			}

		}

		swap(now, last);

	}

	int ret=0x3f3f3f3f;

	for(int i=T[now].ihead; i; i=T[now].e[i].next) ret=min(ret, T[now].mn[T[now].e[i].to]);

	return ret>=0x3f3f3f3f?0:ret-2;

}



int main() {

	while(scanf("%d%d", &n, &m), n|m) {

		for(int i=0; i<n; ++i) for(int j=0; j<m; ++j) scanf("%d", &mp[i][j]);

		all=BIT(1, m+1)-1;

		printf("%d\n", bfs());

	}

	return 0;

}

　　

---

 

吐槽：

1、改着改着自己本来特判的东西然后改掉了QAQ，然后造数据对拍才发现....

2、为什么我写的插头dp常数那么大啊！！！

本题比简单回路简单多了吧？

自己很容易可以画出左插头和上插头的情况，然后在位中维护的是当前插头所连接的标号然后就行啦...