IBM Research | Ponder This | September 2001 solutions
Skip to main content

September 2001

<<August September October>>


As we mentioned, this month's puzzle was more of a research problem than a puzzle. We have only a partial solution, available at this link (a PostScript file):
cycq.ps

The result is that the largest subgroup has size somewhere between (2**N)/(2N) (as a lower bound) and (N!)**(1/2 + epsilon) (as an upper bound).

Vladimir Sedach sent in some computational results, suggesting that the lower bound of (2**N)/(2N) might be the right answer. Specifically, for N=4,5,...,10, the maximum group size is given below:

N   Max Group

42
53
64
74
816
916
1032
...



If you have any problems you think we might enjoy, please send them in. All replies should be sent to: ponder@il.ibm.com