uva 571 - Jugs(倒水问题)

题目链接 : http://uva.onlinejudge.org/external/5/571.pdf

缺少一个证明过程,明天补上

本题只要求给出一个解，不要求最优。所给的两个罐子容量一定互质，因此必然可以倒出从0到大罐容量间的任何整数值。原理是若A，B互质，则最小公倍数为A×B，即不存在一个1 < n < B，使得nA能被B整除。令r = nA mod B(mod为取模操作)，那么当n从0到B-1变化时，r可以取到0到B-1之间的任何值。

现在的问题就是用AB两个罐子相互倒水来模拟这个数学过程。设小罐容量为A，大罐容量为B。每次将A装满后倒入B中。若第m次后B已装满，A剩下的水量为r1，则有：

• r1 = mA mod B

然后将B倒空，把A中剩余的r1装入B。又经过n次从把A装满倒入B的操作后B被装满，此时A剩下的水量为r2，则有：

• r2 = (r1 + nA) mod B
• = (mA mod B + nA) mod B
• = (m+n)A mod B

由此可知，倒的方法就是每次将A中的水倒进B，但每次在做这一步之间要先检查A、B中的水量，如果A为空，就将A装满；如果B已倒满，就将B清空。最后一定可以在某个时候在B罐中得到需要的水量。

#include <iostream>
#include <fstream>
#include <cstring>
#include <algorithm>
using namespace std;
int main(void)
{
    int a, b, c1, c2, n;
    char _max, _min;
    while(scanf("%d %d %d", &c1, &c2, &n) != EOF)
    {
        a = 0, b = 0;
        if(c1 > c2)
            _max = 'A', _min = 'B';
        else
            _max = 'B', _min = 'A';
        while(b != n)
        {
            printf("fill %c\n", _min);
            a = min(c1, c2);
            printf("pour %c %c\n", _min, _max);
            if(b+a > max(c1,c2))
            {
                b = a+b-max(c1, c2);
                printf("empty %c\n", _max);
                printf("pour %c %c\n", _min, _max);
            }
            else
                b = b+a;
        }
        puts("success");
    }


    return 0;
}