基于参模化中二维热流求解滑块拼图复杂度的实验
计算复杂性
2022-01-11 v1
摘要
在本文中，我们展示了一个利用热表策略通过参模化求解滑块拼图的奇特实验。热表策略是自动推理中利用参模化的一种前瞻策略。我们在推理过程中定义了两种热流——沿 Y 轴的排列热表垂直热流与沿 X 轴的水平热流。在实验中，我们通过逆序数统计的可解性检验生成了 500 * 8 个拼图。通过定义带热表的热流，我们获得了复杂度的奇特二维与三维图。基于耐热概念，我们能够在 500 个棋盘（拼图）中区分出若干组。
引用
@article{arxiv.2201.03301,
title = {An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation},
author = {Ruo Ando and Yoshiyasu Takefuji},
journal= {arXiv preprint arXiv:2201.03301},
year = {2022}
}
备注
arXiv admin note: substantial text overlap with arXiv:2012.08231