分治法高效求解Tile贴L型瓷砖问题

2.1.3 TileBoard 

        TileBoard是一种通过分治思想对平面进行分割，对一个N*N的格子的平面贴上L型瓷砖的算法，注意N为2的幂数，其中有一个空缺基本方格是不需要贴的，L型瓷砖是3个基本方格组成的。

       为什么这个问题可用分治法呢？假设N=8，那么就有64个基本方格，那么如果随意贴L型瓷砖，你会发现最后贴不下去，最后剩下3个基本方格没有连在一起，其实就是拼图原理。那么一种贴图的方式，让最后的平面铺满L型瓷砖，除了空缺基本方格。这也刚好符合3m+1=N*N的数学原理，即N为2的幂数。

      分治法的数学理论本质上是归纳法的逆推证明：分治法——由大及小；归纳法——由小及大。

1. 对于基本问题，当n==2时，就是含有4个基本方格的平面，很显然直接贴一个L型瓷砖即可。
2. 当n=2k时，如果能分解成t=n/4个含有4个基本方格的平面；论证：16基本方格从中间轴分解成4个大小相同包含4个基本方格的平面；而如果是64个则可以分为4个含有16个基本方格的平面，同理类推；而2k*2k=4k个基本方格，所以最终会含有4k-1个含有4个基本方格的平面。
3. 如果n=2k时成立，即(n*n)/4==22k-2个小平面，则当n=2k+1时，则包含22k个小平面，即可以分为包含4个基本方格的平面，得证。为什么这样就得证了呢？因为前提是含有2的幂次的小方格，如果是4*5个小方格就无法分成包含4个基本方格大小相同的平面。而22k-2和22k都是4的幂数，可以分，所以论证成立。

         如何通过代码实现上面的想法呢？

        这里是采用先分后治还是先治后分呢，其实是根据在分的时候是否是依据治的结果来分的，就行快速排序，它的分是依据治的结果来左右分的，所以是先治后分；而合并排序则是先将大的数分成少的数，然后进行治，所以是先分后治。而TileBoard 则是依据治的结果来调用递归分的函数，所以是先治后分。（特注：是先治后分还是先分后治不是根据递归函数程序是否放在治的前面或者