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!