¼¡¤Ø: 9 ÊýË¡ B ¤ÎÀ°Î󲽤ÎÎã ¾å¤Ø: sort1 Á°¤Ø: 7 Ê¤Ùľ¤·¤Î¶ñÂÎÎã (PDF ¥Õ¥¡¥¤¥ë: sort1-2.pdf)


8 ÊýË¡ B ¤Î¾ì¹ç

ÊýË¡ B ¤Î¾ì¹ç¤Ï¡¢ÊýË¡ A ¤Î¤ä¤êÊý¤ò±þÍѤ·¤Æ²ò¤¯¤³¤È¤¬¤Ç¤­¤ë¡£

¤³¤Î¾ì¹ç¡¢1 ²ó¤Î¼ê½ç¤Ç¤Ï¡¢5 Àá¤Ç ½Ò¤Ù¤¿¤Î¤È¤Ï°Û¤Ê¤ê¡¢1 ²ó¤ÎÇÛʬ¤Ç¤Ï¸µ¤ÎÁý²ÃÎó¤Ï¸º¾¯Îó¤Ø¤ÈÊѲ½¤¹¤ë:

\begin{displaymath}
1 2 3 4 5 6 \rightarrow
 \left\{\begin{array}{ll}
A_...
... 6 3 1\end{array}\right. \rightarrow (5 4 2), (6 3 1)
\end{displaymath}

¤â¤¦ 1 ²ó¤³¤ì¤òÇÛʬ¤¹¤ì¤Ð¡¢¤Þ¤¿Áý²ÃÎó¤Ø¤ÈÊѤï¤ë¡£

¤è¤Ã¤Æ¡¢ÊýË¡ A ¤Î¾ì¹ç¤Ë¶ö¿ô²ó¤Ç½ªÎ»¤¹¤ë¾ì¹ç¤Ë¤Ï ÊýË¡ B ¤Ç¤â¶ö¿ô²ó¤ÇÀ°Î󲽤Ǥ­¡¢ ´ñ¿ô²ó¤Ç½ªÎ»¤¹¤ë¾ì¹ç¤Ë¤Ï¡¢ÊýË¡ B ¤ÇƱÍͤΤ³¤È¤ò¹Ô¤Ê¤¦¤È ¹ß½ç¤Ë¤Ê¤Ã¤Æ¤·¤Þ¤¦¤³¤È¤Ë¤Ê¤ë (Àµ³Î¤Ë¤Ï B Îó¤Ç¤Ï¤½¤¦¤Ç¤Ï¤Ê¤¤¤¬¾¯¤Ê¤¯¤È¤â A Îó¤Ç¤Ï¤½¤¦¤Ê¤ë)¡£ ¤½¤Î¾ì¹ç¤Ï¡¢¤â¤¦ 1 ²ó¡¢°ì¤Ä¤Î»³¤Ë¤À¤±ÇÛʬ¤¹¤ì¤Ð Àµ¤·¤¯¾º½ç¤Ëľ¤»¤ë¤³¤È¤Ë¤Ê¤ë¡£

¤³¤ì¤À¤±¤ß¤ë¤È¡¢ÊýË¡ B ¤ÎÊý¤¬ÊýË¡ A ¤è¤ê¼ê¿ô¤¬¤«¤«¤ê¤½¤¦¤Ë ¸«¤¨¤ë¤«¤â¤·¤ì¤Ê¤¤¤¬¡¢¼ÂºÝ¤Ë¤Ï¤½¤¦¤Ç¤Ï¤Ê¤¤¡£ Î㤨¤Ð¡¢ÃúÅÙµÕ½ç¤ÎÊÂ¤Ó $N$,$(N-1)$,...,3,2,1 ¤ò¹Í¤¨¤ì¤Ð¤ï¤«¤ë¤¬¡¢ ¤³¤ì¤ÏÊýË¡ A ¤Ç¤ÏºÇ°­¤Î¼ê½ç¿ô¤¬É¬ÍפȤʤ뤬¡¢ ÊýË¡ B ¤Ê¤é 1 ¤Ä¤Î»³¤ËÇÛ¤ë¤À¤±¤Ç 1 ²ó¤Ç½ªÎ»¤¹¤ë¡£ ¤Ä¤Þ¤ê¡¢ÊýË¡ B ¤Î¾ì¹ç¤Ï¡¢Áý²ÃÎó¥Ö¥í¥Ã¥¯¿ô¤À¤±¤Ç¤Ê¤¯¡¢ ¸º¾¯Îó¥Ö¥í¥Ã¥¯¿ô ¤Ë¤è¤Ã¤Æ¤âºÇû¼ê½ç¤¬·è¤Þ¤ë¤³¤È¤Ë¤Ê¤ë¡£

Áý²ÃÎó¥Ö¥í¥Ã¥¯¿ô¤ò $s_1$¡¢¸º¾¯Îó¥Ö¥í¥Ã¥¯¿ô¤ò $s_2$ ¤È¤¹¤ë¤È¡¢ ¤³¤ì¤é¤Ï¤½¤ì¤¾¤ì¸º¾¯²Õ½ê¡¢Áý²Ã²Õ½ê¤è¤ê 1 ¤º¤ÄÂ礭¤¤¡£ ¸º¾¯²Õ½ê¡¢Áý²Ã²Õ½ê¤Ï¤â¤Á¤í¤óƱ¤¸¾ì½ê¤Ë¤Ï¤Ê¤¯¡¢ ¤è¤Ã¤Æ¤½¤ì¤é¤ÎÏÂ¤Ï $(N-1)$ ¤Ç¤¢¤ë¤«¤é¡¢

\begin{displaymath}
s_1+s_2 = N+1\end{displaymath} (2)

¤¬¸À¤¨¤ë¡£

¤Ê¤ª¡¢¸º¾¯Îó¥Ö¥í¥Ã¥¯¿ô¤Ï¡¢ A Îó¤òµÕž (Á°¸å¤òÈ¿ÂФˤ·¤¿Îó) ¤ÎÁý²ÃÎó¥Ö¥í¥Ã¥¯¿ô¤ËÅù¤·¤¯¡¢ ¼ÂºÝ¤Îºî¶È¤Ç¤â¡¢¼Â¤Ï¤³¤ÎµÕž¤µ¤»¤¿Îó¤ÎÁý²ÃÎó¤Ç¹Í¤¨¤ë¤³¤È¤Ë¤Ê¤ë¡£

Íưפˤ狼¤ë¤è¤¦¤Ë¡¢¸º¾¯Îó¥Ö¥í¥Ã¥¯¿ô¤Ç¹Í¤¨¤¿¾ì¹ç¤Ï¡¢ Áý²ÃÎó¥Ö¥í¥Ã¥¯¤Ç¹Í¤¨¤ë¤Î¤È¤ÏµÕ¤Ç¡¢ ¤³¤ì¤¬ÊýË¡ A ¤Ç´ñ¿ô²ó¤Ç½ª¤ï¤ë¥Ö¥í¥Ã¥¯¿ô¤Ê¤é¤Ð¡¢ ÊýË¡ B ¤Ç¤ÏƱ¤¸²ó¿ô¤Ç¾º½ç¤Ë¤Ç¤­¡¢ ÊýË¡ A ¤Ç¶ù¿ô²ó¤Ç½ª¤ï¤ë¥Ö¥í¥Ã¥¯¿ô¤Ê¤é¤Ð¡¢ ÊýË¡ B ¤Ç¤ÏƱ¤¸²ó¿ô¤Ç¤Ï¹ß½ç¤Ë¤Ê¤Ã¤Æ¤·¤Þ¤¦¤Î¤Ç ¤â¤¦ 1 ²óɬÍפȤʤ롣

¤è¤Ã¤Æ¡¢¤³¤Î¾ì¹ç¤Ï¡¢

\begin{displaymath}
\left\{\begin{array}{ll}
M^{2J-2}<s_1\leq M^{2J-1} & \mbox{...
...2J-1}<s_1\leq M^{2J} & \mbox{¤Ê¤é¤Ð $2J$ ²ó}\end{array}\right.\end{displaymath}

¤È¤Ê¤ë¤Î¤Ç¡¢·ë¶É $M^{2J-2}<s_1\leq M^{2J}$ ¤Ê¤é¤Ð $2J$ ²ó¤È¤Ê¤ë¡£ ƱÍͤ˹ͤ¨¤ë¤È·ë¶É¼¡¤¬¸À¤¨¤ë¡£


Ì¿Âê 6

ÊýË¡ B ¤Î¾ì¹ç¡¢

\begin{displaymath}
\left\{\begin{array}{ll}
M^{2J-2}<s_1\leq M^{2J} & \mbox{¤...
...\leq M^{2J+1} & \mbox{¤Ê¤é¤Ð $(2J+1)$ ²ó}
\end{array}\right. \end{displaymath}

¤Ç¾º½ç¤Ëľ¤»¤ë¤Î¤Ç¡¢¤³¤Î¾®¤µ¤¤Êý¤òÁªÂò¤¹¤ì¤Ð¤è¤¤¡£


¤³¤ì¤¬ºÇŬ¤Ê²ó¿ô¤Ç¤¢¤ë¤³¤È¤âÍưפ˼¨¤µ¤ì¤ë¡£$M=2$ ¤Ç¤½¤ì¤òÀâÌÀ¤¹¤ë¡£ Î㤨¤Ð¡¢A Îó¤Î 1,2,...,$N$ ¤Ï¡¢ÊýË¡ B ¤Î 1 ²ó¤ÎÁàºî¤Ç¤Ï ¹â¡¹ 2 ¤Ä¤Î¸º¾¯Îó¥Ö¥í¥Ã¥¯¤«¤é¤Ê¤ë¡£ ¤è¤Ã¤Æ¡¢3 ¤Ä°Ê¾å¤Î¸º¾¯Îó¥Ö¥í¥Ã¥¯¤ò´Þ¤à A Îó¤ÎºÇ½ª·Á¤Ï¡¢ ÊýË¡ B 1 ²ó¤Ç¤Ï¸µ¤Ë¤ÏÌ᤻¤Ê¤¤¡£

2 ²ó¤Ç¤Ï¹â¡¹ 4 ¤Ä¤ÎÁý²ÃÎó¥Ö¥í¥Ã¥¯¤«¤é¤Ê¤ëÎó¤Ë¤Ê¤ë¤Î¤Ç¡¢ 5 ¤Ä°Ê¾å¤ÎÁý²ÃÎó¥Ö¥í¥Ã¥¯¤ò»ý¤Ä¤â¤Î¤ÏÊýË¡ B 2 ²ó¤Ç¤Ï¸µ¤Ë¤ÏÌ᤻¤Ê¤¤¡£ ¤³¤Î¤è¤¦¤Ë¹Í¤¨¤ì¤Ð¡¢Ì¿Âê 6 ¤Îɾ²Á¤¬ ºÇŬ¤Ç¤¢¤ë¤³¤È¤¬¤ï¤«¤ë¡£


Ì¿Âê 7

ÊýË¡ B ¤Î¾ì¹ç¡¢¾º½ç¤Ø¤ÎÀ°Îó²½¤Ë¤Ï ºÇÄã¤Ç¤âÌ¿Âê 6 ¤Î²ó¿ô¤À¤±É¬Í×



¼¡¤Ø: 9 ÊýË¡ B ¤ÎÀ°Î󲽤ÎÎã ¾å¤Ø: sort1 Á°¤Ø: 7 Ê¤Ùľ¤·¤Î¶ñÂÎÎã
ÃÝÌîÌм£¡÷¿·³ã¹©²ÊÂç³Ø
2006ǯ2·î24Æü