Problem:
Let be a positive integer. Let be the set of all sequences of 0's and 1's of length . Define to be the graph having vertex set , such that two sequences are adjacent in if and only if they differ in either 1 or 2 places. For instance, if , the sequences , , and are mutually adjacent, but is not adjacent to .
Show that, if is not a power of , then the chromatic number of is at least .