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;
}