m_pNext的博客

均为个人笔记，欢迎纠错 一些名词 la linear arithmetic lp linear programming dp dynamic programming   LA/LP theory 的背景和基础知识 Syntax 注意，syntax 都是写死的，只有‘ + ’没有‘ - ’就是没有‘ - ’。 Complexity on domain ration(Q): polynomial on domain integer(Z), ILP: NPC   LA/LP theory 在 NP-Complet

均为个人笔记，欢迎纠错   学了形式化方法最大的收获大概就是明白了计算机科学的存在的意义， 计算机科学不是数学的附庸。 所以，本课中的 theory 最终都会回归到如何解决那些难问题。 一般顺序就是先学习 theory 的 syntax，然后学习为解决这些难问题而出现的算法。 theory 不像中文中“理论”的意思， 更像是一种“范围”。 这个“范围”也不同于有理数，实数这样的“范围”， 而是，难问题是否可以映射到这种 theory，这样的“范围”， 比如，有些难问题可以映射到 LA，有些则不能，或者不合适

significant bit 有效位 bitwise 按位 基础知识 算法 bit-blastting incremental bit-blastting 应用 Fermat’s last theorem 基础知识 算法 Array Reduction Algorithm P1 = eliminate all array write: store(A, i, x); P2 = replace ?x.P1(x) with P1(y); // y is fresh P3 = replace ?x.P2(x)