就是n的元素给定m个关系求他们之间的关系。 eg. ∵a>b and b>c ∴a>c emmmm 若要知道n个元素的绝对关系，则需知道C(n,2)个关系。 例题：POJ3 ...

弗洛伊德算法-Floyd(Floyd-Warshall)-求多源最短路径，求传递闭包Floyd算法又称为插点法，是一种利用动态规划的思想寻找给定的加权图中多源点之间最短路径的算法， 与Dijkstra算法类似。该算法名称以创始人之一、1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特 ...

传递闭包 在数学中，在集合 X 上的二元关系 R 的传递闭包是包含 R 的 X 上的最小的传递关系。 例如，如果 X 是(生或死)人的集合而 R 是关系“为父子”，则 R 的传递闭包是关系“x 是 y 的祖先”。再比如，如果 X 是空港的集合而关系 xRy 为“从空港 x 到空港 y ...

径，则将T[i,j]设置为1，否则设置为0；有向图的传递闭包表示从邻接矩阵A出发，求的所有节点间的路径可达情 ...

整除性 辗转相除 整除及其性质 定义5.1.1 ：设a和b是任意整数，若存在整数c，使得a=bc，则称a是b的倍数，b是a的因数。或者称a被b整除，而b整除a。记为b|a。 注意： （1）任意整数 ...

二元关系 设S是一个非空集合,R是关于S的元素的一个条件.假设对S中随意一个有序元素对（a,b）,我们总能确定a与b是否满足条件R,就称R是S的一个关系（relation）.假设a与b满足 ...

一.实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 二.实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式 ...