『今週の問題』第176回 解答


◆大阪府 Non さんからの解答。

【問題1】

できる。
3,4,1,6,2,5

【問題2】

できない。
順に回転させていくと、

3,5,2,,1
,3,5,2,4
4,1,,5,2
2,4,1,3,
5,,4,1,3
アンダーラインの部分が、番号が重なる。

【おまけ】

ツトム君の番号とメダルの番号が全て異なるようにすることができない並び方を考えると、

初期状態で一致する数字が1つ、
1個回転した状態で一致する数字が1つ、
...
n-1個回転した状態で一致する数字が1つ

存在することになる。

ここで、初期状態でのメダルの並びを(a(1),a(2),...,a(n))とすると、

 a(k)-k≡0 (mod n)となるkが1つ、
 a(k)-k≡1 (mod n)となるkが1つ、
 ...
 a(k)-k≡n-1 (mod n)となるkが1つ

存在することになる。

よって、

Σ(a(k)-k)≡n(n-1)/2 (mod n)

一方、明らかに、Σa(k)=Σkなので、

n(n-1)/2≡0 (mod n)

となる。

n(n-1)/2がnの倍数となるためには、(n-1)/2が整数となる、すなわちnが奇数であることが必要。

よって、nが偶数の時には、ツトム君の番号とメダルの番号が全て異なるようにすることができない並び方は存在しない。
すなわち、ツトム君の番号とメダルの番号が全て異なるようにすることが必ずできる。

一方、nが奇数の時には、
たとえば、(1,3,5,...,n,2,4,...,n-1)と並べると、

 初期状態では1が一致、
 1個回転すると、3が一致、
 2個回転すると、5が一致、
 ...
 (n-1)/2個回転すると、nが一致、
 (n+1)/2個回転すると、2が一致、
 (n+3)/2個回転すると、4が一致、
 ...
 n-1個回転すると、n-1が一致

するので、ツトム君の番号とメダルの番号が全て異なるようにすることができない。

つまり、

【おまけ1】の解答はnが偶数の時
【おまけ2】の解答はnが奇数の時で、
並べ方の例は(1,3,5,...,n,2,4,...,n-1)となる。


◆愛知県 Y.M.Ojisan さんからの解答。

【問題1】

(1) 3,4,1,6,2,5
(2) 5,3,4,1,6,2

【問題2】

できない。

【おまけ1】

nが偶数

【おまけ2】

nが奇数

∵ つとむ君の集合を 
T={つとむ1、つとむ2、〜つとむn}とします。

また つとむ君の位置を時計まわりの位置:0〜n-1で表すこととし、
P[i]  T∋i とします。
つまり P[つとむI]=I-1

さらにメダルの位置を同様に M[i]  T∋i とします。

するとD[i]=M[i]-P[i] ( mod n、T∋i) は つとむI君のメダルを一致させる回転移動量になります。

集合 D={D[i]|T∋i} が 集合U=[0,1,〜n-1]に等しい場合にはどれだけ回転移動しても必ず一致するつとむ君がいます。

ところで、

Σ{D[i]}=Σ{M[i]}−Σ{P[i]}=Σ{U[i]}−Σ{U[i]}=0 (mod n)

一方 Σ{U[i]}=n(n-1)/2 であって nが偶数のとき Σ{U[i]}≠0(mod n)です。

〇即ちnが偶数のときD=Uにはできないので、
 U−Dの集合がφでなく、それらが解答になります。

〇nが奇数の場合、M[つとむI]=2*I-1 (mod n) は 2とnが互いに素であることから
M=U であってメダルの配置として妥当であり、
かつ D[つとむI]=I (mod n) であるから D=U です。

よってこのMは回転移動しても必ず一致するものがある例になります。


◆東京都 イ さんからの解答

【命名】

1〜nの場合、説明のためnは0と表現する。

点0 点1 … 点nー1
に対して、数0 数1 数2 … 数n−1を適当に配置する。

数の並びは数0から順番に並べたものを配列と呼ぶことにする。

「ある数の配置された場所」から「その数の分」だけ戻った場所を「その数の零点」と呼ぶことにする。

例えば

点0123456
数2461350

は、配列0246135を配置したものであり、数6は点2に配置され、数6の零点は点3である。

【性質】

ある配列が、全ての数が点の名前と異なるような配置を持たない。
(どのような配置でも、どれかは必ず一致する)

その配列において零点はかぶらない。(全て異なる)

零点とは、もしある数の零点が点0にあったならば、その数は点の名前と一致するという性質をもつものであるからである。

【証明】

次のことを証明する。

1.奇数人ならば、うまい配列をとれば、いかなる配置においても、全ての数と点の名が異なるようにはできない。

