论文标题
通过2D热量流量在paramutulation中，滑动块拼图的复杂性的实验
An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation
论文作者
论文摘要
在本文中，我们提出了一个奇怪的实验，该实验涉及通过Pareadulation解决滑动块拼图的热列表策略。热门列表策略是使用自动推理中使用优势的策略之一。我们在推理过程中定义了两个热量流 - 垂直沿Y轴和X轴水平的置换列表垂直。在实验中，我们通过计算反转测试了可解决性检查的测试，产生了500 * 8个难题。我们通过用热列表来定义热流，从而获得了复杂性的奇怪的2D和3D图。我们可以根据耐热的概念来区分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.
