计算机数学二.pptVIP

一个合理的编码方案要求能合理反映出问题实例的大小,通常要求有简洁性(conciseness) 和可解码性(decodability) 可解码性是指对问题例子的任一特定组成部分或分量，我们总能指定一有效的算法，它可从任何给定的已经被编码的例子中来提取出对那个分量的一个描述. 数学：“一对一”的映射 编码策略的简洁性意味着它满足下列两个条件： (i) 一个实例的编码应是简洁的,而不应该被某些不必要的信息或符号充斥或拉长; (ii) 例子中所出现的数字应统一用二进制、十进制或任何大于1的数为固定基来表示. 如果一个结论对语言L[∏，e]成立，则我们称其在编码e下对判定问题∏也成立。 注：就是讲任一实例的编码属于L[∏，e]，当且仅当该实例是yes的 一旦我们弄清楚了判定问题与语言间的对应关系，我们将交替地使用这两个术语而不加区别。 数理逻辑学家提出了种种机构? 计算模型: 递归函数Godel(1931), Kleene(1936) l演算Church及Kleene Post系统Post(1943) Turing Turing(1936), Post(1936) 只有当一个DTM程序 M对于所有∑*中字符串均停机，我们才称其为一个算法（Algorithm）。 称一个DTM程序 M在编码策略ｅ下解决判定问题∏，如果Ｍ对于∑*中字符串均停机，且ＬＭ＝Ｌ［∏,ｅ] 前述例子对｛０，１｝