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.
Articles by others on the same topic
There are currently no matching articles.