Hayes had devised an algorithm to recognize fanout-free functions.

• 我们提出了一个性质和一些有效率的方法来加速这个演算法。