m0_60531106的博客

按照边长度从小到大开始加边，若该边两点的集合不为同一个，那么就将该边加入最小生成树中，totalvalue为最小生成树的权值，该权值加上该边的长度。定义ty存储每条边的信息，因为该图为一个无向图，因此x,y存储边的两点，len为该边的长度(权值)，然后edge结构体数组则存储所有边的信息。判断加入的边是否会形成回路，看该边两点的集合是否为同一个，若为同一个就说明会形成回路，不为同一个就不会形成回路。定义ty2为最终加入最小生成树的边，ans数组存储组成最小生成树的所有边。首先先将所有点对应的集合设为自己。

(5)这样处理n次后，再对f矩阵处理，f矩阵此时的值为邻接矩阵乘以1-n次后所有矩阵值的相加，将f矩阵中有数字的值全改为1，即为两点之间可达。因此f就为邻接矩阵g的可达矩阵。(1)首先先根据有向图的可达矩阵来判断该图是否为强连通和单侧连通，若图中存在两点有边，则说明为单侧连通的；(2)因为此题求的为简单有向图的连通性质，因此两点间的距离不会大于点的个数(n)，所以将邻接矩阵相乘n次即可。首先先将有向图的邻接矩阵g的可达矩阵求出，然后将有向图转换为无向图后，再将其邻接矩阵gw的可达矩阵fw求出。

Set结构用来存储集合元素及其性质等，str存储集合元素，ni存储每个元素的逆元，yao存储集合的幺元，ling存储集合的零元，YJ存储每个元素的阶，size存储集合元素个数，f为1表示该代数系统具有封闭性、jie为1表示该代数系统具有结合性、jiao为1表示该代数系统具有交换性、isni为1表示该集合的所有元素均具有逆元、isxun为1表示该代数系统的每个元素均具有阶。YJ每个元素默认值也为0。（1）集合s满足封闭性，结合性，交换性，有幺元，每个元素有逆元，每个元素都有阶，则该代数系统为循环群。

如果出现横纵坐标不相同，且相反的两点，但是其只有一个为1，说明该集合存在a,b属于该集合，且有,没有序偶，则该矩阵不可能具有对称关系，将flagd = 0;如果出现横纵坐标不相同，且相反的两点，但是其为1，说明该集合存在a,b属于该集合，且有,序偶，则该矩阵不可能具有反对称关系，将flagfd = 0;如果出现横纵坐标相同的点，但是其不为1，说明该集合存在a属于集合s，但不具有序偶，则该矩阵不可能具有自反关系，将flagz = 0;

遇到变元也将其入栈，一但遇到右括号，那么就要再次出栈计算，计算后再将其入栈，直到遇到左括号为止，最后匹配完公式，还得继续计算剩下的操作符和变元。利用递归思想，分析str中所有的命题变元均有两个取值，即F、T，那么我们就递归的将每一个变元进行真值指派，即先令第一个变元为F，然后第二个变元为F......照这样将所有命题变元指派完后，存储该可能的命题公式的指派，然后回退return，即回到上一层将最后一个变元真值改为T，然后再记录，再回退，以此类推。主合取范式类似，即找到真值为F的析取式，将其合取起来。

目前根据郑州大学主校区面积区域的广大，以及南、北核心教学楼的教室分布密集且较多；另外，多数地图软件无法精细导航到一个具体的地点，容易造成原地转圈的烦恼。但是，我们转换思路，仅仅根据我们对于校园充分的熟悉度，给出了郑州大学主校区柳、荷、菊、松四个园区和南、北核心教学楼各个教室的名称信息及有线路联通的地点之间的距离，利用郑州大学主校区教室导航系统计算出给定的起点到终点之间的最近距离及最优路线。zzu教室导航系统主要提供给用户三个选项进行操作，分别为输出地图、教室导航、退出。