首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 828 毫秒
1.
2.
A defining set of a t-(v, k, λ) design is a subcollection of its blocks which is contained in no other t-design with the given parameters, on the same point set. A minimal defining set is a defining set, none of whose proper subcollections is a defining set. The spectrum of minimal defining sets of a design D is the set {|M| | M is a minimal defining set of D}. We show that if a t-(v, k, λ) design D is contained in a design F, then for every minimal defining set d D of D there exists a minimal defining set d F of F such that \({d_D = d_F\cap D}\). The unique simple design with parameters \({{\left(v,k, {v-2\choose k-2}\right)}}\) is said to be the full design on v elements; it comprises all possible k-tuples on a v set. Every simple t-(v, k, λ) design is contained in a full design, so studying minimal defining sets of full designs gives valuable information about the minimal defining sets of all t-(v, k, λ) designs. This paper studies the minimal defining sets of full designs when t = 2 and k = 3. Several families of non-isomorphic minimal defining sets of these designs are found. For given v, a lower bound on the size of the smallest and an upper bound on the size of the largest minimal defining set are given. The existence of a continuous section of the spectrum comprising approximately v values is shown, where just two values were known previously.  相似文献   

3.
A defining set of a t?(v, k, ??) design is a subcollection of its blocks which is contained in a unique t-design with the given parameters. A minimal defining set is a defining set, none of whose proper subcollections is a defining set. The spectrum of minimal defining sets of a design D is the set {|M| | M is a minimal defining set of D}. The unique simple design with parameters ${{t-\left(v, k, \begin{array}{ll}\left(\begin{array}{ll}v-t\\ k-t\end{array}\right)\end{array}\right)}}$ is said to be the full design on v elements. This paper studies the minimal defining sets of full designs when t = 2 and k = 3. The largest known minimal defining set is given. The existence of a continuous section of the spectrum comprising asymptotically 9v 2/50 values is shown. This gives a quadratic length section of continuous spectrum where only a linear section with respect to v was known before.  相似文献   

4.
 A minimal defining set of a Steiner triple system on v points (STS(v)) is a partial Steiner triple system contained in only this STS(v), and such that any of its proper subsets is contained in at least two distinct STS(v)s. We consider the standard doubling and tripling constructions for STS(2v+1) and STS(3v) from STS(v) and show how minimal defining sets of an STS(v) gives rise to minimal defining sets in the larger systems. We use this to construct some new families of defining sets. For example, for Steiner triple systems on 3 n points, we construct minimal defining sets of volumes varying by as much as 7 n−2 . Received: September 16, 2000 Final version received: September 13, 2001 RID="*" ID="*" Research supported by the Australian Research Council A49937047, A49802044  相似文献   

5.
There are six types of triangles:undirected triangle,cyclic triangle,transitive triangle,mixed-1triangle,mixed-2 triangle and mixed-3 triangle.The triangle-decompositions for the six types of triangles havealready been solved.For the first three types of triangles,their large sets have already been solved,and theiroverlarge sets have been investigated.In this paper,we establish the spectrum of LT_i(v,λ),OLT_i(v)(i=1,2),and give the existence of LT_3(v,λ)and OLT_3(v,λ)with λ even.  相似文献   

6.
We introduce a uniform technique for constructing a family of symmetric designs with parameters (v(q m+1-1)/(q-1), kq m ,q m), where m is any positive integer, (v, k, ) are parameters of an abelian difference set, and q = k 2/(k - ) is a prime power. We utilize the Davis and Jedwab approach to constructing difference sets to show that our construction works whenever (v, k, ) are parameters of a McFarland difference set or its complement, a Spence difference set or its complement, a Davis–Jedwab difference set or its complement, or a Hadamard difference set of order 9 · 4 d , thus obtaining seven infinite families of symmetric designs.  相似文献   

7.
Abstract Given any positive integers k≥ 3 and λ, let c(k, λ) denote the smallest integer such that vB(k, λ) for every integer vc(k, λ) that satisfies the congruences λv(v− 1) ≡ 0(mod k(k− 1)) and λ(v− 1) ≡ 0(mod k− 1). In this article we make an improvement on the bound of c(k, λ) provided by Chang in [4] and prove that . In particular, . Supported by NSFC Grant No. 19701002 and Huo Yingdong Foundation  相似文献   

8.
The basic necessary conditions for the existence of a (v, k, λ)-perfect Mendelsohn design (briefly (v, k, λ)-PMD) are vk and λ v(v − 1) ≡ 0 (mod k). These conditions are known to be sufficient in most cases, but certainly not in all. For k = 3, 4, 5, 7, very extensive investigations of (v, k, λ)-PMDs have resulted in some fairly conclusive results. However, for k = 6 the results have been far from conclusive, especially for the case of λ = 1, which was given some attention in papers by Miao and Zhu [34], and subsequently by Abel et al. [1]. Here we investigate the situation for k = 6 and λ > 1. We find that the necessary conditions, namely v ≥ 6 and λ v(v − 1)≡0 (mod 6) are sufficient except for the known impossible cases v = 6 and either λ = 2 or λ odd. Researcher F.E. Bennett supported by NSERC Grant OGP 0005320.  相似文献   

