08年第3期算法擂台，网友聚会题目的另一种解答

本文链接：https://blog.youkuaiyun.com/wtyqm/article/details/2254619

本文介绍了一种自下而上的逻辑判断算法，通过递归的方式实现对参与者条件的判断，避免了全排列的复杂度，提高了算法效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题目和官方解答可见 http://blog.youkuaiyun.com/programmer_editor/archive/2008/03/19/2198503.aspx
我觉得官方的思路是自上而下、由内向外的；我的思路是自下而上，由表及里的。

以第一个与条件为例
       Ai = X & Y;
       若X和Y是否参加已知，直接相与返回即可。
       假设X和Y是否参加还要看其它人是否参加，则假设X参加，看在这个新条件下,Y是否参加。
       若此时Y不参加，则Ai参加的条件必不成立。
       若此时Y参加，则Ai是否参加未知。

                   int join(int)
                   {
                        if(X == JOIN && Y == JOIN)
                                return JOIN;
                        if(X == UNJOIN || Y == UNJOIN)
                                return UNJOIN;
                        if(X == JOIN)
                                return UNKNOWN;
                        X=JOIN;
                        nRetVal=judge(Y);
                        X=UNKNOWN;
                        if(nRetVal == UNJOIN)
                                return UNJOIN;
                        return UNKNOWN;
                   }
这样递归中只会判断相关人员的情况，不会每个人都枚举一遍，还是有些