图搜索技术中的状态空间法概述.docVIP

第二章 图搜索技术 我们经常用八数码难题或十五数码难题来说明问题求解的概念。十五数码难题是指由15个编有数码1至15并放在4×4方格棋盘上的可走动的棋子组成，棋盘上总有一格是空的，以便让周围棋子走入空格，或者说是移动空格，如图给出两种棋局: 11 9 4 15 -----------------------------＞ 1 2 3 4 1 3 ▊ 12 5 6 7 8 7 5 8 6 9 10 11 12 13 2 10 14 13 14 15 ▊ 初始棋局 目标棋局 图2.1 十五数码难题 即初始棋局与目标棋局。让我们考虑如何把初始棋局变换为目标棋局。问题的解答就是某个合适的走步序列，如“左移棋子12，下移棋子15，右移棋子4……”等等。 在这类问题中，对初始情况和目标情况都是明确规定了的。还有一组把一种情况变换为另一种情况的动作或走步。下面我们给出几个基本概念，用于讨论这一类问题的解答。 ■问题状态与算符 要讨论上述问题解法，有必要引入下列几个概念。 ●状态: 是表示问题解法中每一步问题状况的数据结构。 ●算符: 则是把问题从一种状态变换为另一种状态的手段。 ●状态空间: 是从初始状态出发所能达到的状态集合。 下面四个相应的算符能够最自然地说明十五数码难