Alternating count of common-center graphs
ID: alternating-count-of-common-center-graphs
For , count the empty graph once, all one-edge graphs once, and each larger accepted graph under its unique center. The latter weighted contribution is , giving . Its nonzero value proves evasiveness by the alternating-sum criterion for decision-tree evasiveness.
New to topics? Read the docs here!