HDU-1495 非常可乐(BFS)+数论求解

非常可乐

Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 17971 Accepted Submission(s): 7293

Problem Description

大家一定觉的运动以后喝可乐是一件很惬意的事情，但是seeyou却不这么认为。因为每次当seeyou买了可乐以后，阿牛就要求和seeyou一起分享这一瓶可乐，而且一定要喝的和seeyou一样多。但seeyou的手中只有两个杯子，它们的容量分别是N 毫升和M 毫升 可乐的体积为S （S<101）毫升　(正好装满一瓶) ，它们三个之间可以相互倒可乐 (都是没有刻度的，且 S==N+M，101＞S＞0，N＞0，M＞0) 。聪明的ACMER你们说他们能平分吗？如果能请输出倒可乐的最少的次数，如果不能输出”NO”。

Input

三个整数 : S 可乐的体积 , N 和 M是两个杯子的容量，以”0 0 0”结束。

Output

如果能平分的话请输出最少要倒的次数，否则输出”NO”。

Sample Input

7 4 3
4 1 3
0 0 0

Sample Output

NO
3

Author
seeyou

Source
“2006校园文化活动月”之“校庆杯”大学生程序设计竞赛暨杭州电子科技大学第四届大学生程序设计竞赛

题解：
一看 是倒水问题并且求的是最少次数，所以用 BFS 来求解。
倒水一共有6中情况 3！ 种。 所以遍历即可。
struct Cola 用来存放v，v1，v2。
bool judge(Cola c) 用来判断是否已经平均分好
vis[101][101][101] 存放是否被访问

AC1

#include<bits/stdc++.h>
using namespace std;
int s,n,m;
bool vis[101][101][101];
struct Cola
{
     int v,v1,v2;
     int sp;
};
bool judge(Cola c)
{
    if(!c.sp) return 0;
    if((c.v==c.v1&&!c.v2)||(c.v==c.v2&&!c.v1)||(c.v1==c.v2&&!c.v))  return 1;

    return 0;
}
int bfs(int v,int v1, int v2)
{
    memset(vis,0,sizeof(vis));
    queue<Cola> q;
    Cola pre,lst;
    pre.v=v;
    pre.v1=v1;
    pre.v2=v2;
    pre.sp=0;
    vis[pre.v][pre.v1][pre.v2]=1;
    q.push(pre);
    while(!q.empty())
    {
       pre=q.front();
       q.pop();
       if(judge(pre)) return pre.sp;
       // 瓶子没满
       if(pre.v!=s)
       {
           //v1
           if(pre.v1)
           {
               lst.v=pre.v+pre.v1;
               lst.v1=0;
               lst.v2=pre.v2;
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }
           //v2
           if(pre.v2)
           {
               lst.v=pre.v+pre.v2;
               lst.v2=0;
               lst.v1=pre.v1;
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }

       }
        // v1没满
       if(pre.v1!=n)
       {
           if(pre.v)
           {
               lst.v1=n;
               lst.v=pre.v-n+pre.v1;
               lst.v2=pre.v2;
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }
           //v2
           if(pre.v2)
           {
               lst.v=pre.v;
               if(pre.v2+pre.v1>n)
               {
                   lst.v1=n;
                   lst.v2=pre.v2+pre.v1-n;
               }
               else
               {
                   lst.v1=pre.v1+pre.v2;
                   lst.v2=0;
               }
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }

       }
         // v2没满
       if(pre.v2!=m)
       {

           if(pre.v)
           {
               lst.v2=m;
               lst.v=pre.v-m+pre.v2;
               lst.v1=pre.v1;
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }
           //v2
           if(pre.v1)
           {
               lst.v=pre.v;
               if(pre.v2+pre.v1>m)
               {
                   lst.v2=m;
                   lst.v1=pre.v2+pre.v1-m;
               }
               else
               {
                   lst.v2=pre.v1+pre.v2;
                   lst.v1=0;
               }
               if(!vis[lst.v][lst.v1][lst.v2])
               {

                   vis[lst.v][lst.v1][lst.v2]=1;
                   lst.sp=pre.sp+1;
                   q.push(lst);
               }
           }

       }

    }
    return -1;
}
int main()
{
    int step;
    while(~scanf("%d%d%d",&s,&n,&m))
    {

        if(!s&&!n&&!m) break;
        if(s%2) { cout<<"NO"<<endl; continue;}
        step=bfs(s,0,0);
        if(step==-1)
            cout<<"NO"<<endl;
        else
            cout<<step<<endl;
    }
    return 0;
}

AC2
具体证明 有一份博主的证明写得比较好 ：http://blog.youkuaiyun.com/v5zsq/article/details/52097459

#include<bits/stdc++.h>
using namespace std;
int gcd(int a,int b)
{
    return b? gcd(b,a%b):a;
}
int main()
{
    int a,b,c;
    while(scanf("%d%d%d",&a,&b,&c),a+b+c)
    {

        a/=gcd(b,c);
        if(a&1) printf("NO\n");
        else  printf("%d\n",a-1);

    }
    return 0;
}