Howell 設計

設 為一個包含 個符號的集合，則符號集 上的 Howell 設計 是一個 陣列 ，滿足以下條件：

1. 的每個單元格要麼為空，要麼包含來自 的一對無序符號，

2. 的每個符號在 的每一行和每一列中出現一次，並且

3. 每對無序符號在 的最多一個單元格中出現。