DP:教授逻辑学问题

http://www.zhihu.com/question/23999095#answer-12373156问题来自知乎

2015-08-17

问题描述：

一个教授逻辑学的教授，有三个学生，而且三个学生均非常聪明！
一天教授给他们出了一个题，教授在每个人脑门上贴了一张纸条并告诉他们，每个人的纸条上都写了一个正整数，且某两个数的和等于第三个！（每个人可以看见另两个数，但看不见自己的） 
教授问第一个学生：你能猜出自己的数吗？回答：不能
问第二个，不能
第三个，不能
再问第一个，不能
第二个，不能
第三个：我猜出来了，是144！
教授很满意的笑了。
请问您能猜出另外两个人的数吗？

PS：其实这个问题可以拓展到任意数字m，任意轮k，任意同学s猜出

分析：

1.首先这是一道动态规划想都不用想，不过在动态规划之前，我们先想几个问题：

　　a.怎么才能一定能猜出来？

　　b.在猜出来之前，其他人怎么想的？

2.好了带着这两个问题，我们先想第一个问题：a.怎么才能一定能猜出来？

　　首先我们先明确，0首先不是一个正整除，那么，一定存在（m,m/2,m/2）或者（m/2,m,m/2）或者（m,m/2,m/2）的情况一定能猜得出来，你想呀其他两个人都是同一个数，你自己的数不可能是0吧，嘻嘻嘻，所以马上得出答案。

　　然后其他情况呢？不用多说，这是根据上一个同学所猜的情况得出来的，那么上一个，上上一个，上上上一个......肯定猜不出来，于是我们知道只要保证本轮是

　　　　　　　　　　　由于上一轮的一定猜不出来的状态，而来的一定能猜出来的状态，就完事了

　　那怎么表述这个东西呢？

　　我们先来看开始的时候：

　　首先A同学先猜，A同学看到另外俩贴着纸片的逗比，如果他们俩都是相同数字，那么恭喜A同学，他成功猜出他的数字就是另外俩同学的数之和。可是万一不是呢？那就不知道了，比如如果他看到B是2，C是3，那他究竟是1还是5呢？心疼A同学，我们让下一个同学来猜

　　所以此时A同学的必猜到态是（2,1,1）（比例式，下面同理）（0,0）（第1轮第一个状态）

　　轮到B同学，B同学的必猜到态也有一个（1,2,1）（0,0），那么因为可怜的A同学已经猜了一次了，那么B自己的数字一定不和C同学的重复（不然A同学早就手舞足蹈了），所以B的必猜到态还可以是（2,3,1），因为B自己的数字不可能和C重复嘛，如果看到A是C的两倍，那么恭喜B同学，他的数字一定是两个数字之和，而不是差，不然就是A同学猜出来

　　好了如果B同学也猜不出来，那就轮到C同学了，和A,B同学一定，C同学自己的必猜到态也是（1,1,2），然后建立在前俩同学都猜不到的基础上，他会有哪些状态是一定能猜到数字的呢？

如果A的数字是B的俩倍（或反着来），和上面的情况一样，C会有（1,2,3）这个必猜到态，同时也有（2,1,3）这个必猜到态，对称的拉

然后我们注意到B之前已经不能判断（2,3,1）这个状态（也就是这个时候不可能出现这种比例），那么C一定是5（相对于A,B，2+3=5），而不可能是3-2=1（不然就被B猜到了）

　　好了回头一看，我们已经处理完我们这道题的基准情况了，我们数一下，一开始A有种必猜到态，B有种必猜到态，C有种必猜到态。

　　接下来就是推进这些基准情况了，我们知道必猜到态一定是建立在必猜不到的状态的基础上的，根据我们上面的推导，你是不是发现了一个规律，如果一个处于K的状态，比如（2,3,？）如果（2,3,1）b不是必猜到态，那么（2,3,5）一定是必猜到态，只要把比例中的另外两个数加起来代替当前比例中的位置，就是必猜到态了，多省事！

　　另外，当前这个人的猜测是根据另外两个人猜不到的基础上的，所以当前必猜到态的个数一定是之前两个人都猜不出来的状态的和！

