计算理论导引

计算理论导引

• 计算机的基本能力和限制是什么？
• 计算理论
  • 自动机
  • 可计算性
  • 复杂性
• 计算复杂性理论
  • 复杂性理论的核心问题：是什么使得某些问题很难计算，又使得另一些问题容易计算？
  • 复杂性理论的一个重要成果：发现一个按照计算难度给问题分类的完美体系。
  • 面对难题：1. 搞清问题困难的根源，改变问题条件变成简单问题，2.近似解，3.问题在最坏情况下困难，随机计算。
  • 密码学需要复杂性
  • 目标是把问题分成容易的和困难的
• 可计算性理论
  • 哥德尔，图灵，丘奇
  • 确定一个数学命题的真假
  • 计算机理论模型
  • 目标是把问题分成可解的和不可解的
• 自动机理论
  • 自动机理论论述计算的数学模型的定义和性质
  • 有穷自动机
  • 上下文无关文法
  • 正则表达式
• 数学基础
  • 集合
  • 函数
  • 谓词（性质）：是值域为真假10的函数
  • 关系：一种谓词，为多元函数（定义域为多元笛卡尔集），如二元关系，大于，小于，等于，等价关系（传递，自反，对称）
  • 图集合G(V,E)：路径，子图，树，最小生成树，无向图，联通，有向图，强连通
  • 字符串：