问题同型
另一种解决河内塔问题的表征方式是列出一系列的圆盘，每一个圆盘下面都有一个需要填补的空格，这个空格里的号码告诉我们这个圆盘当前在哪根棍上。在挪动之前，圆盘都在A棍上。这种表征方式的程序编制与原来的编制方式不同。原来的表征方式是把1号盘从A挪到C；现在这种方式要反过来，先找出1号盘，把它的空格上的A字抹掉，把C换上去，表示它挪到C棍上了，如表5-3所示。
可以看到，后一种表征方式更有利于动作，因为它只要求改动一个符号。但这种方法要求抹掉一个符号，然后再加上一个符号，需完成两个步骤。测验一个动作是否合法，前一种方式优于后一种方式。用后一种表征方法，若把1号盘从A棍挪到C棍，看把A改成C是否合法，就要检查其他盘是否都在A上面，看看A上面其他所有的圆盘是否都比它大；如果把它挪到C上，其他圆盘是否都在C上；如果在C上，是大于它还是小于它。从这里我们看到，对同一个问题可以有两种同型的表征方法，这两种表征方法就称为问题同型（problemiso-morphs)。
第五章语义丰富领域
表5-2
197