【USACO】milk3
倒牛奶的问题， 开始看感觉跟倒水的问题很像， 想直接找规律， 写个类似于循环取余的代码。 但后来发现不行，因为这道题有三个桶，水量也是有限制的。只好用模拟的方法把所有的情况都试一遍。
建一个state[21][21][21]的数组存储出现过的状态。对于遍历状态，对每一种状态， 分别采用六种处理方法，若有新状态出现这将新状态置为1，同时标记flag++；若所有循环之后，flag == 0， 就说明遍历完成了。
开始脑子抽筋了， 写了个多出口的程序， 显然是错的。如下：
int mothersmilk(int a, int b, int c) { int aa, bb, cc; int flag = 0; aa = a, bb = b, cc = c; pour(&aa, A, &bb, B); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); // flag++; } aa = a, bb = b, cc = c; pour(&bb, B, &aa, A); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); } aa = a, bb = b, cc = c; pour(&aa, A, &cc, C); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); // } aa = a, bb = b, cc = c; pour(&cc, C, &aa, A); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); } aa = a, bb = b, cc = c; pour(&bb, B, &cc, C); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); // } aa = a, bb = b, cc = c; pour(&cc, C, &bb, B); if(state[aa][bb][cc] != 1) { state[aa][bb][cc] = 1; mothersmilk(aa, bb, cc); // }
return 0; //... }
错误的原因在于，若是第一个if语句中的mothersmilk操作完了，一定会返回0，那后面的语句都起不到作用了。
后来发现，可以直接对所有的state变量循环，用for语句，逻辑就清楚多了，提交也AC了。正确的代码：
/* ID: 13012131 LANG: C TASK: milk3 */ #include <stdio.h> #include <assert.h> int state[21][21][21]; //存储状态 出现过为1 未出现过为0 int A, B, C; int pour(int *a, int fulla, int *b, int fullb) //a向b倒水 { if(*b == fullb || *a == 0) //若a没水 或 b满 a不能向b倒水 状态不变 { return 1; } if(*b != fullb) //b不满 { if(*a <= fullb - *b) //a倒光 { *b = *b + *a; *a = 0; } else //b倒满 { *a = *a - (fullb - *b); *b = fullb; } } return 0; } int main() { FILE *in, *out; in = fopen("milk3.in", "r"); out = fopen("milk3.out", "w"); int ans[21] = {0}; int i, j ,k; fscanf(in, "%d %d %d", &A, &B, &C); for(i = 0; i <= 20; i++) { for(j = 0; j <= 20; j++) { for(k = 0; k <= 20; k++) { state[i][j][k] = 0; } } } state[0][0][C] = 1; int flag = 0; do{ flag = 0; //注意：flag一定要写在这里 因为在扩展过程中，需要对state的所有状态循环多次 以防止在大序号状态下扩展了小序号状态 比如 2 0 8 扩展为 0 2 8 因为0 2 8的状态已经超过了 所以还要重新遍历一遍才可以 for(i = 0; i <= A; i++) { for(j = 0; j <= B; j++) { for(k = 0; k <= C; k++) { if(state[i][j][k] == 1) { int aa, bb, cc; aa = i, bb = j, cc = k; pour(&aa, A, &bb, B); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } aa = i, bb = j, cc = k; pour(&bb, B, &aa, A); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } aa = i, bb = j, cc = k; pour(&aa, A, &cc, C); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } aa = i, bb = j, cc = k; pour(&cc, C, &aa, A); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } aa = i, bb = j, cc = k; pour(&bb, B, &cc, C); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } aa = i, bb = j, cc = k; pour(&cc, C, &bb, B); if(state[aa][bb][cc] == 0) { state[aa][bb][cc] = 1; flag++; } state[i][j][k]++; } } } } }while(flag > 0); for(j = 0; j <= 20; j++) { for(k = 0; k <= 20; k++) { if(state[0][j][k] != 0 && ans[k] == 0) { ans[k] = 1; } } } for(i = 0; i < C; i++) { if(ans[i] == 1) { fprintf(out, "%d ", i); } } fprintf(out, "%d\n", C); return 0; }