TSTST 2013 Problem 7
A country has cities, labelled . It wants to build exactly roads between certain pairs of cities so that every city is reachable from every other city via some sequence of roads. However, it is not permitted to put roads between pairs of cities that have labels differing by exactly 1 , and it is also not permitted to put a road between cities 1 and . Let be the total number of possible ways to build these roads. (a) For all odd , prove that is divisible by . (b) For all even , prove that is divisible by .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.