Fill UVA - 10603

BFS

看了刘汝佳代码依旧有一些不懂得地方

比如代码中使用了dist数组，但是这个数组作用是什么依旧不懂

另外这个方法是否正确的确存在争议

如果追求次数最少，那么每次取出倒水次数最少的扩展自然无可厚非

但是要求倒水量最少，取出当前倒水最少的进行扩展就一定能得到正确答案？

当然刘汝佳也说明了这个问题

代码直接看的代码仓库，加了一点注释

等刷题多了再回过头来看

// UVa10603 Fill
// Rujia Liu
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;

struct Node {
	int v[3], dist;
	bool operator < (const Node& rhs) const {     //dist表示当前状态下，已经倒了多少水
		return dist > rhs.dist;
	}
};

const int maxn = 200 + 5;
int mark[maxn][maxn], dist[maxn][maxn], cap[3], ans[maxn];//Mark标识状态用于判重，知道前俩个，第三个第一也知道了，所以二维就够了
														  //dist存储状态
void update_ans(const Node& u) {
	for (int i = 0; i < 3; i++) {
		int d = u.v[i];
		if (ans[d] < 0 || u.dist < ans[d]) ans[d] = u.dist;    //ans[d]表示三个杯子中有水d升时，最少需要倒水多少升
	}
}

void solve(int a, int b, int c, int d) {
	cap[0] = a; cap[1] = b; cap[2] = c;
	memset(ans, -1, sizeof(ans));
	memset(mark, 0, sizeof(mark));
	memset(dist, -1, sizeof(dist));
	priority_queue<Node> q;

	Node start;
	start.dist = 0;
	start.v[0] = 0; start.v[1] = 0; start.v[2] = c;
	q.push(start);

	dist[0][0] = 0;
	while (!q.empty()) {
		Node u = q.top(); q.pop();
		if (mark[u.v[0]][u.v[1]]) continue;
		mark[u.v[0]][u.v[1]] = 1;
		update_ans(u);
		if (ans[d] >= 0) break;
		for (int i = 0; i < 3; i++)
			for (int j = 0; j < 3; j++) if (i != j) {
				if (u.v[i] == 0 || u.v[j] == cap[j]) continue;        //杯子i往杯子j中倒，所以杯子i不能空，杯子j不能满
				int amount = min(cap[j], u.v[i] + u.v[j]) - u.v[j];  //amount表示倒水量
				Node u2;
				memcpy(&u2, &u, sizeof(u));
				u2.dist = u.dist + amount;
				u2.v[i] -= amount;
				u2.v[j] += amount;
				int& D = dist[u2.v[0]][u2.v[1]];
				if (D < 0 || u2.dist < D) {           //如果D<0,表明这种状态没出现过，否则的话必须新状态必须要比原状态更小才行
					D = u2.dist;
					q.push(u2);
				}
			}
	}
	while (d >= 0) {
		if (ans[d] >= 0) {
			printf("%d %d\n", ans[d], d);
			return;
		}
		d--;
	}
}

int main() {
	int T, a, b, c, d;
	scanf("%d", &T);
	while (T--)
	{
		scanf("%d%d%d%d", &a, &b, &c, &d);
		solve(a, b, c, d);
	}
	return 0;
}