图的基本操作

编写算法能够建立带权图，输出该带权图各顶点的度，关联的所有边和边上的权值。输出该带权图的深度，广度优先遍历序列，并能够删除该带权图的任一顶点和该点关联的所有边。

命题公式合法性的判定

命题公式合法性的判定

树与二叉树的转换

利用双亲表示法创建一棵树，将该树转换成二叉链表表示，并给出转换后的二叉树的先序、中序和后序遍历结果以及对该二叉树进行中序遍历线索化。