西瓜的博客

离散数学上机实验，给定一个命题公式，求其主析取范式，主合取范式，能力有限，参考了我学长的一篇博客，并进行了许多优化。 本次离散数学实验，我学到了许多东西，也看了自己的不足之处1).我深刻地体会到在比较大型的软件的开发过程中预先进行设计的重要性，就拿这个小程序来说， 如果不预先设计好程序需要的算法，各个函数，解决方法的一步步流程，那么在真正开发过程中效率将大大降低，会不断地删除修改，有时候甚至要重写，这都是事先没有进行计划的原因。2).程序设计中算法的重要性，本程序用到了将命题公式转化为逆波兰表达

对于二叉树T，可以递归定义它的前序遍历，中序遍历，后序遍历，只要深搜理解了，三种遍历都不是事 前序：PreOrder(T)=T的根节点+PreOrder(T的左子树)+PreOrder(T的右子树)； 中序：PreOrder(T)=PreOrder(T的左子树)+T的根节点+PreOrder(T的右子树)； 后序：PreOrder(T)=PreOrder(T的左子树)+PreOrder(T的右

我们来讲解今天的主题之深搜 先来看看深搜深搜：10 8 5 1 2 6 3 4 9 7广搜：10 8 9 5 6 7 1 2 3 4大家对照着图结合开头的几句话来具体感受到底什么是深搜，什么是广搜。个人认为必须要对广搜和深搜之间的区别和这两种算法的遍历顺序有一个概念，这样看起代码来应该会很容易，大家可以结合我的gdb调试那篇文章来理解深搜。