单纯Hybrid三元系大集的四倍构作

一个v阶Hybrid三元系,记作HTS(v),是一个对子(X,B),其中X是v元集,B是X中循环三元组和可迁三元组的集合(称作区组),满足X的每个有序对都恰包含于B中一个区组.设(X,B)是一个没有重复区组的HTS(v),如果区组集{(x,y,z),(z,y,x),(z,x,y),(y,x,z),(y,z,x),(x,z,y),,}中有一个三元组包含在B中,必有区组集中其它三元组都不包含在B中,则称(X,B)是单纯的,记为PHTS(v).不相交PHTS(v)大集,记为LPHTS(v),是一个集合{(X,Bi)}i,其中每个(X,Bi)都是PHTS(v),并且∪iBi构成了X中所有循环三元组和可迁三元组的一个划分.给出了LPHTS(v)的一种三倍构造方法,得到了其存在的两个无穷类:对于非负整数m,存在LPHTS(3·3m+1)和LPHTS(5·3m+1).     

指标为3的单纯可迁三元系大集的三倍构作

 一个指标为3的可迁三元系DTS（v,3）是一个对子（X,B）（其中X为一个v元集,B为X中可迁三元组（称作区组）的集合）,满足X的每个有序对都恰包含于B中的3个区组。设（X,B）是一个没有重复区组的DTS（v,3）,如果（x,y,z）∈B,必有（z,y,x）,（z,x,y）,（y,x,z）,（y,z,x）,（x,z,y）?埸B,则称（X,B）是单纯的,记为PDTS（v,3）。不相交PDTS（v,3）大集记为LPDTS（v,3）,是一个集合{（X,Bi）}i,其中每个（X,Bi）都是PDTS（v,3）,并且∪iBi构成X中所有可迁三元组的一个划分。本文给出了LPDTS（v,3）的一种三倍构造方法,得到了其存在的一个无穷类：对于任意正整数v,v≡8,14（mod18）,存在LPDTS（v,3）。结论对构作常重码具有重要的参考价值和理论意义。     

指标为3的单纯Mendelsohn三元系大集

一个指标为3的Mendelsohn三元系,记为MTS(ν,3),是一个对子(X,β),其中X是一个ν元集,β是X中循环三元组(区组)的集合,满足X的每一个有序对都恰包含于β中的3个区组.设(X,β)是一个没有重复区组的MTS(ν,3),如果(x,y,z)∈β必有(z,y,x)≠β则称(X,β)为单纯的,记为PMTS(ν,3).不相交PMTS(ν,3)大集,记为LPMTS(ν,3),是一个集合{(X,β)}i,其中每个(X,β)都是一个PMTS(ν,3),并且Uiβi构成了X中所有循环三元组的一个划分.本文给出了LPMTS(ν,3)的一种构造方法,得到了其存在的一个无穷类:对于ν≡8,14(mod 18),ν≠14,存在LPMTS(ν,3).     

一种三角形分解的大集和超大集

混-4三角形分解的大集,记为LT4(v,λ,4λ),是一个集族{(X,(β)r):1≤r≤v-2/λ}.其中,X是一个v元素,每一个(X,(β)r)是一个混-4三角形分解T4(v,λ,4λ).混-4三角形分解的超大集,记为OLT4(v,1,4),是一个集族{(X\{x},(A)x):x∈X}.其中,X是一个v 1元集,每一个(X\{x},(A)x)是一个混-4三角形分解T4(v,1,4).给出了LT4(v,λ,4λ)和OLT4(v,1,4)存在的充分必要条件.     

七点有向θ图的图设计

设Kv是一个v点的有向完全图,G是一个简单有向图,Kv的一个G-设计,记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的点集,B为Kv的一些子图(也称为区组)构成的集合,使得任一子图(区组)与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。研究了七点有向图的图设计的存在性问题。     

型为44的OGDD的同构分类

