Alternating-sum criterion for decision-tree evasiveness

ID: alternating-sum-criterion-for-decision-tree-evasiveness

A leaf reached before all input bits are queried leaves at least one coordinate free. Flipping that coordinate pairs its inputs with opposite alternating signs and equal output. Thus every such leaf contributes zero. If the total alternating sum is nonzero, a depth below is impossible.

New to topics? Read the docs here!