问题
结合方案（association scheme）：有限集 X 与关系 R0,…,Rd 的划分，满足 «正则性»（每关系是正则图）与 «交点数封闭»（Ri∘Rj 的计数只依赖 (i,j,k)）——Bose–Mesner 代数是对角化它的矩阵代数。Hamming 方案、Johnson 方案是 «主干» 例。Bannai–Ito 纲领/猜想（1984）：«本质非平凡» 的结合方案（P-或 Q-多项式型之外的 «野生» 方案）在固定参数下只有有限多个——即 «结合方案的世界是有限维的»。现状：纲领在 Hamming/Johnson 上的 «否定性应用» 成功（«非本征方案不存在» 型定理），一般分类远未完成；它与代数图论的 Lovász–谱工具箱共享地基。
主要概念
P-与 Q-多项式
方案的 «P-多项式» 结构：关系可排成 «距离正则» 序列（= 距离正则图的推广）；«Q-多项式» 是对偶（特征值侧）。«本征方案»（P/Q-多项式）有一套 «交点数的 » 递归理论（Leonard 定理：交点数必取 «二项式/对偶 Hahn» 型超几何参数）——«非本征» 的 «野生» 方案是分类的真正对象。
否定性纲领
Bannai–Ito 的哲学：与其逐个构造，不如 «证明某些参数组合无方案»——«用否定性替换存在性»。成功案例：«素数 p 的 Moore 图方案不存在» 型谱约束、«d 大时无野生方案» 的渐近否定。这套哲学与 «Krein 条件»（Q-侧的正性）、«绝对界»（absolute bound）一起构成方案的 «物理定律»。
主要命题与证明
命题 1（Leonard 定理，完整口径） P-与 Q-同时多项式的本征结合方案，其交点数组恰为 «二项式型、对偶 Hahn 型、Hahn 型、Krawtchouk 型、Racah 型» 五族超几何参数（Leonard 1942 的 orthogonal polynomial 分类在方案论的重述）。Hamming、Johnson、Grassmann 等主干方案全部落位。
说明 Leonard 定理是方案的 «分类内核»：它把 «好方案» 压进超几何的五族框架——«野生方案» 的搜索因此可以 «先验排除» 大片参数。□
命题 2（Krein 条件与绝对界；陈述） 结合方案的特征值满足 Krein 正性（Q-矩阵的 «Krein 参数» 非负）与 «绝对界»（Bannai–Bannai–Stanton：维数的组合不等式）——它们是 «方案存在性» 的通用必要条件，相当于 «图的谱界» 的方案版。
说明 这两组条件是 «否定性纲领» 的主力弹药：大量 «参数表看似可行» 的方案被 Krein/绝对界排除。□
命题 3（Bannai–Ito 有限性猜想的现状；陈述） «固定 d（类数）与 «顶点数自由» 时非本征方案是否有限» 的精确形式仍是开放；已证：固定 «顶点数 v 与 d» 有限（显然，有限对象）——猜想的 «非显然» 成分是 «v 自由时的有限性»。部分结果（«d=2 的 «强正则图» 无限多 ⟹ 需精细口径»）显示猜想需要 «本征性» 或 «谱半径» 型限定。
说明 «强正则图无限多» 的提醒：结合方案的分类必须 «固定正确的自由度»——Bannai–Ito 猜想的现代表述因此细化到 «固定 d 与 «非本征型» 的界»。□
进展与文献
Bose–Mesner 1959；Bannai–Ito《Algebraic Combinatorics I》1984；Leonard 1942 与 Delsarte 的重新发现；Bannai–Bannai–Stanton 的绝对界；van Dam–Martin–Muzychuk 的方案综述。开放核心：野生方案的有限性；«d 小的完全分类»（d=3,4 的已知与未知）；方案与量子信息（24 号的 «正交阵列–方案» 联动）。