96
あみだくじを作ろう 照井 章 (筑波大学 数理物質系) 2013223並木SSH数学入門セミナー 並木中等教育学校

あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

Embed Size (px)

DESCRIPTION

並木 SSH 数学セミナー.茨城県立並木中等教育学校.2013年2月23日. Presented in "Namiki Super Science High School Seminar in Mathematics", Namiki Secondary School, Tsukuba, Japan. February 23, 2013.

Citation preview

Page 1: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじを作ろう照井 章

(筑波大学 数理物質系)

2013年2月23日並木SSH数学入門セミナー於 並木中等教育学校

Page 2: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじの例1 2 3 4 5

15 32 4

橋をかける

Page 3: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

橋のかけ方のルール

Page 4: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

[1] となりあう2本の縦棒の間にかける

1 2 3 4 5

Page 5: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

[2] 異なる橋どうしが交わらないようにかける

1 2 3 4 5

Page 6: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

このようなあみだくじをどうやって作ろうか?

1 2 3 4 5

12 34 5

Page 7: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

ついでに、橋の本数を最小にしよう!

1 2 3 4 5

12 34 5

Page 8: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

まず基礎知識を学ぼう

Page 9: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじに必要な橋の最小本数

=あみだくじが表す「置換」の「転倒数」

Page 10: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

置換って何?

Page 11: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

「置換」=「関数」

Page 12: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじの場合:スタートの位置にゴールの位置を

対応づける「関数」

Page 13: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!1 2 3 4 5

12 34 5

1は左から4番目に移る

�(1) = 4

Page 14: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!1 2 3 4 5

12 34 5

2は左から3番目に移る

�(2) = 3

Page 15: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!1 2 3 4 5

12 34 5

3は左から5番目に移る

�(3) = 5

Page 16: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!1 2 3 4 5

12 34 5

4は左から1番目に移る

�(4) = 1

Page 17: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!1 2 3 4 5

12 34 5

�5は左から2番目に移る

�(5) = 2

Page 18: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじは関数だ!�

�(1) = 4�(2) = 3�(3) = 5�(4) = 1�(5) = 2

� =✓

1 2 3 4 54 3 5 1 2

1 2 3 4 5

12 34 5

Page 19: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

転倒数って何?

Page 20: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

転倒数あみだくじの縦線の本数:n 本

1 2 3 4 n

Page 21: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

転倒数あみだくじの縦線の本数:n 本    をみたす整数の組み合わせ  で   を

みたすものの個数

1 5 i < j 5 n

(i, j)

�(i) > �(j)転倒する組み合わせ

Page 22: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2): 転倒する1 2 3 4 5

12 34 5 �(1) = 4�(2) = 3

Page 23: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 3): 転倒しない1 2 3 4 5

12 34 5�(1) = 4

�(3) = 5

Page 24: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 4): 転倒する1 2 3 4 5

12 34 5 �(1) = 4�(4) = 1

Page 25: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 5): 転倒する1 2 3 4 5

12 34 5 �(1) = 4�(5) = 2

Page 26: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3): 転倒しない1 2 3 4 5

12 34 5�(2) = 3

�(3) = 5

Page 27: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 4): 転倒する1 2 3 4 5

12 34 5 �(2) = 3

�(4) = 1

Page 28: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 5): 転倒する1 2 3 4 5

12 34 5 �(2) = 3�(5) = 2

Page 29: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4): 転倒する1 2 3 4 5

12 34 5

�(3) = 5�(4) = 1

Page 30: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 5): 転倒する1 2 3 4 5

12 34 5

�(3) = 5

�(5) = 2

Page 31: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(4, 5): 転倒しない1 2 3 4 5

12 34 5 �(5) = 2

�(4) = 1

Page 32: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

これまでの結果をまとめると

1 2 4 31 3 4 51 4 4 11 5 4 22 3 3 52 4 3 12 5 3 23 4 5 13 5 5 24 5 1 2

i j �(i) �(j) �(i) > �(j)

Page 33: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

 の個数は7個☞  の転倒数は7

1 2 4 31 3 4 51 4 4 11 5 4 22 3 3 52 4 3 12 5 3 23 4 5 13 5 5 24 5 1 2

