可分解设计RGD(4,3;v)的存在性

所谓一个可分组设计GD(k,m;v)是指这样一个有序三元组(V,G,B),其中V是一个v元集,G是V的一些m子集(称作组)的集合,B是V的一些k子集的集合,使得 (ⅰ) G构成V的一个划分; (ⅱ) V中任意一对取自G中不同组的元素恰好在唯一的一个区组中相遇。 给定一个GD(k,m;v),若B中的若干个区组构成V的一个划分,则称为一个平行     

可分解三元系的嵌入

设X为一个v元集,A为由X的三元子集(叫作区组或三元组)作成的子集族。如果X中任意一对不同元素都恰好同时包含在λ个三元组中,则称序对(X,A)为一个λ重     

标号可分解设计与可分解GD设计的构作

设V为包含v个元素的一个有限集,为V的一些k-子集(称作区组)组成的子集族,若V中任意一对不同的元素恰好在λ个区组中相遇,则称序对(V,(?))为一个平衡不完全区组设计,或简称为区组设计,记作S_λ(2,k;v)。     

不可约单纯设计B[4,2;v]与B[4,3;v,]的存在性

所谓一个平衡不完全区组设计B[k,λ;v]是这样一个序对(X,(?)),其中X是一个包含v个元素的有限集,(?)是由X的k-子集(称为区组)组成的一个子集族,使得X中任意一对不同的元素同时包含于λ个区组中。若一个B[k,λ;v]不包含重复区组,则称为单纯的。     

可分解平衡不完全区组设计RBIB的存在性理论

一个t-(v,k,λ)设计(X,■)是指由一个v元集X和一个X的子集族■所构成的序对,■中的元素为X的某些k元子集(称为区组),而且X中任意的t元子集都恰好被包含在λ个区组之中。2-设计就是在实验设计中经常用到的平衡不完全区组设计(BIB)。如果     

循环Mendelsohn三元系的存在性

所谓一个v阶λ重的Mendelsohn三元系,记作MTS(v,λ)是指这样一个序对(V,B),其中V是一个v元集。     

2~n+2阶Mendelsohn三元系大集的构造

设X是一个v元集(v≥3)。X的一个循环三元组是由三个有序对(x,y),(y,z),(z,x)组成的一个集,其中x,y,z是X的不同元。我们记它为〈x,y,z〉或〈y,z,x〉或〈z,x,y〉。X上的一个Mendelsohn三元系是一个对子(X,B),其中B由X的若干循环三元组构成,使得X的每个(由不同元组成的)有序对恰在B的一个循环三元组中。我们记它为MTS(v)。已经知道MTS(v)存在当且仅当v≡0或1(mod3),v≥3 v≠6。如果     

严格单纯Mendelsohn三元系的嵌入

