离散数学里面大家都学过群，群里面有种很基本并且很重要的叫做置换群，置换群的元素本质上就是一个排列（英文 permutation group, 直译过来应该是排列群）。大家应该都学过当初要把 (4 1 5 2 3) 分解成 (1 4 2)(3 5)，这个叫做群的 k-cycle 分解，也就是说，一个排列（置换群的一个元素）可以 继续阅读 →

对于一些困难的问题，我们只能穷举(brut force)搜索，是的，我们知道“穷举搜索”这个词，可是，具体怎么穷举呢？

很多问题可以归结到图的搜索，对于图的搜索，大家应该都知道 DFS 和 BFS， 继续阅读 →

甲乙两人在玩一个游戏：一堆小石子，共n个，每次每人可以从中取1个，或2个，或4个，甲先开始，最后取的那个人输（不管他去1个，还是2个，还是4个）。

但是呢，甲乙两个人都是智力超群的天才，他们总会使用对自己有利的策略。 继续阅读 →

经典写法

合并两个有序序列，太简单了吧？还有专门讨论的必要吗？

这是一个最简单的 Merge 版本： 继续阅读 →

Windows 7，打开“下载”文件夹，里面也就几十个文件……

它非常“友好”地在地址栏部分显示一个进度条，等到进度条100%，右边文件夹内容部分变成非空白——文件显示出来，我可以去拉泡屎，再回来也不迟，我没有拉肚子，我便秘！ 继续阅读 →

在前一篇文章里，可能有人注意到了：扩展结果中会出现同一变量的不同实例，如果我们要增加一个限制，扩展结果中每个变量都必须引用相同的实例，该怎么做？