あみだくじをつくろう (let's make an amidakuji (ghost leg game)!)

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

Upload: akira-terui

Post on 10-Aug-2015

1.198 views

Category:

Documents


1 download

DESCRIPTION

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

TRANSCRIPT

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月撮影)