steppad

用于词典搜索的数据结构：哈希表与搜索树，需要考虑的问题包括关键字的数目、关键字数目是否经常变化、不同的关键词访问的频率差别；其中，哈希表为了减少地址冲突，需要用于映射的地址空间很大，同时还需要建立一个辅助功结构解决冲突；同时，哈希表不能处理相近查询的问题，当检索词项具有细微差别时，映射到的地址可能差别很大；其次，搜索树最典型的是搜索二叉树（二叉排序树），若左子树不空，则左子树上的所有结点值均小于等于

集合（Set）：元素的聚集，元素可以是任意数据类型，其中集合具有无序性、无异性；常用的特殊集合标志：∅、N、Z、Q、R、C；集合运算：union：x∈A∪B IFF x∈A OR x∈B；intersection：x∈A∩B IFF x∈A AND x∈B；difference：x∈A-B IFF x∈A AND x∉B；complement：A ̅ = D – A；幂集（Power S

一般归纳法：     假设谓词P对于自变量n∈N，P(n)为true的条件为：    1. P(0) 为真，并且    2. P(n) implys P(n+1)对于任意的n均成立，则    谓词P对于任意的m，m∈N都成立，即，        强归纳法：    假设谓词P对于自变量n∈N， P(n)为true的条件为：    1. P(0) 为真，并且    2. 对于所有n，n∈N，P(

状态机：状态机是一种简单、抽象的用于描述每一步可能执行操作（输出）的模型，每一个步骤的输出都取决于输入和当前状态，一般所指的状态机都是有限状态机，如果当前状态是无限的，不能确定其个数（比如人物的状态这是无限的），则被称为无限状态机，状态机中若存在某个状态则说明该状态可达，若某些时候状态机出现多个可能的次态，则状态机不可定，其中每个状态机都有相应的“状态”与“变换”；不变量原则：在状态机的状态转变过程

逻辑运算NOT AND OR 等常用逻辑运算；P IMPLIES Q：当P为false或者Q为true时候，整个命题为true；XOR 表示异或，相异为真；IF AND ONLY IF：与异或相反，相同为真；对于数学公式而言，只关心前后单独命题的真假，而不讨论两个命题之间的联系；任何复杂的逻辑语句都可以变形为A OR B的形式，简化后的逻辑运算可以减少操作的次数，减少对硬件的逻辑门电路的个数，减少能