声明
笔者最近意外的发现 笔者的个人网站 http://tiankonguse.com/ 的很多文章被其它网站转载，但是转载时未声明文章来源或参考自 http://tiankonguse.com/ 网站，因此，笔者添加此条声明。
郑重声明：这篇记录《关于 double sort 这道题的思考》转载自 http://tiankonguse.com/ 的这条记录：http://tiankonguse.com/record/record.php?id=651
前言
前言的前言
昨天本来写好了这篇记录，可恨中间我出去打了一个电话，回来继续写，写完我想到可能session已经失效，所以我新打开一个页面，登录，然后在这个页面提交。返回了提交成功的标签，但是跳转到那篇文章时提示不存在。这个，我不能再忍受了，于是自己做了一个自动保存的功能。
首先今天写的内容将会简短，因为昨天写的好久好久，结果自动保存功能还没有实现。不过现在，时刻都在自动保存着，再也不用担心这个问题了。
首先声明这篇记录不是解题报告，只是一场我的大脑里思路的旅行。
前几天学弟学妹们有一场比赛，学弟邀请我作为技术支持者去帮忙，在那个过程中我看了几道题。
其中有两道题正常比赛没有其他人提交，于是我研究了一下。
研究的第一道就一个暴力dfs就可以过，只是可能正常比赛没人看懂题意，我看了好几个小时才看懂的。
第二道就是 double sort。
正文
题意
什么是 double sort 呢？
就以题目中的讲解例子来说说吧。
题目说对于一组数 [5; 4; 3; 2; 1]， 如果只可以交换相邻的数字，要使这组数达到升序至少需要 10 步。
这个很好理解，假设一个数字要和左面的数字交换，那只有一种情况。
但是对于两组数 [5,5; 4,4; 3,3; 2,2; 1,1] 来说，也是只能交换相邻的数字。这是一个数字和左面的数字交换时就有两种情况了。
比如对于 4 可以和 第一个5交换，也可以和第二个5交换。
目标是使这两组数字达到升序。题意还说这个例子的答案是 15 ，不是 20.
然后，没然后了。
错误的题意
看完上面的题意，我有一个疑问：难道真的是要排成 [5,5; 4,4; 3,3; 2,2; 1,1] 的样子吗？ 15 步可能吗？
于是我猜测可能是达到每组升序即可，比如 [4,5; 4,5; 2,3; 2,3; 1,1], 这样第一组是 [4; 4; 2; 2; 1], 第二组书[5; 5; 3; 3; 1].
于是我写了一个暴力程序，第一组样例还真跑出一个 15 的答案来。
但是第二组 答案大小比样例少了1。
既然结果不正确，那就需要把那个正确的答案的路径输出来，看看有什么不同。
结果发现最终答案应该是上下两个的差不超过2.
于是我添加了一个 fix 函数，修正这种情况。
然后三个样例都过了。
再然后就是 WA 了。
正确的题意
然后我想还是想弄明白题意再说，于是用 [3,3; 2,2; 1,1] 模拟了一下，发现真的比 [3; 2; 1] 的答案的二倍少。
这时我意识到可能目标真的是求[1,1; 2,2; 3,3] 这种情况。
暴力DFS尝试
知道了题意，数据量只是到8，于是写了一个暴力程序。
使用 "1122334455" 串的形式map 了一下。
对于5瞬间跑出答案，对于6 跑了好一会。
双向DFS搜索
直接搜太慢，那就双向搜试试。
于是写了一个双向 DFS， 结果 6也是瞬间跑出来，但是 7 怎么也出不来了。
使用逆序数剪枝双向搜索
写的虽然是双向DFS，但是其实还是暴力搜索，还没有加什么剪枝。
于是使用 逆序数剪枝， 7 十秒多跑出来了。
于是提交试试，发现 超内存，现在不是时间问题了，是内存不够的问题了。
状态压缩
内存不够就要想法节省内存，其中 map<string, string>最浪费内存。
为什么要使用 string 呢？
为了保存一个状态。
那能不能使用位数压缩状态么？
发现还真的可以。
数字是从1-8，也就是0-7 了。最少需要三位才能表示一个数字，总共需要 24位数字，3字节，long long 类型的可以。
于是修改成map<LL, LL>.
为什么要使用 map 呢？
貌似是为了记录路径，这里不需要记录路径。
于是修改成为了 set<LL> .
再次提交还是超内存。
A* 算法出世
到底是为什么会超内存呢？
因为状态太多了。
为什么状态太多了呢？
因为我们使用的暴力搜索，我们不知道哪个状态是最优解，哪个不是。
那能不能确认某个状态一定比另一个状态更优呢？
貌似可以的。
那就用优先队列吧。
于是问问学弟小堆是使用大于号还是小于号。最后自己在模板生找到了。
A＊搜索的估价函数
双向搜索时曾遇到过逆序数，于是使用逆序数作为估价函数吧。
7 终于跑出来了。
但是 8 还是跑步出来。
A＊搜索的另一个估价函数
逆序数这个估价函数行吗？
貌似误差太大，无效状态太多。
那能不能换一个估价函数呢？
貌似还真有一个，每个数字离自己最终的位置的距离也是一个不错的估价汗是。
那就使用这个估价函数吧。
于是把估价函数换了换，结果还是只能跑出7来。
强强联合
怎么还是跑不出 8 呢？
估价函数太弱，精度太低。
那能不能加强估价函数呢？
貌似可以的。
比如说呢？
对于逆序数，交换一次最多减少3个逆序数，最少一个。
对于相对距离，交换一次最多减少两个，最少不变。
知道了，就这个办呢。
于是使用两个估计函数，重新了程序，结果7确实跑的快乐，但是还是跑不出8来。
总结
这道题虽然没有跑出 8 来，但是收获不少。
首先这一切都是自己独立思考的，再次开发了智力。
有兴趣的人可以继续思考下去，尽量不要看解题报告。
所有代码都在这里 https://github.com/tiankonguse/ACM/tree/master/hust/doublesort