2.偶数人ならば、いかなる配列においても、うまい配置をすれば、ある数と点の名が一致するようにできる。

1.そのような配列の作成方法を示せば十分である。
偶数を小さい順、その次に奇数を並べれば、零点は点の名前と逆順にまわる。

例えば
点0123456
数0246135

このとき、奇数個ならば数0の零点は点0、数2の零点は点6、数4の零点は点5、6→4、1→3…

よって、このような作成手順によれば零点は被らない。

2.まず、零点が点Aにあるような、数Bは、点(A+B あるいはそれを、人数分で割ったもの)にあるべきである。

このことを

(零点の点の名前)+(数)≡(その数の置かれる点の名前) mod (人数)

と表現する。

ここで仮定 「零点が被らない。」
このとき、0〜n−1をそれぞれ一回ずつ使って
(0〜n−1)+(0〜n−1)≡(0〜n−1) mod n

という式がn個できるはずである。
(もちろん、数もおかれる場所も被らないので)

点0123456
数0246135
ならば

0+0≡0 mod7
1+5≡6
2+3≡5
3+1≡4
4+6≡3
5+4≡2
6+2≡1

これは偶数個の場合不可能である。

なぜならば、もし可能ならばn個の式を全て足した

(0+1+…+n−1)+(0+1+…+n−1)≡(0+1+…+n−1) mod n

が成立するはずである。

左辺=(1+nー1)+(2+n−2)+…+(n−1+1)≡0

しかし偶数ならば、右辺≡n/2

よって矛盾。

つまり偶数では不可能。

よって、偶数の場合零点は被る。
つまり「ある配列が、全ての数が点の名前と異なるような配置を持たない。」の否定が成り立つ。


◆東京都 明 さんからの解答

【問題1】

3,4,1,6,2,5

【問題2】

できません。

【おまけ1】

まず、 ツトム君の番号とメダルの番号が、メダルを回転しても常に一つは一致する場合を考える。

特定のツトム君とメダルの番号が一致するのは、メダルの1回転に1回のみ。
したがって1回転の間、常にいずれかのツトム君とメダルの番号が一致するためには、1回転のどの位置でもいずれか1人だけのツトム君と、対応する1つのメダルの番号が一致するようになっていなければならない。

最初、ツトム君とメダルの番号が一致しているツトム君の番号を「0」とし、メダルの回転方向の順にツトム君の番号を1,2,・・・,n−1と付けます。

またこの時、各ツトム君に対応するメダルの番号を
1,Y2,・・・,Yn-1とし、さらに各メダルがツトム君の番号と一致するまでのメダル回転の数を順に
1,X2,・・・,Xn-1とします。

ただし j≠k のとき
j≠Xk かつ Xj,Xk=1〜n−1
j≠Yk かつ Yj,Yk=1〜n−1

以上の条件でのみ1回転の間、常にいずれかのツトム君とメダルの番号が一致します。

以上の条件で下記式が成立します。

  1+X1 = Y1  (mod n)
  2+X2 = Y2  (mod n)
  j+Xj = Yj  (mod n)
 n-1+Xn-1 = Yn-1  (mod n)

上の式を縦に加えることにより ΣYj = 1+2+・・+n-1を考慮すると
ΣXj = 0 (mod n)となっていなければならない。

また ΣXj = 1+2+・・+n-1 であることから、

nが偶数の時 ΣXj = n/2 (mod n)
nが奇数の時 ΣXj = 0   (mod n)

したがってnが偶数のときはメダルの配置をどのようにしても、ツトム君の番号とメダルの番号を常に一致させておくことはできない。

一方nが奇数の時、Xj=jとしてみると
メダルjに対応するツトム君の番号はYj=2j(mod n)となるが、
j≠k のとき Yj−Yk=2(j-k)≠0 (mod n)
より、確かに Yj≠Yk かつ Yj,Yk≠0を成立させることができる。

以上により、nが奇数の場合はツトム君の番号とメダルの番号を常に一致させておくメダル配置が構成できます。

【おまけ2】

以上により、nが奇数の時はツトム君の番号とメダルの番号が全て異なるようにすることができない場合があります。
「0」のツトム君はn番に対応します。

メダルの配置はnの約数の最小値をpとすると、
jのツトム君に対し2j(mod n)のメダルを対応させる配置以外に
3j・・・,(p-1)j(mod n)を対応させることができます。

計算機で総当りしたところ、これ以外にも配置がたくさん存在することを確認しました。

ちなみに、

n=3       1通り
n=5       3通り
n=7      19通り
n=9     225通り
n=11   3441通り

これ以上は総当り式ではかなりの時間が必要になります。
論理的に洗い出す方法はわかりませんでした。


 ◆ 問題へもどる

 ◆ 今週の問題

数学の部屋へもどる