Howell 设计

设 为一个包含 个符号的集合，则符号集 上的 Howell 设计 是一个 数组 ，满足以下条件：

1. 的每个单元格要么为空，要么包含来自 的一对无序符号，

2. 的每个符号在 的每一行和每一列中出现一次，并且

3. 每对无序符号在 的最多一个单元格中出现。