　　　　　　　　设a（x）是必猜到态的个数，则当前必猜到态的个数是

　　　　　　　　　　　　a(x)=a(x-1)+a(x-2)   x>=4

　　　　　　　　　　　　　　= 1 　　　　　　　(x=1)

　　　　　　　　　　　　　　= 2 　　　　　　　(x=2)

　　　　　　　　　　　　      = 4                     (x=3)

　　　　　　　　　　　　这个东西是不是似曾相识，对的没错他就是斐波那契数.....的兄弟OWO

　　　　　　　　　　　　　　1,2,4,6,10,16,26.....

至于代码，知道原理以后代码就很好写了，主要是要处理不同种情况要小心就好了

#include <stdio.h>
#include <stdlib.h>
#define MAX 255

static int Win_State[][MAX][];
static int Who_Konw;
void Initialize_(void);
void Search(const int, int[], const int);
void Print_Item(const int, int[]);
void ReMark(int[], int);

int main(void)
{
    int Win_Sum[];

    int m, k, i;
    printf("输入格式：(数字大小,轮数，第几个同学)\n");
    while ()
    {
        Win_Sum[] = ; Win_Sum[] = ; Win_Sum[] = ;
        Initialize_();
        fflush(stdin);
        if (~scanf("(%d,%d,%d)", &m, &k, &Who_Konw)
            && k >  && Who_Konw >  && Who_Konw <= )
        {
            i = (k - ) *  + Who_Konw;
            Search(m, Win_Sum, i);
        }
    }
}

void Initialize_(void)
{
    //先定义a(1),a(2),a(3)的三个基准情况
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
    Win_State[][][] = ; Win_State[][][] = ; Win_State[][][] = ;
}

void Search(const int m, int Win_Sum[], const int Goal_Position)
{
    if (Goal_Position ==  || Goal_Position ==  || Goal_Position == )
        Print_Item(m, Win_Sum);
    else
    {
        int i, self;
        for (i = ; i <= Goal_Position; i++)
        {
            self = (i - ) % ;
            ReMark(Win_Sum, self);
        }
        Print_Item(m, Win_Sum);
    }
}

void ReMark(int Win_Sum[], int self)
{
    int j, k, p = self;
    Win_Sum[self] = Win_Sum[(p + ) % ] + Win_Sum[(p + ) % ];
    for (j = ; j < Win_Sum[self];)
    {
        for (k = ; k < Win_Sum[(p + ) % ]; k++, j++)
        {
            Win_State[self][j][self] = Win_State[(p + ) % ][k][(p + ) % ] + Win_State[(p + ) % ][k][(p + ) % ];
            Win_State[self][j][(p + ) % ] = Win_State[(p + ) % ][k][(p + ) % ];
            Win_State[self][j][(p + ) % ] = Win_State[(p + ) % ][k][(p + ) % ];
        }
        for (k = ; k < Win_Sum[(p + ) % ]; k++, j++)
        {
            Win_State[self][j][self] = Win_State[(p + ) % ][k][(p + ) % ] + Win_State[(p + ) % ][k][(p + ) % ];
            Win_State[self][j][(p + ) % ] = Win_State[(p + ) % ][k][(p + ) % ];
            Win_State[self][j][(p + ) % ] = Win_State[(p + ) % ][k][(p + ) % ];
        }
    }
}

void Print_Item(const int m, int Win_Sum[])
{
    int i, sum = , p = Who_Konw - ;
    for (i = ; i < Win_Sum[Who_Konw - ]; i++)
    {
        if (m % Win_State[Who_Konw - ][i][Who_Konw - ] == )
        {
            printf("%d:(144,",++sum);
            printf("%d,", m*Win_State[Who_Konw - ][i][(p + ) % ] / Win_State[Who_Konw - ][i][Who_Konw - ]);
            printf("%d)\n", m*Win_State[Who_Konw - ][i][(p + ) % ] / Win_State[Who_Konw - ][i][Who_Konw - ]);
        }
    }
}

　　好了代码就是上面，写的其实是有点怪怪的感觉，主要是我用的是数组代表了不同人，这样我只用写一次代码就可以了！而不用多次A，B，C之类的，太烦，所以就产生了三维数组噜