长度为 5 与 6 的三差异码的最大基数

当 $\mathcal{C} \subseteq \{0, 1, 2\}^n$ 中任意三个不同元素均存在一坐标使三者互不相同时，称码 $\mathcal{C}$ 为长度 $n$ 的三差异码（trifferent code）。定义 $\mathcal{T}(n)$ 为长度 $n$ 的三差异码的最大基数，对 $n \ge 5$ 而言 $\mathcal{T}(n)$ 未知。在本注记中，我们使用优化搜索算法证明 $\mathcal{T}(5) = 10$ 且 $\mathcal{T}(6) = 13$。