正交可分组设计是一个四元组(X,Y,A,B）,其中X是一个点集,Y是X的一个划分(称为组集),A和B是两个不交的三元子集簇,满足对不在同一组的任一点对{x,y}恰好出现在A的一个三元集中,也恰好出现在B的一个三元集中．进一步有(a)如果{x,y,a}∈A且{x,y,b}∈B,那么a和b不在同一组,且(b)如果{x,y,z},{u,v,z}∈A且{u,v,b},{x,y,a}∈B,那么a≠b,在这篇文章中,将证明只有一个型为4^4的OGDD的同构类．     

幂等对称拟群的超大集

一个v阶拟群(X,。)等价于一个v(v-1)×3的部分正交表(每行由三个不同元素构成).若对任意a,b∈X,都有a。b=b。a,则称(X,。)为对称的.设y为v+1元集,y的由三个不同元素构成的(v+1)v(v-1)个有序三元组作成集合T(v+1).若T(v+1)可分拆成v+1个分别作用在Y＼{y}上的两两不交的部分正交表By,则称{(y＼{y},By);y∈y}为幂等对称拟群的超大集.本文证明了存在v阶幂等对称拟群的超大集当且发v≡1(mod 2),v≥3.     

关于两个六点八边图的图设计

设Kv是一个v个点的完全图,G为Kv的一个不含孤立点的简单子图.Kv的一个G-设计,常记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的顶点集,B是Kv的一些子图(亦称为区组)构成的集合,使得每一个区组与G同构,且Kv的任何一条边恰在B的一个区组中出现.文章讨论了两个六点八边图G1和G2的图设计存在性问题,并证明了(v,Gi,1)-GD(i=1,2)存在的必要条件v≡0,1(mod 16)且vE 16也是充分的.     

区组长为4的自反有向平衡不完全区组设计

如果从一个有向平衡不完全区组设计DB(k,λ;v)(X,B)到(X,β-1)之间存在一个同构映射f,则这个DB(k,λ;v)被称为自反的,记为SCDB(k,λ;v)(X,β,f),其中β-1={B-1:B∈B},当B=(x1,x2,…,xk-1,xk)时B-1=(xk,xk-1,…,x2,x1).本文主要证明了SCDB(4,λ;v)存在的充分必要条件是λ≡1,2(mod 3)时,v≡1(mod 3)且v≥4,(v,λ)≠(7,1);λ≡0(mod 3)时,v为≥4的任意整数.     

三个拉丁方的Fine-structure的一些结果

如果存在三个v阶拉丁方有fine-structure(t,s),将所有这样的整数对(t,s)的集合记为Fin(v).证明了(2,14),(2,15),(2,16)(≠)Fin(v),v=5,6,7.     

关于丢番图方程1+2x7y+2z5u7v=5w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+2^x7^y+2^z5^u7^v=5^w的全部非负整数解：(x,y,z,u,v,w)=(1,0,1,0,0,1),(1,1,1,1,0,2),(2,0,2,1,0,2),(3,0,4,0,0,2),(4,0,3,0,0,2),(4,1,9,0,0,4),(5,1,4,2,0,4),(6,0,4,1,1,4),(9,0,4,0,1,4).     

BCI-代数与BCK-代数的粘合(Ⅰ)

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.     

一类六点八边图的图设计

设Kv是一个v个点的完全图,G为Kv的一个不含孤立点的简单子图.Kv的一个G-设计,常记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的顶点集,B是Kv的一些子图(亦称为区组)构成的集合,使得每一个区组与G同构,且Kv的任何一条边恰在B的一个区组中出现.文章讨论了一类六点八边图中尚未解决的3个图Gi(i=1,2,3)的图设计存在性问题,并证明了(v,G,1)-GD(i=1,2,3)存在的必要条件v=0,1(mod 16)且≥16也是充分的.从而给出了这类六点八边图图设计存在的完全解.     

区组长度为{3,4}的自反Mendelsohn设计和自反强制Mendelsohn设计

一个Mendelsohn设计MD(v,k,λ)称为是自反的,记为SCMD=(v,k,λ)=(X,B,f),如果存在从(X,B)到(X,B-1)的同构映射f,B-1={B-1;B∈B},其中若B=则B-1=.当λ=1时记作k-SCMD(v).一个{k1,k2}-SCMD(v)称为是自反强制Mendelsohn设计,记作{k1,k2}-SCMMD(v),若{k1,k2}-SCMD(v)中区组长度至少有一个k1和一个k2.该文给出了{3,4}-SCMD(v)和{3,4}-SCMMD(v)的存在性.     

一类色唯一的K4同胚图

本文证明：如果正整数x,y,z,u,v,w中有四个数等于a(≥2），而另外两个数均小于a或其中一个大于a,另一个小于a，则k4(x,y,z,u,v,w)是色唯一的。     

完全四部图的色性

设G是一个图，P(G，λ)是G的色多项式．若P(G，λ)=P(H，λ)，则称G和H是色等价的，简单地用G～H表示．令[G]={H\H～G)．若[G]={G)，称G是色唯一的．用G=K(n1，n2，n3，n4)表示完全四部图且2≤n1≤n2≤n3≤n4，得到了[G]С{K(x，y，z，w)-S｜z y w =n1 n2 n3 n4,1≤z≤y≤z≤w≤n4-1，或1≤x≤y≤z≤n3-1和w=n4U{G}，其中S是K(x，y，z，w)的某s条边组成的集合且K(x，y，z，w)-s表示从K(x，y，z，w)中删去S中所有边得到的图．从而证明了当n≥k 2，t≥2时，K(n-k，n，n，n)是色唯一的．     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

有限双向E类保序变换半群的Green关系和正则性

设(X,≤)是全序集,T(X)是X上的全变换半群,E为X上的任意的非平凡等价关系,设E*O(X)={α∈T(X):x,y∈X,(x,y)∈E,x≤y(xα,yα)∈E,xα≤yα}则E*O(X)是T(X)的子半群;当X是有限和E是凸时,研究了E*O(X)的Green关系,并证明了它是正则子半群.