m_pNext的博客

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

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

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