摘要：###2-SAT问题***####问题定义SAT(satisfiability / 适定性问题)：对于一个合取范式，求解使得该合取范式的值为1。 a and (b or c) and (d or e or f) and ...2-SAT：该合取范式的每一个子式只包含两个变量。 (a or b) an... 阅读全文

摘要：###快速求积、快速求幂，及其与大数取模***####总结:快速求幂可以用来求解整数的幂运算，避免使用pow函数有可能引入的误差。快速求积运算单独使用是没有什么价值的。快速求积与快速求幂运算主要是与大数取模结合起来使用的，用来求解大数运算的解的模。***####快速求积: // 原理: a*b = ... 阅读全文

摘要：### 2012 Asia Changchun Regional Contest### K题 Yukan's Birthday### HDOJ 4430***####知识点总结:* 二分查找，时间复杂度: log(n)* 整数的幂运算不要使用pow()函数，因为无法保证精度问题，通过【快速求幂】方法... 阅读全文