禁止的配置族

简单矩阵是指没有重复列的 (0,1)-矩阵。对于一个 (0,1)-矩阵 $F$，如果矩阵 $A$ 存在一个子矩阵是 $F$ 的行和列置换，则称 $A$ 拥有配置 $F$（trace 是配置在集系版本中的对应概念）。令 $\ncols{A}$ 表示 $A$ 的列数。令 ${\cal F}$ 为一个矩阵族。我们定义极值函数 $forb(m,{\cal F})=\max{\ncols{A} : A 是 m 行简单矩阵且不包含任何配置 F\in{\cal F}}$。我们考虑了一些矩阵族 ${\cal F}=\{F_1,F_2,\ldots, F_t\}$，使得单独来看每个 $\forb(m,F_i)$ 的渐近增长率都大于 $\forb(m,{\cal F})$。