判定平方布尔函数的计数算法

摘要

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ＾２）的计数算法，与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计算，并适合于并行实现。