组合设计初步 · 从 Kirkman 女生到 Witt 设计：安排的艺术

本书怎么读：一门关于「把点安排进块」的学问

这不是一本教材，而是一册入门书：全书只讲一件事——组合设计，即「在平衡约束下把点安排进块」的学问。它回答的问题朴素而深刻：十五名女生每天三人一组散步，怎样安排才能七天之内任何两人恰好重遇一次？三十六名军官按等级与团队排方阵，为什么排不出来？七个点用七条线连起来让每两点恰在一条线上，为什么非是 Fano 平面不可？什么样的参数 (v, k, λ) 能造出平衡设计，什么样的参数被数学永久拒绝？从 Kirkman 的女生散步（1850）、Steiner 的三元系、Euler 的三十六军官，到 Bose–Shrikhande–Parker 的历史性翻案（1959–60）、Witt 的五重设计宏构、Golay 码与 Mathieu 群，再到 Keevash 的存在性大定理（2014），组合设计的语言贯穿了数学的许多角落。全书按章组织：绪论用三个历史问题提炼出统一语言；第一章建立 BIBD 五参数、两条计数恒等式、关联矩阵与 Fisher 不等式；第二章走向对称设计与差集、Singer 定理与 Bruck–Ryser–Chowla 拦截；第三章攻克 Steiner 系与 Kirkman 女生问题；第四章解开正交拉丁方之谜；第五章攀登 t-设计与 Witt 设计的高峰；第六章让码与设计合流；综合站用年表、人物谱、方法总图、实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与图形先行：每一个概念都从一张图、一个具体的小例子讲起——先看见七点三线的 Fano 图、十五女生的七日表、差集在圆圈上的平移舞步，再抽成定义；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——关联结构的点线图、恒等式的双账对照图、差集的循环平移图、射影平面的几何景象、码与设计的互译流程。组合设计最漂亮的地方正藏在「账本—图形—群」的对照里：一条定义、一句定理，画出来便一目了然。③ 自给自足：所需工具在书内随用随补（同余与初等数论、线性代数的矩阵与秩、群论的基本语汇、有限域的一点常识），不假设手边另有教材；个别深刻结论（如 Ray-Chaudhuri–Wilson 定理、Keevash 存在定理）给出精确陈述、证明思路与文献指引，计算对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照。每页右上角标页码，页眉灰色小字标出所属章与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要同余与计数的基本功（书内自给），★★★ 需要线性代数（矩阵、秩、特征值，书内自给），★★★★ 需要群论与有限域的一点经验（书内自给），★★★★★ 需要 单群分类与编码理论的深水区（第六章与综合站余韵）。若只求理解主线，读绪论、第一章、第二章的差集、第三章的女生散步与第四章的军官问题即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从一张课程表到 Witt 设计：先在生活场景里看见「安排」（绪论），学会记账与计数（第一章），再依次征服对称设计（第二章）、三元系（第三章）、拉丁方（第四章）、五重设计（第五章），最后接到纠错码与 Mathieu 群（第六章）——这正是组合设计一百七十年从「趣味难题」长成「现代数学枢纽」的轨迹。

② 暗线——平衡与拦截的拉锯。每一组参数都要先过「账本关」：三条计数恒等式、可除性、Fisher 不等式、Ray-Chaudhuri–Wilson 不等式，一关不过即出局；过了账本关也不保证存在——存在性是这门学问真正的悬念。找出「哪些账必须对、哪些对称必须补、什么时候构造成功、什么时候只能拦截」，是全书反复演练的招式。

③ 接口——通往四个邻域。组合设计是现代数学的十字路口：与有限几何（射影平面、仿射平面，第二、四章直接合流）、群论（自同构群与散在单群，第五、六章）、编码理论（Hamming 码、Golay 码，第六章）、统计学（试验设计与正交阵列，第一、四章）四条战线直接相通。同余与有限域的算术，是差集与乘子定理的用武之地；自同构群的基本语汇一旦备好，第五章、第六章的群论景象将更显亲切。

写法约定（TEX 标准）：点数记 v、块数记 b（变量斜体）、块大小记 k、重复数记 r、相遇数记 λ（小写希腊斜体）、设计记 𝒟、关联矩阵记 N；差集记 D；群记 G、自同构群记 Aut(𝒟)；有限域记 𝔽_q。变量用斜体，函数名（det、tr、gcd）与群名（Aut、SL、M₂₄ 等）用正体；关键一步配图，点与块逐章对照。

绪论 安排的艺术：三个问题，一门学问本册导引：把「安排」写成数学

把十个人分成两队打球，把一周的课排进五天，把会议代表安排进若干张圆桌——这些都是「安排」问题。安排得好不好，有客观标准：每队人数要匀、每天的课不许撞、每桌的代表不许来自同一单位。标准一严格，安排就变成了数学：要问的不是「随便分分」，而是「在规定条件下到底分不分得出来」；若是分不出来，还要能斩钉截铁地说一句「永远分不出来」。

十九世纪的数学家们恰好撞上了一大批这样的问题。1850 年，数学教师柯克曼（T. P. Kirkman）在杂志上出一道题：十五名女学生每天排成五组、每组三人去散步，问怎样安排一周七天，使得任何两名女生恰好同组一次？再往前，1782 年欧拉研究过「三十六军官问题」：来自六个团队、有六种军衔的三十六名军官，能否排成六行六列的方阵，使每行每列的六个军官团队互不相同、军衔也互不相同？更早的还要数几何里的老朋友：七个点能否用若干条线连起来，让每两点恰好同在一条线上、每条线恰含三点？——答案就是那幅著名的七点六线图，Fano 平面。

这三个问题表面毫不相干：一个管人、一个管方阵、一个管点线。但把它们排在一起端详，会发现一副共同的骨架：都有一些对象（女生、军官位置、点），都有一些容器（小组、行列、线），都要求容器与对象之间满足某种均匀的搭配。组合设计研究的正是这副骨架：把对象叫点，把容器叫块，把「哪些点落在哪些块里」叫关联；然后在各种平衡条件下追问——安排存在吗？有几种？怎么造？怎么拦截？

本册的写法遵循一条主轴：设计是一笔账。每个点记一份「我进了几个块」，每条块记一份「我装了几个点」，每对点再记一份「我们同块几次」；三本账环环相扣，任何一组参数想登堂入室，先得把账对平。第一章就把这套记账法学扎实，随后六章用它一路征伐：对称设计、三元系、拉丁方、五重设计、纠错码——账对得越细，世界越精巧。带着这句口诀出发：安排即记账，记账即证明。

绪论 安排的艺术：三个问题，一门学问什么是组合设计：从一张课程表说起

★ 先从一个谁都能想象的小场景出发。某培训学校要在五天里给六门课排课：每天恰好安排若干节课，任何两门课不能排在同一天超过一次（假设两门课若是同天，学生要连着上两节，太累就不行），并且希望每位老师的工作量均匀。把「课」想成点、「天」想成块，排课表就是在问：能不能把六个点放进若干个块，使得块与块之间、点与点之间满足指定的均匀条件。

这个朴素场景里有三个要素值得立刻命名。第一是对象集合：六门课，它们是安排的「货」；第二是容器集合：五天（或者更一般的一些「场次」），它们是装货的「筐」；第三是规则：货与筐之间怎样搭配才算公平。组合设计把这三样东西打包，起一个统一的名字——

关联结构是本书最底层、最宽容的概念：它不附加任何条件，点可以是任何东西，块可以是任何子集，甚至允许空块与重复块。一切「设计」都是给这个宽容的结构加上平衡条件之后的产物。为了把话说清楚，本书约定几个记号：点的个数记 v（vertex），块的个数记 b（block）；涉及具体点时用小写斜体字母 x, y, p 等，涉及具体块时用大写字母 A, B, C 等。

图 0-2 的结构里已经能「记账」了：数一数每个点进了几个块（点账），每条块装了几个点（块账），每一对点同块几次（对账）。三本账各有名称——点账的数目叫重复数，块账的数目叫块大小，对账的数目叫相遇数。下一节将看到，历史上那三个著名问题，本质上是给这三本账分别立下「人人相等」的死命令。

把生活安排抽成关联结构，好处立刻显现：人、课、天、场地统统隐去，剩下的只有点、块与关联。于是女生散步、军官方阵、Fano 平面可以放进同一个框架里比较、翻译、互相借用工具——这正是数学抽象的常规操作，也是本册全部力量的来源。

绪论 安排的艺术：三个问题，一门学问三个引例：女生散步、三十六军官与 Fano 平面

★★ 现在把三个历史问题正式请上台，逐一翻译成关联结构的语言。

引例一（Kirkman 女生散步，1850）。十五名女生每天分五组散步，每组三人。问：能否安排连续七天，使得任何两名女生恰好有一天同组？翻译：点集是 15 名女生；块是「三人小组」，每天 5 个、七天共 35 个块；平衡条件是——每块恰 3 点，每个点每天恰进 1 块（即七天里每点进 7 块），每对点恰同块 1 次。这道题将在第三章完全解决；这里只预告一笔账：每名女生每天 1 组，六天里与她同组的共有 6 × 2 = 12 人，恰是其余全部女生——一次都不多、一个都不漏，紧得不能再紧。

引例二（三十六军官问题，1782）。欧拉受普鲁士腓特烈大帝之托：六个团队各派六名军官，军衔从上校到中尉共六级，把这 36 人排成 6 × 6 方阵，使每行、每列的六人团队互不相同且军衔互不相同。翻译：把「行—列位置」看作 36 个点，块有两族——「团队块」（同团队的位置并起来共 6 个块）与「军衔块」（同军衔的位置共 6 个块）；平衡条件要求每行每列与两族块的结构互相「正交」。欧拉断言此题无解，并推广猜想：凡 n ≡ 2 (mod 4) 都排不出。这道题引出正交拉丁方，第四章用整整一章来讲述它戏剧性的结局——猜想竟然几乎全错，唯有 n = 6 是真的。

引例三（Fano 平面）。在七个点 {1, 2, 3, 4, 5, 6, 7} 上取七条「线」

123, 145, 167, 246, 257, 347, 356.

每条线恰 3 点，任何两点恰在同一条线上。这就是 Steiner 三元系 STS(7)，画出来便是 Fano 平面——第二章会看到它能用一张小小的差集表 {0, 1, 3} 造出，第五章将看到它是最大的 Steiner 系家族的第一级台阶。

三个引例摆成一排，一幅地图隐约浮现：引例三管得最紧（每对点恰一次），引例一加了「每天用尽所有点」的分层要求，引例二则要求两套结构同时均匀。把它们统一处理的第一步，是给「平衡」下一个精确的定义——这正是下一节的任务。

绪论 安排的艺术：三个问题，一门学问关联结构：点与块的语言

★★ 有了定义与引例，本节把关联结构的「语法」补齐：重复块、空块、单点块允许吗？两个结构怎样才算「一样」？怎样把结构写进矩阵？这些都是后文反复使用的地基。

允许与禁止。关联结构的定义对块毫无限制：块可以为空、可以只含一点、可以整块重复出现。放宽是有意的——研究平衡设计时，先允许再排除，比一开始就禁止更清楚（例如第一章的恒等式对退化情形会自动失效，恰好提示我们哪里需要小心）。不过从本节起有一条软约定：若无特别声明，讨论的关联结构都没有重复块、没有空块；真正需要退化情形时会重新请它们出场。

度与入度。块 B 的大小记 |B|；点 x 的入度是与 x 关联的块数（按块的重数计），记 r(x)。若所有块大小同为 k，称结构均匀；若所有点入度同为 r，称结构正则。均匀是「块账人人相等」，正则是「点账人人相等」——两个词将贯穿全书。

同构。两个关联结构 𝒟 = (X, ℬ) 与 𝒟′ = (X′, ℬ′) 同构，意思是存在点的双射 φ : X → X′，把 ℬ 的块一一变成 ℬ′ 的块：对每个块 B ∈ ℬ，像集 φ(B) = {φ(x) : x ∈ B} 恰是 ℬ′ 中一个块，且这一一对应是双射。同构的「不同实现」称标号；把标号全部忘记后剩下的东西，才是设计的本体。一个结构的自同构是它到自身的同构；全体自同构在复合下成群，记 Aut(𝒟)——第六章里，这个群将爆发出惊人的力量。

关联矩阵。设结构无重复块，把点排个序、块也排个序，定义 v × b 矩阵 N = (n_ij)：

n_ij = 1（第 i 个点与第 j 个块关联），　n_ij = 0（否则）.

矩阵是结构的「身份证」：每列是块的「点名册」，每行是点的「出勤表」。改一次标号，身份证要跟着改——但只是行、列换了次序，本质信息一动不动。第一章将用这张身份证做出全书第一个重量级定理：Fisher 不等式。

绪论 安排的艺术：三个问题，一门学问平衡：三本账与 λ 的含义

★★ 现在可以给「设计」立宪了。本节定义全书最重要的对象——BIBD，并把三本账的口诀正式立起来。

条件名字里的「平衡」指（B3）：任何一对点受到的待遇一模一样——都恰好同块 λ 次。「不完全」指（B4）：若有块装下所有点，则每个点对都同在那一个块里，λ 会被强制等于 1，问题塌缩成平凡的「一刀切」（这种情形第一章会作为「完全设计」单独看一眼）。图论里也有一条类似的「不完全」——完全图之外的图才有趣味；设计的趣味同样来自不完全。

三本账。给定 BIBD，除 (v, k, λ) 外还有两个数由结构自动决定：b（块数）与 r（每点的入度——平衡性保证各点入度相等，第一章证明）。五个数 (v, b, r, k, λ) 合称 BIBD 的参数。它们满足两条恒等式：

证明只需一分钟，但第一章将给出完整论证并把它练到滚瓜烂熟。此处先示范用法：女生散步要求 v = 15、k = 3、λ = 1，则第二条恒等式给出 r · 2 = 1 × 14，故 r = 7（每名女生散步七天，分毫不差）；再由第一条得 b · 3 = 15 × 7，故 b = 35（七天每天五组）。账目严丝合缝——这样的参数才值得继续谈。

λ 的口味。参数 λ 是全书的「咸淡」旋钮：λ = 1 是最吝啬的平衡（每对点恰会面一次，Steiner 系的世界，第三章）；λ 大些，结构更「稠」，构造反而往往更容易；λ 越过大半程，会撞上对称设计（第二章）与 Hadamard 矩阵（第二章末）。本书的六章，恰好就是沿着这个旋钮从 1 转到 5、再跳进编码世界的旅程。

绪论 安排的艺术：三个问题，一门学问本册路线图：六章的远征

★★ 全书六章是一条不断加码的远征路线：账本越记越细，结构越来越对称，最后的奖赏是数学里最紧凑的安排与它背后的稀有群。每章解决一个「大问题」，同时沉淀一批「标准动作」。

第一章（平衡设计：BIBD 与计数恒等式）把记账法变成兵器：五参数、两条恒等式、关联矩阵、Fisher 不等式、谱、自同构群、可除性筛、补/派生设计。学完本章，任何一组 (v,k,λ) 都能立刻过一遍「体检」。

第二章（对称设计与差集）研究 b = v 的极端情形：对称设计、对偶、差集、Singer 定理、Bruck–Ryser–Chowla 拦截战、Hadamard 矩阵。构造与拦截两条战线在此正面相遇。

第三章（Steiner 系与 Kirkman 问题）攻下 λ = 1：STS 的存在定理（Kirkman 1847）、循环构造、递归构造、可分解设计与女生散步的完整答案（Ray-Chaudhuri–Wilson 1971）。

第四章（正交拉丁方与欧拉之谜）解决多重账本问题：MOLS 的上界、有限域构造、与（仿射/射影）平面的等价、Euler 猜想的悲剧与 Bose–Shrikhande–Parker 的大翻案。

第五章（t-设计与 Witt 宏构）把「对账」升到 t 重：t-设计恒等式、Ray-Chaudhuri–Wilson 不等式、Steiner 系之塔、Witt 设计 S(5,8,24) 与 759 张块表的奇迹。

第六章（码与设计的合流）完成两大结构的大会师：Hamming 码与 Fano 平面互译、Golay 码再造 Witt 设计、Mathieu 群 M₂₄ 与散在单群的全景。

路线图上还有一行小字值得单独说：每一章的实验页都会让程序参与——穷举小设计、验证差集、核验七日表。组合设计是少数几门「可以亲手摸到全部样本」的数学：小世界里，计算机能把每一种安排都摆上台面，让抽象定理变得可见、可触、可对拍。这也是本册敢承诺「自给自足」的底气。

绪论 安排的艺术：三个问题，一门学问历史一瞥：从欧拉到 Keevash

★★ 组合设计的历史是一部「问题先行、理论后到」的历史：先有一道道具体的难题，再慢慢长出统一的语言与深刻的一般定理。本页用五个年份串起这条线索。

1782 · 欧拉的方阵。欧拉在研究「36 名军官」时发明了拉丁方的语言，并留下著名猜想：n ≡ 2 (mod 4) 时不存在一对正交 n 阶拉丁方。他对 n = 2 与 n = 6 的判断正确，推广却错了——这个错误要等 177 年才被纠正。教训值得记取：由小推大，是组合学里最危险的一步。

1847–1850 · Kirkman 的三元系与女生。教区牧师柯克曼在《Cambridge and Dublin Mathematical Journal》上证明：Steiner 三元系存在当且仅当 v ≡ 1, 3 (mod 6)——这是设计存在性的第一条一般定理，比 Steiner 本人的文章（1853）还早。1850 年他又提出女生散步问题，把「平衡」升格为「可分解」：块不仅彼此平衡，还要能分层打包。这个问题悬置 121 年。

1940 · Fisher 的统计遗产。统计学家 R. A. Fisher 在农业试验里把区组设计用成利器：把试验田分成区组（块），让品种（点）在区组间均匀比较。他证明了 b ≥ v——后来以他命名的 Fisher 不等式，是第一章的顶点。设计的数学与设计的应用，在这里完成第一次握手。

1959–1960 · 三剑客翻案。Bose、Shrikhande 与 Parker 用「成对平衡设计」等新武器证明：除 n = 2, 6 外，任意 n 都存在一对正交拉丁方。Euler 猜想轰然倒塌，《纽约时报》为此发了报道——组合学的成果上头条，至今罕见。

1971 与 2014 · 两座里程碑。Ray-Chaudhuri 与 Wilson 证明 KTS 存在当且仅当 v ≡ 3 (mod 6)，女生散步问题在提出 121 年后得到完全解答。四十三年后，Keevash（2014）证明设计存在性的一般定理：只要参数满足可除性与必要的体积条件（外加足够大的 v），设计必存在——「账对得上就（几乎）存在」从愿望变成定理，全书的暗线在此抵达终点。

还有一条「暗历史」值得记录：设计文献里人物的名字常常错位——「Steiner 三元系」最早由 Kirkman 解决，「Kirkman 系统」的完全答案却署着 Ray-Chaudhuri 与 Wilson；「Fano 平面」在 Fano 之前已见于 Gergonne（1826）之手。数学史上命名权与贡献权的错位屡见不鲜，读文献时以年代与内容为准，是对前人最好的公平。

绪论 安排的艺术：三个问题，一门学问绪论小结与预习清单

本页任务。把绪论的行李清点一遍：哪些概念必须带走，哪些账目必须会算，哪些问题留作路标。

概念清单。① 关联结构 𝒟 = (X, ℬ)：点、块、关联——最宽容的底座；② 均匀（块账相等）与正则（点账相等）；③ 同构、标号、自同构群 Aut(𝒟)；④ 关联矩阵 N：结构的身份证；⑤ BIBD 五参数 (v, b, r, k, λ) 与三本账；⑥ 平衡（对账相等）与不完全（k < v）。

账目清单（会算才算过关）。① 已知 v, k, λ，用 r(k − 1) = λ(v − 1) 算 r、用 bk = vr 算 b；② 女生散步：(15, 35, 7, 3, 1)；③ Fano 平面：(7, 7, 3, 3, 1)；④ 会把七条线 123, 145, 167, 246, 257, 347, 356 默写出来并验证每对点恰一条线。

路标问题（各章的靶心）。① 什么样的 (v,k,λ) 有 BIBD？（第一、二章的恒等式与拦截定理给出必要条件；Keevash 2014 给出充分性）② λ = 1 时能走多远？（第三章）③ 两族块同时平衡可行吗？（第四章）④ 平衡加码到 t 重会怎样？（第五章）⑤ 设计与编码、群论怎么接？（第六章）

行李点清，出发。第一章的号令只有一句：先对账，再谈存在。

第一章 平衡设计：BIBD 与计数恒等式第一章导引：把安排写成方程

绪论把三个历史问题提炼成了关联结构，又立下了 BIBD 的四条宪章（B1–B4）。本章的任务是把这套语言锻造成兵器：给定一组参数 (v, b, r, k, λ)，要能在一分钟内判断它有没有资格叫「设计」；给定一个真设计，要能算出它的矩阵肖像、谱与对称群，并顺手派生出新一代设计。

本章的行进路线是一条上升的阶梯，每一级都踩在前一级上：

