MathCastle
Graph TheoryChallengeIsomorphism and Subgraphs

Isomorphism and Subgraphs · Challenge problem

Label the Petersen graph by an outer 55-cycle o0,…,o4o_0,\ldots,o_4, inner pentagram ik∼ik+2i_k\sim i_{k+2}, spokes okiko_ki_k. How many 44-element subsets of the Petersen graph's 1010 vertices form an independent set (no two of the 44 are adjacent)?