Steiner三连系的构造与计数.docxVIP

Steiner三连系的构造与计数 Steiner systems，又称Steiner三元组或Steiner triple system，是一种具有特殊性质的有限集合系统。简单的说，就是在一个大集合内，选出若干个小集合，每个小集合中恰好有三个元素，并且所有小集合彼此之间两两无交，那么这个集合系统就是一个Steiner system。本文将介绍Steiner系统的构造方法和计数方法。 一、Steiner系统的构造方法 Steiner系统的构造方法有很多种，下面介绍其中几种经典的构造方法。 1.有限域构造法 对于一个素数$p$，我们可以构造一个有限域$GF(p)$。Steiner系统的构造方法就是选取$GF(p)$中的元素来构成集合。 具体来说，如果$n$是$GF(p)$中的元素，那么可以构造一个小集合$\\{1,n,n^2\\}$，其中$n^2$表示$n$的平方在$GF(p)$中对$p$取模的余数。显然，任意两个小集合之间的交集中恰好有一个元素。而且，由于$p$是素数，$GF(p)$中共有$p+1$个元素，两两组合构成$(p+1)(p+1)/3$个小集合，这就构成了一个$(p+1,3,1)$的Steiner系统。 例如，当$p=7$时，$GF(p)$中的元素为$0,1,2,3,4,5,6$。根据上述构造方法，可以得到一个$(8,3,1)$的Steiner系统，其中的小集合如下所示： $\\{1,2,4\\},\\{1,3,5\\},\\{2,3,6\\},\\{4,5,6\\},\\{1,5,6\\},\\{2,4,6\\},\\{1,7,7\\},\\{2,7,7\\},\\{3,7,7\\},\\{4,7,7\\},\\{5,7,7\\},\\{6,7,7\\}$ 2.几何构造法 几何构造法是一种常用的Steiner系统构造方法。它是利用几何对象来构造Steiner系统的。具体来说，将一个平面或空间等分为若干个小区域，然后将每个小区域内的点作为集合元素，并选取若干个三元组来构成小集合。构造出来的集合系统就是一个Steiner系统。 例如，在平面上取$n$个点，对于任意两个点，连接一条线段。如果这些线段彼此之间没有交点，那么就构造出了一个$n$个点的Steiner系统。 3.差分构造法 差分构造法是一种基于有限域的Steiner系统构造方法。具体来说，对于一个素数$p$和一个实数$r$，定义有限域$GF(p)$中的元素$x$的“值”为$\\lfloor rx\\rfloor$，其中$\\lfloor x\\rfloor$表示不超过$x$的最大整数。 以$p=5$，$r=2/3$为例。$GF(5)$中的元素是$0,1,2,3,4$。其中，元素$0$的值为$0$；元素$1$的值为$1$；元素$2$的值为$1$；元素$3$的值为$2$；元素$4$的值为$2$。 差分构造法的基本思想是，对于一个有限域$GF(p)$，选取$r$的某个值，然后将元素$x$与$x+1$的差值$\\Delta x$作为小集合的元素。即，对于一个小集合$\\{a,b,c\\}$，其中$abc$，则它的元素可以表示为$\\Delta a=b-a$，$\\Delta b=c-b$，$\\Delta c=c-a$。这样，可以构造出一个$(p,3,\\lambda)$的Steiner系统，其中$\\lambda=\\lfloor r(p-1)\\rfloor$。 以$p=5$，$r=2/3$为例。可以构造出一个$(5,3,2)$的Steiner系统，其中的小集合如下所示： $\\{1,1,2\\},\\{1,2,2\\},\\{1,3,3\\},\\{1,4,3\\},\\{2,2,3\\},\\{2,3,4\\},\\{2,4,4\\},\\{3,3,4\\},\\{3,4,1\\},\\{4,4,1\\}$ 二、Steiner系统的计数方法 对于一个$(v,k,\\lambda)$的Steiner系统，我们可以计算它包含多少个小集合。也就是说，我们需要计算$\\lambda$满足什么条件时，$(v,k,\\lambda)$的Steiner系统才有解。 用$\\mathcal{S}(v,k,\\lambda)$表示$(v,k,\\lambda)$的Steiner系统的个数。 1.特殊情况 当$k=2$时，任意两个元素构成一个小集合。因此Steiner系统的构造变得很简单。对任意的$\\lambda$，可以构造出一个$(v,2,\\lambda)$的Steiner系统。因此，$\\mathcal{S}(v,2,\\lambda)=1$。 2.通用计数方法 当$k2$且$\\lambda=1$时，Steiner系统的构造比较困难，计数方法也非常复杂。然而，当$\\lamb