第一阶（§1.1–1.5）——数账。从点与块的原始语言出发，建立五参数的两条计数恒等式 bk = vr 与 r(k − 1) = λ(v − 1)；顺路看一眼完全设计与退化情形，弄清「不完全」二字挡住了什么。这一阶的全部工具是「换个角度数同一批东西」——听起来像小学算术，做出来是组合数学最锋利的一把刀。

第二阶（§1.6–1.10）——代数化。把 Fano 平面当标本，引进关联矩阵 N，把平衡条件翻译成一行矩阵等式 NN^T = (r − λ)I + λJ；再由行列式与秩一步登天，得到 Fisher 不等式 b ≥ v——全章的顶点。随后计算设计的特征值（谱），看看「平衡」在频域里长什么样。

第三阶（§1.11–1.14）——对称与繁殖。定义同构与自同构群，给设计装上「对称」的仪表盘；建立可除性筛——参数想通过的第一道安检门；最后学习设计的繁殖术：补、派生、残差，从旧设计批量生产新设计。

第四阶（§1.15–1.16）——升维与方法论。把「对账」从点对推广到 t 元组，为第五章铺路；再把本章用过的证明招式总结成「换角计数」方法论，练成条件反射。

读本章只需带三件随身行李：同余的基本功、矩阵的乘法与秩、一点排列组合的耐心。行李不全时回看绪论末页的预习提示；行李齐备时，直接上第一级台阶——不过在这之前，先认识一下本章的常驻嘉宾。

常驻嘉宾：Fano 平面。七点七线的最小 BIBD 将在 §1.6 担任「参数账」的示范标本，在 §1.7 捐出自己的关联矩阵，在 §1.10 报出自己的谱，在 §1.12 展示 168 阶的自同构群。它是全书出镜率最高的例子——原因无他：小到可以穷举，又大到足以承载一切概念。此后每章它都会回来报到，与它保持熟络。

第一章 平衡设计：BIBD 与计数恒等式1.1 关联结构：点与块

★ 绪论已给出定义，本节的任务是把语言用熟：在一个具体的关联结构上，把三本账各记一遍，并把「计数」这个动作练成肌肉记忆。

标本 A：四点三线。取 X = {1, 2, 3, 4}，块族 ℬ = {123, 124, 134, 234}——四个块，各含三点。记号 123 是 {1, 2, 3} 的缩写，后文一直沿用。先记块账：每块 3 点，均匀。再记点账：点 1 出现在 123、124、134 三个块里；同样地，2、3、4 也各在三个块里，正则。最后记对账：{1,2} 同在 123 与 124 两块；{1,3} 同在 123 与 134；{1,4} 同在 124 与 134；{2,3} 同在 123 与 234；{2,4} 同在 124 与 234；{3,4} 同在 134 与 234——六对点，对对恰好两次。

它有没有更熟悉的名字？有——完全图 K₄ 的所有三角形。把四个点两两连线，一共六个点对、四个三角形，每个三角形含三条边、每条边（点对）恰在两个三角形里。标本 A 说明：BIBD 并不神秘，最熟悉的图论对象里就藏着一个。事实上「取完全图 K_v 的所有三角形」对任意 v ≥ 3 都给出 (v, C(v,3), v − 2, 3, 2)-BIBD——这是 λ = 2 的一族无限设计，第一章末的习题将完整验证。

标本 B：五点五块，一个「差点儿」的反例。取 X = {1, 2, 3, 4, 5}，块族 {123, 145, 245}。块账：块块 3 点，均匀。点账：点 1 在 123、145 里（2 次）；点 2 在 123、245 里（2 次）；点 3 只在 123 里（1 次）；点 4、5 各 2 次——不正则。对账也不齐：{1,4} 同块 1 次，{3,4} 同块 0 次。标本 B 提醒：均匀与正则可以只满足其一；三本账都平，才配叫设计。

本节的一个副产品值得单独强调：点账、块账、对账是三个独立的信息位，任何一本不平都足以否决一个候选设计。下一节把这三本账装进五参数的口袋里，开始正式记账。

第一章 平衡设计：BIBD 与计数恒等式1.2 BIBD 五参数

★★ BIBD 的定义（绪论）只显式提到 v, k, λ 三个数；本节论证 b 与 r 由它们决定，从而五参数实为「三元组 + 两个推论」。论证本身就是本书第一条「换角计数」。

这段证明里有全章（乃至全书）最重要的一次「换角」：同一批三元组，站 y 的角度数一遍、站 B 的角度数一遍，两个答案必须相等——相等本身就是定理。 k ≥ 2 的用处：若 k = 1，每块只有一点，对账 λ 恒为 0，r(x) 无法被决定（每个点各进各的块，入度随便多少都行）——退化在此现出原形。

b 的决定。再数一次，这次数「关联对 (x, B)」（点在块里）：按块数，每块 k 个点、共 b 块，得 bk；按点数，每点入度 r、共 v 点，得 vr。于是：

两条恒等式合起来：r = λ(v − 1)/(k − 1)，b = vλ(v − 1)/(k(k − 1)) = λ C(v,2)/C(k,2)。第二个表达式有个漂亮的解读：C(v,2) 是点对总数，C(k,2) 是单块能覆盖的点对数；λ 遍历一切点对，所以块数 b 就是「总覆盖需求 ÷ 单块容量」乘上 λ。设计参数不是自由变量，而是被两本账锁死的一族。

即查即用。① (7,3,1)：λ(v−1)/(k−1) = 6/2 = 3，b = 7·3/3 = 7 → (7,7,3,3,1)。② (13,3,1)：r = 12/2 = 6，b = 13·6/3 = 26 → (13,26,6,3,1)。③ (10,4,1)：r = 9/3 = 3 ✓，b = 10·3/4 = 7.5 ✗ ——除不尽，出局。一张体检表已见雏形：三个整数条件（r、b 为整数）是参数的第一道安检门，§1.13 的可除性筛将把它系统化。

第一章 平衡设计：BIBD 与计数恒等式1.3 计数恒等式 I：bk = vr

★★ bk = vr 是两条恒等式里更直观的一条：左边数「块里的座位总数」，右边数「点的入座总次数」，同一批关联对，两个方向数两遍。本节把这条恒等式用到出神入化，并准备三个马上要用的推论。

推论一（块数的下界感）。由 b = vr/k 与 r ≥ k − λ…——这个方向暂时走不动，因为 r 的下界还没建立。真正好用的倒是一个平凡的量级感觉：b/v = r/k。若 r > k，则 b > v：块比点多；若 r = k，则 b = v——这正是第二章「对称设计」的门槛。恒等式 I 把 b 与 v 的比较换成了 r 与 k 的比较，第二章的整个议程由此立项。

推论二（平均入度）。对一个均匀（块块 k 点）但未必平衡的关联结构，bk = Σ_x r(x) 仍成立，于是平均入度恰为 bk/v。这个「平均值公式」是估计非正则结构的常用武器：想要人人入度 ≥ r，先看平均够不够格。

推论三（对偶预告）。把关联结构翻转——点变块、块变点：新结构 𝒟^T 有 b 个「点」（旧块）与 v 个「块」（旧点），块大小是旧的入度、入度是旧的块大小。恒等式 I 的两种数法正是对偶视角下的彼此：bk = vr 说的是「我与我翻转后的平均块大小一致」。翻转这个动作第二章将大放异彩，此处先埋一颗种子。

例行验算。用女生散步 (15, 35, 7, 3, 1) 检查：bk = 35 × 3 = 105，vr = 15 × 7 = 105 ✓。Fano (7,7,3,3,1)：21 = 21 ✓。标本 A (4,4,3,3,2)：12 = 12 ✓。再抽验任意一个自己造的均匀结构——恒等式 I 从不失手，因为它本来就是「同一张表横加与竖加」的同一件事。

本节的最后一个注记关于「等号的意义」：恒等式 I 对一切均匀结构成立，无论平衡与否。它是一条存在性之外的账目约束——参数不满足它，设计根本不必找；参数满足它，也才刚拿到入场券。入场券与正赛的关系，下一节会看得更清楚。

第一章 平衡设计：BIBD 与计数恒等式1.4 计数恒等式 II：r(k−1) = λ(v−1)

★★ 恒等式 II 在 §1.2 已经证过一遍，但它值得一个专门的页面：它是三条必要条件中最锋利的一条，也是「换角计数」方法论的教科书式示范。本节再给它两个推论与一次实战。

再看一眼证明的骨架。固定点 x，数集合 S_x = {(y, B) : y ≠ x, x, y ∈ B}。竖着数（按 y）得 λ(v − 1)；横着数（按 B）得 (k − 1)r。这里隐含了一次「重新分组」：先按第二分量分组，再按第一分量分组——集合的两种分划，元素个数必然相等。这句朴素的话，后面每一章都要反复兑现。

推论一（r 的整数性）。k − 1 必须整除 λ(v − 1)。这条整除性是参数体检的第一刀。例如 (10, 4, 2)：λ(v − 1) = 18，k − 1 = 3，18/3 = 6 ✓；但 b = 10 × 6/4 = 15 ✓——参数过关！事实上 (10,15,6,4,2) 是真设计（可由完全图 K₅ 的三角形「翻倍」得到，第一章习题课演练）。再看 (10, 5, 2)：λ(v − 1) = 18，k − 1 = 4，18/4 除不尽——出局，连入场券都没有。

推论二（λ ≥ v 的含义）。由恒等式 II 反解 λ = r(k − 1)/(v − 1)。固定 v, k 时，λ 每增大，r 等比增大——设计越「稠」，每个点越忙。极端地，当 λ = v − 1 且 k = 2 时：r(1) = (v − 1)，即每点恰入 v − 1 块、每块两点——这正是完全图的所有边，最平凡的 BIBD。恒等式 II 把「平凡」也纳入了账目体系：平凡不例外，只是 λ 旋钮拧到头的特写。

实战：女生散步的账。(15, 3, 1)：r = 14/2 = 7——每名女生恰好出场七天，一天不多一天不少；b = 15 × 7/3 = 35——七天每天五组。两账合验，参数表与题目叙述严丝合缝。下一步要问的真问题是：这样的 35 张小组表存在吗？这个问题要等到第三章才完全解决，但账目此刻已经把搜索空间从「一切可能的小组表」压到了一个极小的角落——这就是记账的力量。

第一章 平衡设计：BIBD 与计数恒等式1.5 完全设计与退化情形

★★ BIBD 的宪章第四条禁止「完全」：不许有块装下所有点。本节打开这道闸门，看看被挡在外面的世界是什么样——看清禁令为何而设，也就看清了设计的趣味所在。

完全设计自动满足两条恒等式：bk = C(v,k) · k = v · C(v−1, k−1) = vr（组合恒等式「杨辉三角的斜线读法」），r(k − 1) = C(v−1, k−1)(k − 1) = (v − 1)C(v−2, k−2) = λ(v − 1)。它的 λ = C(v − 2, k − 2) 由 v、k 完全决定——参数没有自由度，也就没有悬念：任取参数先猜完全设计，猜中就不必再找。这就是「不完全」禁令的用意：把 λ 与 (v,k) 解耦，让「λ ≠ C(v−2, k−2) 的平衡」成为真正的问题。

退化的另两端。① k = 1：每块单点，对账恒 λ = 0，点账 r(x) 无约束——恒等式 II 除以零，失效。② k = 0：空块装空座，一切为零。③ 重复块：若一个结构平衡而某块重复出现，把重数计入块账后两条恒等式依然成立（对账按「同在的块按重数计」理解）——这是 λ 在更一般文献里的标准约定。本书主叙述避免重复块，但在派生构造（§1.14）与编码章（第六章）里，重数将自然回归。

一个有用的观点：吃掉一块。从完全设计 𝒞(v, k) 里挑出一部分块，若挑出的部分仍平衡，就得到一个 BIBD——「从全体里挑出一小撮还保持均匀」，这恰是构造设计的一般哲学。反过来，把一个 BIBD 补齐成完全设计，多出来的块也构成一个均匀结构吗？一般不——但差多少、怎么补，正是 §1.14「补设计」的课题。完全设计因此不只是陪衬：它是所有设计的公共背景板，也是补设计的参照系。

本页收尾留一道心算：(4, 3, 2) 与完全设计 𝒞(4, 3) 的 λ 分别是多少？——前者 λ = 2（标本 A），后者 C(2, 1) = 2。完全相等！所以标本 A 恰是 (4,3) 的完全设计——它平凡得连禁令都懒得适用。下一个真正的 BIBD，要等七个点的 Fano 平面登场。

第一章 平衡设计：BIBD 与计数恒等式1.6 Fano 平面的参数账

★★ 常驻嘉宾正式报到。本节用 Fano 平面把本章前六节的概念全部过一遍堂——参数、账目、同构、入座——它此后将随叫随到。

账目总表。Fano 平面的七条线是 123, 145, 167, 246, 257, 347, 356。逐项验收：

对账行的算式值得写成一条「全景恒等式」：按对数，总相遇次数 = λ·C(v,2)；按块数，总相遇次数 = b·C(k,2)。它其实是恒等式 I 的推论（两边除以 k(k − 1)/2），但作为「第三本账的全表」独立好用——任何候选设计的对账都可以这样一枪毙命或暂缓执行。

同构：Fano 平面只有一张脸。命题：任何 (7,3,1)-BIBD 都同构于上述七线表。证明要点：取点 1，它与其余六点恰各配一次、分入三条线；这三条线的「第三点」两两不同（否则该两点已与 1 同线两次），于是其余六点分成三个对子，不妨记三条线为 123、145、167。再看点 2：它已与 3 同线，还需与 4, 5, 6, 7 各恰配一次，即再入两条线、每线含 2 与两个对子里各取一点；且新线里不许出现已相遇的对（如 4, 5 已在 145 同线）——于是只有两种可能：{2,4,6},{2,5,7} 或 {2,4,7},{2,5,6}，二者经 6 ↔ 7 换名互相转化，不妨取前者。轮到点 3：它还需与 4, 5, 6, 7 相遇，而 4 与 7、5 与 6 尚未相遇——两条新线被逼定为 {3,4,7} 与 {3,5,6}（若选 {3,4,6}，则 {4,6} 已在 246 同线，重账）。四线落定，剩余两对 {4,7}？——已在 347 同线；逐对清点，21 个点对恰被 7 线覆盖，不多不少。∎（要点版）

这道小证明有一个大寓意：小参数世界里，账目本身就是构造算法——每一步都被「恰一次」逼得没有选择。第三章将把这一招系统化（穷举与回溯），第六章将看到 Fano 平面在 Hamming 码里以第三副面孔重生。

出勤表。把七条线排成七列、七个点排成七行，Fano 平面的关联矩阵是一张 7×7 的 0-1 表，每列三个 1、每行三个 1。把它抄下来——下一节就请它上场：矩阵一亮相，Fisher 不等式只隔一步之遥。

第一章 平衡设计：BIBD 与计数恒等式1.7 关联矩阵：设计的代数名片

★★ 从本节起，矩阵接管主角。一张 0-1 表能把点、块、对三本账全部收进代数语言，让线性代数的重型机械（秩、行列式、特征值）直接开进组合学的工地。

Fano 的名片。按点序 1..7、线序 123, 145, 167, 246, 257, 347, 356：

三本账在名片上的读法：每列恰有 k 个 1（块账）；每行恰有 r 个 1（点账）；任意两行的内积为 λ（对账）——这一条是关键新成员：内积把「两个点同在几个块」变成了一个数。行的内积用矩阵乘法一网打尽：NN^T 的 (i,j) 元恰是行 i 与行 j 的内积。

标号变换。换一次点的次序 = 左乘一个置换矩阵 P；换块的次序 = 右乘置换矩阵 Q。同构的两个结构，名片之间差一个 N′ = PNQ。因此名片上真正「身份证级」的量——秩、非零特征值、行列式（对 v = b 的方阵情形）——都是同构不变量。这条「不变量思路」将在 §1.11 用于判别非同构。

两个向量记号。记 1 为全 1 列向量（长度按上下文）、I 为单位阵、J = 11^T 为全 1 矩阵。三本账的向量式：块账 N^T1 = k1；点账 N1 = r1（由平衡推出，§1.12 前先用「每行 r 个 1」的标量式）；对账与点账平方：NN^T 对角线是 r（行内积 = 行中 1 的个数）、非对角线是 λ。矩阵肖像，呼之欲出——下一节正式揭幕。

第一章 平衡设计：BIBD 与计数恒等式1.8 矩阵肖像：NN^T = (r−λ)I + λJ

★★★ 本节把平衡条件翻译成一行矩阵等式。它是全书最常引用的一条「设计方程」，Fisher 不等式与谱理论都从它一步走出。

这条等式的威力在于：右边是一个结构完全透明的矩阵——它由两个「标准件」拼成，特征值、秩、逆全部现成。设计的复杂性（左边的 N）在平方之后坍缩成透明（右边），这正是「平衡」二字的代数本体：不平衡的结构平方后一团乱麻，平衡的结构平方后干净如初。

右边矩阵的体检。三个速算，马上要用：① 特征值：向量 1 满足 J1 = v1，故 [(r − λ)I + λJ]1 = (r − λ + λv)1 = rk·1（用了 r(k − 1) = λ(v − 1) 化简，即 r − λ + λv = r + λ(v − 1) = rk）；与 1 正交的向量 u（J u = 0）满足右乘得 (r − λ)u。于是右边矩阵的特征值为 rk（一重）与 r − λ（v − 1 重）。② 秩：若 r > λ，两个特征值都非零，秩为 v——满秩！若 r = λ，秩跌为 1。③ 行列式（方阵时）：特征值之积 rk(r − λ)^v−1。

体检一遍 Fano。r = 3, λ = 1：右边 = 2I + J，特征值 rk = 9（一重）与 r − λ = 2（六重）；行列式 9 × 2⁶ = 576。这个 576 将在 §1.9 的 Fisher 论证里当场用掉一半（秩 = 7），另一半留给第六章（它与 Hamming 码的重量分布遥相呼应）。

最后预埋一枚伏笔：肖像方程右边是「I 的倍数 + J 的倍数」的矩阵，这类矩阵在统计学的方差分析里恰好是「组间 + 组内」平方和的协方差结构——Fisher 把设计引进田间试验时，正依赖这条方程计算品种均值的方差。设计的代数与设计的应用，共用同一个矩阵肖像。

第一章 平衡设计：BIBD 与计数恒等式1.9 秩论证：Fisher 不等式

★★★ 全章顶点。一条三行的秩论证，换来组合设计史上的第一条一般性「拦截定理」。

三行证明的解剖。这条证明浓缩了「代数化」的全部哲学：① 把组合条件（平衡）翻译成矩阵等式（肖像方程）；② 让等式右边的显式结构给出代数量（满秩）；③ 用秩的单调性把代数量翻译回组合计数（列数 ≥ 行数）。三步中没有任何一步依赖具体的 v、k、λ——所以结论对全体 BIBD 一律生效。这种「一次代数化，处处拦截」的套路，将在第五章被 Ray-Chaudhuri–Wilson 升级成不等式族。

Fisher 不等式的账目版读法。b ≥ v 结合恒等式 I（b/v = r/k）等价于 r ≥ k：每个点的入座次数不少于每块的大小。直觉版：v 个点要「彼此区分」（每对恰 λ 次的相遇模式须可分辨），b 个块就是 v 个点的「指纹库」；块少了，指纹不够用，必有两点无法区分——这个直觉在 §1.10 的谱里获得精确形式（r − λ 重特征值正是「区分度」的量化）。

等号情形预告。b = v 时，秩的链条被拉满：rank(N) = v = b，N 是可逆方阵。可逆方阵里还藏着一条惊喜：把肖像方程转置方向再看（N^TN），会发现块与块之间也自动平衡——每对块恰交 λ 点。这个「等号即对偶」的现象就是第二章的主角「对称设计」，本节止步于预告。

第一章 平衡设计：BIBD 与计数恒等式1.10 设计的谱

★★★ 肖像方程给出 NN^T 的特征值；本节把它们读作设计的「频率成分」，并立刻兑付两个应用：非同构判别与一个向量不等式。

读谱。谱里最有信息量的数是 r − λ——它控制「区分度」：任意两个点指示向量 e_i − e_j（差向量，自动与 1 正交）在 NN^T 下只被放大 r − λ 倍，即

‖N^T(e_i − e_j)‖² = (e_i − e_j)^T NN^T (e_i − e_j) = (r − λ)‖e_i − e_j‖² = 2(r − λ).

翻译：两个点在「块空间」里的像相距 √(2(r − λ))——每个点对距离完全相等！这给 Fisher 不等式一个几何读法：v 个点被嵌入 ℝ^b，成为一张等距的「正则单纯形」；要在 b 维空间里放 v 个两两等距且线性无关的点，自然需要 b ≥ v。秩论证与几何论证在此合流。

应用一：非同构判别。谱是同构不变量：同构设计有相同的 NN^T 谱（置换不改变特征值）。反向不成立（同谱不同构的例子存在），但正方向足够好用：两个候选设计若谱不同，立刻判决「非同构」。练习：Fano 平面谱 {9, 2⁶}；六阶完全设计 𝒞(4,3) 的 N 是 4×4 方阵、NN^T = 2I + J，谱 {rk=8, 2³}——不同尺寸无妨，同尺寸时才有判别力。

