C++11的Lambda使用一例:华容道求解
华容道是一个有益的智力游戏,游戏规则不再赘述。用计算机求解华容道也是一道不错的编程练习题,为了寻求最少步数,求解程序一般用广度优先搜索算法。华容道的一种常见开局如图 1 所示。
广度优先搜索算法求解华容道的基本步骤:
- 准备两个“全局变量”,队列 Q 和和集合 S,S 代表“已知局面”。初时 Q 和 S 皆为空。
- 将初始局面加入队列 Q 的末尾,并将初始局面设为已知。
- 当队列不为空时,从 Q 的队首取出当前局面
curr
。如果队列为空则结束搜索,表明无解。 - 如果
curr
是最终局面(曹操位于门口,图 2),则结束搜索,否则继续到第 5 步。 - 考虑
curr
中每个可以移动的棋子,试着上下左右移动一步,得到新局面next
,如果新局面未知(next
∉ S),则把它加入队列 Q,并设为已知。这一步可能产生多个新局面。 - 回到第2步。
其中“局面已知”并不要求每个棋子的位置相同,而是指棋子的投影的形状相同(代码中用 mask 表示),例如交换图 1 中的张飞和赵云并不产生新局面,这一规定可以大大缩小搜索空间。
以上步骤很容易转换为 C++ 代码,这篇文章重点关注的是第 5 步的实现。
- // 第 1 步
- std::unordered_set<Mask> seen;
- std::deque<State> queue;
- // 第 2 步
- State initial;
- // 填入 initial,略。
- queue.push_back(initial);
- seen.insert(initial.toMask());
- // 第 3 步
- while (!queue.empty())
- {
- const State curr = queue.front();
- queue.pop_front();
- // 第 4 步
- if (curr.isSolved())
- break;
- // 第 5 步
- for (const State& next : curr.moves())
- {
- auto result = seen.insert(next.toMask());
- if (result.second)
- queue.push_back(next);
- }
- }
在以上原始实现中,curr.move()
将返回一个 std::vector<State>
临时对象。一种节省开销的办法是准备一个 std::vector<State>
“涂改变量”,让 curr.move()
反复修改它,比如改成:
- // 第 1 步新增一个 scratch 变量
- std::vector<State> nextMoves;
- // 第 3 步
- while (!queue.empty())
- {
- // ...
- // 第 5 步
- curr.fillMoves(&nextMoves);
- for (const State& next : nextMoves)
- { /* 略 */ }
- }
还有一种彻底不用这个 std::vector<State>
的办法,把一部分逻辑以 lambda 的形式传给 curr.move()
,代码的结构基本不变:
- // 第 3 步
- while (!queue.empty())
- {
- // ...
- // 第 5 步
- curr.move([&seen, &queue](const State& next) {
- auto result = seen.insert(next.toMask());
- if (result.second)
- queue.push_back(next);
- });
- }
这样一来,主程序的逻辑依然清晰,不必要的开销也降到了最小。
在我最早的实现中,curr.move()
的参数是 const std::function<void(const State&)> &
,但是我发现这里每次构造 std::function<void(const State&)>
对象都会分配一次内存,似乎有些不值。因此在现在的实现中 curr.move()
是个函数模板,这样就能自动匹配lambda参数(通常是个 struct 对象),省去了 std::function
的内存分配。
本文完整的代码见 https://github.com/chenshuo/recipes/…/puzzle/huarong.cc,需用 GCC 4.7 编译,求解图 1 的题目的耗时约几十毫秒。
练习:修改程序,打印每一步移动棋子的情况。
相关文章
- Java要抛弃祖宗的基业,Java程序员危险了!
- 十大 Java 语言特性
- JVM 三色标记算法,原来是这么回事!
- 聊聊 Spring 事务控制策略以及 @Transactional 失效问题避坑
- 写给 Java 程序员的前端 Promise 教程
- 写给 Java 程序员的前端 Promise 教程,你学会了吗?
- Java 中为什么不全部使用 Static 方法?
- Java 池化技术你了解多少?
- Java 服务 Docker 容器化优秀实践
- Spring Boot + EasyExcel导入导出,简直太好用了!
- 我们一起聊聊 Java 内存泄漏
- CentOS 下安装 Docker 极简教程
- JDK 19 功能集冻结:Java 19 只有七个新特性
- 关于 CMS 垃圾回收器,你真的懂了吗?
- 为什么会有这么多编程语言?
- 改善Java代码的八个建议
- 接口流量突增,如何做好性能优化?
- Java 以编程方式创建JAR文件
- POJO、Java Bean是如何定义的
- Spring 的 Bean 明明设置了 Scope 为 Prototype,为什么还是只能获取到单例对象?