i j �(i) �(j) �(i) > �(j)

Page 34: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

 あみだくじに必要な橋の本数は7本

1 2 4 31 3 4 51 4 4 11 5 4 22 3 3 52 4 3 12 5 3 23 4 5 13 5 5 24 5 1 2

i j �(i) �(j) �(i) > �(j)

Page 35: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

ではどのような順序で橋をかければいいの?

Page 36: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換(逆関数)を考えよう!

Page 37: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換って何?

Page 38: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

恒等置換=どの数字も動かさない置換(あみだくじ)

e =✓

1 2 3 4 51 2 3 4 5

◆= (1)

橋が1本もないあみだくじは恒等置換

しかし、恒等置換はこれだけとは限らない点に注意!

1 2 3 4 5

43 51 2

Page 39: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換

与えられた置換と組み合わせると恒等置換になるような置換

Page 40: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

もとのあみだくじの下に別のあみだくじをつなげる

1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

� =✓

1 2 3 4 54 3 5 1 2

��1 =✓

1 2 3 4 54 5 2 1 3

Page 41: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

もとのあみだくじの下に別のあみだくじをつなげる

1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1� =✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

Page 42: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

1は元に戻る1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1�(1)

=✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

◆(1)

=1

Page 43: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

2も元に戻る1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1�(2)

=✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

◆(2)

=2

Page 44: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

3も元に戻る1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1�(3)

=✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

◆(3)

=3

Page 45: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

4も元に戻る1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1�(4)

=✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

◆(4)

=4

Page 46: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

5も元に戻る1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1�(5)

=✓

1 2 3 4 54 3 5 1 2

⇥✓

1 2 3 4 54 5 2 1 3

◆(5)

=5

Page 47: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

  は恒等置換1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1� =✓

1 2 3 4 51 2 3 4 5

= e

��1�

Page 48: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

  は の逆置換1 2 3 4 5

12 34 5

1 2 3 4 5

15 24 3

��1 �

� =✓

1 2 3 4 54 3 5 1 2

��1 =✓

1 2 3 4 54 5 2 1 3

Page 49: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじを作る上で

逆置換が何の役に立つの?

Page 50: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換が表すあみだくじの上に橋をかけていって...

12 34 5

4 5 2 1 3

43 51 2

��1 =✓

1 2 3 4 54 5 2 1 3

Page 51: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

全体が恒等置換になったら...

4 5 2 1 3

43 51 2

��1 =✓

1 2 3 4 54 5 2 1 3

1 2 3 4 5

12 34 5

これが求めるあみだくじ!

� =✓

1 2 3 4 54 3 5 1 2

Page 52: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換の上にどんな順番で橋をかけていけばよいか?

12 34 5

4 5 2 1 3

43 51 2

��1 =✓

1 2 3 4 54 5 2 1 3

? ? ? ?

Page 53: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

実際に橋をかける前に...

橋のかけ方と置換の関係を確かめよう

Page 54: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

1本の橋は「隣り合う2つの数字の互換」

1 2 3 4 5

43 52 1

� =✓

1 2 3 4 52 1 3 4 5

=�1 2

Page 55: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

1本の橋は「隣り合う2つの数字の互換」

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 3 2 4 5

=�2 3

Page 56: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

1本の橋は「隣り合う2つの数字の互換」

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 2 4 3 5

=�3 4

Page 57: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

1本の橋は「隣り合う2つの数字の互換」

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 2 3 5 4

=�4 5

Page 58: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

これら4種類の橋(置換)を組み合わせてあみだくじを作る

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 2 3 5 4

=�4 5

1 2 3 4 5

43 52 1

� =✓

1 2 3 4 52 1 3 4 5

=�1 2

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 3 2 4 5

=�2 3

1 2 3 4 5

42 51 3

� =✓

1 2 3 4 51 2 4 3 5

=�3 4

Page 59: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

では実際にあみだくじを作ってみましょう

Page 60: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換の上にどんな順番で橋をかけていけばよいか?

12 34 5

4 5 2 1 3

43 51 2

��1 =✓

1 2 3 4 54 5 2 1 3

? ? ? ?

Page 61: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換の転倒数を打ち消すように橋をかける!

