9人ã®ããéçããŒã ã®ã¬ã®ã¥ã©ãŒéžæã
åæãªã°ã«ãŒãã«åããããšããããšã(äžäººã§ã1ã°ã«ãŒããšã¿ãã)
åãæ¹ã«ãã£ãŠã¯è²ã
ãªåãæ¹ã®æ°ãå€åããŠããã
ãã ãåæ°ã§ã®ã°ã«ãŒãåãã¯èŠåããã€ããªããã®ãšããã
ãšããã§9人ã®å Žåãã®åãæ¹ã®æ°ã6éãã®å Žåã«
ã¯å
šéšãåãæ¹ã®æ¹æ³ã«ãããåãæ°ãšãªããšããã
ããŠãã®6éãã®åãæ¹ã¯åŠäœãªãåãæ¹ã§ããã®ãïŒ
æç« èªè§£åã«ä¹ããç§ã«ã¯ã¡ãã£ãšçè§£ã§ããªãã®ã§ããã
ãšãããããå
šç¶ãã¯äœãã®å€æãã¹ã§ããïŒ
æç« åãç¡ãæç« ã§æ··ä¹±ãããŸããŠç³ãèš³ãããŸããã
9ã幟ã€ããã€ã®ã°ã«ãŒãã«åããæ¹æ³ã¯
[9],[8,1],[7,2],[6,3],[5,4],[7,1,1],,[1,1,1,1,1,1,1,1,1]
ãªã©å
šéšã§30éãã®ãã¿ãŒã³ãååšãããã®ã°ã«ãŒãã«9äººãæ¯ãåããã«ã¯
ããããã«å¯Ÿããæ¯ãåãæ¹ãèšç®ãããã(åèšæ°ã¯ãã«æ°Bell(9)=21147éããšãªãã)
ãã®æãåãæ°ãèµ·ãã6çµã®ã°ã«ãŒãã®åãæ¹ãååšããŠããã
(10人ã§ãåæ°ãšãªãçµåããå¿è«çºçã¯ããã®ã§ãããå€ããŠ4çµã§ããã®ã§ã
æ¯èŒçå°ãªã人æ°ã§éãªãçµåãã6åãçºçãã9人ãåé¡ã«éžã³ãŸããã
ãªã16人ãªã8çµãéãªãããã¿ãŒã³ãå€ãããã)
é©åœã«åè£ãèãããèŠã€ãããŸããã
[4,3,2]=[3,2,2,2]ãèŠã€ããã°çµããã§ããã
åãæ°ããªããã®äžã€ã ãããã©ããŠãå Žåã®æ°ãå€ãããŸããã®ã§ã
[4,3,2]=[1,1,1,1,3,2]=[4,1,1,1,2]=[4,3,1,1]
[3,2,2,2]=[1,1,1,2,2,2]
ã§6éãã§ãã
(远èš)
16人ã®å Žåã¯äžèšã®[4,3,2]=[3,2,2,2]ã«7人ã°ã«ãŒããä»ãå ããã ãã§ããã§ããã
[4,3,2]=[3,2,2,2]ãã[7,4,3,2]=[7,3,2,2,2]ãæãç«ã€ããšã¯æããã§
[7,4,3,2]=[1,1,1,1,1,1,1,4,3,2]=[7,1,1,1,1,3,2]=[7,4,1,1,1,2]=[7,4,3,1,1]
[7,3,2,2,2]=[1,1,1,1,1,1,1,3,2,2,2]=[7,1,1,1,2,2,2]
ãªã®ã§8éãã«ãªããŸãã
çè§£ããããšãã¡ãŸã¡è§£æ±ºãããŸããã
ããããã¡ããæã£ãŠãªãçºæ³ã§ãã³ã³ãã¥ãŒã¿ã«é Œãããšãªã
ãã£ããªãæ£è§£ãåºãŠããŸãã
ç§ã¯äœãšãn人ã®å岿¹æ³ãšãã®çµã¿å²ãæ°ã察å¿ããããããã°ã©ã ãäœãããš
çŽ2æéããããŠïŒããããã¿ããç¬ããããšæããŸãã)ãã£ãšå®æã§ã
ããã§è²ã
å®éšããŠããæãåæ°ã«ãªããã®ãçµæ§çºçããŠãããã®ã ãšæããã
äžã§ã9人ã®å岿¹æ³ã§ã¯å€æ°ã®åæ°ãæã€å岿¹æ³ãååšããŠããããšãé¢çœãã£ãã
ããããå€ããã®ãæ¢ããŠãããšãã£ãšïŒïŒäººã®å岿¹æ³ïŒå
šéšã§231éããããã)
ã§çµæããšã¯ã»ã«ã«è²Œãä»ããœãŒãããäœæ¥ãéããŠãã£ãš8çµãååšããŠããããšã
èªèã§ããŸããã
ãããªæéããããªãããããããã®æèæ¹æ³ã«ã¯åªã
é ã¯äœ¿ãããã ïŒãšæå¿ããã°ããã§ãã
ãn=9ã§æå€§6çµãn=16ã§æå€§8çµãã«ã€ããŠ
ä»ã®nã§ã¯ã©ããªãã®ãæ°ã«ãªã£ãã®ã§ããã°ã©ã ãäœã£ãŠèª¿ã¹ãŠã¿ãŸããã
n=1ïœ34ã«å¯Ÿããæå€§çµæ°ã®æ°åã¯
1,2,2,2,3,4,4,3,6,4,7,6,6,9,11,8,11,9,11,14,14,19,21,18,23,24,27,30,29,31,33,34,36,40
ãšãªããŸãããããããã«ãããªå€ãªæ°åã¯OEISã«èŒã£ãŠããŸãããã
æ°èŠã«èŒããããšæã£ãŠã説æãè€éã«ãªããŸãã®ã§ãè±èªãèŠæãªç§ã«ã¯æ®å¿µãªããäžå¯èœã§ãã
çµæãèŠãŠã¿ããšãn=9ãšn=16ã ããæäœæ¥ã§æ±ããããŸããããn=15ãn=17ã§ã¯å³ãããã§ãã
# n=34ã§ãããã®ã¯ãnâ§35ã§ã¯n!ã笊å·ãªã128ããã倿°ã«åãŸããªããªã£ãŠ
# ããã°ã©ã ã®å€æŽãå¿
èŠã«ãªãããã§ãããå®è¡æéçãªåé¡ã§ã¯ãããŸããã
çµæ§15人ãå€ãã®çµåãããäžèŽãããã§ããã
æ¹ããŠæ¢ããã6306300ã§çäžèŽããŸããã
[2, 3, 4, 6]
[3, 3, 4, 5]
[1, 1, 3, 4, 6]
[2, 2, 2, 3, 6]
[1, 1, 1, 2, 4, 6]
[1, 1, 1, 1, 2, 3, 6]
[1, 1, 1, 1, 3, 3, 5]
[1, 1, 1, 2, 2, 2, 6]
[1, 1, 1, 1, 1, 3, 3, 4]
[1, 1, 1, 1, 1, 1, 2, 3, 4]
[1, 1, 1, 1, 1, 1, 2, 2, 2, 3]
調æ»ãããäžã§2çªç®ã«å€ãã£ãn=33人ã§ã®åå²ã§ã®36éããçäžæã«æããã®ãèŠããã£ãã®ã§ææŠããŠã¿ãŸããã
ãã¹ãŠ30051520145226019440000ã®ãã¿ãŒã³æ°ã§äžèŽããŸããã
ç®ã ãã§ç¹æ€ããŠããã®ã§ä»ã®éšåãèŠèœãšããŠããããã»ã»ã»
1; [3, 3, 4, 4, 5, 6, 8]
2; [1, 2, 2, 4, 4, 5, 6, 9]
3; [2, 2, 2, 3, 4, 6, 6, 8]
4; [2, 2, 2, 4, 4, 6, 6, 7]
5; [2, 2, 3, 3, 4, 4, 5, 10]
6; [1, 1, 2, 2, 3, 4, 4, 6, 10]
7; [1, 2, 2, 2, 2, 4, 5, 6, 9]
8; [2, 2, 2, 2, 3, 3, 4, 5, 10]
9; [2, 2, 2, 2, 3, 3, 5, 5, 9]
10; [1, 1, 1, 1, 2, 3, 4, 6, 6, 8]
11; [1, 1, 1, 1, 2, 4, 4, 6, 6, 7]
12; [1, 1, 1, 1, 4, 4, 4, 5, 5, 7]
13; [1, 1, 1, 2, 2, 2, 4, 6, 6, 8]
14; [1, 1, 2, 2, 2, 2, 3, 4, 6, 10]
15; [2, 2, 2, 2, 2, 2, 3, 4, 5, 9]
16; [1, 1, 1, 1, 1, 3, 3, 4, 4, 6, 8]
17; [1, 1, 1, 1, 1, 3, 4, 4, 4, 5, 8]
18; [1, 1, 1, 1, 2, 2, 2, 3, 6, 6, 8]
19; [1, 1, 1, 1, 2, 2, 2, 4, 5, 5, 9]
20; [1, 2, 2, 2, 2, 2, 2, 3, 3, 4, 10]
21; [1, 1, 1, 1, 1, 1, 2, 3, 4, 4, 6, 8]
22; [1, 1, 1, 1, 1, 1, 3, 3, 4, 4, 5, 8]
23; [1, 1, 1, 1, 1, 2, 2, 2, 4, 4, 5, 9]
24; [1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 10]
25; [1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 5, 10]
26; [1, 1, 1, 2, 2, 2, 2, 2, 2, 4, 5, 9]
27; [1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 4, 10]
28; [1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 5, 9]
29; [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 4, 4, 5, 6]
30; [1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 4, 4, 6, 6]
31; [1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 4, 9]
32; [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 4, 6, 6]
33; [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 3, 4, 4, 5]
34; [1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 5, 5]
35; [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 4, 5]
36; [1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 4, 5]
ãªãn=34äººã®æé«å€ã40ãªãã§ããã©ãæ¢ããŠããã®39ããèŠã€ãããªããŠã»ã»ã»
1; [1, 3, 4, 4, 4, 5, 6, 7]
2; [2, 3, 3, 3, 4, 5, 6, 8]
3; [3, 3, 3, 4, 4, 5, 5, 7]
4; [1, 1, 2, 3, 3, 4, 5, 6, 9]
5; [1, 1, 3, 3, 3, 4, 5, 6, 8]
6; [1, 2, 2, 2, 3, 4, 5, 6, 9]
7; [1, 2, 3, 3, 3, 3, 5, 6, 8]
8; [2, 2, 2, 3, 3, 3, 5, 6, 8]
9; [2, 3, 3, 3, 3, 3, 4, 5, 8]
10; [1, 1, 1, 2, 2, 3, 4, 5, 6, 9]
11; [1, 1, 1, 2, 3, 3, 4, 5, 5, 9]
12; [1, 1, 1, 3, 3, 3, 4, 5, 5, 8]
13; [1, 1, 2, 2, 2, 3, 3, 5, 6, 9]
14; [1, 1, 2, 2, 3, 3, 3, 4, 5, 10]
15; [1, 1, 2, 2, 3, 3, 3, 5, 5, 9]
16; [1, 1, 3, 3, 3, 3, 3, 4, 5, 8]
17; [1, 2, 2, 3, 3, 3, 3, 3, 6, 8]
18; [2, 2, 2, 3, 3, 3, 3, 3, 5, 8]
19; [1, 1, 1, 1, 2, 3, 3, 3, 5, 6, 8]
20; [1, 1, 1, 2, 2, 2, 3, 3, 4, 5, 10]
21; [1, 1, 1, 2, 2, 2, 3, 3, 5, 5, 9]
22; [1, 2, 2, 2, 2, 2, 3, 3, 3, 5, 9]
23; [2, 2, 2, 2, 2, 2, 3, 3, 3, 6, 7]
24; [1, 1, 1, 1, 1, 2, 3, 3, 3, 4, 6, 8]
25; [1, 1, 1, 1, 2, 3, 3, 3, 3, 3, 5, 8]
26; [2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 7]
27; [1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 4, 5, 8]
28; [1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 6, 8]
29; [1, 1, 1, 1, 1, 2, 3, 3, 3, 3, 3, 4, 8]
30; [1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 4, 4, 5, 5]
31; [1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 5, 8]
32; [1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 3, 3, 8]
33; [1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 4, 5, 6]
34; [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 5, 6]
35; [1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 3, 3, 4, 5]
36; [1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 7]
37; [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 3, 3, 5]
38; [1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 6]
39; [1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3]
1362335579916912881280000éãã«ãªããã®ã¯39åãããããŸããã
40åããã®ã¯ 14596452641966923728000éãã«ãªããã®ã§ãã
å
ãèšç®ããŠãããŸãæå³ã¯ãªãã®ã§ãããn=34ãŸã§ãšããã®ã¯ã©ãã
äžéåç«¯ã§æ°ã«ãªã£ãã®ã§ãn=100ãŸã§èšç®ããŸããã
n=1ïœ10: 1, 2, 2, 2, 3, 4, 4, 3, 6, 4
n=11ïœ20: 7, 6, 6, 9, 11, 8, 11, 9, 11, 14
n=21ïœ30: 14, 19, 21, 18, 23, 24, 27, 30, 29, 31
n=31ïœ40: 33, 34, 36, 40, 49, 51, 58, 54, 56, 75
n=41ïœ50: 73, 78, 79, 105, 108, 97, 115, 134, 155, 158
n=51ïœ60: 162, 173, 197, 209, 214, 224, 247, 306, 331, 339
n=61ïœ70: 330, 408, 434, 452, 490, 501, 564, 562, 618, 643
n=71ïœ80: 670, 734, 816, 816, 888, 951, 1060, 1130, 1178, 1195
n=81ïœ90: 1360, 1353, 1464, 1549, 1780, 1885, 1955, 2096, 2257, 2338
n=91ïœ100: 2512, 2751, 3062, 3146, 3301, 3733, 3744, 4250, 4428, 4996
n=100ã®èšç®ã¯2æéè¿ãããã£ãŠããŸãã