Suppose you have created a machine that allows you to change minds with whomever you desire, but an exchange between a particular pair of minds is only allowed once. Suppose now that a set of 17 people have switched minds once. What is the least number of new bodies necessary for everyone to switch back to their original bodies?
OBS: This question is easy because it is only a tribute to an episode of Futurama .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
First, let π be some k -cycle on [ n ] = { 1 ⋯ n } . Then write in Cauchy's two-line notation:
π = ( 1 2 ⋯ k k + 1 n 2 3 ⋯ 1 k + 1 n )
Now let ℘ ( a , b ) be the operation that makes the transposition of a and b . For our purposes, π is generated by distinct switches on [ n ] . Introduce then two new elements { x , y } and then
π ∗ = ( 1 2 ⋯ k k + 1 ⋯ n x y 2 3 ⋯ 1 k + 1 ⋯ n x y )
For any i = 1 , ⋯ , k let φ be the series of switches
φ = ( ℘ ( x , 1 ) ℘ ( x , 2 ) ⋯ ℘ ( x , i ) ) ( ℘ ( y , i + 1 ) ℘ ( y , i + 2 ) ⋯ ℘ ( y , k ) ) ( ℘ ( x , i + 1 ) ℘ ( y , 1 ) )
Note that each switch exchanges one element of [ n ] with one of { x , y } , so they are all distinct from the switches within [ n ] that generated π and also from ℘ ( x , y ) . Verification leads us to
π ∗ φ = ( 1 2 ⋯ n x y 1 2 ⋯ n y x )
i.e., φ inverts the k -cycle and leaves { x , y } inverted, without switching { x , y } not even once. Then we can invert { x , y } , as desired.
This proves that two new elements (or bodies) are enough to bring everyone back to normal. Proving that they are the least number is a matter of trying only one new body.
This is known as Keeler's Theorem .