We describe the computer-aided classification of equitable partitions of the 12-cube with quotient matrix [[2,10],[6,6]], or, equivalently, simple orthogonal arrays OA(1536,12,2,7), or order-7 correlation-immune Boolean functions in 12 variables with 1536 ones (which completes the classification of unbalanced order-7 correlation-immune Boolean functions in 12 variables). We find that there are 103 equivalence classes of the considered objects, and there are only two almost-OA(1536,12,2,8) among them.
翻译:我们用商数矩阵[[2,10]、[6,6]]或等同的简单正弦阵列OA(1536,12,2,7)或第7号命令-相关性免疫波列函数的计算机辅助12个变量对12个立方体的公平分割进行分类,其中1,536个变量(该变量完成了对不平衡顺序-7相关性免疫波列函数的分类,12个变量)。我们发现,所考虑的物体有103个等值类别,其中只有两个几乎为OA(1536,12,2,8)。