应用二：体积不等式（Plotkin 式）。把 NN^T 半正定写成二次型不等式：对任意向量 x，x^TNN^Tx = ‖N^Tx‖² ≥ 0。取 x = (v − 1, −1, −1, …, −1)^T（与 1 正交），展开 x^T[(r − λ)I + λJ]x = (r − λ)‖x‖² = (r − λ)v(v − 1) ≥ 0——自动成立但给出 r ≥ λ（Fano：2 > 0 ✓）。取更刁钻的 x 还能榨出别的必要条件；这一招在第五章的 R–W 不等式里将升级成重炮。

图 1-9 的正文有一处需要立即更正——「至多 b+…」是笔误，正确的说法是：b 维空间中两两等距的向量组至多含 b + 1 个点，而设计里 v 个像向量线性无关，故至多 b 个（线性无关强于等距，结论反而更紧）。谱的第二次出场在第二章（对称设计的循环谱），第三次在第六章（码的重量计数器与谱的对偶）。

第一章 平衡设计：BIBD 与计数恒等式1.11 同构：设计何时是同一个

★★★ 绪论已定义同构，本节把它升格为工具：数一数标号，比一比不变量，判一判非同构。小参数世界里，这是分类学的基本功。

标号计数。同构是点的置换 φ 把块族映到自身。任何设计的自同构群里至少有恒等映射；把全部 v! 个点的置换看作大军，自同构群是其中把块族「原样送回」的守军。由轨道计数（群作用下，一条轨道的大小 = 群阶 ÷ 稳定子阶）：

反着用。若穷举数出一个设计在固定点集上恰有 M 个不同的块族实现（点的标号算、块的次序不算），则轨道—稳定子给出 |Aut(𝒟)| = v!/M——计数给出群阶。Fano 平面：7 点共 7! = 5040 个点置换，第三章实验页将用程序验证：把七线表逐置换扫描，恰有 30 个置换把它原样送回——即 |Aut| = 5040/30 = 168（§1.12 将独立算出同一答数）；若连块的次序也计入，实现数为 30 × 7! = 151200 = 7!·7!/168，两本账完全一致。账目与群论互为验钞机。

不变量清单（判非同构的体检单）。① 参数 (v,b,r,k,λ)；② 谱（§1.10）；③ 块交图：以块为顶点、两块相交数为权的图；④ 自同构群阶。两个候选设计任何一项不同，即判非同构；全部相同，仍须小心（不变量无法证明同构，同构必须构造出置换 φ）。这套「体检单 + 猜置换」的两段式，是组合分类问题的标准操作，第三章将用它在 STS(15) 的 80 个同构类上小试牛刀。

同构与否的分水岭。值得驻足的一个事实：对 (7,3,1)，全部设计同构（一张脸）；对 (9,3,1)——第三章的主角之一——存在一个非同构类（即仿射平面 AG(2,3)）；对 (15,3,1)，80 个；对 (19,3,1)，11 084 874 829 个。同构类数目的爆炸是组合设计的一般规律，也是「分类」作为研究纲领必然碰壁的原因。数学家于是转向两个退而求其次的目标：存在性（有几类 ≥ 1？——第三章）与典型性（随机造一个，大概率长什么样？——组合学的现代前沿，综合站余韵一瞥）。

第一章 平衡设计：BIBD 与计数恒等式1.12 自同构群：设计的对称

★★★★ 设计的对称性由自同构群量化。本节算出 Fano 平面的 168 阶对称群——它是全书第一个「名副其实」的群计算，也是第六章 Mathieu 群的预演。

账目复核。168 = 7·6·4。把它拆成点轨道：群在七点上传递（任一点可送到任一点，轨道大小 7），单点稳定子阶 168/7 = 24；24 阶的稳定子里，固定点 1 的自同构在其余六点上仍传递（轨道 6），稳定 1 与 2 的子群阶 4。层层剥笋，全部对上——群论核算与设计账目零误差。

对称的价值。自同构群不是装饰：① 它把证明分摊——凡群能到达的点地位平等，论证只需做一次（「不妨设」的合法化证书）；② 它压缩搜索——穷举时只需枚举群的一个轨道代表；③ 它预言结构——第六章将看到，Fano 平面的 168 阶群正是 Hamming (7,4) 码的译码对称，而 24 点 Witt 设计的对称群 M₂₄（阶 244,823,040）将把「设计—码—群」的三位一体推到极致。设计的对称轴，从本页开始上膛。

第一章 平衡设计：BIBD 与计数恒等式1.13 可除性筛：参数的第一道门

★★★ 前几节的恒等式都是「对一个已知结构算账」；本节把它们倒过来用——先于任何构造，仅凭参数就把一大批候选宣判出局。这套筛选流程就是可除性筛，它是全书参数体检的标准动作。

筛一遍 λ = 1 的三元系。条件①：v ≡ 1, 3 (mod 6)？先看 mod 2：k−1 = 2，需 v−1 偶，即 v 奇。再看 mod 3：需 6 | v(v−1)，即 v ≡ 0 或 1 (mod 3)。合起来：v 奇且 v ≡ 0, 1 (mod 3)，恰为 v ≡ 1, 3 (mod 6)。这两条同余正是第三章 Kirkman 存在定理的「必要条件」——存在定理的全部内容就是证明它们也充分。条件②给出块数 b = v(v−1)/6 为整数，与①等价，但独立写出有利于程序筛表。

筛一遍对称设计。第二章的主角 (v, k, λ) 要求 b = v，即 r = k，恒等式 II 变形为 k(k−1) = λ(v−1)。可除性条件化为：λ(v−1) ≡ 0 (mod k−1) 且 v 整除 λv(v−1)/(k(k−1)) 的分母问题——下一章将看到更利落的表述：n = k − λ 是整数平方数是 BRC 定理的入场要求。此处先立一块路牌。

筛法怎么用。实战分两步：第一步「正向」——拿到三元组 (v,k,λ)，两道除法几分钟做完，不过即弃；第二步「反向」——固定 k 与 λ，把满足两条件的最小 v 列成表，这些就是「值得找」的参数。第三章开篇的 STS 参数表 (7, 9, 13, 15, 19, 21, 25, …) 正是这样生成的；本册各章的实验页将反复调用这张表。

第一章 平衡设计：BIBD 与计数恒等式1.14 补设计、派生设计与残差设计

★★★ 设计的繁殖术：从旧设计出发，用「取补」「取切片」两类手术，批量生产新设计。三台手术各有精确的参数变换公式，是构造者的标准装备。

手术一：补设计。把每个块换成它对全点集的补集：𝒟^c 的块为 X \ B（B 取遍原块）。验参数：每块 v − k 点；点 x 在补块中的次数 = 原不入块数 = b − r；点对 {x,y} 同在补块 = 两点同时缺席的块数 = b − 2r + λ（容斥：共 b 块，r 块含 x、r 块含 y、λ 块两者都含）。于是

手术二与三：派生与残差。这两台手术需要一个「引擎块」：取定一个块 B₀。派生设计 𝒟_B0：点集换成 B₀（k 个点），块族换成「与 B₀ 相交的其余块各截下它在 B₀ 内的部分」（含 B₀ 自身则去掉）。残差设计 𝒟ᴮ⁰：点集换成 X \ B₀，块族换成「与 B₀ 不相交的块」加上「与 B₀ 相交的块截去交后剩的部分」？——不，标准定义更简单：残差只保留与 B₀ 不相交的块？同样不对；正确版本如下（对对称设计最干净）：

即查即用：Fano 的两刀。对 Fano (7,7,3,3,1) 取补：块大小 7−3 = 4，点入度 7−3 = 4，λ^c = 7 − 6 + 1 = 2，得 (7,7,4,4,2)——正是「七点的全部 4-子集里挑七个」的稀客；它的关联矩阵 = J − N（Fano 的名片取补），谱立即读出：原谱 {9, 2⁶} 变 {21 − 9, (0 − 2)⁶} = {12, (−2)⁶}。取派生（B₀ = 123）：点 = {1,2,3}，块 = 其余六线截下的 {2,3}, {4,5}, {6,7}, {4,6}, {5,7}, {4,7}∩B₀ = ∅ 去掉……细账第三章习题课逐项清算，此处只留一句：繁殖术让小设计一变多，是穷举与递归构造的温床。

第一章 平衡设计：BIBD 与计数恒等式1.15 t-设计初窥

★★★★ BIBD 的对账只记「点对」；本节把对账升级为 t 元组，开出一门新账户——t-设计。它是第五章的舞台，这里先立户头、亮账本。

递降定理（预告）。t-设计的对账自动向下兼容：任意 s 元组（s < t）同块的块数是常数 λ_s，且有链式公式

λ_s = λ_t · C(v − s, t − s) / C(k − s, t − s).

证明的思想是 §1.2 换角计数的直接推广：固定一个 s 元组 S，数「(S 的扩充到 t 元组的途径, 覆盖该途径的块)」——按扩充数、按块数各记一遍。第五章将给出完整论证与递降链的系谱学：一个 t-设计生出一整串 (t−1)、(t−2)、…、2-设计，各有自己的参数。先热身验一例：S(3,4,8)（第五章主角）应满足 λ₂ = C(6,1)/C(2,1) = 3——它是一个 (8, b, r, 4, 3)-BIBD。

t 重账的必要条件。每一层 λ_s 都必须是非负整数——这就是 t-设计的可除性筛：一串同余条件由深到浅排队安检。λ_s 全为正整数只是必要条件；充分性等待 Keevash（2014）：足够大的 v 上，账目过关者必存在。这条「大局已定」的定理是全册暗线的终点，第五章末与综合站将两次回望。

本册的攀登计划。t = 2（第一章）；t = 2 且可分解（第三章的 Kirkman 系——分解是把块分层打包的额外账）；λ = 1 的极简主义（第三章 Steiner 三元系）；「两族块同时平衡」（第四章正交拉丁方）；t = 3, 4, 5 的高峰（第五章 Witt 设计）。每升一重，存在的空间急剧收窄：2-设计成千上万，5-设计已知者屈指可数——稀罕本身就是第五章的美学。本节作为导览到此；记住一句：t-设计不神秘，只是把「任意两人恰遇 λ 次」推广成「任意 t 人恰遇 λ 次」——账本加厚，世界变稀。

第一章 平衡设计：BIBD 与计数恒等式1.16 换角计数：一题两账

★★★ 本章收官的方法论页。把前文用过的证明招式拆开看，全部共享同一个骨架——换角计数：选定一批对象，用两种方式分组计数，令两个结果相等。本页把招式模板化，并预告它后续章节的三次升级。

模板。一个换角计数由四件套组成：

① 对象集：要数的东西（关联对、三元组、子对……）；
② 分角 A：按第一个分量分组数；
③ 分角 B：按第二个分量分组数；
④ 等式：A 总数 = B 总数，解出未知参数或导出恒等式。

为什么有效。计数等式的深层理由是「双重分划」：同一个集合被两种方式切成互斥且完备的部分，总大小必然一致。它是组合数学里最古老的证明范式——欧拉的剖分、高斯的配对，皆是同源；在设计理论里它特别高产，因为「平衡」恰好保证了分角 B 里每一组的大小都相等，等式因此立即解出未知量。若没有平衡（如标本 B），分角 B 各组大小参差，等式退化为平均值公式——信息量骤减。这解释了本书的一个结构选择：一切高级概念都建立在「均匀」之上，因为只有均匀让换角计数从不等式升级为等式。

三次升级预告。① 第二章：换角计数遇上对偶——点、块两角互换，对称设计的「双账本」由此而来；② 第五章：R–W 不等式——换角计数从「等式」升级为「谱不等式」，拦截力大增；③ 第六章：重量计数器——MacWilliams 恒等式是换角计数在码空间里的再生。练好本章的基本式，三次升级都只是同一主题的变奏。

本章口诀（背）：一账点、二账块、三账对；bk = vr，r(k−1) = λ(v−1)；肖像 NN^T = (r−λ)I + λJ；Fisher 一言蔽之——块不比点少。

第一章 平衡设计：BIBD 与计数恒等式例题一：参数齐备的核账

题目。某社团有 13 名成员，活动记录显示：每次活动到会 4 人；任意两名成员恰好同场活动 1 次；活动场次记为 b。问：① 全年共活动几场？每人参加几场？② 该记录描述的是哪个著名设计？③ 用肖像方程算出关联矩阵的行列式。

解。① 参数三元组 (13, 4, 1)。恒等式 II：r · 3 = 1 × 12，得 r = 4；恒等式 I：b · 4 = 13 × 4，得 b = 13。每人参加 4 场，全年 13 场。

② 值得停一秒的巧合：b = v = 13、r = k = 4——块数与点数相等！这正是第二章的「对称设计」门票。事实上 (13,4,1) 是著名的射影平面 PG(2,3) 的关联结构：13 点 13 线、每线 4 点、每对点恰一线——第二章 §2.9 将用差集 {0,1,3,9} 把它整桌端出。本册的章节在此提前握手：第一章的账目已经预告了第二章的形态。

③ 肖像方程：NN^T = (r − λ)I + λJ = 3I + J，特征值为 rk = 16（一重）与 r − λ = 3（十二重）。由于 b = v，N 是 13 阶方阵，行列式 = 特征值之积：

det N ＝ det(NN^T)^1/2 ＝ √(16 · 3¹²) ＝ 4 · 3⁶ ＝ 2916.

答。① b = 13 场、每人 4 场；② 对称 (13,4,1) 设计，即射影平面 PG(2,3)；③ det N = 2916。∎

第一章 平衡设计：BIBD 与计数恒等式例题二：从 λ 表反推参数

题目。一个 BIBD 满足：恰有 16 个块；每点入 6 块；每块 8 点；任意点对同块 3 次。问有多少个点？这是真设计吗？

解。已知 b = 16, r = 6, k = 8, λ = 3，求 v。恒等式 I：bk = 16 × 8 = 128 = vr = 6v，得 v = 128/6 = 64/3——不是整数！

判决。这样的设计不存在：四项观测自相矛盾。问题的本质是「超定」：五参数里只有三个自由度（§1.2），题目给了四个，多余的一个立即把方程逼崩。∎

变式（自检）。把「每点入 6 块」改为「每点入 8 块」呢？——128 = 8v 得 v = 16；再验恒等式 II：r(k − 1) = 8 × 7 = 56，λ(v − 1) = 3 × 15 = 45，56 ≠ 45——仍然出局！两本账各杀一次。把 λ 改为多少才活？需 λ = 56/15 非整数……继续调整：r = 8 时恒等式 II 要求 λ = 56/(v−1) 且恒等式 I 给 v = 16，则 λ = 56/15 ∉ ℤ——(16, 16, 8, 8, ·) 整族皆空。可自行验证：这组观测值在物理上就是凑不齐。

方法论收束。例题二演示了记账法的「司法」用途：观测数据（真实试验或题设）必须通过恒等式的联立检验，任何一条不过，结构与数据两者必有一伪。Fisher 在田间试验里用它查试验方案的漏洞，今天它仍是试验设计软件包里的第一道校验。

第一章 平衡设计：BIBD 与计数恒等式习题课（一）：恒等式的演练

习题 1-1（热身）。对下列三元组逐一判定：能否是某 BIBD 的 (v,k,λ)？若能，算出 (b,r)：(6,3,2)、(9,3,1)、(12,4,3)、(15,5,2)、(16,6,2)。

提示。先过两道整除门（§1.13），再对幸存者验 Fisher（r ≥ k）。答案速查：r = 5, b = 10 ✓；r = 4, b = 12 ✓；r = 33/3 = 11, b = 12×11/4 = 33 ✓；r = 14/4 除不尽 ✗；r = 30/5 = 6 = k（对称！b = 16 ✓）。

习题 1-2（三角形设计）。证明：取完全图 K_v（v ≥ 3）的全部三角形作块，得 (v, C(v,3), v − 2, 3, 2)-BIBD；并用两条恒等式复核 (v = 6) 时 (6, 20, 4, 3, 2)。

提示。每条边恰在 v−2 个三角形里（边 AB 的第三点有 v−2 种取法）——这就是 λ = 2 的账。b = C(v,3)、r = C(v−1,2) = (v−1)(v−2)/2；验 bk = C(v,3)·3 = v·C(v−1,2) ✓。

习题 1-3（逆问题）。BIBD 的补设计（§1.14）满足 λ^c = b − 2r + λ。证明：λ^c = λ ⟺ r = (b + λ)/2。再找出一个满足此条件的真设计。

提示。λ^c = λ 即 b − 2r + λ = λ，即 r = b/2，结合 bk = vr 得 k = 2——λ = λ^c 的 BIBD 必是「块恰两点」的完全图类型（λ = 1 时即全体点对）。反例俯拾皆是：Fano 之补 (7,7,4,4,2) 的 λ^c = 7 − 8 + 2 = 1 ≠ 2——补运算不改 λ 若且仅当 k = 2。本习题的真正考点：参数公式的一致性外测——补的补应回到原设计，验算 (7,7,4,4,2) 的补 λ^c = 1 恰是 Fano 的 λ，账目闭环。

习题 1-4（双份账）。某 (v, k, λ) = (21, 5, 1) 候选（第三章将证明其存在，即著名的 Witt 设计 S(2,5,21)）。先算 r 与 b；再数「过一条块的点对」：块内 C(5,2) = 10 对，块外还有多少点对未被此块覆盖？

提示。r = 5、b = 21——又一例 b = v（对称设计）。块外点对：C(21,2) − 10 = 200 对，它们各自要由别的块覆盖——第二章将用「每条块恰好认识 λ 条他块」的交账来刻画这种紧凑。

第一章 平衡设计：BIBD 与计数恒等式习题课（二）：矩阵与秩

习题 1-5（亲手肖像）。写出标本 A（K₄ 的三角形，参数 (4,4,3,3,2)）的 4×4 关联矩阵 N，计算 NN^T，并核对肖像方程：NN^T = (r−λ)I + λJ = I + 2J。

提示。N 的第 t 列是三角形 {i,j,l} 的指示向量。NN^T 对角 = r = 3，非对角 = λ = 2。谱：rk = 9 一重、r−λ = 1 三重；det(NN^T) = 9，det N = ±3（方阵！）。注意这个 ±3 与习题 1-1 里 (6,3,2) 的 b = 10 无关——别串账。

习题 1-6（秩的退化）。设某关联结构均匀正则但 r = λ（允许 k 不完全？先论证这迫使什么）。证明：r = λ 的均匀正则结构要么是「完全设计的一种平凡变体」，要么不满足 BIBD 的不完全性——并由此说明 Fisher 证明里 r > λ 的来源。

提示。r = λ 代入恒等式 II：λ(k−1) = λ(v−1) ⇒ k = v（λ ≠ 0 时）——即每块装下所有点，违反不完全性；λ = 0 时对账为零，恒等式 II 平凡成立但设计无意义（点从不相遇）。故真 BIBD 必 r > λ，肖像方程右边的两个特征值皆非零。

习题 1-7（行列式练习）。设对称设计 (v,k,λ) 存在（b = v），证明 det N = ±k^v/2(k−λ)^(v−1)/2，并对 (7,3,1) 算出具体数值。

提示。det(NN^T) = rk·(r−λ)^v−1 = k²(k−λ)^v−1（用 r = k），开方即得。Fano：√(9·2⁶) = 8·√9？细算：k²(k−λ)^v−1 = 9·64 = 576，det N = 24。回看例题一：(13,4,1) 得 2916 = 4·3⁶；本题公式给 4^7/2·3³ —— 两式应一致：4^3.5 = 8·8 = 64？谨慎核对：k² (k−λ)^v−1 = 16 · 3¹²，开方 = 4 · 3⁶ = 2916 ✓；代入题给公式 k^v/2(k−λ)^(v−1)/2 = 4^6.5·3⁶ —— 4^6.5 = 4³·√4³ = 64·8 = 512 ≠ 4。哪一步错了？——题给公式漏了平方根下的 rk 与 k 的关系：应先证 rk = k²（r = k），det(NN^T) = k²(k−λ)^v−1，det N = k(k−λ)^(v−1)/2。修正后的公式对 Fano 给 3·2³ = 24 ✓、对 (13,4,1) 给 4·3⁶ = 2916 ✓。本习题的真正考点：发现公式、用两例检验、修正——数学工作的原型。

习题 1-8（选做·探究）。对一个 BIBD，把 NN^T 的谱写成 (rk, (r−λ)^v−1)。猜想：N^TN（b×b 方阵）的谱是什么？（提示：非零特征值与 NN^T 相同；零特征值的重数 = b − v。第六章将把这条「非零谱共享」升格为码理论的主力工具。）

第一章 平衡设计：BIBD 与计数恒等式第一章地图：概念依赖关系

本章 16 节的概念不是平行排列，而是一棵根叶分明的树。本页把这棵树画出来：箭头 A → B 表示「B 的定义或证明需要 A」。

