《算法问题实战策略》-chaper7-穷举法

  关于这一章节《算法实战策略》有一段概述问题，我认为对于编程人员来说非常有价值，故在这里进行如下的摘抄：

 

  构想算法是很艰难的工作。相比大家都经历过，面对复杂的要求只是傻乎乎地盯着显示器，或者不经过深思熟虑就开始打键盘，结果还要辛辛苦苦修改变得一塌糊涂的代码。经过这些磨难，各位就能切身体会到设计算法的重要性。

  与通常所想不同，支配设计算法的并不是一时的灵感，而是许多策略性的选择。构想算法不仅需要理解问题的特性，还要理解执行时间和占用内存空间之间的对立关系，而且要会选择适当的数据结构。

  算法设计范式指的是，算法为解决给定问题而采用的策略或观点。有些算法会共享出解决问题时最重要的领会，将之积累起来就会领悟到一种模式。从这个意义上说，这些领会是通过相同策略或相同范式解决问题的。

  算法设计范式可作为设计算法的框架，因此，学习这些范式将有助于提高算法设计的能力。

                                                                                                                                                                                ——摘自《算法实战策略》

 

  关于穷举法，可以说是计算机领域最为人熟知但却有大大忽略的一种基础算法了。很多人都会知道，它的思想就是将解空间给一一列举出来然后进行计数或者其他的什么操作。有较好算法基础的人会知道，搜索(DFS、BFS)本质上也是一种穷举，只不过他们针对不同类型的问题所设计出来的基于递归和搜索树结构的穷举方法，这里其实已经开始体现出穷举法解决问题的灵活性，并非很多人印象中那么简单。而利用穷举策略解决问题的时候，还将会面临下面几个大问题：

(1)    穷举过程中重复情况的计算：即我们要设计的穷举过程一定要“有序”，所谓“有序”就是要做到“不重不漏”的一一列举出所有情况。

(2)    穷举过程复杂度的分析：在具体的解题中我们往往会遇到穷举时时间、空间溢出的情况，这时候我们需要做的就是优化，映射到上文提及到的搜索其实就是剪枝策略。

 

  那么下面我们结合这两个方面，通过具体的问题来实战体会这种范式设计思维。

  Q：给出学生数n(n≤10)和他们之间的朋友关系，现在进行两两配对，请问有多少种不同的配对方法？

 

  分析：

首先我们思考这道问题会有哪些重复计数的坑，能够看到，我们进行一组配对，比如(1,2)所形成的二元对视无序的，即(1,2)和(2,1)是一样的，对此我们在编程设计中，进行“配对”的时候就不能够设计两层循环了，而是通过规定二元对(a，b)中b>a来排除这些重复情况。

  其次是对穷举过程复杂度的分析，基于个问题数据n的最大值，我们能够看到至多穷举的情况数是9*7*5*3*1 = 945，计算机处理起来是绰绰有余的因此不需要考虑优化。

 

  另外要说的一个层面的问题是，在设计穷举的时候，如果说一种情况要分成多个决策过程，那么此时最好的方法就是基于递归和搜索树的深搜策略，它更加强调各种情况生成时的联系，而如果各种情况相对独立的话，那么进行简单的暴力枚举即可。

  这道题目的函数代码如下：

 

 int n;

bool areFriend[10][10];

int countPairings(bool taken[10])//标记配对情况的数组

{

    int  firstFree = -1;

    for(int i = 0;i < n;i++)//找到当前bool表中第一个没有配对的人

    {

          if(!taken[i])

          {

               firstFree = i;

               break;

          }

    }

    if(firstFree == -1)  return 1;   //所有人已完成配对，得到一种配对方法，返回1

   

    int ret = 0;

   

    for(int pairWith = first +1;pairWith < n;++pairWith)

    {

         if(!taken[pairWith] && areFriend[firstFree][pairWith])

         {

            taken[firstFree] = true;

            taken[pairWith]  = true;

           

            ret += countPairings(taken);

           

            taken[firstFree] = false;

            taken[pairWith]  = false;   

         }

        

    }

    return ret;

}

//由于数据较小，为了处理的方便，对于n<10的情况，我们可以将缺少的人记为已经配对，而在areFriend[][]需要初始化为0;而这一步骤在上面的部分代码中并没有体现，

//读者在完成完成代码的时候需要注意补充。