一类有限变换半群的Green关系

在 [5]中作者考察过一类变换半群 ,即 TE(X) ={ f∈TX: (a,b)∈ E,(f(a) ,f(b) )∈ E},这里 E是集合 X上任一等价关系 .当 X带上以所有 E类为基的拓扑时 ,TE(X)恰是拓扑空间 X上的连续自映射半群 .本文讨论了半群 TE(X)上的 Green关系 ,并且当 X为有限集 ,E是单等价关系时 ,给出了全部 Green关系的刻划 .

有限保序变换半群O_n的极大子半群

在文献[1]中,给出了有限保序变换半群On的一些极大子半群的刻划,本文在此基础上找出了On的一般形式下的4种极大子半群的刻划。本文先定义了On的4个子集,其次证明了它们是On的子半群,然后给出了它们的一些性质,最后证明了它们是On的极大子半群。

具有稳定子集的有限奇异变换半群的Green关系

设Xn为n元有限集,Singn为Xn上的奇异变换半群,A为Xn中的任意非空子集,令S(Xn,A)={α∈singn∶x∈A,xα∈A},则S(Xn,A)是singn的一个子半群。刻划了该半群的Green关系,Green*关系及一些简单性质。

映射相等问题的安全双方计算协议

安全多方计算协议是指拥有秘密输入的n方,在不泄漏各自秘密输入的前提下共同正确地计算1个函数,并且除了输出所反映的信息之外,任何一方的输入信息都不泄漏.基于可交换确定型加密体制,在半诚实模型下给出了判断元素属于集合、集合相等及同一集合上的等价关系相等的安全双方计算协议.给出了利用核、像和核类来判断映射相等的方法,在此基础上进一步提出了判断映射相等的安全双方计算协议,并对协议的正确性、安全性和效率进行了说明.