一个v阶Mendelsohn三元系MTS(v)是这样一个序对(X,v),其中的X是一个v元集,A是由X的循环有序3-子集(称为三元组)组成的集合,使得由X中不同元素作成的任一序对恰好包含在唯一的一个三元组中,我们指出三元组(a,b,c)包含序对(a,b),(b,c)与(c,a)而不包含(b,a),(c,b)或(a,c)。 设(X,A)为一个MTS(v),如果(a,     

对称Mendelsohn三元系和Mendelsohn三元系大集

一个v阶Mendelsohn三元系MTS(v)=(S,(?)),若存在a,b∈S使得则称其为对称的Mendelsohn三元系,记为SMTS(v)。若存在同一个v元集上两两无公共循环三元组的v-2个MTS(v)(SMTS(v)),则称它们为v阶(对称)Men-     

关于图论中的三个B.Zelinka猜想

本文中未给定义的名词术语和未加说明的符号记法都可以在文献[1]中找到。 一、关于方体图可达划分数猜想 设G是无向图,如G的点集V(G)的子集D满足对任意的v∈V(G)-D,存在u∈D,使得u与v邻接,则称D是G的一个可达集。最小可达集的基数称为可达数,记作r(G),V(G)可以划分成若干不交可达集的并,划分的最大基数称为G的可达划分数,记作d(G)。确定n方体Q_n的可达数和可达划分数是一个还没有解决的问题。Zelinka得到了一个部分结     

关于对称PBD猜想

在设计论中我们知道:(1)如D=(V,I)是对称设计S_λ(2,k,v),x∈V,令     

3-GDD大集存在的谱

一个可分组设计GDD(t~u)是一个三元组(X,(?),(?)),它满足如下条件:(1)X是一个tu元点集;(2)(?)将X分拆成u个t子集,(?)中元称为组;(3)(?)是X的3子集簇,(?)中元称为区组,使得对任意B∈(?)及任意G∈(?),|B∩G|≤1,且X的任意不含在同一组内的2子集恰含在一个区组中.具有相同组集的两个GDD(t~u)(X,(?),(?))及(X,(?),(?))称为不相交的,若(?)∩(?)=φ.     

互不相交的transitive三元系大集

设X是一个v元集(v≥3)。X的一个transitive三元组是三个有序对(x,y),(y,z),(x,z)的集,其中x,y,z是x的相异元,通常将此三元组记为(x,y,z)。一个transitive三元系指的是一个有序对(X,％),其中％是X的一些transitive三元组的集     

关于1坚韧图的最长圈

设G是一个连通图,且t为实数,若对V(G)的每个子集S,t·ω(G—S)≤|S|,其中ω(G—S)是G—S的分支数,则称G是t坚韧的。 本文只讨论1坚韧图。设λ=min{d     

几类由PLD确定的连通图

给定简单图G=(V,E),其中V是顶点集,E是边集。若对V的两个顶点u,v,在G中存在含有i个顶点的一条(u,v)路,则称性质P_i(u,v)成立。令S_i(2≤i≤n)是G中有性质P_i(u,v)的无序顶点     

L构造(Ⅱ)

L=(L,≤,∨,∧,′)为—Fuzzy格。X为一分明集,X到L的映射,称为L-Fuzzy集。 设x∈X,记L(x)P(X)(幂集):①L(X)≠φ;② V∈L(x)有x∈V;③若V∈L(x)则有v,∈L(x)使∈,∈L(y)。 定义 若A为X上的L-Fuzzy集,定义     

Riemann流形上Hardy-Littlewood极大算子的有界性

在本文中,D表示有向强连通图,D(n,s)表示连通有向循环图。 设C是V(D)的真子集,若D-C不为强连通的或者为单一顶点,则称C为D的点截集。用B(D)记D中点截集的全体。     

关于函数无理性的一个定理

<正>定理A 若log_hg是有理数,并且{a_n}是无界正整数列,则f(1/10)是无理数.定理B 若{a_n}是无界的正整数列,并且x=0是点集{}的一个聚点,此处表示数X的小数部分,则f(1/10)是无理数.本文要考察在(2)式中的f(x)的无理性.为此,需要下面的定义.定义 设函数φ(t)在以t=0为聚点的某个区域内由φ(t)=sum from k=-λto∞α_kt~(k/r)定义,其中λ,r,以及诸α_k是实数,则称φ(t)在点t=0的阶是-(λ/r),记为     

矩阵dI_βJ的性质及其应用

设v>2,又设v元集S的一个子集系(?)={B_1,B_2,…,B_b}是S上的一个平衡不完全区组设计,其参数为b、v、r、k、λ。记该设计的关联矩阵为A,于是     

关于循环差集的一个性质

设v是一个正整数,D={a_1,…,a_k}是模v的k个不同剩余的集,如果对每一个a(?)0(mod v),同余式a_i-a_j≡a(mod v),a_i,a_j,∈D恰有λ对解(a_i,a_j,),则称D是一个参数为v、k、λ的循环差集(或称完全差集),简称v、k、λ差集。