lecture 11.6
摘要：
可自行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 阅读全文
posted @ 2019-11-06 18:26 Eleni 阅读(72) 评论(0) 推荐(0) 编辑
lecture 11.4
摘要：
1. rand(), 规定最大值，随机返回数字 2. splay tree（rebalance by themselves, 还有两种树也可以，下节课讲） 考虑parent，child，grandchild double rotation 3. splay tree四种分类 4. 为了让tree r 阅读全文
posted @ 2019-11-06 10:35 Eleni 阅读(96) 评论(0) 推荐(0) 编辑
lecture 11.4
摘要：
1. vertex degree 2. special graphs 3. graph isomorphisms：对于同一个图，我们可以用各种不同的形式来描述，这些形式都具有相同数目的边，具有相同数目的顶点，它们有着一一对应的关系，对应的顶点具有相同的连接性。这些图的不同形式，我们称之为图同构。 4 阅读全文
posted @ 2019-11-05 18:22 Eleni 阅读(105) 评论(0) 推荐(0) 编辑
lecture 10.30
摘要：
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 阅读全文
posted @ 2019-11-01 15:35 Eleni 阅读(114) 评论(0) 推荐(0) 编辑
boolean functions and beyon
摘要：
1. boolean functions 2. syntax and revisited 3. Conjunctive and Disjunctivenormal form CNF: product of sums DNF: sum of products 4. 不是所有的formula都是CNF或 阅读全文
posted @ 2019-10-31 16:49 Eleni 阅读(168) 评论(0) 推荐(0) 编辑
lecture10.21
摘要：
1. truth valuation 2. 3. logical equivalence 证明两个formula逻辑成立的方法有：比较所有truth table，均推出相同结果；互相可以推出且恒成立；借助第三个formula 4. theories ＆ entailment 5. entailmen 阅读全文
posted @ 2019-10-31 13:41 Eleni 阅读(101) 评论(0) 推荐(0) 编辑
logic
摘要：
1. proposition是一个声明性描述，只有T或F 2. proposition通过logical connectives成为larger proposition，故而logical connectives是一个operations although=and=but=nevertheless 阅读全文
posted @ 2019-10-30 16:22 Eleni 阅读(353) 评论(0) 推荐(0) 编辑
Radar background and surface interaction
摘要：
1. RADAR：RAdio Detection And Ranging无线电探测和测距 雷达系统是一种测距装置，它根据定向脉冲束在特定距离上的往返行程时间来测量距离 上式中的2均是因为发射+返回算一次 2. 雷达分为探测雷达，气象雷达系统等，我们主要关注映射雷达与成像雷达 雷达不依附于太阳，不受阴 阅读全文
posted @ 2019-10-30 15:44 Eleni 阅读(162) 评论(0) 推荐(0) 编辑
