用二维热流模拟滑块拼图的复杂性实验
An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation
摘要：
在本文中，我们提出了一个有趣的实验与热名单的策略解决滑块问题的调解。热表策略是自动推理中使用参数调节的前瞻策略之一。我们在推理过程中定义了两个热流-沿Y轴与热排列列表垂直，沿X轴水平。在实验中，我们生成了500个× 8的谜题，并通过计数反转的可解性检验进行了测试。我们已经获得了好奇的二维和三维图的复杂性，通过定义热流与热列表。我们可以区分几组在500板（拼图）的基础上耐热的概念。
英文摘要：
In this paper, we present a curious experiment with the hot list strategy in solving sliding block puzzles by paramodulation. The hot list strategy is one of the look-ahead strategies using paramodulation in automated reasoning. We define two heat flows in the reasoning process - vertical with the hot list of permutations along the Y-axis and horizontal along the X-axis. In the experiment, we have generated 500 * 8 puzzles under the test of the solvability checking by counting inversions. We have obtained curious 2D and 3D plots of the complexity by defining heat flow with hot lists. We can distinguish a few groups in 500 boards (puzzles) based on the concept of heat-resisting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
