5.2 是否题及语言.pptVIP

5.2 “是否”问题及语言 讨论“是否”问题及其语言表达形式， 从而将“是否”问题的解算转化为相应语言的识别， 这使我们可以利用现有的数学工具 ——形式语言理论。 一个 “是否’’问题Π的所有实例组成集合D∏ ， 解为“是”的实例集合为Y∏ ，显然有 Y∏（ D∏ “是否’’问题的格式由两个部分组成， 第一部分是问题实例的通用描述(简称为实例)， 第二部分是一个问句(简称为问)，该问句要求的回答为“是”或“否”。 例 子图同构问题(简称SI) 实例：两个图Gl＝(V1，E1)和G2＝(V2，E2) 问：图Gl是否含有与G2同构的子图? 即是否存在V’（ V1，E’（ E1， (|V’|＝|V2|，|E’|＝|E2|)，及一对一映射 f：V2→V’ 且具有性质： 边(u,v) ∈E2 ≡ 边(f(u), f(v)) ∈E’ 例 巡回售货员问题 实例：城市集合c＝{cl，c2，…，cm}， d(ci,cj)为正整数(ci, cj ∈ C)， 正整数B 问：是否存在一条包含所有城市的闭合路径且其长度不大于B? 即是否存在城市序列 CΠ1，CΠ2, … CΠm 且 d(CΠ1, CΠ2)+d(CΠ2, CΠ3)+…+d(CΠm, CΠ1) ≤ B