算法导论学习笔记 v1 0.pdfVIP

《法导》学习 Version 1.0 目托：/p/introduction-to-algorithms-notes/ Blog：/site/chuanqitan/ E-mail：chuanqi.tan(at) 欢交流与反，及引用注明 By Hannosogno @ BIT 2011 QQ 121131818 一分：基础知 1：法在中的作用 1. 法即是一列的步，用来将一个有效的入换成一个有效的出。 2. 机的有的源必有效的利用，法就是来决些的方法。 2 ：法入 1. 循环不变式的三个性：（循环不变式常用来明归的正确性） 1. 初始化：它在循环的一代开始之前，应是正确的。 2. 保持：如果在循环的某一次代开始之前它是正确的，么，在下一次代开始之前，它也应保持正确。 3. 止：当循环束时，不变式了我们一个有用的性，它有助于明法是正确的。 2. 伪代码中的定： 1. 书写上的“”示序中的分序（序块）构。 2. while,for,repeat 循环构和if,then,else 条件构与Pascal 中相同。 3. 号 ▷”示后分是个注。 4. 多值i←j←e 是将式e 的值变i 和j；价于j←e，再值i←j。 5. 变（如i,j 和key ）是局定的。 6. 数元是“数名[下标]”样的形式来的。 7. 复合数据一成对，它们是由属性(attribute)和域(field)所成的。 8. 参数用按值传方式：用的会收到参数的一份副本。 9. 布尔and”和or”是具有短力。 3. 法分析即指对一个法所的源测。 4. 对于一个法，一只察其最坏情况的时，理由有三： 1. 一个法的最坏情况时是在任何入下时的一个上界。 2. 对于某些法来，最坏情况出现得是相当的。 3. 大上看来，“平均情况”常和最坏情况一样差。 5. 分治略：将原划分成ｎ个模小构与原相似的子；归地决些小，然后再合并其 果，就得到原的。 6. 分治模式在每一层归上有三个步： 1. 分(Divde)：将原分成一列子； 2. 决(Conquer)：归地各子。子够小，则直接求； 3. 合并(Combine)：将子的果合并成原的。 3 ：函数的增 1. 对几个号的大意：o（渐确上界） ≈ ； O（渐上界） ≈ ≤； Θ（渐界）≈ ； Ω（渐下界）≈ ≥； ω（渐确下界）≈ ; 的,≤,=,≥,指的是模上的比，即o(g(n))的模比g(n)小。  o(g(n))={ f(n): 对任意正常数c，存在常数n 0，使对所有的n≧n ，有0≦f(n)cg(n) } 0 0  O(g(n))={ f(n): 存在正常数c 和n ，使对所有n≧n ，有0≦f(n)≦cg(n) } 0 0  Θ(g(n))={ f(n): 存在正常数c c 和n ，使对所有的n≧n ，有0≦c g(n)≦f(n)≦c g(n) } 1， 2 0 0 1 2  Ω(g(n))={ f(n): 存在正常数c 和n ，使对所有n≧n ，有0≦cg(n)≦f(n) } 0 0  ω(g(n))={ f(n): 对任意正常数c，存在常数n 0，使对所有的n≧n ，有0≦cg(n)f(n) } 0 0 4 ：归式 8. 归式是一式或不式，它所描的函数是用在更小的入下函数