PSL框架专题（1）：谜题求解专用框架

PSL框架主页

PSL框架是一套用于谜题求解的专用框架。使用此框架，可以对推箱子，华容道，数独等一大类基于状态转换的谜题进行求解。PSL框架所能求解的谜题均具有以下特点：

1. 具有一个明确的初始状态。初始状态不具备随机性。
2. 具有一个或多个目标状态。这些目标状态具有某种共性。
3. 状态之间的转换有明白无误的规则可以遵循，可预测，可重复，不具备随机性和时间性。
4. 状态之间的转换有明确的目标，即由初始状态向目标状态前进。

PSL框架能对推箱子进行求解。这是因为

1. 推箱子游戏具有一个明确的初始状态。搬运工的初始位置，箱子的初始位置以及目标位置固定不变。
2. 推箱子游戏具有明确的目标状态，即所有箱子都处于目标位置。
3. 推箱子游戏通过搬运工推箱子实现状态转换。搬运工可以自由移动，但他只能推箱子，不能拉箱子，箱子也不能自行移动。规则明白无误，目标也很明确。

PSL框架能对华容道进行求解。这是因为

1. 华容道游戏具有一个明确的初始状态。代表曹操，各位将领，各个小兵的方块位置固定不变。
2. 华容道游戏具有明确的目标状态，即代表曹操的方块处于出口处。
3. 华容道游戏通过移动方块实现状态转换。规则明白无误，目标也很明确。

PSL框架能对数独进行求解。这是因为

1. 数独游戏具有一个明确的初始状态。
2. 数独游戏具有明确的目标状态，即各行各列各个大方块之内填满数字1-9，且不能重复。
3. 数独游戏通过填写数字实现状态转换。规则明白无误，目标也很明确。

初始状态	目标状态

PSL框架不太适用于研究俄罗斯方块。这是因为

PSL框架不适用于研究象棋。这是因为象棋属于博弈类，