一类由极大码生成的极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B31∪B1(X2\B21)X。证明了C是极大码且C*是自由幺半群X*的极大自由幺子半群。

基于最大Code码的极大完全子图算法

本文通过引入极大 code 码,提出了一种寻找图的极大完全子图的算法 FMCSG,该算法用邻接矩阵表示图。在寻找极大完全子图时根据得到的 code 码及时剪掉非极大 code 码的子矩阵,从而减少对矩阵的遍历次数,提高了算法的效率。

线性等距码与极大投射码

本文证明任意有限域上的一个线性等距码等价于一个极大投射码的重复码 ,从而给出了一般q元线性等距码的全部结构。

极大前缀码的积

主要给出关于极大前缀码的积的必要条件的一个结论:设X是字母表A上的一个稀疏码,Y是A*的一个非空稀疏子集,若XY是极大前缀码,则X和Y都是极大前缀码.同时给出该命题的一个推论.

对偶距离为5的极大自正交码及其子码

研究了自对偶码与其删截得到的极大自正交码的等价性问题。利用删截法构造出码长n满足21≤n≤29、对偶距离为5的二元极大自正交码。再用随机搜索算法研究了所得到的二元极大自正交码的子码,构造出它们的对偶距离为3和5的子码的生成矩阵。研究了这些子码构成的码链以及它们的对偶码构成的码链。利用所得到的码链,由Steane构造法构造出距离为5的具有很好参数的量子纠错码。

一族由前缀码生成的极大自由幺子半群

设X*是由字母表X生成的自由幺半群且A是X*的非空子集,如果A∩AX+=Φ,则称A是前缀码。设{B1,B2}是X的任意2—划分,令A=B2∪B1(Xi\Bi1)∪E,i=1,2,其中E=Bi1+1(B01B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),M≥0。文章证明了A是前缀码且幺半群A*是自由幺半群X*的极大自由幺子半群。

关于前缀码与极大前缀码的一个注记

设X为有限非空集合,X^+为X生成的自由半群.X^+中的元素称为X上的字,用1表示空字.X=X^+∪{1}为X生成的自由幺半群(freemonoid),X的子集称为X上的语言. X上的语言A真称为X上的前缀码;如果A∩AX^+=φ.X上的前缀码A称为X上的极大前缀码,如果对任何x∈X-A,A∪{x}不是前缀码.记X上的前缀码的类为P(X),X上的极大前缀码的类为M(X).

极大前缀码的部分幂

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了极大前缀码的一些性质,给出了极大前缀码的部分幂的一些性质,并推广了相关文献的结果。

极大前缀码的一个性质

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了极大前缀码的一个性质。

极大强码

本文给出极大强码的二个等价定义，设Ａ是字母表，（１）设Ｍ是Ａ＊的子么半群，Ｍ≠，Ｍ≠｛１｝，ａｌｐｈ（Ｍ）＝Ａ，Ｍ满足性质：若ｕｖ∈Ｍ，ｕｗｖ∈Ｍ，则ｗ∈Ｍ的充要条件是Ｍ由一个极大强码生成．（２）设φ：Ａ＊→Ｇ是满同态，Ｇ是群，Ｈ是Ｇ的正规子群，Ｍ＝φ－１（Ｈ），则Ｍ的基是极大强码．

对极大等重等距码结构的进一步分析

在文献 [1 ]的基础上 ,首次找出了 (非线性 )极大等重等距码 (n,2 k,m)的一类特殊等价分类的普遍结构 ,证明了其他中间结果 .

稠密极大双缀码

证明了稀疏极大双缀码的8个等价刻画在去掉稀疏性条件后将互不等价.这充分体现了刻画稠密极大双缀码的复杂性和困难性.

自由幺半群A^＊的两类极大自由幺子半群

构造了自由幺半群A 的两类极大自由幺子半群 ,文中同时给出了自由半群A+ 的极大子半群的完全刻划 .

自由幺半群X^＊的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。

半群X＊的一族极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,A=B2∪E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM2-1B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群。利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的极大自由幺子半群.

自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.

半群X^＊的一族极大自由幺子半群

考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图,利用它证明了该族子半群是一族极大自由幺子半群.

半群X^＊的一族极大自由幺子半群的构造性证明

分析自由幺半群X﹡的一族特殊幺子半群,并以X﹡为顶点集构造了一个语言图,利用它证明了该族子半群是半群X﹡的一族极大自由幺子半群。

自由幺半群X^＊的一族极大自由幺子半群

设X*是由字母表生成的自由幺半群,B1,B2是X的任意2—划分,C=B2∪B1XN,N≥1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N+1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群.