Page 62: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

逆置換でとなり合う数字が転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

? ? ? ?

Page 63: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

? ? ? ?

Page 64: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3): 転倒する

12 34 5

4 5 2 1 3

43 51 2

? ? ? ?

��1(2) > ��1(3)

Page 65: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4): 転倒する

12 34 5

4 5 2 1 3

43 51 2

? ? ? ?

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 66: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(4, 5): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

? ? ? ?

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 67: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3)に橋をかける

12 34 5

4 5 2 1 3

43 51 2

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 68: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1 = ��1�2 3

�1

Page 69: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2): 転倒する

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1(1) > �1(2)

Page 70: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1(1) > �1(2)

Page 71: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4): 転倒する

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1(1) > �1(2)

�1(3) > �1(4)

Page 72: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(4, 5): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1(1) > �1(2)

�1(3) > �1(4)

Page 73: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2)に橋をかける

12 34 5

4 5 2 1 3

43 51 2

4 2 5 1 3

�1(1) > �1(2)

�1(3) > �1(4)

Page 74: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

2 4 5 1 3

�2 = ��1�2 3

� �1 2

�2

Page 75: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

2 4 5 1 3

Page 76: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3): 転倒しない

12 34 5

4 5 2 1 3

43 51 2

2 4 5 1 3

Page 77: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4): 転倒する

12 34 5

4 5 2 1 3

43 51 2

2 4 5 1 3

�2(3) > �2(4)

Page 78: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

2 4 1 5 3

�3 =��1�2 3

� �1 2

⇥�3 4

�3

Page 79: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(4, 5): 転倒する

12 34 5

4 5 2 1 3

43 51 2

2 4 1 5 3

�3(4) > �3(5)

Page 80: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

2 4 1 3 5

�4 =��1�2 3

� �1 2

⇥�3 4

� �4 5

�4

Page 81: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(2, 3): 転倒する

12 34 5

4 5 2 1 3

43 51 2

2 4 1 3 5

�4(2) > �4(3)

Page 82: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

2 1 4 3 5

�5 =��1�2 3

� �1 2

⇥�3 4

� �4 5

⇥�2 3

�5

Page 83: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(1, 2): 転倒する

12 34 5

4 5 2 1 3

43 51 2

2 1 4 3 5

�5(1) > �5(2)

Page 84: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  で転倒する組み合わせを調べる

12 34 5

4 5 2 1 3

43 51 2

1 2 4 3 5

�6 =��1�2 3

� �1 2

⇥�3 4

� �4 5

⇥�2 3

� �1 2

�6

Page 85: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4): 転倒する

12 34 5

4 5 2 1 3

43 51 2

1 2 4 3 5

�6(3) > �6(4)

Page 86: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

新しいあみだくじ  は恒等置換

�7

4 5 2 1 3

43 51 2

�7 =��1�2 3

� �1 2

⇥�3 4

� �4 5

⇥�2 3

� �1 2

⇥�3 4

=e

12 34 5

1 2 3 4 5

Page 87: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

求めるあみだくじが完成!

12 34 5

1 2 3 4 5

Page 88: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

異なる橋のかけ方が何通りかある場合が

あります

Page 89: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

今回は (2, 3) から橋をかけましたが...

12 34 5

4 5 2 1 3

43 51 2

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 90: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

(3, 4) から橋をかける作り方もあります

12 34 5

4 5 2 1 3

43 51 2

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 91: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

皆さんもチャレンジしてみてください

12 34 5

4 5 2 1 3

43 51 2

��1(2) > ��1(3)

��1(3) > ��1(4)

Page 92: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじに必要な橋の最小本数

=あみだくじが表す「置換」の「転倒数」

Page 93: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

大学の数学(科)ではこれらの背景となるような

理論も学びます

Page 94: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

あみだくじ=数字の並べ替え

12 34 5

1 2 3 4 5

Page 95: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

並べ替え(ソート)=計算機の基本的なアルゴリズムの一つ

Page 96: あみだくじをつくろう (Let's Make an Amidakuji (Ghost Leg Game)!)

本日はありがとうございました

私の仕事場からの筑波山とキャンパスの眺望(2013年1月撮影)