《 人工智能引论》课件 第6章 基于经验的启发式搜索.ppt

6.3.2与或图及解图将例6.1的问题被表示为右图，其中，方块结点表示问题，结点之间的有向边表示源结点对应的问题可分解为目标结点对应的问题。在该图中，最特殊的结点是q，另一个最特殊的是从q指向p和的有向边。q指向p和的两条有向边被一个圆弧连接，用于表示q被分解（归约）为q与t：只有当p和t对应的问题都被解决时，q才能被解决。将右图抽象为一种称为超图的结构，用二元组（N，H）表示：N为结点的有穷集合；H为超边的集合；一个超边表示为s，D，其中s∈N，称s为该超边的源结点，D?N，称D为该超边的目的结点集。超边也称为“k连接符”，其中k=|D|。问题归约的图形化表示（N1，