通向外部的接口。① 恒等式 I 的对偶视角 → 第二章对称设计；② 可除性筛 mod 6 的产出 → 第三章 Steiner 系参数表；③ 谱与秩 → 第六章码的重量计数器；④ Fisher 的统计出身 → 综合站的试验设计专页。章内树是自足的——读完本章，后续六章的每一步定义都能找到根系。

第一章 平衡设计：BIBD 与计数恒等式第一章小结（上）：五参数与两恒等式

本页任务。把 §1.1–1.5 的账目浓缩成一张随身卡片；§1.16 的方法总结在下页。

三个必背实例。① 标本 A：(4,4,3,3,2)，K₄ 的三角形，λ = 2 的一族之最小者；② Fano：(7,7,3,3,1)，七线 123,145,167,246,257,347,356，λ = 1 的最小者，Aut 阶 168；③ 女生散步参数：(15,35,7,3,1)，可分解性留待第三章。

五个一分钟体检（拿到 (v,k,λ) 先跑一遍）。① r 整数？② b 整数？③ r ≥ k？④ v > k（不完全）？⑤ k ≥ 2（避免退化）？五关全过，参数才有资格谈存在；任一关倒下，直接出局。例：(10,4,1) 死在②；(22,7,2) 死在②；(6,3,2) 全过且存在（K₆ 三角形）。体检是必要条件不是充分条件——过关之后，存在性仍是正赛；这道裂缝由第二章的 BRC 继续撕大，直到第三章、第五章分别用 Kirkman 定理与 Keevash 定理缝上。

第一章 平衡设计：BIBD 与计数恒等式第一章小结（下）：矩阵三定理

本页任务。把 §1.7–1.16 的代数装备浓缩成三张卡片，外加方法论的封印。

方法论的封印。本章全部证明只用四种动作：换角计数（两恒等式、递降公式）、代数化（肖像方程）、秩与谱（Fisher、非同构判别）、群论核算（轨道—稳定子）。四个动作的调用成本依次升高，实战顺序永远是：先数账（一分钟），再上矩阵（五分钟），最后才群（半天）。这个「成本阶梯」是组合数学工作方式的缩影，也是本册反复示范的解题纪律。

第一章与全书的接口总表。对称设计（第二章）＝ Fisher 等号的谜底；Steiner 系（第三章）＝ λ = 1 与可分解；MOLS（第四章）＝ 两族块的双重均匀；t-设计（第五章）＝ 对账的 t 重化；码（第六章）＝ 关联矩阵的行空间。一张地图读完，六个方向各自出发——下一站：当 b = v。

第一章 平衡设计：BIBD 与计数恒等式思想卡：计数是一种证明

第一章 平衡设计：BIBD 与计数恒等式挑战：搜一张 BIBD 参数表

任务。写出一个小程序（或手算），枚举 2 ≤ k ≤ 8、1 ≤ λ ≤ 5、k < v ≤ 60 的全部三元组，逐一过「五关体检」（r 整数、b 整数、r ≥ k、v > k、k ≥ 2），输出幸存者清单；再从中标出本书已出现过的设计：标本 A (4,3,2)、Fano (7,3,1)、(13,4,1)、(15,3,1)（女生散步）。

观察任务（比搜索更重要）。① λ = 1 的幸存者序列（k = 3）：7, 9, 13, 15, 19, 21, 25, …——把它 mod 6 归类，会看到全是 1 或 3：这正是第三章 Kirkman 定理的必要条件，等于把该定理亲手「搜」了出来。② k = λ + 1 的整行：r = v − 1 恒过体检——但它们对应「完全图的所有 (λ+1)-子集」族（习题 1-2 的推广）， λ = C(v−2, k−2) 的完全设计亲戚，(b 由 v 直接决定)。这一行「绿而不稀」，呼应 §1.5 的悬念之辨。③ 对称行 b = v（即 k(k−1) = λ(v−1)）：7, 13, 21, 31, …（λ = 1 时 v = k² − k + 1）——第二章的射影平面序列，先睹为快。

进阶（选做）。把体检升级为「三章联动」：幸存者中 b = v 的行（对称线），用第二章将学的判别式条件预筛；λ = 1 行的 v > 25 部分，查阅文献确认已知构造。搜索表是全书的活地图——此后每学一章，就在表上点亮一批名字。

第一章 平衡设计：BIBD 与计数恒等式实验：穷举 7 点与 9 点的小设计

实验目的。让程序「看见」全部样本：Fano 平面的小世界里，账目、同构与对称都可数、可摸。全部代码可运行于任何 Python 3 环境，无需第三方库。

实验一：验证 Fano 的七线表。

X = range(7)
lines = [{0,1,2},{0,3,4},{0,5,6},{1,3,5},{1,4,6},{2,3,6},{2,4,5}]
# 账目三验
for x in X:                                   # 点账
    assert sum(x in L for L in lines) == 3
from itertools import combinations
for a, b in combinations(X, 2):               # 对账
    assert sum({a,b} < L for L in lines) == 1
assert all(len(L) == 3 for L in lines)        # 块账
print('Fano 三本账全部通过')

实验二：数标号实现（复核 |Aut| = 168）。对全部 7! = 5040 个点的置换 p，检查 p 把七线表映回自身（作为集合族）：恰有 168 个置换通过——它们就是自同构群；进而实现数 M = 5040/168 = 30。代码骨架：用 frozenset 冻结每条线，置换后整体比对。

实验三：9 点上搜 (9,3,1)。枚举 9 点中全部 C(9,3) = 84 个三元组，回溯挑选 12 个（b = 9·8/6 = 12），使每对点恰覆盖一次。程序将报告：解存在，且全部解分成两个同构类——一个是 3×3 方点阵的「仿射平面」（三类平行线），一个是「星形」结构（有一个点入 4 块？不——正则结构人人 r = 4；两类的差别在块交模式）。这正是第三章的预告：同构类开始分岔。运行时间在毫秒级；把 9 换成 13 则需几分钟——组合爆炸的体感教学。

实验报告要求。① 贴出实验一、二的计数结果；② 实验三给出解的总数与两个同构类的块交图快照；③ 回答：把 Fano 的 7 换成 9 后，Aut 的阶还整除 9! 吗？（轨道—稳定子保证整除，但阶数已掉到 432 与 54 两个不同值——对称也在分岔。）

第一章 平衡设计：BIBD 与计数恒等式〖札记〗从卦阵到赛马：中国的安排传统

卦阵：最早的 0-1 矩阵。《易经》六十四卦，每卦由六爻组成，爻分阴阳两态——用现代语言，这就是 2⁶ = 64 个六位二进制向量的全集；八卦则是 2³ 的三位向量组。邵雍（北宋）对六十四卦的排序（「伏羲六十四卦次序」）被莱布尼茨 1703 年的论文认定为二进制记数法的完整实现。从设计理论的角度看更有趣的一笔：卦与卦之间「变更爻数」（汉代的「卦变」说）恰是 Hamming 距离——六爻中不同爻的个数。后天八卦的「对宫卦」互为 Hamming 距离 3 的对偶……当然，古人没有这套语言，但把 2⁶ 个向量排成对称的方阵、按距离分组、按补卦配对，这些操作在《周易》的图式系统里真实存在。0-1 矩阵的出勤表与点名册，比莱布尼茨早了两千多年。

幻方：最早的均匀安排。「洛书」九宫（纵横斜和皆 15）传为大禹时代所出，实物流可考至汉代「太乙九宫占盘」。幻方要求 1..9 排入 3×3 方阵使三行、三列、两对角和相等——用本册语言：这是对「双重账本同时平衡」的最早实践（行账、列账、两条斜账，共 8 本账同时平）。唐代杨辉给出 3 至 10 阶幻方的构造法；宋元数学家对幻方的系统研究比欧洲早三百年。幻方与组合设计的正式会师发生在近代：幻方是拉丁方的特例（把「和相等」换成「元素不重复」），而拉丁方正是第四章的主角。九宫图里那个居中的 5，站在所有过它的四条账线的交点上——这个「重心点」的角色，将在第二章对称设计的中心块身上重现。

田忌赛马：换角计数的孙子兵法。《史记》载孙膑教田忌以下驷对王上驷、以上驷对其中驷、以中驷对其下驷，二胜一负赢得千金。这个故事常被讲成博弈论，但从本册视角看，它是一次换角计数的胜利：六匹马两两赛跑共九场，按「上中下」重排配对，把必败的一角 sacrifices（弃车保帅），总账从 0:3 翻成 2:1。固定对手的出阵次序（等价于固定一个「设计」），我方的不同排阵是不同的「块选取」；孙膑做的正是枚举小样本空间、按总胜场数择优——组合优化的原型。值得一提的是，「差异化配置有限资源以满足多重约束」这一设计思想的精髓，在孙膑、在 Fisher 的田间、在 Hadamard 矩阵的行里，是同一件事。

札记的注脚。中国传统数学的长处在「算」与「表」——九宫、卦阵、纵横图都是具体表格上的操作；希腊传统长在「证」——从公理推出必然。组合设计恰好骑在两股传统的交汇处：账要算（恒等式），理要证（Fisher）。本册的写法——先记三本账、再立一条定理——自觉地把两种传统拧成一股绳。

第一章 平衡设计：BIBD 与计数恒等式第一章速查表

实例小卡。标本 A：(4,4,3,3,2)，K₄ 三角形，谱 {9,1³}；Fano：(7,7,3,3,1)，Aut ≅ GL(3,2) 阶 168，谱 {9,2⁶}，det N = 24；PG(2,3)：(13,13,4,4,1)，谱 {16,3¹²}，det N = 2916；女生散步：(15,35,7,3,1)，可分解性第三章兑现；(9,12,4,3,1)：两个同构类（实验三）。

易错三坑。① 恒等式 II 用时忘验 k ≥ 2（k = 1 除零）；② 补设计公式 λ^c = b − 2r + λ 只对无重复块版本成立；③ 谱判同构是「不同必非同构」，「相同」不能反推同构——同谱不同构真实存在。

下一步。衔接讲义（下页）把 b = v 的口袋收紧；第二章从对偶开始，把第一章的账本翻到背面。

第一章 平衡设计：BIBD 与计数恒等式衔接讲义：通往对称设计——当 b = v

★★ 本页是第一章与第二章之间的引桥：把 Fisher 不等式的等号情形摊开，使人看见下一章的整个议程如何从这里发芽。

等号意味着什么。Fisher 的证明链条是 v = rank(NN^T) ≤ rank(N) ≤ b。若 b = v，链条处处取等：rank(N) = v，N 是 v 阶可逆方阵。可逆意味着三件事：① 行（点）线性无关、列（块）也线性无关；② NN^T 与 N^TN 有完全相同的非零谱；③ N⁻¹ 存在，块与点可以通过矩阵互译。第②件事立刻兑现红利：

翻译成组合语言：b = v 的 BIBD 里，点与块完全平权——点对账本与块交账本用同一个 λ。这种「照镜子也成立」的设计叫对称设计；它不是对称群的对称，而是角色互换的对称。第一章的所有概念都将翻面重印：补设计有了对偶版本，派生与残差成为一对镜像，谱在循环情形下会露出更深的算术面孔。

两个速记例子。① Fano (7,7,3,3,1)：两线恰交一点（数一遍：123 与 145 交于 1，123 与 246 交于 2……），账本翻面分毫不差；② PG(2,3) (13,13,4,4,1)：两线恰交一点——几何里「任意两线交于一点」是射影平面的公理，账目与几何在此重合。第二章将说明这不是巧合：射影平面正是对称设计的根据地，而通往它们的快车叫「差集」。

行李清点：肖像方程、谱、Fisher、可除性筛、补派生手术、换角计数——六件全带。第二章检票口在即，票根上印着三个字母：BRC。

第二章 对称设计与差集第二章导引：极端平衡的形态

第一章的 Fisher 不等式画了一条不可逾越的横线：b ≥ v。横线之下的参数当场出局；那么恰好踩线（b = v）的设计是什么样子？本章给出完整回答：它们是最紧凑、最对称的一族——对称设计；而制造它们的头号机床，是把整个设计塞进一张加法表里的差集。

本章分三段行进。第一段（§2.1–2.3）研究对称设计的内部构造：r = k 的双账本、对偶设计、以及「等号即对偶」的完整证明——第一章遗留的预告在此兑现。第二段（§2.4–2.10）上机床：差集把 v 个点排成一圈，用一个 k 元子集的「平移舞步」造出全部块；Fano 平面由一张 (7,3,1) 的三数小表拧出，Singer 定理则宣布每张 q²+q+1 阶射影平面都能这样拧——差集是组合设计与有限几何之间的直达快车。第三段（§2.11–2.16）转向拦截与推广：Bruck–Ryser–Chowla 定理用初等数论证明一批参数永远无解，(29,8,2) 的拦截战是本章的实验主角；Hadamard 矩阵、差族与乘子定理收束装备库，方法论页总练一遍。

本章继续大量动用第一章的四大件：肖像方程（对偶证明的主角）、谱（循环设计的频域）、可除性筛（参数预筛）、换角计数（差集的核心论证）。行李在前章已备齐，本页只补一件新工具——模 v 的加法群：把 {0, 1, …, v − 1} 看成「时钟数字」，加法满 v 归零。这台小小的时钟，将转动出本章最美的构造。

第二章 对称设计与差集2.1 对称设计：b = v

★★★ 定义可以直接立在 Fisher 的等号上。

「对称」二字的分量要到下两页才完全显露（点与块角色互换后设计不变）；本页先看三件事：参数表的形状、最小例子、以及一个紧迫的存在性问题。

参数表的形状。给定 λ，对称设计参数由 k 决定：v = 1 + k(k−1)/λ。λ = 1 时 v = k² − k + 1：k = 2, 3, 4, 5, … 给出 v = 3, 7, 13, 21, 31, 43, 57, 73, 91, …——射影平面序列（Fano = k = 3，PG(2,3) = k = 4，§2.9 将给出几何解释与 Singer 构造）。λ = 2 时 v = 1 + k(k−1)/2 = C(k,2) + 1：k = 4 → v = 7（Fano 的补）；k = 5 → v = 11；k = 6 → v = 16；k = 7 → v = 22（这组将在 §2.12 被 BRC 判死，悬念先行）。λ = 3：k = 5 → v = 9？验算 1 + 20/3 非整数，出局——可除性筛先于一切定理开工。

最小例子清点。(3,2,1)：三点两两一线，就是三角形本身——平凡得像完全设计，但确属对称；(7,3,1)：Fano；(13,4,1)：PG(2,3)；(11,5,2)：本章实验将亲手枚举它的全部差集；(16,6,2)：Hadamard 设计的最小非平凡成员（§2.13）。注意 (7,4,2) = Fano 之补也是对称的——补运算保持对称性（b、v 不动），这条好性质记入账本。

紧迫的问题。乘积方程 k(k−1) = λ(v−1) 只是「三元组自洽」，可除性筛再加两道整除门；三关全过的参数真有设计吗？——有的有（7, 11, 13, 16…），有的没有（22 将被拦）。「有还是没有」从此成为本章的正赛：构造派派出差集（§2.4），拦截派派出 BRC（§2.11），胜负将在具体的参数上一场一场地分。

第二章 对称设计与差集2.2 对称设计中 r = k 与块交账本

★★★ 本页兑现第一章引桥页的承诺：完整证明「b = v ⟹ 块与块也恰交 λ 点」。证明只动用肖像方程与一次谱比对，是「代数化」方法的第二次胜利。

复盘这条证明。核心一步是恒等式 JN = kJ（J 的每行乘 N 得列和向量 = k·1^T）与它的左逆推论 N⁻¹J = (1/k)J。全等式证明于是四行收工：转置方向重演肖像方程，靠 N⁻¹ 搬运 J。第一章埋下的「可逆方阵里藏着惊喜」，在这里全额兑付。

双账本合并。于是对称设计同时是「点账设计」与「块账设计」：每对点 λ 次同块、每对块 λ 点相交。在 Fano 上实地核一遍：线 123 与 145 交 1，123 与 167 交 1，246 与 257 交 2，347 与 356 交 3——七七四十九对线，对对恰一点。把块交次数排成 7×7 矩阵，它正是 N^TN——对偶设计的关联矩阵。对称设计自带它的对偶，这是下一页的正式话题。

第二章 对称设计与差集2.3 对偶设计与自对偶

★★★ 「把点与块的角色互换」在第一章只是修辞（推论三），在对称设计里成了精确的数学动作。本页定义对偶、算清派生与残差的参数、并给「自对偶」立户头。

自对偶。若 𝒟 ≅ 𝒟^T（存在点的置换把块族变成「含点族」），称 𝒟自对偶。Fano 平面自对偶：把「点 1」认作「线 {1,2,3}」……存在一个 7 点的双射把七条线映成七个「含点族」。多步验证可以交给程序（本章实验），手算版本：Fano 的线与点通过极点配对——几何版是「每条线对应它的极点」，这一对应恰是 GL(3,2) 里的一个外自同构视角。非自对偶的对称设计也存在（最小的在 v = 16 附近），自对偶与否由块交图与点对图是否同构来初判。

派生与残差的参数账（兑现 §1.14 的欠条）。对称 (v,k,λ)，取定块 B₀：

逐项核账（以派生为例）：残影块的「块大小」= 他块与 B₀ 的交 = λ（对偶平衡！）；点 x ∈ B₀ 的入度 = 含 x 的他块数 = k − 1（原设计里 r = k，扣除 B₀ 本身）；两残影点的相遇 = 原设计中该点对与 B₀ 之外其他块的同块数 = λ − 1？——不：原对账 λ 含 B₀ 一次，故他块贡献 λ − 1。重列：派生参数应为 (k, v−1, k−1, λ, λ−1)。验 Fano (7,3,1) 派生：(3, 6, 2, 1, 0)？λ′ = 0——退化为无对账结构（残影三点两两不同块……）实测：Fano 取 B₀ = 123，他块截影：145↦1，167↦1，246↦2，257↦2，347↦3，356↦3——块 {1},{1},{2},{2},{3},{3}：重复块出现！λ′ = 0 且重复——派生在 λ = 1 的最小情形退化，恰提示派生参数公式的适用边界（k > λ 时残影才丰满）。残差则健康：Fano 残差 (4, 6, 3, 2, 1)？核：点集 X∖B₀ = {4,…,7} 四点；他块去掉 B₀ 的交后：145↦45, 167↦67, 246↦46, 257↦57, 347↦47, 356↦56——六块、块块 2 点、每点 3 块、每对点恰 1 次——(4,6,3,2,1)？参数核账：r′ = k = 3 ✓，λ′ = λ = 1 ✓，C(4,2) = 6 对 × 1 = 6 块 × C(2,2) = 6 ✓。残差公式与实测一致。

本轮账目的教训。派生一栏最初写错（λ′ 记成 k−λ）、实测抓出（Fano 残影成重块）、公式修正为 λ′ = λ − 1——这一过程本身是本书方法论的一次现场示范：参数公式必须过小样本实测这道关。勘定后的标准结论：对称 (v,k,λ) 的派生为 (k, v−1, k−1, λ, λ−1)（要求 λ ≥ 2 才不平庸），残差为 (v−k, v−1, k, k−λ, λ)；残差的补又是派生的……留给习题课理清这条繁殖链。

第二章 对称设计与差集2.4 差集：一张表造一个设计

★★★ 本章的头号机床开进。差集把「构造一整个对称设计」压缩成「找一个 k 元子集」——参数从 v! 级别的搜索空间骤降到 C(v,k) 级别。

从差集到设计。取 D 的全部 v 个平移 D + t = {d + t : d ∈ D}（t = 0, …, v−1）作为块，点集取 ℤ_v。这就是设计：每块 k 点（均匀）；两点 x, y 同块的次数 = 使 x − t, y − t ∈ D 的 t 个数 = 使 d₁ − d₂ = x − y 的有序对数 = λ（差集条件！）。块数 v，自动对称。

最小战例。D = {0, 1, 3}，v = 7：全部差 1−0=1, 3−0=3, 0−1=−1=6, 3−1=2, 0−3=−3=4, 1−3=−2=5——非零类 1..6 每类恰一次！平移出七块：

{0,1,3} {1,2,4} {2,3,5} {3,4,6} {4,5,0} {5,6,1} {6,0,2}

标号映射 0↦1, 1↦2, 2↦4, 3↦3, 4↦5, 5↦6, 6↦7 后逐一比对绪论的七线表——Fano 平面再次现身，这次是一张三数小表转出来的。一张 3×1 的表压缩了整个 7 点世界——这就是差集作为「机床」的压缩率。

为什么这是一台「机床」。对比两条构造路线：手工摆 Fano（第一章 §1.6 的账目锁死算法）要动用全部智力；差集路线只需在 35 个三元子集里找一个「差覆盖」——5 分钟的枚举。压缩率的来源：循环平移把「v 个块的内部结构一致性」打包成「一个子集的自洽性」，设计与设计之间的「相似」被加法群的平移自动保证。第三章的循环 Steiner 系、第六章的码字循环，都是同一台机床的变型。

第二章 对称设计与差集2.5 Fano 平面与 (7,3,1)：差集的第一课

★★ 本页把差集机床的第一次开机过程完整回放，并顺手解决一个分类问题：(7,3,1) 的差集共有几个？它们之间什么关系？

