从CNF到DPLL算法
从三个问题出发: 什么是CNF? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,co... » 阅读全文
从三个问题出发: 什么是CNF? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,co... » 阅读全文
红黑树的具体实现,难点在于对红黑树进行插入和删除操作后的修复过程,需要分很多种情况来处理
问题 输入:n个骰子的状态(上下左右前后) 输出:骰子的种类数和每种的个数 相同的骰子:可以通过旋转达到相同状... » 阅读全文