摘要：1. 一个结构体变量的指针是该结构体变量所占据内存段的起始位置，形如： struct 结构名 * 结构指针变量名 2. 赋值是把结构变量名首地址赋予该指针变量，访问结构变量名成员的常见方式为： 指针变量名->成员名 (*指针变量名).成员名 3. malloc返回的是一个指向分配域起始地址的指针，没 阅读全文

摘要：1. LNR相当于把树拍扁读出来 2. 两个树joining在一起的前提是，一个树的最大值小于另一个树的最小值 找到较大树的最小值，作为两个树joining在一起之后的new root; 好处是height不会增加 阅读全文

摘要：可自行balance的tree一共讲三种，除了上节课讲过的splay tree(分为四种case，insert as root)，还有AVL tree，2-3-4 tree(引出red-black tree) 1. AVL tree 开始条件为：abs(height.left-height.righ 阅读全文

摘要：1. rand(), 规定最大值，随机返回数字 2. splay tree（rebalance by themselves, 还有两种树也可以，下节课讲） 考虑parent，child，grandchild double rotation 3. splay tree四种分类 4. 为了让tree r 阅读全文

摘要：1. vertex degree 2. special graphs 3. graph isomorphisms：对于同一个图，我们可以用各种不同的形式来描述，这些形式都具有相同数目的边，具有相同数目的顶点，它们有着一一对应的关系，对应的顶点具有相同的连接性。这些图的不同形式，我们称之为图同构。 4 阅读全文

摘要：1. canonical form DNF 2. canonical CNF同理，找到DNF之后可以用De Morgan's Law 3. Karnaugh's Maps 4. boolean algebra 5. duality 6. beyond propositional logic seco 阅读全文