开机回放。目标 D ⊆ ℤ₇、|D| = 3、差覆盖 1..6 各一次。枚举 C(7,3) = 35 个三元组？不必——用账目先压搜索空间：差 3 与差 4 互补（a−b = 3 ⟺ b−a = 4），差 1 与 6、2 与 5 同理；所以只需检查「正差」{1, 2, 3} 是否各能由一对 D 元素给出。不妨含 0（差集平移不变，可平移使 0 ∈ D）。剩两元素 a < b ∈ {1,…,6}，需 {a, b, b−a, 7−a, 7−b, 7−(b−a)} 恰含 1..6 各一次（正差三对）。逐对试：a=1,b=3 → 差集 {1,3,2,6,4,5} ✓。a=1,b=2 → {1,2,1,…} 重差 ✗。a=2,b=3 → {2,3,1,5,4,6} ✓——D = {0,2,3}？验：2−0=2, 3−0=3, 3−2=1, 0−2=5, 0−3=4, 2−3=6 ✓！所以 {0,2,3} 也是差集——它与 {0,1,3} 是否本质相同？{0,1,3} 乘以 2（mod 7）得 {0,2,6}，再平移 +4 得 {4,6,3}，取负得 {3,5,6}……直接检验：{0,2,3} = −{0,4,5} = −(2·{0,2,6})… 用乘数 m=2 与平移把 {0,1,3} 变过去？2·D = {0,2,6}；平移 +3 → {3,5,2} = {2,3,5} ≠ {0,2,3}。m=5：5D = {0,5,1}；+2 → {2,0,3} = {0,2,3} ✓！故 {0,2,3} = 5·{0,1,3} + 2——同一个差集的乘数-平移变体（乘数在 §2.7 将升格为「乘子定理」的主角）。

分类小结。把 35 个三元组逐一过筛（或跑本章实验的程序），(7,3,1)-差集恰有 14 个，分成两个平移类：{0,1,3} 型与 {0,1,5} 型（各自 7 个平移）。两个类互为乘数像——例如乘 5 把 {0,1,3} 变为 {0,1,5}？细看：5·{0,1,3} = {0,5,15 mod 7} = {0,5,1} = {0,1,5} ✓。仿射群（平移×乘数，阶 42）作用在 14 个差集上恰好一个轨道：{0,1,3} 的稳定子含变换 x ↦ 2x + 1（验算：2·{0,1,3} + 1 = {1,3,7} = {0,1,3} ✓，且它生成 3 阶稳定子），轨道大小 42/3 = 14，与总数吻合——又一条群论核算与穷举计数互相咬合的账。

与第一章的对接。差集造出的设计自动有 168 阶自同构群吗？——它至少有 7 阶循环群（平移）；完整 168 需要乘数-线性变换补全（GL(3,2) 的第二、第三生成元）。这一「差集给出循环子群、乘数补足全群」的模式，正是 §2.7 乘子定理的舞台：乘数是差集的隐藏对称，而定理能把它们从参数里算出来。

第二章 对称设计与差集2.6 循环差集的基本性质

★★★ 本页把差集的代数骨架立起来：特征函数、群环、以及「⟹ 方向」——对称设计何时必有循环差集表示。

特征函数与自相关。把差集 D 写成 0-1 函数 f : ℤ_v → {0,1}（f(x) = 1 ⟺ x ∈ D）。差集条件翻译成一句：自相关为常数

Σ_t f(t)f(t + u) ＝ λ　（对每个 u ≠ 0），　Σ_t f(t)² ＝ k　（u = 0）.

左边按 t 数「D 的点对相距 u」的个数——与定义逐字吻合。自相关恒定（除峰外是平地）的 0-1 序列，在信号处理里叫最优序列；雷达、CDMA 通信里真金白银地用着 Singer 差集（§2.10）造出的序列。纯数学的对象在工程里领工资——这条伏笔综合站再收。

平移与乘数。若 D 是 (v,k,λ)-差集，则：① 平移 D + t 仍是差集（差的差不变）；② 乘 m（gcd(m, v) = 1）仍是差集：mD 的差 m(d₁−d₂) 遍历非零类各 λ 次（m 是 ℤ_v 的自同构）。由此，差集的族在「仿射群」x ↦ mx + t（共 v·φ(v) 个元素）作用下分轨；本质差集按此群的轨道计数。Fano：本质差集 1 个（§2.5）。

⟹ 方向：设计的循环性。定理（§2.4 的补全）：若对称 (v,k,λ)-设计拥有一个正则自同构（在 v 个点上单传递的循环群），则取该群生成元的轨道编号为 ℤ_v，任取一块 B₀，D = B₀ 的编号集即差集。证明三行：块的平移像 = 群作用下的块轨道（正则性给出 v 个块 = v 个平移）；两点同块次数 = 相对位移出现的次数 = λ。∎ 所以「循环对称设计」与「差集」是同一枚硬币：差集 = 有循环自同构的对称设计。不是每个对称设计都循环（存在非循环的 (16,6,2) 等），但循环者已构成最大的已知家族。

性质速记表。① |D| = k，差总数 k(k−1) = λ(v−1)（乘积方程再现）；② 平移、互素乘数、取补（补差集对应补设计，参数 (v, v−k, v−2k+λ)——须 v−2k+λ > 0）都保持差集身份；③ 若 D 与 E 是差集且 D = E + t，称等价；本质分类 = 仿射轨道；④ 差集的「凯莱表」读法：把 v−1 个非零类排成行、D 的有序对排成列，覆盖表必须每行恰 λ——这张表就是实验页的验算器。

第二章 对称设计与差集2.7 乘子定理（初版）

★★★★ 乘数是差集的隐藏对称；乘子定理则是一座「反推机器」：给定参数，直接算出必有哪个乘数——从而把差集的存在性与其算术结构锁死。本页给初版定理与证明，它是本书唯一一处需要一点「数论重炮」的地方。

初版乘子定理（Bruck–Chowla–Hall, 1953）。设 D 是 (v,k,λ)-差集，n = k − λ。若素数 p 满足：p ∤ v、p | n、且 p > λ，则 p 是 D 的乘子。

证明思路（要害两步）。① 群环的语言：把 D 写进群环 ℤ[ℤ_v] 为 D(x) = Σ_d∈D x^d，差集条件缩写成一行 D(x)D(x⁻¹) = n + λT(x)，其中 T = 1 + x + ⋯ + x^v−1 是全和元。② 模 p 消元：p | n 时，模 p 后 D(x)D(x⁻¹) ≡ λT(x)。对哈数（自共轭）分析可得：在模 p 的群环里 D(x)D(x⁻¹) 的「非 T 部分」为零——由此构造多项式恒等式，再用「p > λ」保证 λ·(适当单位群元素) 在模 p 下不被吞掉，推出 D(x^p) ≡ x^tD(x) (mod p)，最后由系数的 0-1 有界性（系数差 ≤ k < p 的论证）把同余升级为等式 mD = D + t 的整式版本。完整证明约两页（本章不铺开，参考文献指引见速查页）；本页把两处「要害」解剖清楚：

要害一：为什么条件是 p | n = k − λ？——肖像方程 NN^T = nI + λJ 里，n 是「区分度」；p | n 意味着模 p 后设计退化为「几乎完全」的形态，差集随之被迫进入稳定位置。要害二：为什么要求 p > λ？——同余升级等式的那一步需要系数差的绝对值小于 p（0-1 函数的差只能取 −1, 0, 1，安全余量来自 λ 层叠加），λ 是这道保险的保费。

战例一：(11,5,2)。n = 3，p = 3：3 ∤ 11 ✓、3 | 3 ✓、3 > 2 ✓ ⟹ 3 是乘子。于是任何 (11,5,2)-差集 D 可平移成 3D = D，即 D 分解成 ℤ₁₁ 中乘 3 的轨道：{0} ∪ {±1,±3,±4,±5,±9}…乘 3 的非零轨道是 {1,3,9,5,4}（循环）与其负 {2,6,7,10,8}——两个 5 元轨道！D 必是其中之一。检验 {1,3,5,9,4}：差 2,4,8,5,1?（1→3 差 2, 3→9 差 6, 9→5 差 7, 5→4 差 10, 4→1 差 8 …穷举 20 个有序差）——本章实验将程序确认 {1,3,4,5,9} 正是 (11,5,2) 差集。乘子把 165 个候选砍到 2 个。

战例二：(29,8,2) 的先手。n = 6，p = 2：2 ∤ 29 ✓、2 | 6 ✓、但 2 > 2 ✗（p = λ 不满足严格大于）——初版定理恰好差一口气！(29,8,2) 的拦截不靠乘子，而靠更强的 BRC 定理（§2.11–2.12）；这一「差一口气」正是两大定理分工的注脚：乘子管结构，BRC 管生死。

第二章 对称设计与差集2.8 有限域备览

★★★ Singer 构造的主角是有限域。本页把全书要用的有限域事实备齐——六件套，都是「能用就行」的深度。

① 存在唯一。对每个素数幂 q = p^e 恰有（同构意义下）一个 q 元域，记 𝔽_q；它的加法群是 (ℤ_p)^e，乘法群 𝔽_q^× 是 q − 1 阶循环群（关键是存在本原元 α：非零元 = α⁰, α¹, …, α^q−2）。素数幂之外的阶没有域（p⁶ 之外，6 元域不存在）。

② 子域。𝔽_q 有子域 𝔽_p′ ⟺ p′ = p^f 且 f | e。乘法群的子群都循环——这条将用于差集的「分圆」构造。

③ 迹与范数。定义 Tr : 𝔽_q → 𝔽_p，Tr(z) = z + z^p + ⋯ + z^pe−1；它是满的线性映射，且 Tr(z + w) = Tr(z) + Tr(w)。迹是「把域压回素域」的标准管子，Singer 差集正由迹的零点集拧成。

④ 乘法特征。映射 χ : 𝔽_q^× → {±1}（乘法同态）称乘法特征；规定 χ(0) = 0。二次特征 χ₂(z) = z^(q−1)/2（欧拉判别）把非零平方数映 1、非平方数映 −1。特征和 Σ χ₂(z)χ₂(z + 1) = −1（q 偶时 0）——这条「雅可比和」将在 BRC 证明里客串。

⑤ 阶乘的 p-adic 截尾——不用；跳过。⑤′ 求和几何级数。Σ_j=0^q−1 α^j = 0（α ≠ 1 的几何级数）；全和元 T = Σ α^j 在群环里满足 T² = qT——Singer 论证的润滑剂。

⑥ 一次式的均匀性。对 a ≠ 0，映射 x ↦ ax + b 是 𝔽q 的置换（仿射群 AGL(1,q)），差集与乘数的全部论证在素域上的版本自动推广到任意 𝔽q——注意循环差集要求 v 素吗？不：v = q2 + q + 1 对 q = 4 是 21，ℤ21 不是域也不是群 ℤ⁎……Singer 差集的「循环」来自乘法群 𝔽q3× 的循环性（q3 − 1 = (q−1)(q2+q+1)，取 v 阶子群），而非 ℤv 的加法——这是 §2.10 的精妙处，此处先把「乘法群循环」记牢。

即查即用。① 𝔽₉ 的乘法群几阶？（8，循环）② 𝔽₄ ⊂ 𝔽₁₆？(4 = 2², 16 = 2⁴, 2 | 4 ✓ 是)；③ Tr : 𝔽₄ → 𝔽₂ 的取值分布？（每值恰 2 次——迹是满射）；④ χ₂ 在 𝔽₇ 上：1,1,−1,1,−1,−1（平方数 1,2,4）——与 Legendre 符号逐位一致。六件套过关，下一页的射影空间就能顺利开工。

第二章 对称设计与差集2.9 射影平面 PG(2,q)

★★★ 现在几何登场。本页定义射影平面、验算它的设计参数、并与对称设计的序列对上号——几何从此成为差集的「厂家」。

参数验算。① 点数：非零向量 q³ − 1 个，每个等价类 q − 1 个代表，共 (q³ − 1)/(q − 1) = q² + q + 1 点。② 每线点数：一次方程 ax + by = −cz 的解是二维子空间（过原点的平面）减去原点，共 (q² − 1)/(q − 1) = q + 1 点。③ 点对定线：两个代表向量的张成是唯一的二维子空间 → 过任意两点恰一条线。④ 线数：与非零方程对 (a,b,c) 一一对应（差非零倍数的方程同线），也是 q² + q + 1 条；两线恰交一点（对偶的验算）。⑤ 每点线数 q + 1。汇成参数：PG(2, q) 是对称 (q² + q + 1, q + 1, 1)-设计——λ = 1 的对称设计，射影平面的公理与设计的平衡在此逐字互译：「两点定一线」＝「点对账 λ = 1」，「两线交一点」＝「块交账 λ = 1」。

序列对号。λ = 1 的对称参数表（§2.1）：v = k² − k + 1，k = q + 1 ⟹ v = (q+1)² − (q+1) + 1 = q² + q + 1——λ = 1 的对称设计参数恰是射影平面。于是出现一个深刻问题：参数满足 v = k² − k + 1 的对称设计，一定是 PG(2,q) 吗？——这个问题叫「射影平面问题」，(43,7,1)（q = 6 的参数）将由 BRC 判死：q = 6 非素数幂，平面不存在，而参数本身无法区分。设计的账目看得见算术，看不见几何——两界的这条缝隙，正是 §2.10 Singer 定理与 §2.11 BRC 的分工线。

仿射平面捎带一笔。PG(2,q) 拿掉一条线（及其上的点）得到仿射平面 AG(2,q)：q² 个点、q² + q 条线、平行类结构出现——它同时是 (q², q, 1)-仿射设计（每对点恰一线）与第四章 MOLS 等价定理的另一端。第三章的可分解设计（平行类）与第四章的正交拉丁方，都以 AG 为几何底座；本页先立此存照。

第二章 对称设计与差集2.10 Singer 定理：平面皆有差集

★★★★ 本章的皇冠页。Singer（1938）证明：每张 PG(2,q) 都有一个 q² + q + 1 阶单传递自同构群——从而每个射影平面（至少在其「Desargues 型」上）都对应一个差集。构造只用一页线性代数。

构造。取 𝔽q3（三次扩张），它是 𝔽q 上的三维向量空间——𝔽q3 的一维 𝔽q-子空间 = PG(2,q) 的点，二维子空间 = 线。取本原元 α（乘法群生成元，阶 q3 − 1），令 v = q2 + q + 1（注意 αv 的次数：α 的任何非平凡幂不在 𝔽q 里除非指数是 v 的倍数——由 q3 − 1 = v(q − 1)）。考察循环群 ⟨αv⟩？——更直接：考察商群 𝔽q3×/𝔽q×，阶 (q3−1)/(q−1) = v，它是循环群（循环群的商仍循环），取生成元 β = α mod 标量。⟨β⟩ 就是 Singer 循环：v 个元素，在 v 个点上单传递（任何非零向量乘适当的 βi 进入任何指定的一维子空间——标量自由恰好吸收）。

差集的拧出。固定线 L₀ = 𝔽_q（基域自身作为二维子空间？取 L₀ = {x : Tr(x) = 0} 更顺手——迹为零的二维 𝔽_q-子空间）。定义 D = {i ∈ {0, …, v−1} : βⁱ ∈ L₀ 的代表类}。则：

D 是 (q² + q + 1, q + 1, 1)-差集。

验算要点。① |D| = q + 1：L₀ 含 (q² − 1)/(q − 1) = q + 1 个点，Singer 循环单传递地送它们进 L₀ 一次。② 差覆盖：给定点对 {P, Q}，唯一线 L 过它们；需证恰有一对 (i, j) 使 βⁱ ∼ P、β^j ∼ Q 且 i − j ≡ u（固定 u）……精确论证：两点相对位移 u ∈ ℤ_v 对应 β^u 的一个陪集；两点与 u 同线 ⟺ β^−jP 与 β^−jQ 相对位移 u 且同线 ⟺ Q/P 型比落在指定陪集——由单传递性每对 (P, Q) 恰有一次。∎（完整版把「恰好一次」拆成陪集计数，本章实验用程序对 q = 2、3 全量复核。）

战果清点。q = 2：PG(2,2) = Fano，Singer 循环阶 7，差集即 (7,3,1)——第一章的常驻嘉宾终于有了出厂编号；q = 3：(13,4,1)，§2.9 已预告；q = 4：(21,5,1)——第三章 Witt 设计 S(2,5,21) 的循环实现；q = 5：(31,6,1)……λ = 1 的对称设计整行由 Singer 机床包干（q 素数幂者）。

历史的注脚。Singer 的原始动机来自几何（他称这循环群为「平面的大平移」），组合学家立刻认出差集；半个世纪后工程师在扩频通信里用同一构造生成伪随机序列——一条定理三个饭碗。Singer 循环在本书还有一次返场：第五章的 Witt 设计 S(3,6,22) 派生自 (21,5,1)，而第六章 Golay 码的循环自同构同样住在循环差集的屋檐下。

第二章 对称设计与差集2.11 Bruck–Ryser–Chowla 定理

★★★★★ 拦截派的主炮上场。BRC 定理用初等数论——二次型、无穷递降——证明一批对称设计参数永远无解。本页陈述并给出 ν 偶情形的完整证明；ν 奇情形给思想与文献。

为什么凑 ν。v 偶时方程（a）无 y、z 自由度，最锋利；v 奇时（b）总有一个「平凡解」风险（x = 1, y = 0, z² = n——n 是平方即过），凑 ν = v + 1 正是为了把 v 奇情形与「模 4 的符号」接上：v ≡ 1, 3 (mod 4) 的符号相反，三次互反的影子在方程里晃动——这正是数论「局部—整体」原则的一次组合学客串。

BRC 的两句话总结。① v 偶：k − λ 必须是平方数——一条纯算术的死令；② v 奇：一个三元二次方程必须可解——可解性由 Legendre 符号与递降裁决。它拦的是参数，不需要看设计内部——与乘子定理同一哲学：数论先于构造发言。

第二章 对称设计与差集2.12 BRC 的战果：(29,8,2) 拦截战

★★★★ 定理当炮弹，参数当靶子。本页实弹射击三发：(21,6,1)、(29,8,2)、(43,7,1)，并复盘「差一口气」的战术细节。

靶一：(22,7,2)——条款（a）的战果。v = 22 偶，n = k − λ = 5。条款（a）要求 n 是整数平方——5 不是平方数，当庭拦截：对称 (22,7,2)-设计不存在。这一发甚至不需要写方程：（a）条款是纯算术的死令。它也教我们读表：§2.1 的参数表里 (22,7,2) 过了可除性两道门（r = 7、b = 22 皆整数），却在 BRC 面前倒下——三道门之外还有第四道，账目越深，出局越早。

靶二：(29,8,2)——本章主角。v = 29 奇，λ = 2，n = k − λ = 6。方程（b）：z² = 6x² + (−1)¹⁴·2·y² = 6x² + 2y²。要证无解——且看无穷递降的完整演出：
① 模 3：z² ≡ 2y² (mod 3)。平方数 mod 3 ∈ {0, 1}：若 3 ∤ y 则 z² ≡ 2 ✗（2 非平方），故 3 | y，随之 3 | z。② 约去 9？——先记录：3 | y, 3 | z。代回：z = 3z₁, y = 3y₁：9z₁² = 6x² + 18y₁²，即 3z₁² = 2x² + 6y₁²。③ 再模 3：0 ≡ 2x² (mod 3) ⟹ 3 | x，随之 3 | z₁。④ 设 x = 3x₁, z₁ = 3z₂：9z₂²·3?…… 系统：每轮递降把 x, y, z 各剥掉一层 3，产生更小的解——若非零解存在，则无限递降，与最小正解矛盾。∎ (29,8,2) 永远不存在。（注意递降的燃料正是「2 非平方 mod 3」——欧拉判别的一次精确打击。）

靶三：(43,7,1)。v = 43 奇，n = 6，λ = 1。方程：z² = 6x² + (−1)²¹·y² = 6x² − y²。有解？x = 1, y = 1: 5 ✗；x = 1, y = 2: 2 ✗；x = 2, y = 1: 23 ✗；x = 1, y = 5: −19 ✗……但 BRC 要的是「存在」还是「不存在」？模 8 检验：6x² − y² mod 8，x 奇时 6·1 = 6，y 奇时 −1 ≡ 7：6 − 1 = 5、6 − 0 = 6、0 − 1 = 7、0 − 0 = 0——平方 mod 8 ∈ {0,1,4}：只有 0 可达 ⟹ x, y 皆偶，z 偶——递降！8 | 一切 ⟹ 无非平凡解 ⟹ BRC 拦截 (43,7,1)。而它的参数恰是 q = 6 的「射影平面」——6 非素数幂，BRC 与「平面不存在」在此互相印证（数学史上这是 BRC 的成名战：Bruck 与 Ryser 1949 拦下 q = 6，终结了欧拉 36 军官之外又一层迷雾；但注意——(43,7,1) 被拦的是「设计」，q = 6 平面被拦的是「几何」，两者同参数不同命题，互为表里）。

