函数的枢轴分解

我们将布尔函数的著名香农分解推广到更一般的函数类。这种分解，我们称之为枢轴分解，表达了函数的每个一元截面仅依赖于其在两个给定元素处的值这一事实。枢轴分解似乎适用于各种函数类，例如格多项式函数类或多线性多项式函数类。我们还定义了由枢轴分解刻画的函数类以及由它们的一元成员刻画的函数类，并研究了这两个概念之间的联系。