共查询到10条相似文献,搜索用时 125 毫秒
1.
有限集上二元关系传递性的矩阵判别法 总被引:1,自引:0,他引:1
吴鹏 《成都大学学报(自然科学版)》2009,28(2):122-125
通过对二元关系的关系矩阵元素特征的观察和对Warshall算法的深入研究,得出了3种判断有限集上的二元关系是否具备传递性的矩阵判别法:逻辑相加判别法、逻辑乘方比较判别法、打圈画叉判别法. 相似文献
2.
有限集上等价关系是一个重要的关系,它同集合的划分有着密切的联系。本文根据这些联系,将有限集上等价关系数目的计算转化为该有限集上划分数目的计算,并由此得出了计算有限集上等价关系数目的一个递推公式,具有一定的理论意义和实用价值。 相似文献
3.
刘玉波 《天津师范大学学报(自然科学版)》2007,27(4):30-33
讨论了数域K上有限维空间X到有限维空间Y上的线性算子与Km×n上的矩阵间的相互关系和相互表示形式,证明了数域K上有限维空间上的算子方程与代数方程的相互表示形式和它们解的等价关系,进而得到有限维空间上线性算子的不动点问题与线性空间Kn上的线性方程组的相互表示形式及它们解的等价关系,从而把数域K上有限维空间上的算子方程和不动点问题转化为线性空间Kn上的线性方程组的求解问题. 相似文献
4.
5.
6.
非确定型有穷自动机的极小化 总被引:1,自引:0,他引:1
利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机(DFA)的连接, 构造一台非确定型有穷自动机(NFA). 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂
度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言. 相似文献
7.
设R是含幺结合环,Mk(R)为R上的k阶矩阵环,Gnk(R)表示Mk(R)中的n(n≥2)次广义幂等矩阵集,由n次广义幂等矩阵与代数等价的定义,得到了n次广义幂等正交矩阵集中两种不同形式的等价关系. 相似文献
8.
可加集函数的σ可加性 总被引:2,自引:0,他引:2
厉则治 《厦门大学学报(自然科学版)》1993,32(3):259-261
给出一种判别法,判定一个有限非负可加集函数是否有σ可加性,用二个例子说明这种判别法的优点。 相似文献
9.
有限集上可传递二元关系的矩阵判别方法 总被引:4,自引:0,他引:4
郭树林 《南京工程学院学报(自然科学版)》2003,1(1):67-72
用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。 相似文献
10.
通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。 相似文献