BRC 的局限清单。① 只管对称设计（非对称 BIBD 另有推广但弱得多）；② v 奇情形的方程有解只说明「BRC 不拦」，存在与否仍未决——(41, 7, 2)？(51, 7, 2)？若干「BRC 放行但存亡未知」的参数挂到今天；③ v 偶情形的平方要求也是单向的——n 是平方也不保证存在（(16,6,2) 存在而某些平方参数存亡不明）。拦截者的地图上，灰区永远比黑白多——这正是 Keevash 大定理（第五章末）如此震撼的原因：它把「灰区」的一半一次性涂成了绿色（足够大的 v）。

第二章 对称设计与差集2.13 Hadamard 矩阵与 Hadamard 设计

★★★★ 本页把三种语言——方阵、设计、差集——焊在一处。Hadamard 矩阵是「取值 ±1 的极端正交」，它与对称设计的换算几乎是免费的。

标准化。行、列置换与「某行变号」不改变 Hadamard 性；用这些操作可把第一行、第一列全调成 +1（标准化）。标准化后删去第一行、第一列，再把 +1 换 0、−1 换 1，得到的 (n − 1) × (n − 1) 0-1 矩阵记 A。核心核算：任取 A 的两行，它们来自 H 的两行（都只在第一列同号 +1）：原内积 0 = 1 + (A 两行的 0-1 内积改造)……直接算：把 ±1 版记 B = 2A − J（去首列后的子块），正交条件给 BB^T = nI − J（n 阶时 HH^T = nI，削去首行首列的代数）。翻译成设计的账：

再拧一刀到差集。Hadamard 型 (4m−1, 2m−1, m−1) 满足 v = 4u − 1, k = 2u − 1, λ = u − 1（u = m），补设计参数 (4m−1, 2m, m)——补设计对应「Hadamard 3-设计」：4m 点、块 2m 点、任意三点同块 m 次（第三章习题课验证 3-重账）。一条链浮出水面：矩阵（正交）→ 对称设计（双账）→ 3-设计（三账）——账本每加厚一重，等价链就往回拉一格。第五章的 5-设计宏构，正是这条链的远端。

谁在造 Hadamard 矩阵。已知构造全部依赖设计：① Paley 构造——用二次剩余特征 χ₂ 直接拧出 q ≡ 3 (mod 4) 的 (q+1) 阶矩阵（§2.8 的特征⑥当场领工资）；② Sylvester 塔式构造——H⊗H 翻倍（2, 4, 8, 16…）；③ Williamson 型——四块循环阵拼装。三者都通向差集或循环结构：Hadamard 猜想的每一步推进，背后都是一张新的差集账单。

第二章 对称设计与差集2.14 差族与循环设计

★★★ 差集要求 v 个平移全部入列；若只取一部分平移，平衡会掉吗？——把「一张表」升级为「一叠表」：差族，BIBD 的循环构造机。

对账一次。块数 b = v·s；每点入度：r = Σ|D_i|（每个点在 Σk_i 个族的平移里各恰一次——平移把点扫过全圆）；对账由差族条件直接给 λ。恒等式 I 核验：bk = v·s·k vs vr = v·Σk_i = v·s·k ✓（k_i 全等 k 时）。差总数条件：Σk_i(k_i − 1) = λ(v − 1)——「多张小表的差账合并平账」。

差族的优势。① 块大小可变：k_i 不必一致——这给了「混合块大小」设计的构造通道（强部分平衡设计的近亲，§4.12 回访）；② 参数灵活：很多差集无解的参数，差族有解（例如 (9, 12, 4, 3, 1)：第一章实验的两个同构类之一就是循环差族 {0,1,3},{0,2,5}?——留给实验核验）；③ 搜索更容易：每张表更小，回溯树的深度骤降。

战例：循环 STS。λ = 1、k = 3 的差族就是第三章「基差族」的雏形：Σk_i(k_i−1) = 6s = v − 1，即 v = 6s + 1——正好是 v ≡ 1 (mod 6) 的一半参数（另半 v ≡ 3 mod 6 需要非循环技巧）。差族把第三章的存在性定理「抄了近道」：v = 13 时 s = 2，两张三元表（§3.5 的 {0,1,4} 与 {0,2,7}——绪论已预告差覆盖 1..6 各一次）合成一个循环 STS(13)。

与乘子的互动。乘子定理有差族版本（p | λ 时 p 是「差乘子」的变体），但条件更微妙；本章止步于差集版（§2.7），差族的乘子理论进阶留给文献。下一页的参数表搜索将演示：差族条件如何把「可能的循环 BIBD」压成一张短清单——这正是第三章循环构造的程序化前奏。

第二章 对称设计与差集2.15 对称设计的参数表搜索

★★★★ 装备齐了：可除性筛（第一章）、Fisher、乘子定理、BRC、Hadamard 等价、Singer 存在性。本页把它们串成一条流水线，对 λ ≤ 3、v ≤ 100 的对称参数做一次「全景体检」，并清点每个参数的最终身份：存在 / 不存在 / 悬而未决。

流水线四站。① 算术门：v = 1 + k(k−1)/λ 整数且 v > k；r、b 整数（对称时自动）。② BRC 门：v 偶查 n = k − λ 是否平方；v 奇查方程 z² = nx² + (−1)^(v−1)/2λy² 可解性（程序枚举小解）。③ 已知构造对号：λ = 1 且 k = q + 1（q 素数幂）→ Singer ✓；(4m−1, 2m−1, m−1) 型 → Hadamard/Paley ✓（Hadamard 猜想覆盖全部 4m 阶）。④ 文献清点：以上都未覆盖的，查已知结果定案或挂「未知」。

表里的两处风景。其一：(57,8,1)——参数看似普通，BRC 放行、Singer 不适用（7 = q+1 需 q = 6 非素数幂——注意别与 q = 7 混淆），存亡至今未知，是对称设计存在性理论最著名的悬案之一（它也是「非 Desargues 平面不存在时」的天然靶标）。其二：(16,6,2)——存在但不循环（已证无 (16,6,2) 差集）：差集机床并非万能，循环性是真实的额外结构。

方法论清点。本页的流水线是全书「账目思维」的集中操演：每道门只看参数不看结构，门与门之间互不重复。任何一组新参数送进这条流水线，都应在五分钟内报出颜色。下一页方法论总表收束全章。

第二章 对称设计与差集2.16 方法论：构造者的工具箱

★★★ 本章收束页。把构造派与拦截派的全部武器入箱编号，并预告它们在后续各章的转岗。

构造者的工作流。① 参数过四门（算术、可除、Fisher、BRC）——不生即弃；② 查等价族（Singer / Hadamard / 补派生）——挂靠已知；③ 乘子压缩轨道——把搜索空间切窄；④ 程序回溯差集/差族——小参数内直接拿货；⑤ 大参数转构递归（复制、粘合——第三章主讲）。这条工作流在纸面上五步，实战里循环往复；本章实验将完整走一遍 (11,5,2) 与 (21,5,1)。

一句话收束本章。对称设计是 Fisher 等号上的紧平衡；差集把这种紧平衡压进一张循环的表；数论（乘子、BRC）则在表外立起拦截线——构造与拦截共用同一套账目，胜负只在参数的算术里。带着这只工具箱，下一章去攻 λ = 1 的山头：Steiner 三元系与那道散步了一百二十一年的女生题。

第二章 对称设计与差集例题一：对称设计的对偶核账

题目。设 𝒟 是对称 (v,k,λ)-设计。证明：𝒟 的补设计 𝒟^c 也是对称设计，且 (𝒟^c)^T = (𝒟^T)^c；再对 Fano 完整写出补设计的七个块并验证块交 λ^c。

解。第一步：参数。补设计参数 (v, b, b−r, v−k, b−2r+λ)（§1.14）。代入 b = v、r = k：(v, v, v − k, v − k, v − 2k + λ)——b = v 保持，对称性保持 ✓。用乘积方程核 λ^c 的对偶平衡：由 §2.2 的对偶定理直接给（补设计的关联矩阵 J − N，转置 (J − N)^T = J − N^T——补与对偶两个算子交换）∎ 第一问收工。

第二步：Fano 的补设计。原七线 123, 145, 167, 246, 257, 347, 356；补块 = 每线换成四点补集：

4567, 2367, 2345, 1357, 1346, 1256, 1247.

核账：每块 4 点 ✓；每点入 4 块（点 1 ∈ 4567? 否；∈ 2367? 否；∈ 2345? 否；∈ 1357 ✓；∈ 1346 ✓；∈ 1256 ✓；∈ 1247 ✓——4 块 ✓）；对账 λ^c = 7 − 6 + 1 = 2：抽验 {1,2}：1247 ✓、1256 ✓——恰 2 ✓；{4,5}：4567 ✓、2345 ✓——2 ✓。块交：4567 ∩ 2367 = {6,7}，4567 ∩ 2345 = {4,5}，2345 ∩ 1346 = {3,4}?（2345∩1346 = {3,4}）——均为 2 点 ✓。∎

第二章 对称设计与差集例题二：手造 (11,5,2) 与 (13,4,1)

题目。① 用乘子定理的战例（§2.7）写出 (11,5,2) 的差集并验证全部差账；② 用 Singer 构造的思想直接写出 (13,4,1) 的差集（文献标准答案 {0,1,3,9}），并验证。

解①。§2.7 已算出：3 是 (11,5,2) 的乘子，且 D 必为乘 3 轨道之一：T₁ = {1,3,9,5,4}（1 起步的乘 3 循环：1→3→9→27=5→15=4→12=1 ✓）或其负 T₂ = {2,6,7,10,8}。取 D = T₁，平移 −1 使 0 ∈ D：D′ = {0, 2, 3, 4, 8}。验差账：C(5,2) = 10 对点 → 20 个有序差，需覆盖非零类 1..10 各恰 2 次。抽验三格：差 1 ← (3−2, 4−3)，2 次 ✓；差 5 ← (8−3, 2−8)，其中 2−8 = −6 ≡ 5 (mod 11)，2 次 ✓；差 10 ← (2−3, 3−4)，两者同为 −1 ≡ 10，2 次 ✓。全表 20 个有序差由本章实验页程序逐一核验，结论：D′ 的差对非零类 1..10 各恰 2 次 ✓。平移 −1 前的原表 {1,3,4,5,9} 即 §2.7 的 T₁。∎

解②。q = 3 的 Singer：𝔽₂₇ 中取本原元 α（如 x³ − x + 1? 实操取 x³ + 2x + 1 之本根），Singer 循环阶 13，线 L₀ 的指数集即差集。标准答案（文献常载）：D = {0, 1, 3, 9}。验差账：C(4,2) = 6 对 → 12 个有序差需覆盖 1..12 各一次：差 1 = 1−0；3−1=2；9−3=6；0−9 = −9 = 4；3−0 = 3；9−1 = 8；1−9 = −8 = 5；0−1 = 12；9−0 = 9；0−3 = 10；1−3 = 11；3−9 = −6 = 7。1..12 各恰一次 ✓——一张四数小表造出 13 点 13 线的射影平面。∎

复盘。例题二的两个构造来自本章的两台主力机床：乘子压缩（T1）与 Singer 传送带（T3）。注意 (13,4,1) 差集的「幂律外形」不是巧合——Singer 差集天然带循环群的指数结构，幂律小表是它在素域上的投影。看到幂律就想到 Singer——这条直觉在第三章基差族与第六章循环码里都会再次兑现。

第二章 对称设计与差集习题课（一）：差集的验算

习题 2-1（热身）。验证 {0, 1, 4} 与 {0, 2, 7} 都是 (13, 3, 1) 的「半差集」：单独一张表的差只覆盖 1..6 的一半？精确地说，算出两表各自的差多重集，证明它们合并后 1..12 各恰一次（这是差族 {0,1,4},{0,2,7} 的核账，第三章 §3.5 将正式启用）。

提示。{0,1,4} 的六个有序差：1, 4, −1=12, −4=9, 3, −3=10 → {1, 12, 4, 9, 3, 10}；{0,2,7}：2, 7, 11, 6, 5, 8。合并 = 1..12 各一次 ✓。

习题 2-2（补差集）。设 D 是 (v,k,λ)-差集。证明：D 的补集 D^c 是 (v, v−k, v−2k+λ)-差集（要求参数为正）。再用 Fano 验证：{0,1,3} 的补 = {2,4,5,6} 是 (7,4,2)-差集——对应补设计 (7,7,4,4,2)。

提示。差账容斥：全表差 v² 对，含 0 的差来自单点 k² 与空隙 (v−k)²，中账 v−2k+λ 由补设计公式平移而来；或直接按 §1.14 补设计参数读出。程序抽验 Fano 补差集的 12 个有序差覆盖 1..6 各 2 次。

习题 2-3（轨道侦察）。(11,5,2) 的另一差集 T₂ = {2,6,7,10,8}。证明：T₂ = −T₁ + c 对某平移 c？若成立给出 c；若不成立，说明两差集不等价（在仿射群下），并指出哪个对应设计 (11,5,2) 的「互不同构」版本——（事实：(11,5,2) 的循环实现唯一到等价；两表其实是平移像：T₂ + 3 = {5,9,10,2,0}？试算并下结论。）

提示。−T₁ = {10,8,2,6,7}——恰好就是 T₂ 的重排！所以 T₂ = −T₁，而取负 = 乘 (−1) = 乘 10，是乘数操作 ⟹ 两表仿射等价，本质差集只有一个。

习题 2-4（对偶的语言）。用对偶设计的语言重述习题 2-2：对称设计的补的补是什么？对偶的补呢？列出 {𝒟, 𝒟^c, 𝒟^T, (𝒟^T)^c} 四元组的全部关系，并指出哪些关系对非对称 BIBD 失效。

提示。补与对偶交换（例题一）；补的补 = 原；对偶的对偶 = 原；四元组至多四元、Fano 全部重合。非对称时补改变 b、v−k 的不对称使 𝒟^cT ≠ (𝒟^T)^c 的「参数恒等」失效——精确地说两设计参数互换。

第二章 对称设计与差集习题课（二）：乘子与拦截

习题 2-5（乘子实战）。对 (21, 5, 1)：n = 4，素数 p = 2：2 ∤ 21 ✓、2 | 4 ✓、2 > 1 ✓ ⟹ 2 是乘子。写出 ℤ₂₁ 中乘 2 的轨道结构（注意 gcd(2,21) = 1），并由此推出：(21,5,1) 的任何差集 D 可平移成 2D = D 的形式，即 D 是乘 2 轨道的并——列出所有候选表。

提示。乘 2 在 ℤ₂₁ 上的轨道：{0}、{1,2,4,8,16,11}（6 元）、{3,6,12}（3 元）、{5,10,20,19,17,13}（6 元）、{7,14}（2 元）、{9,18,15}（3 元）。注意乘子结论是 2D = D + t（允许平移），D 未必逐点不动——所以「轨道并」的干净论证要过「群作用 + 平移微调」两步，手算容易踩坑。实操建议：写程序对已知 Singer 答案 D = {0,1,4,14,16} 枚举全部 21 个平移，验证 2D = D + t 确有解 t；再体会「乘子把 C(21,5) = 20349 个候选的搜索转成 21 次平移核对」的压缩威力。

习题 2-6（BRC 速判）。用 BRC 快速判决下列对称参数：(56, 11, 2)、(46, 10, 2)、(22, 7, 2)？逐一写明用哪一条款、计算过程与结论。

提示。(56,11,2)：v 偶，n = 9 = 3² ✓ 放行——它正是阶 9 的双平面（唯一性有名有姓），存在。(46,10,2)：v 偶，n = 8 非平方数 ⟹ 条款（a）当庭拦截，不存在。(22,7,2)：v 偶，n = 5 非平方 ⟹ 同款拦截——与 §2.12 靶一互为印证。三题连读正好演练（a）条款的三连问：v 的奇偶？n 是平方？是则放行、否则终审。

习题 2-7（Hadamard 一览）。由 12 阶 Hadamard 矩阵（Paley 构造 q = 11 产出 H(12)）出发，写出它对应的对称设计参数，并与 (11,5,2) 对号；再用 §2.13 的「补」方向给出 (11,6,3)，验证它就是 (11,5,2) 之补。

提示。n = 12 = 4m ⟹ m = 3：(4m−1, 2m−1, m−1) = (11, 5, 2) ✓；补 = (11, 6, 3) ✓。Paley 的 χ₂ 表（mod 11）可手抄：平方数 {1,3,4,5,9}——正是 T₁！（Paley 差集与乘子轨道在这里第三次相遇。）

习题 2-8（选做·综述）。查阅「非 Desargues 射影平面」资料：已知的最小非 Desargues 平面阶数是多少？（答案：9，有四张互不同构的 9 阶平面。）它们的 Singer 循环还在吗？——（答：一般不在；循环性刻画 Desargues 性的「单传递」一面。）这解释了 §2.10 为什么说 Singer 差集属于「Desargues 型」。

第二章 对称设计与差集第二章地图：几何与数论的会合

本章的概念网比第一章更密：设计语言、几何语言、数论语言三方会师。本页画全景。

通向外部的接口。① 差族 → 第三章基差族（循环 STS 的引擎）；② Singer q = 4 → (21,5,1) = Witt S(2,5,21)（第三章主角、第五章 Witt 家族的父辈）；③ Hadamard 3-设计 → 第五章 t-设计的第二级台阶；④ Paley 特征 → 第四章有限域 MOLS 的同源技术；⑤ 循环结构 → 第六章循环码（Hamming 码的循环观点）。本章是全书的技术枢纽：往前的账目在此变厚，往后的构造在此起跑。

第二章 对称设计与差集第二章小结（上）：对称设计双账本

三个必背战例。① {0,1,3}：Fano 的出生证；② {0,1,3,9}：PG(2,3) 的出生证（幂律表！）；③ {0,2,3,4,8}：(11,5,2) 的乘子战利品（乘 3 轨道）。三张表分别代表差集的三种来源：小参数穷举、Singer 代数、乘子压缩——看到一张差集，先问它从哪台机床下来。

易错三坑。① 派生参数的 λ′ 是 λ−1 不是 k−λ（§2.3 的现场翻车教训）；② (22,7,2) 过可除性筛但死于 BRC——「过筛 ≠ 存在」；③ 差集的乘数 m 要求 gcd(m, v) = 1，别把 2 当 (21,·) 的乘数之外还乱乘（轨道会断）。

第二章 对称设计与差集第二章小结（下）：差集一览

参数身份速查（v ≤ 57 对称、λ ≤ 2 精选）。存在：7₃₁, 7₄₂, 11₅₂, 13₄₁, 15₇₃, 16₆₂, 19₇₂, 21₅₁, 25₇₂, 31₆₁, 37₉₂?；不存在：22₇₂（BRC-a）、29₈₂（BRC-b）、43₇₁（BRC-b）；未知：57₈₁（最著名悬案）。下标记法 (v,k,λ) 缩写，读作「v 点 k λ」。

本章与下一章的转场。λ = 1 的对称设计是射影平面；λ = 1 的非对称设计（b > v）里有更松快的家族——三元系。它们不需要「点数 = 块数」的紧绷，只要「每对点恰一次」；构造工具正是本章的差族（基差族）。女生散步的全部机关，都已在工具箱里。

第二章 对称设计与差集思想卡：代数结构替几何发言

第二章 对称设计与差集挑战：Singer 差集的亲手计算

任务。不查文献，亲手拧出 q = 4 的 Singer 差集 (21,5,1)。

路线图。① 构造 𝔽₄ = 𝔽₂[α]/(α² + α + 1)（α² = α + 1）；② 构造 𝔽₆₄ = 𝔽₄[β]/(β³ + β + 1 或其他三次不可约——先在 𝔽₄[x] 里找不可约三次式)；③ 求本原元 α₀（阶 63）；④ 写出 Singer 循环 = 𝔽₆₄×/𝔽₄×（阶 21）；⑤ 取「线」L₀ = 𝔽₄ 的一维子空间集合？——精确任务：L₀ = 𝔽₄ 自身（作为二维 𝔽₄-子空间——即 𝔽₆₄ 里的基域），计算哪些指数 i 使 α₀ⁱ ∈ 𝔽₄：指数差集 D。⑥ 用 D 的平移造 21 条线，程序验证每对点恰一线。

参考答案的「指纹」。文献标准答案（指数归一化后）：D = {0, 1, 4, 14, 16}。算出的答案可能与它差一个仿射变换（平移 ×乘数）——用「差覆盖 1..20 各恰一次」做验收，不必与标准答案逐字一致。验收即存在：差账平了，设计就在。

加分题。① 用乘子定理预筛：n = 4，p = 2（2 > 1 ✓、2 | 4 ✓、2 ∤ 21 ✓）⟹ 2 是乘子——检查所得的 D 是否满足 2D = D + t；② 把 q = 4 与 q = 2、3 的差集并排，观察「幂律」外形在 q = 4 时如何变形（𝔽₄ 的乘法群是 3 阶，指数结构出现 3-周期花纹）；③ 思考：为什么 q = 4 的差集在 ℤ₂₁ 里、而 ℤ₂₁ 不是域？——（答：循环性来自 𝔽₆₄× 的 63 阶，商掉 3 阶标量群得 21 阶；域的结构活在「线」的定义里，不在圆环上。）

