人工智能 实验一 梵塔问题实验

实验一梵塔问题实验

（2学时）

一、实验目的：

熟悉和掌握问题规约法的原理、实质和规约过程；理解规约图的表示方法。

二、实验原理

从目标(要解决的问题)出发逆向推理，先把问题分解为子问题和子-子问题，直至最后把初始问题归约为一个平凡的本原问题集合，然后解决较小的问题。对所有本原问题的解答就意味着原始问题的解决。

三、实验条件：

1. 编写三圆盘梵塔问题系统实验程序。

2. 编写多圆盘梵塔问题系统实验程序。

3. 编写梵塔问题操作界面，如下图所示。

四、实验内容：

1.编写三圆盘梵塔问题系统实验程序，更改圆盘数量，了解问题解决的归约过程。

2.分析归约机理，熟悉问题规约的详细过程。

3.自己建造一个梵塔问题归约系统，然后根据归约原理进行逆向推理，得到本原问

题集合。通过解决这些本原问题，最终求解问题。

五、实验步骤：

根据操作界面编程实现如下实验步骤

1.开始演示。进入三圆盘实例程序，点击“play”按钮开始演示程序，观察其求解步

骤，“Stop”按钮可停止演示，“Speed+”、“Speed-”按钮可增减演示速度。

2.改变圆盘数量。点击“Renew”按钮，通过“Number+”和“Number-”改变圆盘

数量，再次点击“play”按钮。

3.重复演示、比较，根据其求解过程得到圆盘数量与步骤数目之间的规律。归纳并

理解问题归约的实质。

4.自己建立一个梵塔问题求解难题，利用归约法进行问题分解。

5.画出其问题规约图。

六、实验结论：

1.圆盘数目与移动步骤之间的数学关系。

2.根据自己所建梵塔问题，画出问题规约图，得到子问题集，列出求解过程。

3.分析问题规约的实质。