We determine all $m$-ary Boolean functions $f_0,\ldots,f_m$ and $n$-ary Boolean functions $g_0,\ldots,g_n$ satisfying the equation \[ f_0(g_1(z_{11},\ldots,z_{1m}),\ldots,g_n(z_{n1},\ldots,z_{nm})) = g_0(f_1(z_{11},\ldots,z_{n1}),\ldots,f_m(z_{1m},\ldots,z_{nm})), \] for all Boolean inputs $\{ z_{ij} : i \in [n], j \in [m] \}$. This extends characterizations by Dokow and Holzman (who considered the case $g_0 = \cdots = g_n$) and by Chase, Filmus, Minzer, Mossel and Saurabh (who considered the case $g_1 = \cdots = g_n$).
翻译:我们确定了所有满足方程 \[ f_0(g_1(z_{11},\ldots,z_{1m}),\ldots,g_n(z_{n1},\ldots,z_{nm})) = g_0(f_1(z_{11},\ldots,z_{n1}),\ldots,f_m(z_{1m},\ldots,z_{nm})), \] 对所有布尔输入$\{ z_{ij} : i \in [n], j \in [m] \}$成立的$m$元布尔函数$f_0,\ldots,f_m$和$n$元布尔函数$g_0,\ldots,g_n$。这扩展了Dokow和Holzman(考虑$g_0 = \cdots = g_n$的情形)以及Chase、Filmus、Minzer、Mossel和Saurabh(考虑$g_1 = \cdots = g_n$的情形)的特征刻画结果。