查看“2012级--讨论记录 (第四学期)”的源代码

=2014年2月21日=
[[媒体文件:讨论记录-第四学期-2班-第1次.pdf|[课件下载]]]
<ol>
  <li>
    字母表、词、语言：
    <ul>
      <li>形式化定义。</li>
      <li>实际应用：编码考试成绩；编码图片；编码视频。</li>
      <li>concatenation和subword的形式化定义。</li>
      <li>canonical ordering。</li>
    </ul>
  </li>
  <li>
    判定和优化问题：
    <ul>
      <li>判定问题的定义和例子。</li>
      <li>优化问题的定义和例子。</li>
    </ul>
  </li>
  <li>
    P和NP：
    <ul>
      <li>upper bound和lower bound。</li>
      <li>P、NP、NP-hard、NP-complete。</li>
      <li>确定性和非确定性。</li>
      <li>NPO和PO。</li>
    </ul>
  </li>
</ol>