(133,33,8)和(143,71,35)循环差集的唯一性

设■(v,k,λ)表示全体(v,k,λ)循环差集组成的集合。对于D_1、D_a∈■(v,k,λ),若存在整数t、s(gcd(t,v)=1),使得D_2≡tD_1 s(mod v),则称D_1和D_2是等价的,记为D_1～D_2。这样定义的关系“～”确为■(v,k,λ)     

型循环拟差集存在的一些必要条件

1973年,H.J.Rysert提出了Ⅰ型循环拟差集的概念,并且给出了它存在的一些必要条件。本文给出(v,k,λ)-Ⅰ型循环拟差集存在的其他必要条件,并利用所得到的结果,对满足v≡2(mod4),v<100的整数v,考察了(v,k,λ)-Ⅰ型循环拟差集的存在性问题。     

(40,13,4)循环差集

设D(v,k,λ)表示全体(v,k,λ)循环差集所组成的集合。对于D_1,D_2∈D(v,k,λ),若存在整数t,s(gcd(t,v)=1)使得     

循环差集的额外乘数

H.B.Mann首先研究了(v,k,λ)循环差集的额外乘数——非n=k-λ因数的乘数,并得到了整数2不是任一非平凡循环差集的额外乘数这一有趣的结果。本文证明了Mann(见Some Theorems on     

一个乘数定理的平凡性

本文旨在说明文[4]中的结果是平凡的。定理设D是(υ,κ,λ)循环差集,υ为素数。如果整数t有如下性质:对任一n的素因数P,都有整数j_p,使得t≡p~(jp) modυ,则t是     

关于对称PBD猜想

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

循环差集的乘数定理

一个循环差集是否必定有非平凡的乘数是个至今悬而未决的著名难题。乘数存在性方面最杰出的成就是Hall的乘数定理。在乘数定理中有两个被所有已知差集验证为多余的条件:(n_0,v)=1和n_0>λ。易知去掉n_0>λ是个关键问题。为此,人们设法     

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

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

标号可分解设计与可分解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]不包含重复区组,则称为单纯的。     

循环Mendelsohn三元系的存在性

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

有限几何与BIB设计的构作(Ⅰ)——利用有限几何的子空间构作BIB设计

设有v 个元素,称作处理,将它们安置在b 个区组中,使得i)每个处理都在r 个区组中出现,ii)安置在每个区组中的处理个数都是k,iii)任意一对不同的处理都在λ个区组中出现,则称此安置为一个平衡不完全区组设计,即BIB 设计,v、b、r、k 与λ叫做这个设计的参数.本文研究利用有限几何的子空间构作     

微分多项式的正规定则

一、引言 在亚纯函数正规族理论中,许多国内学者建立了深刻而饶有兴趣的结果。 杨乐证明了 定理A 设n,k为二正整数,且n≥k+4,a为一有穷非零复数,(?)为区域D内的一亚纯函数族,a_i(z)(i=1,2,…,k-1)在区域D内全纯。若对任意f∈(?),f~(k)(z)+     

无重复区组的可分解二重三元系

一、引言 所谓一个三元系S_λ(2,3;v)是一个序对(V,B),其中V是一个v元集,B是由V的一些3-子集(叫作三元组)组成的子集族,使得V的任一2-子集都恰好包含在λ个三元组中。 S_λ(2,3;v)中若干三元组若构成V的一个划分,则称为一个平行类。若B可划分成平行类,则S_λ(2,3;v)叫作可分解的并记作RS_λ(2,3;v)。若B的某个子集构成V\{x}的一     

环Z/(2e)上本原序列最高权位的0,1分布(Ⅱ)

设f(x)=x~n c_(n-1)x~(n-1) … C_0是Z/(2~e)上首一多项式,适合关系式a_(i n)=-(c_0a_i c_1a_(i 1) … c_(n-1)a_(i n-1)),i=0,1,2,…(1)的Z/(2~e)上序列a=(a_0,a_1,…)称由f(x)生成的线性递归序列,由f(x)生成的Z/(2~e)上的所有序列的集合记为G(f(x))_e,并记G’(f(x))_e={a∈G(f(x))_e│a≠0 mod 2}.递归式(1)等价于关系式f(x)a=0=(0,0,…),其中x表示移位算子,即xa=(a_1,a_2,a_3,…).Z/(2~e)上序列a有唯一权位分解a=a_0 a_12 … a_(e-1)2~(e-1),其中a_i=(a_(i0),a_(i1),…)是0,1序列,并称a_i是a的第i权位序列,称a_(e-1)为a的最高权位序列.对Z/(2~e)上首一n次多项式f(x),若f(0)(即c_0)是可逆元,则由文献[1],f(x)的周期per(f(x))_e≤2~(e-1)(2~n-1).当per(f(x))=2~(e-1)(2~n-1)时,称f(x)是Z/(2~e)上n次本原多项式,并称G’(f(x))_e中序列为f(x)生成的本原序列.文献[2]给出了本原多项式的系数     

域的测度

任给一域k,我们称k为F_d-域,如果存在一个系数取在k中,次数为d的多项式f(x),使得对任何a∈k,多项式方程f(x)=a在k中有解,亦即多项式映射f:k→k是满射.     

一个生成正交阵列OA(98,15,7,2)的差集D(14,14,7,2)

一个有p个元素的N×k矩阵A叫做一个大小为N、约束数为k、水平数为P和强度为2的正交阵列,记作OA(N,k,p,2),如果A的任意两列包含所有可能的p~2个有序对恰好λ次的话。数λ叫做此阵列的指数,显然有N=λp~2。强度2的正交阵列在实验设计法中简称为正交表,并记作L_N(p~k)。设M为一个户阶加群,D为一个元素取     

连续函数的积分表示

本文给出连续函数σ(λ),λ≥0具有如下积分表达式的一个充要条件: ■其中n为一正整数,a_i是常数(i=0,1,…,n-1),G是[0,∞)上的有限测度,被积函数在u=0点的值依连续性定义为((-λ)~n)/n1。利用这一充要条件可以得到超过程某些特征的一般     

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。如果     

正则二部竞赛图的弧泛回路性质

二部竞赛图D=(V,A)即是一个完全二部定向图,称D具有弧k回路性质,若D中的每一条弧均在k回路上,这里k为偶数,且4≤k≤|V(D)|,若对所有的偶数k4≤k≤|V(D)|,D总是具有弧k回路性质,则称D具有弧泛回路性质。