9.
A defining set of a t-(v,k,λ) design is a subcollection of its blocks which is contained in a unique t-design with the given parameters on a given v-set. A minimal defining set is a defining set, none of whose proper subcollections is a defining set. The spectrum of minimal defining sets of a design D is the set {|M|∣M is a minimal defining set of D}. The unique simple design with parameters is said to be the full design on v elements; it comprises all possible k-tuples on a v set. We provide two new minimal defining set constructions for full designs with block size k≥3. We then provide a generalisation of the second construction which gives defining sets for all k≥3, with minimality satisfied for k=3. This provides a significant improvement of the known spectrum for designs with block size three. We hypothesise that this generalisation produces minimal defining sets for all k≥3.  相似文献   

10.
Let N be the set of nonnegative integers, let , t, v be in N and let K be a subset of N, let V be a v-dimensional vector space over the finite field GF(q), and let W Kbe the set of subspaces of V whose dimensions belong to K. A t-[v, K, ; q]-design on V is a mapping : W K N such that for every t-dimensional subspace, T, of V, we have (B)=. We construct t-[v, {t, t+1}, ; q-designs on the vector space GF(q v) over GF(q) for t2, v odd, and q t(q–1)2 equal to the number of nondegenerate quadratic forms in t+1 variables over GF(q). Moreover, the vast majority of blocks of these designs have dimension t+1. We also construct nontrivial 2-[v, k, ; q]-designs for v odd and 3kv–3 and 3-[v, 4, q 6+q 5+q 4; q]-designs for v even. The distribution of subspaces in the designs is determined by the distribution of the pairs (Q, a) where Q is a nondegenerate quadratic form in k variables with coefficients in GF(q) and a is a vector with elements in GF(q v) such that Q(a)=0.This research was partly supported by NSA grant #MDA 904-88-H-2034.  相似文献   

11.
We show that if G is a finite Abelian group and the block size is 3, then the necessary conditions for the existence of a (v,3,λ;G) GBRD are sufficient. These necessary conditions include the usual necessary conditions for the existence of the associated (v,3,λ) BIBD plus λ≡ 0 (mod|G|), plus some extra conditions when |G| is even, namely that the number of blocks be divisible by 4 and, if v = 3 and the Sylow 2-subgroup of G is cyclic, then also λ≡ 0 (mod2|G|).  相似文献   

12.
Restricted strong partially balanced t-designs were first formulated by Pei, Li, Wang and Safavi-Naini in investigation of authentication codes with arbitration. In this article, we will prove that splitting authentication codes that are multi-fold perfect against spoofing can be characterized in terms of restricted strong partially balanced t-designs. We will also investigate the existence of restricted strong partially balanced 3-designs RSPBD 3-(v, b, 3 × 2; λ1, λ2, 1, 0)s, and show that there exists an RSPBD 3-(v, b, 3 × 2; λ1, λ2, 1, 0) for any v o 9 (mod 16){v\equiv 9\ (\mbox{{\rm mod}}\ 16)} . As its application, we obtain a new infinite class of 3-fold perfect splitting authentication codes.  相似文献   

13.
Let λK m,n be a bipartite multigraph with two partite sets having m and n vertices, respectively. A P v-factorization of λK m,n is a set of edge-disjoint P v -factors of λK m,n which partition the set of edges of λK m,n. When v is an even number, Ushio, Wang and the second author of the paper gave a necessary and sufficient condition for the existence of a P v -factorization of λK m,n. When v is an odd number, we proposed a conjecture. However, up to now we only know that the conjecture is true for v = 3. In this paper we will show that the conjecture is true when v = 4k − 1. That is, we shall prove that a necessary and sufficient condition for the existence of a P 4k−1-factorization of λK m,n is (1) (2k − 1)m ⩽ 2kn, (2) (2k − 1)n ⩽ 2km, (3) m + n ≡ 0 (mod 4k − 1), (4) λ(4k − 1)mn/[2(2k − 1)(m + n)] is an integer.  相似文献   

14.
A new definition for the dimension of a combinatorial t-(v,k,) design over a finite field is proposed. The complementary designs of the hyperplanes in a finite projective or affine geometry, and the finite Desarguesian planes in particular, are characterized as the unique (up to isomorphism) designs with the given parameters and minimum dimension. This generalizes a well-known characterization of the binary hyperplane designs in terms of their minimum 2-rank. The proof utilizes the q-ary analogue of the Hamming code, and a group-theoretic characterization of the classical designs.  相似文献   

15.
The spectrum of path factorization of bipartite multigraphs   总被引:1,自引:0,他引:1  
LetλK_(m,n)be a bipartite multigraph with two partite sets having m and n vertices, respectively.A P_v-factorization ofλK_(m,n)is a set of edge-disjoint P_v-factors ofλK_(m,n)which partition the set of edges ofλK_(m,n).When v is an even number,Ushio,Wang and the second author of the paper gave a necessary and sufficient condition for the existence of a P_v-factorization ofλK_(m,n).When v is an odd number,we have proposed a conjecture.Very recently,we have proved that the conjecture is true when v=4k-1.In this paper we shall show that the conjecture is true when v = 4k 1,and then the conjecture is true.That is,we will prove that the necessary and sufficient conditions for the existence of a P_(4k 1)-factorization ofλK_(m,n)are(1)2km≤(2k 1)n,(2)2kn≤(2k 1)m,(3)m n≡0(mod 4k 1),(4)λ(4k 1)mn/[4k(m n)]is an integer.  相似文献   

16.
Splitting t-designs were first formulated by Huber in recent investigation of optimal (t − 1)-fold secure splitting authentication codes. In this paper, we investigate the construction and existence of splitting t-designs t-(v, u × k, 1) splitting designs and, show that there exists a 3-(v, 3 × 2, 1) splitting design if and only if v ≡ 2 (mod 8). As its application, we obtain a new infinite class of optimal 2-fold secure splitting authentication codes.  相似文献   

17.
Let (v,u×c,λ)-splitting BIBD denote a (v,u×c,λ)-splitting balanced incomplete block design of order v with block size u×c and index λ. Necessary conditions for the existence of a (v,u×c,λ)-splitting BIBD are vuc, λ(v−1)≡0 (mod c(u−1)) and λ v(v−1)≡0 (mod (c 2 u(u−1))). We show in this paper that the necessary conditions for the existence of a (v,3×3,λ)-splitting BIBD are also sufficient with possible exceptions when (1) (v,λ)∈{(55,1),(39,9k):k=1,2,…}, (2) λ≡0 (mod 54) and v≡0 (mod 2). We also show that there exists a (v,3×4,1)-splitting BIBD when v≡1 (mod 96). As its application, we obtain a new infinite class of optimal 4-splitting authentication codes.  相似文献   

18.
The Multiplier Theorem is a celebrated theorem in the Design theory. The conditionp>λ is crucial to all known proofs of the multiplier theorem. However in all known examples of difference sets μ p . is a multiplier for every primep with (p, v)=1 andpn. Thus there is the multiplier conjecture: “The multiplier theorem holds without the assumption thatp>λ”. The general form of the multiplier theorem may be viewed as an attempt to partially resolve the multiplier conjecture, where the assumption “p>λ” is replaced by “n 1>λ”. Since then Newman (1963), Turyn (1964), and McFarland (1970) attempted to partially resolve the multiplier conjecture (see [7], [8], [9]). This paper will prove the following result using the representation theory of finite groups and the algebraic number theory: LetG be an abelian group of orderv,v 0 be the exponent ofG, andD be a (v, k, λ)-difference set inG. Ifn=2n 1, then the general form of the multiplier theorem holds without the assumption thatn 1>λ in any of the following cases:
2〈  n 1;
2 Xn 1 and (v, 7)=1;
2 Xn1, 7〈  v, andt≡1 or 2 or 4 (mod 7).
Supported by the scientific research finances of Peking University.  相似文献   

19.
 A t(v,k,λ) design is a set of v points together with a collection of its k-subsets called blocks so that t points are contained in exactly λ blocks. PG(n,q), the n-dimensional projective geometry over GF(q) is a 2(q n +q n−1 +⋯+q+1,q 2+q+1, q n−2 + q n−3 +⋯+q+1) design when we take its points as the points of the design and its planes as the blocks of the design. A 2(v,k,λ) design is said to be resolvable if the blocks can be partitioned as ℱ={R 1,R 2,…,R s }, where s=λ(v−1)/(k−1) and each R i consists of v/k disjoint blocks. If a resolvable design has an automorphism σ which acts as a cycle of length v on the points and ℱσ=ℱ, then the design is said to be point-cyclically resolvable. The design consisting of points and planes of PG(5,2) is shown to be point-cyclically resolvable by enumerating all inequivalent resolutions which are invariant under a cyclic automorphism group G=〈σ〉 where σ is a cycle of length v. These resolutions are shown to be the only resolutions which admit point-transitive automorphism group. Received: November 10, 1999 Final version received: September 18, 2000 Acknowledgments. The author would like to thank A. Munemasa for his assistance in writing computer programs on constructing projective spaces and searching for partial spreads. Moreover, she's thankful to T. Hishida and M.␣Jimbo for helpful discussions and for verifying the results of this paper. Present address: Mathematics Department, Ateneo de Manila University, Loyola Heights, Quezon City 1108, Philippines. e-mail: jumela@mathsci.math.admu.edu.ph  相似文献   

20.
This paper generalizes the results of Kohler concerning the construction of t-(v, k, ) designs having a group action. Difference families are defined for arbitrary groups and arbitrary design parameters. Furthermore, the results of Brand and Huffman concerning topological invariants of t=2 designs are generalized to arbitrary values of t.The research in this paper was partially supported by an NTSU Faculty Research Grant (# 35524).  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号