完全3- 一致超图的一类填充问题和覆盖问题

设Γ 是一些单t- 一致超图的集合. 填充设计P_λ(t, Γ, v) (或覆盖设计C_λ(t, Γ, v)) 是一个二元有序组(X, B), 其中X 是完全t- 一致超图λK_v^(t) 的顶点集, B 是λK_v^(t) 的一些子超图的集合, 要求每个子超图都同构于Γ 中的某一个超图, 每个子超图称为是一个区组, 并且满足λK_v^(t) 中的每一条边至多(或至少) 含在B 的λ 个区组中. 给定参数t, v, λ, Γ, 填充设计P_λ(t, Γ, v) 的最大可能的区组数称为填充数, 记为d_λ(t, Γ, v); 覆盖设计C_λ(t, Γ, v) 的最小可能的区组数称为覆盖数, 记为C_λ(t, Γ, v). 本文将确定Γ 中仅含超图K₄⁽³⁾ + e 时的d_λ(t, Γ, v) 和C_λ(t, Γ, v) 的精确值.