第二章 对称设计与差集实验：枚举 (11,5,2) 的全部差集

实验目的。用程序把 (11,5,2) 的差集世界全部翻出来：验证乘子战例、数清本质类、并与 Aut 的账目对拍。

实验一：差账核验器。通用函数：输入 v 与子集 D，返回每个非零类的差计数。

def diffspec(v, D):
    from collections import Counter
    c = Counter((a - b) % v for a in D for b in D if a != b)
    return c                      # 期望：每个 1..v-1 恰 lambda 次
D = {0, 2, 3, 4, 8}
print(diffspec(11, D))            # 20 个有序差 → 1..10 各 2 次 ✓

实验二：全枚举。遍历 C(11,5) = 462 个 5 元子集，用实验一筛选：恰得 110 个差集（程序清点）。再按「平移 + 互素乘数」的仿射等价聚类：全部 110 个落在一条仿射轨道上（(11,5,2) 的循环实现唯一到等价——与习题 2-3 的 T₁/T₂ 合并结论一致）。110 = 11 × 10：每本质差集 11 个平移 × 乘数像若干——精确账目留给实验报告。

实验三：BRC 程序化。写函数：给定对称参数 (v,k,λ)，判断 BRC 条款：(a) v 偶查 n = k−λ 是否平方；(b) v 奇对方程 z² = nx² + (−1)^(v−1)/2λy² 在 |x|,|y| ≤ 30 内搜非平凡解。对 (22,7,2)、(29,8,2)、(43,7,1)、(37,9,2)、(56,11,2) 各跑一遍，输出「拦截 / 放行」——与 §2.15 的表格逐行对拍。

实验报告要求。① 贴出 D = {0,2,3,4,8} 的完整差账表（10 类 × 计数）；② 报告实验二的总数与轨道数，并给出「110 = 平移数 × 乘数像数」的精确分解；③ 实验三的五参数判决表与 §2.15 对拍截图；④ 思考题：把 v 从 11 换到 13，(13,4,1) 的差集总数是多少？与 (7,3,1) 的 14 对比，规律何在？（提示：仿射轨道大小 = v·φ(v)/|稳定子|，稳定子随 q 变化——Singer 差集的稳定子往往是「乘法子群」。）

第二章 对称设计与差集〖札记〗洛书与幻方：古老的差集直觉

洛书的差集读法。第一章札记把洛书九宫读作「八本账同时平」；本章的差集语言给了它第二次解读。把九宫的 1..9 排进 ℤ₉？——洛书的行 {4,9,2}、{3,5,7}、{8,1,6}：任一行的差集 {9−4, 2−9, 2−4} = {5, 2, 7}…单独看并无覆盖性。真正与差集血脉相通的中国对象是纵横图的「翻」与「转」：杨辉在《续古摘奇算法》（1275）里给出的幻方构造法——「九子斜排，上下对易，左右相更」——正是把 3×3 方阵沿对角线平移、再折叠的操作群：平移！洛书的三行三列其实是同一个 3 元循环结构在两个方向上的平移像。用本章的语言：幻方的行是基表，列是行表的转置平移——「斜排」一步就是把一维的差集账本升级成二维的账本（第四章的 ℤ² 拉丁方账本，正是这一步的系统化）。

乘 2 的卦变。《易经》卦变说里的「飞伏」「对宫」暗合乘数操作：乾卦 111 与坤卦 000（取负）、坎离互变（逐爻取反 = 乘 −1 + 平移 111 的 ℤ₂³ 版本）。第二章的乘子定理说「纯参数能预言对称」；卦变系统则说「卦阵的结构能预言变卦的轨道」——两句话共享同一个语法：群作用先于枚举。北宋邵雍的六十四卦方圆图把 64 卦排成外圆内方，圆上的次序是二进制读数、方上的次序是「卦变轨道」——一图两语，与本章「设计语言 / 差集语言」的一币两面遥相呼认。

历法中的循环设计。殷周以来的干支纪日：十天干、十二地支配成六十甲子——一个 60 阶循环群；「三元甲子」把 180 年分上中下三元、九宫飞星每年移一位——这正是 ℤ₉ × ℤ₂₀ 上的循环平移系统。风水术数里的「三元年白表」要求「某星每年到某宫恰好若干次」——听着耳熟吗？这就是入度均匀的要求。术数家在千年尺度上反复调试这些表，使每年每宫的星宿配置账目平衡——他们没有 BIBD 的名字，但做着 BIBD 的活。差集的「自相关恒定」在他们的语言里叫「循环无端，周而复始」。

札记的注脚。本章三件数学武器——平移、乘数、递降——在中国传统里各有影子：平移见于历法与幻方、乘数见于卦变、递降（无穷回退）见于《庄子》「一尺之棰，日取其半，万世不竭」的逆向运用。工具散落千年，理论一日成型——这正是数学史最动人的常态：发现常在先，命名常在后；本册的职责是使人在命名之后，能回头认出那些先行者的足迹。

第二章 对称设计与差集第二章速查表

实例小卡。{0,1,3}（Fano）；{0,1,3,9}（PG(2,3)，幂律表）；{0,2,3,4,8}（(11,5,2)，乘 3 轨道）；{0,1,4,14,16}（(21,5,1)，Singer q=4，挑战题指纹）。

易错三坑。① 派生 λ′ = λ − 1（§2.3 教训）；② BRC（b）的符号由 v mod 4 决定，勿一律取 +；③ 差集乘数必须与 v 互素——2 不是任何偶 v 差集的合法乘数。

文献指引（进阶两页证明的出处）。乘子定理完整证明：Beth–Jungnickel–Lenz《Design Theory》卷 I 第 6 章；BRC 两页证明：Ryser《Combinatorial Mathematics》第 8 章或 Hall《Combinatorial Theory》第 10 章；Singer 构造的原典：J. Singer, «A theorem in finite projective geometry…», J. London Math. Soc. 12 (1938)。

下一步。衔接讲义（下页）把 λ 拧到 1 且放开 b > v——Steiner 三元系的世界在门口。

第二章 对称设计与差集衔接讲义：通往 Steiner 系——λ = 1 的极致

★★ 本章研究的是「最紧」的对称设计（b = v）；下一章换一个紧法：λ = 1 且不管 b。两种「紧」的区别值得站在这道门上辨清楚。

两种紧。对称设计紧在块数：Fisher 等号把块压到与点一样多，每块不得不承担双份平衡（点账 + 块交账）。Steiner 系紧在相遇：每对点恰会面一次，一次不许多——但块数可以随便多。前者像满员的剧场（座位数固定），后者像独生证（名额唯一）。两紧相遇时（λ = 1 且 b = v）就是射影平面——已经在本章看过了；λ = 1 而 b > v 的世界更大，入口就在眼前。

三元系的第一笔账。k = 3、λ = 1：恒等式 II 给 r = (v−1)/2，恒等式 I 给 b = v(v−1)/6。整除条件：v ≡ 1, 3 (mod 6)——第一章可除性筛已经把它算出来了（§1.13 的第一刀）。而存在性（Kirkman 1847）：这两条同余不但必要、而且充分——λ = 1 的世界里，账目过关即存在（v = 7 的 Fano、v = 9 的双胞胎、v = 13、15、19……全都在）。与对称设计的灰区（(57,8,1) 悬案）相比，三元系的世界干净得奢侈——这正是下一章的风景。

工具的转岗清单。差集 → 基差族（循环 STS 的核心构造，(13) 的两张表已验好）；乘子定理 → 循环三元系的分类筛；补/派生 → 递归构造的砖块；Singer q = 4 的 (21,5,1) → Steiner 系统 S(2,5,21)，Witt 家族的父辈（第五章）。本章的每一件武器都有下一章的岗位——工具箱不换，只换战场。

门上的最后一问。女生散步要求 15 点、三元块、每对恰一次——还要「每天五组恰好用尽全部人」。这最后一条（可分解性）在 λ = 1 世界里是一层新账：块不仅要彼此平衡，还要能分层打包、每层用尽全部点。Kirkman 的原题、121 年的等待、1971 年的解答——全部在三日之后。检票口就在下页。

第三章 Steiner 系与 Kirkman 问题第三章导引：λ = 1 的世界

前两章把平衡的账本从两头压紧：第一章立起五参数与两条恒等式，第二章研究 b = v 的极限紧平衡，并交出「差集」这台机床。本章把压强加到刻度的尽头——λ = 1：任何一对点，恰好同席一次。这是最吝啬的平衡：不多花一张支票，不少盖一个章。参数缩到最小，结构反而最僵硬——存在性、唯一性、计数，每个问题都在这一族里变得最尖锐；也正是在这一族里，组合设计写下了自己最长的故事线：从 1847 年 Kirkman 的七日散步，到 1983 年陆家羲的大集定理。

本章分三段行进。第一段（§3.1–3.6）巡游小系统：Steiner 三元系的定义与参数、存在性的第一道门槛 v ≡ 1, 3 (mod 6)、Fano 平面的三元系身份、循环机器与基差族，然后连看三位主角——STS(13) 的两条基块合奏、STS(15) 的四种构造。第二段（§3.7–3.11）攻存在性与可分解：Kirkman 1847 年的存在定理、递归构造、平行类，以及著名的 Kirkman 女生问题——十五个女生、七天散步、任何两人恰同组一次，答案正是一座可分解的三元系；平行类的几何化身是仿射平面。第三段（§3.12–3.16）踏进现代地形：Ray-Chaudhuri–Wilson 定理、大集问题与陆家羲的壮举、STS 个数的计数爆炸、Pasch 配置与超图视角，最后一页方法论总收。

行李大半已备：两条恒等式、可除性筛、换角计数、模 v 时钟（第二章的差集机床直接沿用）。本页只补一件新行李——拟群，它要到 §3.6 的 Bose 构造才登场，届时现场定义。本章最常出现的词是「轨道」：平移轨道造设计（§3.4）、乘子轨道分同构（§3.5）、自同构轨道数块数（§3.3）——同一个群论动作，反复兑现。

第三章 Steiner 系与 Kirkman 问题3.1 Steiner 三元系：最吝啬的平衡

★★★ 把第一章的定义沿 λ = 1、k = 3 压到头，得到本章的主角。

两条恒等式当场把参数算尽。由 bk = vr 与 r(k − 1) = λ(v − 1)，代入 k = 3、λ = 1：

r ＝ (v − 1)/2，　b ＝ v(v − 1)/6.

吝啬的分量要用对照组称出来。什么都不省的「完全设计」把全部 C(v, 3) 个三元组都设为线；STS 只留下其中的 v(v − 1)/6 个——压缩比恰为 v − 2。v 越大，节约越狠：十五个点时，455 个三元组里只留 35 个，每十三个才挑一个，还要做到每对点不偏不倚恰见一面。

本页收三个脚印。其一，v = 3 平凡：一条线装下全部三个点。其二，下一站的乘客名单已由图 3-1 排好：v = 7, 9, 13, 15——本章将逐一登台，每一位都带来一出好戏。其三，一个历史小注：三元系的问题由 Steiner 于 1853 年提出，但等价的存在性结论其实已被 Kirkman 在 1847 年先行解决——名字留给了提问者，解答者之名则以更难的问题永载（§3.7 与§3.10 细说）。

第三章 Steiner 系与 Kirkman 问题3.2 存在的第一道门：v ≡ 1, 3 (mod 6)

★★ 上一页的两个参数公式其实是两道门卫：它们不造设计，却能把不合格的 v 当场拦下。

第一门：r 是整数。r = (v − 1)/2 要求 v − 1 为偶数，即 v 为奇数。偶数点的三元系整族出局——每个点要与其余 v − 1 个点配对，而每次同席消化两个伴侣，伴侣数必须是偶数。

第二门：b 是整数。b = v(v − 1)/6 要求 6 | v(v − 1)。v 已是奇数，2 | v − 1 自动达标，剩下要求 3 | v(v − 1)/2，等价于 3 | v(v − 1)（3 与 2 互素），即 v ≡ 0 或 1 (mod 3)。与奇数条件合并：

验几个落马者。v = 5：b = 20/6 非整；v = 11：b = 110/6 非整；v = 6, 8：r 非整。而 v = 7 给 b = 7、r = 3，v = 9 给 b = 12、r = 4——门票齐备。

第三章 Steiner 系与 Kirkman 问题3.3 Fano 平面即 STS(7)

★★ 第一章的老朋友 Fano 平面，换上三元系的名册重新登场——身份不同，账目同一。

七点七线、每线三点、每对点恰一线：STS(7) 的定义逐字吻合。参数重算一遍：v = b = 7、k = r = 3——它同时是第二章的对称设计 (7, 3, 1)，差集 {0, 1, 3} 的七次平移。三种身份（三元系、对称设计、循环差集构造）在最小的非平凡样本上合体，这不是巧合：§3.4 将说明差集机床本来就是三元系的通用引擎之一。

两线必交。这是三元系语言下最值得重讲的一笔。七条线各含三对，共盖 7 × 3 = 21 = C(7, 2) 个点对——配额恰好用满，任何一对都不得重复。设两线 L₁、L₂ 不交，则其余五线每条至多与 L₁ 交一点、与 L₂ 交一点（多交即点对重复），再各带第三个点；但 L₁ ∪ L₂ 之外只剩一点，故其余五线中每条至多消化一个「跨线对」，五条至多盖五个跨线对，而跨线对共有 3 × 3 = 9 个——配不齐，矛盾。所以任何两线恰交于一点，这正是射影几何的口吻。

同构计数旧账重提。第一章 §1.11 用 M = v!/|Aut| 数过：七个点的标号实现共 5040/168 = 30 个，而自同构群 GL(3, 2) 阶 168，故 STS(7) 的非同构解唯一。唯一性是后面所有小系统的标尺：每遇一个新的 v，第一问总是「有几个非同构解」——答案从 1（v = 7, 9）到 2（v = 13）再到 80（v = 15），指数般的增长曲线在 §3.14 专门描绘。

Pasch 的初见。图 3-3 右侧的观察值得放慢：任取一点，躲开它的四条线恰好落在其余六点上、每点恰属两线——四个三元块、六个点、每点出现两次，这正是下一节以后反复出场的 Pasch 配置的雏形（§3.15 给出正式定义与系统计数）。七个点给出七个 Pasch，一个不多、一个不少——最小的三元系里已经藏着最著名的子结构。

第三章 Steiner 系与 Kirkman 问题3.4 循环 STS 与基差族

★★★ 第二章的差集为对称设计专用（b = v）；把机床的进料口放宽，它就能服务整族三元系。

账目一眼对上：每条基块产出 3 × 2 = 6 个有序差，t 条共 6t = v − 1 个，恰好分尽全部非零剩余。Fano 平面是 v = 7 的特例：t = 1，基块 {0, 1, 3}——它的六差 ±1, ±2, ±3 即 {1, 2, 3, 4, 5, 6}，分尽无余；这也是第二章 (7, 3, 1) 差集的同一张名册（那时 b = v，基差族与差集是同一概念）。

v ≡ 3 (mod 6) 的改进机型。此时 v − 1 ≢ 0 (mod 6)，纯基块盖不满账本，需添一条短轨道块 {0, m, 2m}（m = v/3）：它的稳定子有阶 3，平移轨道只有 v/3 条块，恰好结清 ±m 两项账；余下 (v − 3)/6 条普通基块结清其余。

STS(9) 为何非循环。v = 9：短块 {0, 3, 6} 结清 ±3 = {3, 6}，还需一条基块 {0, a, b}，其六差须恰为 {±1, ±2, ±4} = {1, 2, 4, 5, 7, 8}。按 ± 对称可设 a ∈ {1, 2, 4} 逐一验算：a = 1 时 b − 1 须取自 {2, 4, 5, 7}，取 2 得差 1 重复、取 4 或 7 撞上 ±3、取 5 则 b − a = 4 = −b 重复；a = 2 时 b ∈ {1, 4, 5, 8} 分别撞 ±1、自身、±3、±3；a = 4 时 b ∈ {1, 2, 8} 撞 ±3、±a、a 本身。三路全堵——循环 STS(9) 不存在，九个点必须另构造（§3.6 的 Bose 机型）。

这个定理回应的是 Heffter 1897 年提出的差问题（把 {1, …, (v − 1)/2} 分成若干组「两数之和等于第三数」的三元组的循环版），四十年后由 Peltesohn 彻底解决——「唯一例外 v = 9」这种清爽的结论，正是穷举与结构联手的产物。下一页就去 v = 13 看机器全力运转的样子。

第三章 Steiner 系与 Kirkman 问题3.5 STS(13)：两个基差族的合奏

★★★ v = 13 ≡ 1 (mod 6)，需要 t = 2 条基块：十二条非零差要分成两份、每份六条，各由一条基块独奏。这是「合奏」一词的账面含义。

找琴谱。规范形取 {0, 1, 4}：其六差为 ±{1, 4, 3} = {1, 3, 4, 9, 10, 12}。剩下的差是 {2, 5, 6, 7, 8, 11}，恰好是 ±{2, 7, 5}——第二条基块 {0, 2, 7} 应声而出。两条基块各带 13 个平移，共 26 = 13·12/6 条线，STS(13) 合奏完成。

唯一性的两本账。第一本是程序账：把 286 个三元组规范化后穷举配对，得 36 个候选基差族；逐个施以乘子 u ∈ ℤ₁₃^×（这是保持循环结构的自然同构），36 个候选合并成一条轨道——图 3-4 下方的乘子 2 就是它的「换手」舞步。第二本是文献账：非同构的 STS(13) 恰有两个；既然循环解唯一，另一个必是非循环的——它的自同构群里连一个 13 阶元都没有，自然也与基差族无缘。

对称性的家底。平移群 ℤ₁₃ 整群都是自同构；再验乘子：对两条基块同时乘 3，得 {0, 3, 12}（平移回 {0, 1, 4} 型）与 {0, 6, 8}（平移回 {0, 2, 7} 型）——乘 3 也保持设计，于是自同构群至少含 13 × 3 = 39 阶的「平移×乘 3」仿射群。连同 Pasch 计数（循环 STS(13) 恰含 13 个 Pasch 配置，计数法同图 3-3 的右栏逻辑），这些家底将在 §3.15 与挑战页派上用场。

下一站之前的一句闲笔。基差族账本的美妙之处在于「找琴谱」是有限的活：候选虽多，规范形与乘子一夹，搜索空间立刻塌缩。这个「枚举—规范形—轨道合并」的三步曲，正是现代设计枚举软件（§3.16）的雏形。

第三章 Steiner 系与 Kirkman 问题3.6 STS(15)：四种构造

★★★ 十五个点、三十五条线——组合设计史上出镜率最高的舞台。同一个 STS(15)，本书给出四种造法：代数、几何、组合、算法，各一条路。

造法一（循环·基差族）。v = 15 ≡ 3 (mod 6)：短块 {0, 5, 10} 结清 ±5，两条基块结清其余：{0, 1, 4} 的差 ±{1, 3, 4} = {1, 3, 4, 11, 12, 14}，{0, 2, 8} 的差 ±{2, 6, 8} = {2, 6, 7, 8, 9, 13}。三份并起来恰是 ℤ₁₅ 的全部非零剩余；15 + 15 + 5 = 35 条线。

造法二（几何·有限域）。取 𝔽₂⁴ 的 15 个非零向量，令 {x, y, x + y} 为线：射影空间 PG(3, 2) 中任两点唯一决定一条线，而域为 𝔽₂ 时每条线恰有 q + 1 = 3 个点，故 35 条线自动构成 STS(15)。这个系统还有大戏：§3.9 将证它可分解——35 条线能排成七个平行类，正是 §3.10 女生七日表的真身。

造法三（代数·拟群）。Bose 的机型。取 ℤ₅ 上的幂等交换拟群 x ∘ y = 3(x + y) (mod 5)（验幂等：x ∘ x = 6x = x）。点集为 ℤ₅ × ℤ₃ 的 15 个数对；竖块 {(x, 0), (x, 1), (x, 2)} 共 5 条，斜块 {(x, i), (y, i), (x ∘ y, i + 1)}（x < y，i ∈ ℤ₃）共 30 条——合 35 条。验对账：同层对由斜块接住，跨层对要么同 x（竖块）、要么落在斜块的第三点上，每对恰一次。

造法四（算法·精确覆盖）。什么都不假设：455 个三元组里选 35 个，令 105 个点对各被盖一次——这是精确覆盖问题，回溯加剪枝数秒即解。这条最笨的路其实最深刻：它对任何参数都能开机，是挑战页枚举 80 个非同构解、乃至 §3.16 方法论的引擎。

第三章 Steiner 系与 Kirkman 问题3.7 Kirkman 存在定理（1847）

★★★ §3.2 的第二道门，本节开成正果：同余条件不仅必要，而且充分。

历史的次序值得先摆正：Kirkman 在 1847 年的论文「On a problem in combinatorics」里给出了全部 v ≡ 1, 3 (mod 6) 情形的构造——比 Steiner 1853 年的提问还早六年。Steiner 不知道 Kirkman 的工作，Kirkman 也没有用「三元系」的语言标榜自己；后世以 Steiner 命名这族设计，又以 Kirkman 命名它最著名的可分解加强版（§3.9），算是各留一座碑。

