用规划编程解决数学问题 (buttondown.email)

本文介绍了如何使用规划编程解决一个数学问题：用最少的“全选”、“复制”、“粘贴”操作次数，在一个空白文档中输入至少100,000个字母'a'。作者首先用C++广度优先搜索算法解决问题，然后用Picat规划语言给出了更优雅的解决方案，并探讨了规划语言的灵活性。