diff --git a/01LetsCount.tex b/01LetsCount.tex index e5470ee..ac8fc09 100644 --- a/01LetsCount.tex +++ b/01LetsCount.tex @@ -3,7 +3,7 @@ \begin{definition} \label{集合定义} - \textbf{集合}是一些确定的、作为整体识别的、互相区别的对象的总体。组成集合的对象称为集合的\newnoun{成员}{member}或\newnoun{元素}{element}。 + {\bf{集合}}是一些确定的、作为整体识别的、互相区别的对象的总体。组成集合的对象称为集合的\newnoun{成员}{member}或\newnoun{元素}{element}。 \end{definition} 一般用大写字母表示集合，用小写字母表示元素。 @@ -60,7 +60,7 @@ $$\mbox{则} \ A \in A \Leftrightarrow A \notin A.$$ 注：$A = B \Leftrightarrow \forall x \ ( x \in A \Leftrightarrow x \in B )$ \begin{definition} - 设$A$、$B$是任意两个集合，如果$A$的每一个元素都是$B$的元素，则称集合$A$是集合$B$的\newnoun{子集合}{subset}或\textbf{子集}，或称$A$包含在$B$内，记为$A \subseteq B$；或称$B$包含$A$，记为$B \supseteq A$，即$A \subseteq B \Leftrightarrow \forall x \ (x \in A \rightarrow x \in B)$；若还有$A \neq B$，则称$A$是$B$的\newnoun{真子集}{proper subset}，记为$A \subset B$。 + 设$A$、$B$是任意两个集合，如果$A$的每一个元素都是$B$的元素，则称集合$A$是集合$B$的\newnoun{子集合}{subset}或{\bf{子集}}，或称$A$包含在$B$内，记为$A \subseteq B$；或称$B$包含$A$，记为$B \supseteq A$，即$A \subseteq B \Leftrightarrow \forall x \ (x \in A \rightarrow x \in B)$；若还有$A \neq B$，则称$A$是$B$的\newnoun{真子集}{proper subset}，记为$A \subset B$。 \end{definition} 设$A$、$B$、$C$为任意集合，包含关系具有： @@ -69,13 +69,13 @@ $$\mbox{则} \ A \in A \Leftrightarrow A \notin A.$$ \item 传递性：若$A \subseteq B$且$B \subseteq C$，则$A \subseteq C$； \item 反对称性：$A = B \Leftrightarrow A \subseteq B \text{且} B \subseteq A$。 \end{itemize} -满足这三条性质的关系被称为\textbf{偏序关系}。 +满足这三条性质的关系被称为{\bf{偏序关系}}。 数集：$\varnothing \subset \mathbb{N} \subset \mathbb{Z}_+ \subset \mathbb{Z} \subset \mathbb{Q} \subset \realnum \subset \mathbb{C}$。 \section{特殊的集合：空集} \begin{definition} - 不含任何元素的集合称为\textbf{空集}，记作$\varnothing$。 + 不含任何元素的集合称为{\bf{空集}}，记作$\varnothing$。 \end{definition} \begin{theorem} @@ -97,7 +97,7 @@ $$\mbox{则} \ A \in A \Leftrightarrow A \notin A.$$ \section{集合的运算及其性质} \subsection[交集]{\newnoun{交集}{intersection}} \begin{definition} - 设任意两个集合$A$和$B$，由$A$和$B$的所有共同元素组成的集合，称为$A$和$B$的\textbf{交集}，记为$A \cap B$。$A \cap B = \{ x \mid x \in A \land x \in B \}$。 + 设任意两个集合$A$和$B$，由$A$和$B$的所有共同元素组成的集合，称为$A$和$B$的{\bf{交集}}，记为$A \cap B$。$A \cap B = \{ x \mid x \in A \land x \in B \}$。 \end{definition} \begin{proposition}[交集的性质] @@ -113,7 +113,7 @@ $$\mbox{则} \ A \in A \Leftrightarrow A \notin A.$$ \subsection[并集]{\newnoun{并集}{union}} \begin{definition} - 设任意两个集合$A$和$B$，所有属于$A$或属于$B$的元素组成的集合，称为$A$和$B$的\textbf{并集}，记作$A \cup B$。$A \cup B = \{ x \mid x \in A \lor x \in B \}$。 + 设任意两个集合$A$和$B$，所有属于$A$或属于$B$的元素组成的集合，称为$A$和$B$的{\bf{并集}}，记作$A \cup B$。$A \cup B = \{ x \mid x \in A \lor x \in B \}$。 \end{definition} @@ -168,12 +168,12 @@ $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$的证明与此相似。 \subsection[差集]{\newnoun{差集}{difference}} \begin{definition} - 设$A$，$B$是任意两个集合，所有属于$A$而不属于$B$的元素组成的集合称为$A$和$B$\textbf{差集}（或$B$对$A$的补集，或相对补），记作$A \setminus B$。$A \setminus B = \{ x \mid x \in A \land x \notin B \}$。 + 设$A$，$B$是任意两个集合，所有属于$A$而不属于$B$的元素组成的集合称为$A$和$B${\bf{差集}}（或$B$对$A$的补集，或相对补），记作$A \setminus B$。$A \setminus B = \{ x \mid x \in A \land x \notin B \}$。 \end{definition} \subsection[补集]{\newnoun{补集}{complement}} \begin{definition} - 设$E$为全集，任一集合$A$对$E$的补，称为$A$的绝对\textbf{补}，记作$A^\mathrm{C}$。$A^\mathrm{C} = E \setminus A = \{ x \mid x \in E \land x \notin A \}$。 + 设$E$为全集，任一集合$A$对$E$的补，称为$A$的{\bf{绝对补}}，记作$A^\mathrm{C}$。$A^\mathrm{C} = E \setminus A = \{ x \mid x \in E \land x \notin A \}$。 \end{definition} \begin{proposition}[补集的性质] @@ -211,7 +211,7 @@ $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$的证明与此相似。 \subsection[对称差]{\newnoun{对称差}{symmertic difference}} \begin{definition} - 设$A$、$B$是任意两个集合，集合$A$和$B$的\textbf{对称差}，其元素或属于$A$，或属于$B$，但不能既属于$A$又属于$B$，记作$A \triangle B$ 。$A \triangle B = (A \setminus B) \cup (B \setminus A)$。 + 设$A$、$B$是任意两个集合，集合$A$和$B$的{\bf{对称差}}，其元素或属于$A$，或属于$B$，但不能既属于$A$又属于$B$，记作$A \triangle B$ 。$A \triangle B = (A \setminus B) \cup (B \setminus A)$。 \end{definition} \begin{proposition}[对称差的性质] @@ -227,7 +227,7 @@ $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$的证明与此相似。 \section{幂集的基数} \begin{definition} - 给定集合$A$，由$A$的所有子集为元素组成的集合称为$A$的\textbf{幂集}，记作$\wp (A)$或$2^A$。$\wp (A) = \{ S \mid S \subseteq A \}$。 + 给定集合$A$，由$A$的所有子集为元素组成的集合称为$A$的{\bf{幂集}}，记作$\wp (A)$或$2^A$。$\wp (A) = \{ S \mid S \subseteq A \}$。 \end{definition} \begin{theorem} @@ -245,11 +245,11 @@ $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$的证明与此相似。 \section{排列与组合} \begin{definition} - 从$n$个不同的元素中，取$k$个并按次序排列，称为从$n$中取$k$个的一个\textbf{排列}，全部这样的排列总数记为$P(n, k)$。若$k=n$，则称为$n$个元素的一个\newnoun{置换}{permutation}，且$P(n,n)=n!$。 + 从$n$个不同的元素中，取$k$个并按次序排列，称为从$n$中取$k$个的一个{\bf{排列}}，全部这样的排列总数记为$P(n, k)$。若$k=n$，则称为$n$个元素的一个\newnoun{置换}{permutation}，且$P(n,n)=n!$。 \end{definition} \begin{definition} - 从$n$个不同的元素中，取$k$个但是不考虑次序的时候，称为从$n$中取$k$个的一个\textbf{组合}，全部这样的组合总数记为$C(n, k)$或$\binom{n}{k}$。 % n \choose k 或者$\binom{n}{k}$ + 从$n$个不同的元素中，取$k$个但是不考虑次序的时候，称为从$n$中取$k$个的一个{\bf{组合}}，全部这样的组合总数记为$C(n, k)$或$\binom{n}{k}$。 % n \choose k 或者$\binom{n}{k}$ \end{definition} \begin{theorem} diff --git a/02CombinatorialTools.tex b/02CombinatorialTools.tex index 20039a6..e0d6783 100644 --- a/02CombinatorialTools.tex +++ b/02CombinatorialTools.tex @@ -62,7 +62,7 @@ $n\ln{n}$即为$\left(\dfrac{n}{e}\right)^n$取对数，$\sqrt{2 \pi n}$则是 \subsection{容斥原理的应用} \subsubsection{错排问题} -给定$n$个元素的一个排列，使得所有的元素都不在原来的位置上的排列叫做愿排列的\textbf{错排}。 +给定$n$个元素的一个排列，使得所有的元素都不在原来的位置上的排列叫做原排列的{\bf{错排}}。 \emph{应用加法原理：} 设$1, 2, \cdots , n$的的错排数为$D_n$，那么错排可通过如下两种方式得到： diff --git a/14FiniteGeometriesAndLatinSquares.tex b/14FiniteGeometriesAndLatinSquares.tex new file mode 100644 index 0000000..e243485 --- /dev/null +++ b/14FiniteGeometriesAndLatinSquares.tex @@ -0,0 +1,285 @@ +\chapter{有限几何与拉丁方} +\section{``小世界''：有限几何} +\subsection{The Fano Plane} +下面的这个平面被称作Fano Plane： +\begin{figure}[H] + \centering + \begin{tikzpicture} + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a) at (0,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b) at (30:1) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c) at (150:1) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (d) at (270:1) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (e) at (-30:2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (f) at (90:2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (g) at (210:2) {}; + \draw (a)--(b) (a)--(c) (a)--(d) (a)--(e) (a)--(f) (a)--(g) (e)--(b)--(f)--(c)--(g)--(d)--(e) (a) circle (1); + \end{tikzpicture} + \caption{The Fano plane} + \label{The Fano plane} +\end{figure} +与我们之前所学的欧氏几何不同，这个平面是由七个点与连接它们的线组成的。注意，图中一些未涂黑的线之间的交点不是图中的点。 + +Fano Plane有很多很好的性质。 +\begin{enumerate}[label=(\alph{*})] + \item 任何两个点可以唯一确定一条线。 + \item 任何两条线都有唯一的交点。 + \item 任何一条线上都有至少三个点。 +\end{enumerate} + +有了这三条性质的条件，我们可以推出Fano Plane和其它满足这些条件的图还有如下的性质: +\begin{enumerate}[label=(\alph{*}), resume] + \item 所有的线上都有相同数量的点。 + \item 所有的点都有相同数量的线穿过。 +\end{enumerate} + +同时，如果我们将某两个点的名字交换，我们总有方法可以对应改变其它所有点的名字，使得变换后图中点的相互关系与变换前完全相同，即 +\begin{enumerate}[label=(\alph{*}), resume] + \item 所有的点是相似的，所有的边也是相似的。 +\end{enumerate} + +\begin{definition}[有限投影平面] + 对一个含有有限元素（称为点）的集合，它的一些子集称为边。如果它满足： + \begin{enumerate}[label=(\alph{*})] + \item 任何两个点可以唯一确定一条线； + \item 任何两条线都有唯一的交点； + \item 任何一条线上都有至少三个点， + \end{enumerate} + 则称这个平面为一个\newnoun{有限投影面}{finite projective plane}。 +\end{definition} + +下面让我们来看另外一种有限的图形。 + +\subsection{The Tictactoe Plane} +\begin{figure}[H] + \centering + \subfloat{ + \begin{tikzpicture} + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a1) at (0,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a2) at (2,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a3) at (4,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b1) at (0,2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b2) at (2,2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b3) at (4,2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c1) at (0,4) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c2) at (2,4) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c3) at (4,4) {}; + + \draw (a1)--(a3) (b1)--(b3) (c1)--(c3) (a1)--(c1) (a2)--(c2) (a3)--(c3); + \draw (c1)--(a3) (c2) ..controls (2.4,3.8) and (3.8,3)..(b3).. controls (3.8,1) and (2,0.6)..(a1); + \draw (c3) ..controls (2,3.4) and (0.2,3).. (b1) .. controls(0.2,1) and (1.6,0.2) ..(a2); + \draw[dashed] (c1)..controls (2,3.4) and (3.8,3) .. (b3) .. controls (3.8,1) and (2.4,0.2) .. (a2); + \draw[dashed] (c2)..controls (1.6, 3.8) and (0.2,3) .. (b1) .. controls (0.2,1) and (2,0.6) ..(a3); + \draw[dashed] (a1)--(c3); + \end{tikzpicture} + } + \hspace{2cm} + \subfloat{ + \begin{tikzpicture} + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a1) at (0,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a2) at (2,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a3) at (4,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (a4) at (6,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (a5) at (8,0) {}; + + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b1) at (0,2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b2) at (2,2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (b3) at (4,2) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b4) at (6,2) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b5) at (8,2) {}; + + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c1) at (0,4) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c2) at (2,4) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c3) at (4,4) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (c4) at (6,4) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (c5) at (8,4) {}; + + \draw (a1)--(a3) (b1)--(b3) (c1)--(c3) (a1)--(c1) (a2)--(c2) (a3)--(c3) (c1)--(a3) (c2)--(a4) (c3)--(b4)--(a5); + \draw[dashed] (a1)--(c3) (a2)--(b3)--(c4) (a3)--(b4)--(c5); + \end{tikzpicture} + } + \caption{The Tictactoe plane} + \label{The Tictactoe plane} +\end{figure} + +将左图中的第一、第二列在右侧重复一遍后，可以把图示画得更为美观。可以看到，在Tictactoe plane中，过线外一点有且仅有一条线与已知的线平行，即欧氏几何中的平行公理成立。 + +\begin{definition} + 对一个含有有限元素（称为点）的集合，它的一些子集称为边。如果它满足： + \begin{enumerate}[label=(\alph{*})] + \item 任何两个点可以唯一确定一条线； + \item 过线外一点有且仅有一条线与已知的线平行， + \end{enumerate} + 则称这个平面为一个\newnoun{有限仿射面}{finite affine plane}。 +\end{definition} + +\begin{theorem} + 任一有限仿射面可通过添加新点与新线的方式扩充至有限投影面；删去有限投影面中任意一条边及边上所有的点可以得到一个有限投影面。 +\end{theorem} + +\begin{figure}[H] + \centering + \begin{tikzpicture} + \node[draw=black, circle, inner sep=0, minimum size=8pt] (a1) at (0,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (a2) at (2,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (a3) at (4,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b1) at (0,2) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b2) at (2,2) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b3) at (4,2) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (c1) at (0,4) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (c2) at (2,4) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (c3) at (4,4) {}; + + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (d1) at (-2,-2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (d2) at (2, -2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (d3) at (6,-2) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (d4) at (10,-2) {}; + + \draw (a1)--(a2)--(a3) (b1)--(b2)--(b3) (c1)--(c2)--(c3) (a1)--(b1)--(c1) (a2)--(b2)--(c2) (a3)--(b3)--(c3); + \draw (c1)--(b2)--(a3) (c2) ..controls (2.4,3.8) and (3.8,3)..(b3).. controls (3.8,1) and (2,0.6)..(a1); + \draw (c3) ..controls (2,3.4) and (0.2,3).. (b1) .. controls(0.2,1) and (1.6,0.2) ..(a2); + \draw (a1)--(d2) (a2)--(d2) (a3)--(d2); + \draw (a1)--(d3) (a2)--(d3) (a3)--(d3); + \draw (a3)--(d4) (b3)--(d4) (c3)--(d4); + \draw (d1)--(d2)--(d3)--(d4); + + \draw[dashed] (a1)--(d1) (a2)--(d1) (a3)--(d1); + \draw[dashed] (c1)..controls (2,3.4) and (3.8,3) .. (b3) .. controls (3.8,1) and (2.4,0.2) .. (a2); + \draw[dashed] (c2)..controls (1.6, 3.8) and (0.2,3) .. (b1) .. controls (0.2,1) and (2,0.6) ..(a3); + \draw[dashed] (a1)--(b2)--(c3); + \end{tikzpicture} + \caption{为图中加上四个点和一条线，并延长原有的线得到有限投影面} +\end{figure} + +\subsection{The Cube Space} +\begin{figure}[H] + \centering + \begin{tikzpicture} + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (a) at (0,0) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (b) at (3,0) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (c) at (4,1) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (d) at (1,1) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (e) at (0,3) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (f) at (3,3) {}; + \node[draw=black, circle, inner sep=0, minimum size=8pt] (g) at (4,4) {}; + \node[draw=black, fill=black, circle, inner sep=0, minimum size=8pt] (h) at (1,4) {}; + + \draw (a)--(b)--(c)--(f)--(b) (a)--(e) (c)--(g)--(h)--(e)--(f)--(g); + \draw[dashed] (a)--(d)--(c) (e)--(d)--(h); + \end{tikzpicture} + \caption{The Cube space} + \label{The Cube space} +\end{figure} + +在图中，我们定义``面''为： +\begin{enumerate}[label=（\arabic{*}）] + \item 四个点形成了图中正方体的一个面（欧氏几何面），共六个； + \item 四个点分别是一对相对的边的边的顶点，共六个； + \item 图中四个黑色或四个白色顶点。 +\end{enumerate} + +这些面有很多好性质： +\begin{enumerate}[label=(\Alph{*})] + \item 任意三点唯一确定一个面； + \item 两平面要么平行，要么相相交于一条线； + \item 过平面外一点有且仅有一个平面与已知平面平行； + \item 任意两点相似； + \item 任意两面相似。 +\end{enumerate} + +\section{区组设计} +\subsection{Kirkman 15女生问题} +1847年Kirkman提出了下面这样一个有趣的组合数学问题：有一个女教师，每天要带领一个班的15名女生去散步。问能否设计一种连续一周的散步方案，使得每天散步的时候，15名女生都能分成5组，每组由3名女生组成，而且在7天里每一个女生和其她女生都要在同一组中同时出现一次而且只出现一次? + +简单分析一下，要求解这个问题就是要找到满足下面条件的三元子集组： +\begin{enumerate}[label=（\arabic{*}）] + \item 需要构造由15名女生组成的集合的$7\times 5 = 35$个三元子集族，使得每两个女生在三元组里正好出现一次； + \item 由于每天的散步，每个女生出现而且只能出现在一个三元组中。所以必须能将35个三元组分成7部分，每部分有5个三元组。每一个女生正好在每部分出现一次，即在一个三元组出现。 +\end{enumerate} + +1850年，人们得到了这个问题的解： +\begin{enumerate} + \item 星期一：$\{1, 2, 3\}, \{4, 8, 12\}, \{5, 10, 15\}, \{6, 11, 13\}, \{7, 9, 14\}$； + \item 星期二：$\{1, 4, 5\}, \{2, 8, 10\}, \{3, 13, 14\}, \{6, 9, 15\}, \{7, 11, 12\}$； + \item 星期三：$\{1, 6, 7\}, \{2, 9, 11\}, \{3, 12, 15\}, \{4, 10, 14\}, \{5, 8, 13\}$； + \item 星期四：$\{1, 8, 9\}, \{2, 12, 14\}, \{3, 5, 6\}, \{4, 11, 15\}, \{7, 10, 13\}$； + \item 星期五：$\{1, 10, 11\}, \{2, 13, 15\}, \{3, 4, 7\}, \{5, 9, 12\}, \{6, 8, 14\}$； + \item 星期六：$\{1, 12, 13\}, \{2, 4, 6\}, \{3, 9, 10\}, \{5, 11, 14\}, \{7, 8, 15\}$； + \item 星期日：$\{1, 14, 15\}, \{2, 5, 7\}, \{3, 8, 11\}, \{4, 9, 13\}, \{6, 10, 12\}$。 +\end{enumerate} + +\subsection{区组设计概论} +\begin{definition} + 设$X$是一个有限集合，则称$X$的子集族$B = \{B_1, B_2, \cdots, B_b\}$为$X$的一个\newnoun{区组设计}{block design}，记作$D = (X, B)$。$X$称为此设计的基集，而子集族$B$中的诸子集$B_i (i = 1, 2, \cdots, b)$则称为此设计的\newnoun{区组}{block}。 + + 基集$X$中元素的个数$\vert X \vert$称为设计的阶。对于$i = 1, 2, \cdots, b$，区组$B_i$的元素个数$\vert B_i \vert$又称为该区组的长度。 + + 对于$x \in X$，$B$中含有$x$的区组的个数称为元素$x$的重复数，记为$r(x)$。 + + 对于$x,y \in X, x \neq y$，$B$中以$\{x, y\}$为子集的集合数称为元素$x$和$y$的相遇数，记为$\lambda(x,y)$。 + + 区组设计可以用区组（关联）矩阵来描述。设$X = \{x_1, x_2, \cdots, x_v\}$，$B = \{B_1, B_2, \cdots, B_b\}$，其关联矩阵定义为 + \(A = \begin{bmatrix} + a_{ij} + \end{bmatrix}_{v \times b}\)，其中 + \[a_{ij} = + \begin{cases} + 1, x_i \in B_j\\ + 0, x_i \not \in B_j + \end{cases}\eqper\] +\end{definition} + +容易看出，第$i$行出现1的次数即为$r(x_i)$，第$j$列出现1的个数是$B_j$的长度。第$j$列可以看作是$B_j$的特征函数。 + +同时可以得到$\lambda (x_i, x_j)$与$A$中第$i$行与第$j$行的内积相等。 + +\begin{remark} + 区组族$B$中的区组是可以重复的，因此$B$是一个族而不是一个集合。 +\end{remark} + +\begin{example} + 在Kirkman 15女生问题中，这些参数为： + \begin{enumerate} + \item 设计的阶数为15； + \item 每个区组的长度为3； + \item 任意一个元素的重复数为7； + \item 任意两个元素的相遇数为1； + \item 区组总数为35。 + \end{enumerate} + 需要强调的是，这些参数并不是互相独立的，其中的某些参数可以由其它参数得到。 +\end{example} + +\subsection{平衡不完全的区组设计（BIBD）} +\begin{definition} + 设$X = \{x_1, x_2, \cdots, x_v\}$，而$k (k < v)$和$\lambda$是确定的飞赴整数。如果区组设计$D = (X, B)$满足如下两个条件： + \begin{enumerate} + \item $B$中每个区组的长度都是$k$； + \item $X$中每两个不同的元素$x, y$在$D$中的相遇数$\lambda_D(x, y)$都是$\lambda$， + \end{enumerate} + 则称区组设计$D$为一个$(v,k,\lambda)$-\newnoun{平衡不完全区组设计}{balanced incomplete blockdesign}，简称$(v,k,\lambda)$-BIBD。 +\end{definition} + +\begin{example} + The Fano plane（图\ref{The Fano plane}）是$(7,3,1)$-BIBD。 + + The Tictactoe plane（图\ref{The Tictactoe plane}）是$(9,3,1)$-BIBD。 + + The Cube（图\ref{The Cube space}）是$(8,4,3)$-BIBD。 +\end{example} + +为了排除平凡情况，总假设$k > 1$，从而$\lambda > 0$。 +\begin{theorem} + 设$k >1$，$D = (X,B)$是一个$(v,k,\lambda)$-BIBD，则有 + \begin{enumerate} + \item $X$中所有元素的重复数都等于 + \[r = \frac{\lambda(v-1)}{k-1}\eqco\] + \item $B$中所含的区组总数 + \[b = \frac{\lambda v (v-1)}{k(k-1)} = \frac{vr}{k}\eqper\] + \end{enumerate} +\end{theorem} + +\begin{theorem} + 如果存在$(v,k,\lambda)$-BIBD，其中$k > 1$，则必然有 + \[\lambda(v-1) \equiv 0 \pmod{(k-1)} \tag{1} \label{BIBD必要条件1}\] + 与 + \[\lambda v (v-1) \equiv 0 \pmod{k} \tag{2} \label{BIBD必要条件2}\eqper\] +\end{theorem} \ No newline at end of file diff --git a/离散数学.tex b/离散数学.tex index f21638e..c57c25b 100644 --- a/离散数学.tex +++ b/离散数学.tex @@ -1,4 +1,4 @@ -\documentclass[12pt, UTF8, a4paper, fontset=none, openany]{ctexbook} +\documentclass[12pt, UTF8, fontset=none, a4paper, openany]{ctexbook} \usepackage{geometry} \usepackage{amsmath} \usepackage{amsthm} @@ -23,7 +23,8 @@ \geometry{a4paper,scale=0.8} \defaultCJKfontfeatures{Mapping = fullwidth-stop} -\ctexset{fontset=macnew} +\setCJKmainfont{simsun.ttc}[AutoFakeBold, ItalicFont=simkai.ttf] +% \ctexset{fontset=macnew} % \ctexset{fontset=windows} % On Windows \allowdisplaybreaks[2] @@ -42,7 +43,7 @@ % \renewcommand{\qedsymbol}{} %去掉证明结尾的方框 -\newcommand{\newnoun}[2]{\textbf{#1}（\textit{#2}）} +\newcommand{\newnoun}[2]{{\bf#1}（\textit{#2}）} \newcommand{\dif}{\mathop{}\!\mathrm{d}} \newcommand{\eqco}{\text{，}} % Chinese comma in equation \newcommand{\eqper}{\text{。}} % Chinese period in equation @@ -52,11 +53,11 @@ \newcommand{\integer}{\mathbb{Z}} \newcommand{\naturalnum}{\mathbb{N}} -\title{{\Huge{\textbf{离散数学}}}} +\title{{\Huge{\bf{离散数学}}}} \author{} \date{} % linespread{1.5} -% \includeonly{13ColoringMapsAndGraphs.tex} +% \includeonly{14FiniteGeometriesAndLatinSquares.tex} \begin{document} \maketitle @@ -80,4 +81,5 @@ \include{11CombinatoricsInGeometry.tex} \include{12EulersFormula.tex} \include{13ColoringMapsAndGraphs.tex} + \include{14FiniteGeometriesAndLatinSquares.tex} \end{document} \ No newline at end of file