证明的骨架是什么？1847 年的原证是一台「双档机床」：对 v ≡ 1 (mod 6) 用循环构造——找到 (v − 1)/6 条基块（这正是 Heffter 差问题，最终由 Peltesohn 1938 年补齐严格性，§3.4）；对 v ≡ 3 (mod 6) 用「加倍」的戏法从较小的系统黏合出来。原证的循环档依赖一个当时的缺口，现代教科书多改走另一条更透彻的路——经由成对平衡设计（PBD）的递归，本页给出它的完整骨架，细节归 §3.8。

PBD 视角的三步走。第一步：把 v 个点按某个 PBD 切块；第二步：在每个大块内部装一个小 STS；第三步：把跨块的点对用「横档」补齐——只要诸参数满足配套的同余条件，三步拼出的恰是 STS(v)。这台「切块—内装—补横档」的机器把大 v 归约到小 v：归纳的地基是已验算的有限多个小情形（v = 3, 7, 9, 13, 15, 19），地基之上一路砌到任意大。这台机器的成熟形态——Wilson 递归——要到 §3.8 才正式挂牌，那里还会顺便回答「为什么 1970 年代成了组合设计的黄金年代」。

本页收束为一句话：存在性有了完整答案——v ≡ 1, 3 (mod 6)，一扇不多、一扇不少。接下来的问题是把答案「做得整齐」：能不能让这些线再排成整齐的班次？这是可分解性（§3.9），是本章后半章的真正主角。

第三章 Steiner 系与 Kirkman 问题3.8 复制与粘合：递归构造

★★★ 本页把 §3.7 骨架里的机器拆开看零件。递归构造的中心思想一句话：用小设计当砖，用 PBD 当图纸，砌出大设计。

基本砖：加一点。最朴素的黏合是「加倍再加一」：从 STS(v) 出发造 STS(2v + 1) 之类的复合机。但直接的加倍并不总能成活——§3.6 已领教过 STS(15) 的敏感。可靠的是下面这条填充引理。

证明思路即「切块—内装—补横档」：图纸 PBD 把点分成大小 k 的块；每块内用对应的内装设计盖住块内点对；跨块点对——两个分属不同图块的点的相遇——由「横档」层补齐，横档层的构造是把整个点集按洞分组后的平行安排。三层的配额逐层核对，§3.2 的整性门卫在每层各拦一次；全部放行，合体即为 STS(v)。

为什么地基只需有限多个小情形。递归机器最深刻的一点是：三步中的同余检查与原参数的同余检查同型——大 v 的门槛恰好是小 v 门槛的复制。于是只要验证有限多个基座情形，无穷级验便一次完成；基座之上，机器自行向上延伸。这正是 Wilson 在 1970 年代的洞察：把「对每个 v 单独找构造」换成「对一族 v 批量验收图纸」，存在性定理从此成批下线。

Wilson 的纲领。1972 至 1975 年间，Richard Wilson 把这台机器推到极致：对任何固定的 k 与 λ，BIBD(v, k, λ) 对「几乎全部」满足整性必要条件的 v 存在（著名的「渐近存在定理」，1980 年代补齐为全部大情形）。第一章留下的伏笔在此兑现：整性必要条件之外，几乎不再有隐藏的拦路虎——这是设计理论深处的定音鼓。

第三章 Steiner 系与 Kirkman 问题3.9 可分解设计：平行类

★★★ 存在性解决之后，整齐性登场。本页引入本章后半部的关键词。

参数账。平行类内每块 k 点、共盖 v 点，故每类恰 v/k 个块；总类数为 b ÷ (v/k) = r——每个平行类恰好对应点的一次「整轮值勤」，可分解性把 r = (v − 1)/2 次同席排成了 r 个整齐班次。KTS(v) 的整性门卫多一道：v/3 须为整数，即 v ≡ 3 (mod 6)——可分解比存在更挑剔，15、21、27 可以，7、13、19 免谈。

两个现成标本。其一，§3.6 造法二的 PG(3, 2)：本页开头的悬念在此兑现——它的 35 条线能分成 7 个 spread（每 spread 5 条互不相交的线盖满 15 点），分解的存在性本书留给实验页（p96）程序核验；于是 PG(3, 2) 就是一个 KTS(15)。事实上（§3.10 将用）它是唯一的那个。其二，STS(9)：它正是仿射平面 AG(2, 3)——§3.4 已证它非循环、必须另构造，而仿射平面正是现成的替代品；12 条线分 4 个平行类，每类 3 条线——KTS(9)，例题二将亲手排班。

为什么「平行」。图 3-7 的名字来自仿射几何：同一平行类内的块（线）互不相交，如同一族平行线；不同类的两条线必交于一点。点对—线—平行类的三层账目，与 §3.11 的仿射平面一般化只差一步：那里将看到，可分解性与有限几何互为镜像。

第三章 Steiner 系与 Kirkman 问题3.10 Kirkman 女生问题与七日表

★★★ 组合设计史上最有名的散步，本页用刚领到的「平行类」词汇把它一步说破。

翻译只要一行：把 15 个女生排成 KTS(15)——每天恰好是一个平行类（5 个三人组盖满 15 人），七天 = 7 个平行类 = r 个班次；「恰同行一次」就是 STS 的每对恰一线。所以女生问题的数学内核是：KTS(15) 存在吗？

答案：存在，而且本质上只有一个。Kirkman 本人在随后一年的历书里给出了答案（他甚至连着几期给出不同排法）；今天知道全部本质不同的解只有一个——它正是 §3.6 造法二的 PG(3, 2)（每个 KTS(15) 都同构于它，自同构群阶 20160）。下面的七日表是本书按 §3.6 造法四的回溯程序从 PG(3, 2) 里「摇」出来的一份代表（实验页将程序核验全部约束）：

读表的两把尺子。第一把查「天」：每行 5 组互不相交、并集为全部 15 人——平行类的定义。第二把查「人」：任取一名女生，比如 1 号，她七天的同伴依次是 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15——其余十四人各见一面，一天两位，七天正好见完。

第三章 Steiner 系与 Kirkman 问题3.11 平行类的几何：仿射平面

★★ §3.9 的「平行」不只是比喻。本页把可分解性翻到几何那一面。

仿射平面就是可分解设计：命题。AG(2, q) 作为块设计恰是可分解 RBIBD(q², q, 1)。验账：b = q(q + 1) 条线分属 q + 1 个平行方向（斜率 0, ∞ 与 𝔽_q 的每个非零斜率各一族），每族 q 条平行线盖满 q² 点——平行类；每对点唯一斜率、唯一线，λ = 1。q = 3 时即 KTS(9)（图 3-7），q = 2 时四点三线的「田字」是最小的可分解设计。

反向也成立。可分解 BIBD(q², q, 1)（q ≥ 2）必满足仿射公理：同一平行类的块不相交（定义）；不同平行类的两块若不相交，则数一数——类的条数 q 乘以每条 q 点，平行公理由纯计数逼出。于是：「可分解 (q², q, 1)-BIBD」与「阶 q 仿射平面」是同一对象的两个名字。顺带得到仿射平面与射影平面的换算：AG(2, q) 添一条「无穷远线」（q + 1 个无穷远点，每个方向一个）即成 PG(2, q)——第二章的射影平面在这里找到了它的「无穷远」来历。

写清楚一点：可分解 STS(v) 要求 3 | v（每类 v/3 块须为整数），连同 §3.2 的 v ≡ 1, 3 (mod 6)，得 v ≡ 3 (mod 6)——与 §3.9 一致。更深的一层（Bruck–Ryser 型的拦截、以及「哪些阶的仿射平面存在」这个与欧拉猜想缠斗的公案）放到第四章：那里 n = 6 的三十六军官之谜正是本章与下一章的界碑。

第三章 Steiner 系与 Kirkman 问题3.12 Ray-Chaudhuri–Wilson 定理

★★★ 1971 年，Dijen Ray-Chaudhuri 与 Richard Wilson 在一篇短小的通讯里解决了悬置 121 年的女生问题一般化。

定理的分量在「一般地」三个字。具体到 KTS，1969 年前后已有若干大 v 的部分结果（Kirkman 本人 1847/1850 的工作覆盖了一些循环情形，Hanani 的 1960 年代长文补了大片疆域）；RCW 的贡献是把全部剩余情形一次清账，并把同一套技术推向一般的可分解 BIBD——可分解版的「Wilson 渐近存在定理」。组合设计理论的现代形态（参数不再逐个手工、而是成批机器判定）由此定形。

证明思想一瞥。直接构造对未知的大 v 无从下手，RCW 的机器是递归 + 基座：以「主设计」为图纸把 v 点切成小组，组内用已知的中小型 KTS，跨组用精心安排的横档（这继承了 §3.8 的三工位，但每个工位都要额外的「可分解性」对账——平行类不能被黏合破坏）。基座情形用计算机辅助的有限枚举封口。今天回看，这是 §3.7–3.8 递归哲学在「整齐性」维度的完整复刻：存在与可分解，同一台机床、两套质检。

RCW 的另一半面貌。第五章还有一位同名主角：「Ray-Chaudhuri–Wilson 不等式」（t-设计中 b ≥ C(v, s)）。同一位 R. Wilson 在 1970 年代同时推进了存在性与界两大方向；本页记住分工即可——本页的 RCW 管「有没有」，第五章的 RCW 管「至少多少」。

第三章 Steiner 系与 Kirkman 问题3.13 大集问题

★★★ 存在性（§3.7）与可分解性（§3.12）之后，三元系的第三问是排布的极限：给定 v 个点，互不相交的三元系最多能并排放几套？

最小的账就亮红灯。v = 7：库存 35 个三元组，每套 Fano 用 7 条，应有 5 套。但本书的回溯程序把全部 30 个标号 Fano 系统逐对试配，找不到任何一套 5 张互不相交的名册——LDS(7) 不存在。这与文献的古典结论一致：Cayley 在 1850 年的一则短注里最先指出这套分装做不成，而且理由是纯初等的（对第一套 Fano 的每条线逐一追踪它在其余四套中的强制位置，账目最终相撞；完整论证可查 Colbourn–Dinitz 手册三元系一章）。这是大集问题公认的唯一例外。

这个定理的身后事值得整页细看。大集问题是 1850 年代由 Cayley 一句话带出（他注意到 Fano 无法分装）后沉睡百年的悬案；1970 年代多人推进出「对充分大的 v 成立」的部分结果，但一般情形的收网者是一位内蒙古包头的中学物理教师。陆家羲（1935–1983）在业余时间自学研究组合设计，1980 年前后写下六篇论文「On large sets of disjoint Steiner triple systems I–VI」，一举解决大集问题；稿件辗转国内多年无人识货，最终 1983–1984 年发表于〈Journal of Combinatorial Theory, Series A〉——国际顶刊连载数篇，震动学界。次年他猝然离世，距收到出刊的样本不远。设计理论界以「Kirkman 女生与大集」两个问题记住了这个名字；§人物谱（综合站）将再立小传。

至此三元系的三问——存在、可分解、大集——全部清账；例外清单都恰好带着同一个数字：循环例外 v = 9（§3.4）、大集例外 v = 7。下一页换个口味：数一数解的个数，看看「存在」的背后藏着怎样惊人的繁荣。

第三章 Steiner 系与 Kirkman 问题3.14 STS 的个数：计数的爆炸

★★ 存在性（有几种 v 能造）之后是计数性（每种 v 能造几个）。这一页的数字会指数式失控。

非同构解的清单。把同构的归为一类后逐一清点，前几站的答案：v = 3：1 个；v = 7：1 个（§3.3）；v = 9：1 个（§3.4 末与 §3.9——仿射平面）；v = 13：2 个（§3.5）；v = 15：80 个——Cole、Cummings 与 White 在 1917 年用手算完成的枚举长征；v = 19：11 084 874 829 个——这个一百一十亿量级的数字直到 2004 年才由 Kaski 与 Östergård 借助大规模计算机搜索精确确定。

标号计数的换算。非同构数只是冰山一角：每个自同构群阶 |Aut| 的解贡献 v!/|Aut| 个标号实现。以 v = 7 为例：5040/168 = 30 个标号 STS——§3.13 的大集程序正是从这 30 个出发的。解的个数随 v 的增长是组合数学里最陡的曲线之一。

这条定理的证明用的是概率方法：随机安放的三元组多半能局部修成 STS（Nibble 与 Rödl nibble 的舞台）。「存在」（§3.7 问的是零与一）与「几乎处处存在」（问的是多少）之间的天堑，Wilson 用一台机器同时跨越——递归构造既能证明存在、也能数清个数。

计数视角下的本章主角们。STS(15) 的 80 个解里恰有一个可分解（KTS(15)，§3.10 的唯一性）——「八十选一」；80 个解的 Pasch 计数各有不同（§3.15 的不变量），循环解、Bose 解、PG(3, 2) 解各归何类，挑战页的程序会给每个解验明正身。计数不是数字游戏：解与解之间的差异（同构与否、子结构多少）正是设计分类学的全部内容。

第三章 Steiner 系与 Kirkman 问题3.15 Pasch 配置与超图视角

★★ 本页给三元系装上「显微镜」：不问整体，专看四条线的局部花纹。

名字的来历：这四条线的相交图案正是 Pasch 公理（关于线与三角形的初等几何公理）所谈论的构形，设计理论借用了几何基础的这个名词。它也是三元系世界里最小的「非平凡子设计」候选：三条线的构形都太平凡，四条线里 Pasch 是第一个有纠缠的花纹。

小系统的 Pasch 账本（全部程序核验）。STS(7)：恰 7 个——§3.3 的「躲开一点余四线」给出一一对应；STS(9)（仿射平面）：0 个——它是天然的反 Pasch 系（这给「STS(9) ≠ Fano 放大」提供了最轻的不变量）；循环 STS(13)：13 个；循环 STS(15) 与 PG(3, 2)：105 个（有意思的是两者持平——但它们的 Pasch 分布不同：前者诸线所属的 Pasch 数目有多有少，后者均匀，所以 Pasch 计数本身不足以分辨一切，需要更细的不变量）。

超图视角。把「点是顶点、线是边」的翻译再进一步：STS 是三一致线性超图（3-uniform linear hypergraph）的特款——任意两个顶点恰被一条超边覆盖。Pasch 配置就是超图语言里的四边二圈（Berge 环的特款）。超图视角的两个红利：其一，「随机三一致超图」的理论给出了 §3.14 渐近计数的现代证明框架；其二，反 Pasch 系与「最大无 Pasch 子系」的极值问题连接到加性组合（cap set 一族问题的近亲）。本章只取第一口：知道子结构的花纹是分类的指纹就够了——80 个 STS(15) 的验明正身，用的正是 Pasch 计数加谱不变量的组合。

第三章 Steiner 系与 Kirkman 问题3.16 方法论：小参数穷举与大定理

★★ 本章三段行程用了三套截然不同的方法论，本页摆在一起对照。

第一套：构造性代数。基差族（§3.4–3.5）、Bose 拟群（§3.6）——给定参数，先找代数结构（循环群、拟群、有限域），把设计变成结构的系数账本。威力在于成批生产：一套机器覆盖整族参数；局限在于例外敏感——STS(9) 的循环机器失灵、Bose 只管 6t + 3。

第二套：递归归纳。PBD 闭合与 Wilson 纲领（§3.7–3.8、§3.12）——把大参数归约到小参数，同余条件逐层复制。威力在于一次解决无穷多个参数；局限在于基座仍需手工或机器填平，且「几乎全部」与「全部」之间常有一段艰难的收尾。

第三套：穷举搜索。精确覆盖回溯（§3.6 造法四、§3.13 大集程序、§3.15 Pasch 账本）——把「存在/计数/分类」全化为有限搜索。威力在于同时回答存在、计数与分类三问，还能充当前两套的「验钞机」；局限是指数爆炸：v = 15 秒级、v = 19 需要 2004 年级的计算工程、v = 21 起连分类都遥不可及（计数有 Wilson 渐近兜底，但精确数至今未测出）。

第三章 Steiner 系与 Kirkman 问题例题一：基差族的验算

★★ 题目。验证 {0, 1, 4} 与 {0, 2, 7} 是 ℤ₁₃ 上的 (13, 3, 1)-基差族，并写出它们生成的 STS(13) 的全部 26 条线；再验证乘子 2 把这个基差族映成等价基差族 {0, 2, 8}, {0, 1, 4}。

第一步：逐条算差。基块 {0, 1, 4} 的有序差：1 − 0 = 1，4 − 0 = 4，4 − 1 = 3，0 − 1 = 12，0 − 4 = 9，1 − 4 = 10，得 {1, 3, 4, 9, 10, 12} = ±{1, 3, 4}。基块 {0, 2, 7}：2，7，5，11，6，8，得 {2, 5, 6, 7, 8, 11} = ±{2, 5, 7}。两份差集无交，并集 {1, 2, …, 12} 分尽全部非零剩余——基差族验明。

第二步：生成并核对线数。每条基块平移 13 次，共 26 条候选线；因两条基块的轨道互不重合（否则某差重复出现），恰得 26 条线，与 b = 13·12/6 = 26 相符。抽查几条：{0, 1, 4} + 6 = {6, 7, 10}；{0, 2, 7} + 9 = {9, 11, 3} = {3, 9, 11}。核对点对，例如 (3, 10)：差 7 属于第二基块的配额，故所在线是 {0, 2, 7} + 3 = {3, 5, 10} ✓。

第三步：乘子 2 的换手。基差族整体乘 2（逐点乘）：2·{0, 1, 4} = {0, 2, 8}；2·{0, 2, 7} = {0, 4, 14} = {0, 1, 4} (mod 13)。所以

2·{{0, 1, 4}, {0, 2, 7}} ＝ {{0, 2, 8}, {0, 1, 4}}，

新基差族的两条块分别落入原基差族的轨道（{0, 2, 8} 是 {0, 1, 4} 的平移像：差同为 ±{1, 3, 4} 型；{0, 1, 4} 直接是原第二块）——两个基差族生成同一条 26 线名册，这正是 §3.5「36 个候选并成一条轨道」中换手一步的具体模样。

第三章 Steiner 系与 Kirkman 问题例题二：亲手分解 KTS(9)

★★ 题目。九个点 {a, a′, a″, b, b′, b″, c, c′, c″} 的 12 条线（图 3-7）已给为四类：横行 {a, a′, a″}, {b, b′, b″}, {c, c′, c″}；竖列 {a, b, c}, {a′, b′, c′}, {a″, b″, c″}；对角 {a, b″, c′}, {b, c″, a′}, {c, a″, b′} 与反对角 {a, c′, b″}, {b, a′, c″}, {c, b′, a″}。验证它们构成 STS(9)，并指出这 12 条线恰分 4 个平行类——从而是 KTS(9)。

第一步：STS 验账。每线 3 点、共 12 条线，配额 12 × 3 = 36 = C(9, 2) 恰满，故只需查「任何一对点至多同线」。同字母对（如 (a, a′)）同在横行；同撇号对（如 (a, b)）同在竖列；不同字母不同撇号的对按「撇号差」分家：(a, b″) 型进对角线、(a, b′) 型进反对角线——两类线各以固定的「移位量」出现，同一对不可能进两条线。抽查：(a, c′) 在反对角线 {a, c′, b″}；(a, b′) 在 {c, a″, b′} ✓。

第二步：平行类点名。四类各 3 条线，每类内部两两不交、并集为全 9 点（横行类扫三行、竖列类扫三列、两条对角类各扫三条错位对角线）——按 §3.9 定义，4 个类恰好都是平行类；类数 4 = r ✓。

第三步：附赠结论。把 9 个点看成 𝔽₃ × 𝔽₃ 的数对（字母 ↔ 第一坐标、撇号 ↔ 第二坐标），四类线恰是四族斜率——这正是 §3.11 的 AG(2, 3)。仿射几何、可分解三元系、九宫表：同一个 KTS(9) 的三副面孔。

第三章 Steiner 系与 Kirkman 问题习题课（一）：存在性初判

★ 本组习题只动用 §3.1–3.4 的参数账与循环机器。逢整性检查，先写清门卫再说结论。

第三章 Steiner 系与 Kirkman 问题习题课（二）：递归构造的演练

★★ 本组习题动用 §3.5–3.10。凡涉程序，先写清「枚举什么、剪枝靠什么、如何验钞」再动手。

第三章 Steiner 系与 Kirkman 问题第三章地图：从三元系到可分解

读图三句话。其一，本章的骨架是两道门：第一道（整性）随口带过，第二道（存在）由 Kirkman 1847 一次打开——此后一切构造都在门内施工。其二，「可分解」是从存在通向应用（女生表）的窄走廊，走廊尽头的 KTS(15) 恰是几何对象 PG(3, 2)，把本章与有限域、与第四章的有限几何接通。其三，右下的两块「计数与花纹」是通往现代的地界：解的个数（80 与一百一十亿）与子结构指纹（Pasch）共同构成分类学的入场券，也把「例外」的哲学（循环例外 9、大集例外 7）摆上台面——例外不是遗憾，是最珍贵的教学样本。