ãããã¨ããã®æ¦ãããããããåçãã
ãããã¨ããã¯çµé¨è 人å£ã極ãã¦å¤ãã²ã¼ã ã ãã©ã鬼ç¥ã®ãã¨ãå¼·ãã§ä»ãå§åããããã¨ããã¬ã¤ã¤ã¼ãç§ã¯ç¥ããªããã¡ãã£ã¨çå£ã«æ¦ã£ã¦ã¿ãã¨ããã§ã
ãããªç¨åº¦ã®ã¬ãã«ã§æºè¶³ãã¦ããããªããã
ããããã¯ãããã®ååè¿ãã§ã¬ãããªçµã¿åããå ã«ããâããã®ã¹ããã¯ãåãã¦ããããã§è¿ããªããªã£ãã»ããã²ãããããæ»ããã§æãããç¶ããã
å°å¦çã®æãã鲿©ãã¦ããªããããªããããªå¤§éæã§ãã³ããªãªããæ»ããæ¦ç¥ããè±å´ã§ããªããã®ãã
æ»æé²å¾¡æ¯æå¤§ã®æå¼·æåããã
復ç¿ãå¨ç¥ã®äºå®ã ããããã¯å¼·ãã
ä¸ã®è¡¨ã¯ã[A](æåXã§çµããåèª)ã¨ã[B](æåXã§ã¯ãã¾ãåèª)ããã®æ¯[A/B]ã®é«ããã®ããé ã«ãªã¹ããããã®ã§ãããæ¨æ¬ã®åèªæ°ã¯ï¼ï¼ä¸èªã§ããè±è¾æ¸ããã伸ã°ãæ£ãããªã ããä¸ã§æ½åºããã*1
表ã®[A/B]ãè¦ã¦ãããããã«ããããã¯æ ¼å¥ã®å¼·ããèªã£ã¦ããã*2ãããã§ãããåèªã¯å¹³åå¤ã¨ã»ã¼åããªã®ã§æ»æãããããããããã§ã¯ãã¾ãåèªã¯ãã®ï¼å²å¼·ãããªãããå®ãå´ã¯é常ã«è¦å´ãããããã¨ãã®ããã«çã¾ãã¦ããæåã ã
è¾æ¸ããã©ãã©ã¿ã¦ããã®æåã§ã¯ãã¾ãåèªã¯å°ãªãããå¼·ãã¯ãã ï¼ãã¨å®ç´ã«é¸ã¶ã¹ãã§ã¯ãªãã表å¤ã«ãªããã[ï¼¢]ããããããå°ãªãå¸å°æåã¨ãã¦ãã½ããã¬ãããºãããããªã©ãåå¨ããããããããããã®åèªã¯[A](ãã®æåã§çµããåèª)ãå°ãªãã¨ããåé¡ãæ±ãã¦ãã ([A/B]<1)ãããã¤ãã¯å®ãã®ãé£ãã以ä¸ã«æ»ããã®ãé£ããã
ãããã®ä»£çããã®åã¯ãããï¼
[A/B]ã§æ¬¡ç¹ã®ãããã¯é«ãã¹ã³ã¢ããããåºãã¦ããããæ¥æ¬èªã®ç´ï¼å²ããããã§çµããã¨ããç¹æ®äºæ ã«ããããããã§å§ã¾ãåèªã¯ååã«åå¨ãã¦ããããããæ»ããã¯é£ããã*3
ã¡ãªã¿ã«ãæãã¤ããåèªããããã§çµãã£ã¦ãã¾ã使ããªããã¨ããã°ãã°ããã®ã¯ããããã§çµããåèªãæãå¤ãï¼ä½ã®ããããæãã¦14%ã«éãã¦ãããã¨ã«ããã
ãããã®ä»£æ¿åè£ã¨ãã¦ã¯ãã/ã¥ããããããããã¯å¯¾çããããã¨ããããããããããä¿éºã«æã£ã¦ãã¦æã¯ç¡ãããããã§ã¯ãã¾ãåèªãï¼ï¼å以䏿ãã¤ã人ã¯å°ãªããæªå¯¾çã®ç¸æãªãç°¡åã«ã²ãããã ããã
ãããã§æ¦ãå ´åã®æ³¨æç¹ã¯ï¼ç¹æããããã
ï¼ã¤ç®ã¯ãããâããã®ååè¿ãããããããå¸å°ã§ãããã¨ã ãï¼ï¼ä¸èªã®æ¢ç´¢ã§ã¯ãæ°ç (ãºãºã¨ããèªã¿ããã)ãã¨ããºã¼ã ã¬ã³ãºãã®ï¼åèªãããªãã£ããããæ»ãããããã¨ããè²´éãªååè¿ããå³åº§ã«ä½¿ãã¹ããè¿·ãã¨ããã ã
ï¼ã¤ç®ã ãã[A]ããããã®1/3ãããªããã©ã£ã¡ãï¼æ¡ä»¥ä¸ãããã ããåè² ã«æ¯éã¯ã§ãªãã ããã¨æãã®ã¯ééããåºè¾èãæå±ã§ããªãæ®éã®äººéã使ããã¹ããã¯ã¯è¡¨ã®æ°å¤ããæ¡ã®ã¬ãã«ã§å°ãªãä¸ã«ãä¸åº¦ã«ã¤ãããã®ã¯ï¼ï¼é³ã®ãã¡ç¸æãæå®ããã©ããã®æåã§å§ã¾ãåèªã«éå®ãããã常ã«é©åãªããæ»ããåèªãç¨æã§ããã¨ã¯éãããæ»ãã«ç©´ãããã¦ãã¾ãã°æ¨äºã«ãªãã
表ã«è¼ã£ã¦ããªãæåã¯ã©ããªã®ï¼
ã俺/ç§ã®å¤§å¥½ããªããæ»ããããæ»ããããæ»ãã(ry ã¯ã©ãã ã¼ï¼ã
ãããã¯è¥å¹²å¸å°ã§ããããå¼·ãã¨æãããã¡ã ãã以ä¸ã®çç±ã«ããå®éã«ã¯ããã»ã©æãã¯ãªãã
- [A/B]â1ã§ãããæ»æå´ã¨é²å¾¡å´ãäºè§ã
- ãã®æåã§å§ã¾ãåèªã¯æå¤ã«å¤ããæ±ºå®æã«æ¬ ããã
é²å¾¡å´ã1000åèªã¯åå¨ãã¦ãããã¨ã大åã ã
æåç®ç·ããã®è±å´ï¼ãã¼ãããã°ã©ãã¸
ãã¾ã¾ã§æåã®å¼·ãã«ã¤ãã¦èãã¦ããã
ã ããããã§æºè¶³ãã¦ããã®ã ãããã
ãããã«åããããã®ã§ããæ»ãããã¾ããããããå¼·ãã®ã§ããæ»ãããã¾ãã
ããããã¯ããããªå®ç´ãªå°å¦çã¬ãã«æ¦ç¥ããè±åºããããã¦ä¸é«çã¬ãã«æ¦ç¥ã¸ã¨åé²ããå¿ è¦ãããã
ããããã¨ããã¨ã¯ä½ãï¼ã
ããããã¨ããã¨ã¯ãããªãæ§é ããã£ãã²ã¼ã ãï¼ã
ããããã¨ããã¯ã®æ¦ç¥ã¯ã©ãã«åããã®ãï¼ã
ããã¹ã¦ã®åèªã確å®ããããã®ãã¹ã¦ãå®å ¨ã«è¨æ¶ããæ°å䏿å ã¾ã§ãç¬æã«è¨ç®ã®ã§ããåå¨å士ããããã¨ããã§æ¦ã£ããã©ã®ãããªæ§ç¸ãåããã®ãã
ãã®æåã§ï¼ã¯ãã¾ã/ãããï¼åèªã®æ°ãåå®ããã ãã®èãæåã§ã¯ããããã¨ããã®å±é¢ããã¤è¨å¤§ãªæ å ±ã®ã»ã¨ãã©ãåããã¼ãã¦ãã¾ããããæ·±ãçè§£ã®ããã«ã¯ãæåãã¤ãªãä½åä¸ã¨ããåèªã§ç¹ãããããã巨大ã§è¤éãªé·ç§»ãããã¯ã¼ã¯ã®å ¨ã¦ãè¨è¿°ã§ãããããªä»çµã¿ãããã¨ããã
ãã®ããã®æ°å¦çãªéå ·ã¯ããæ´åããã¦ãããä»»æã®åèªã»ããã§æ§æããããããã¨ããã¯æåããã¼ãã¨ããæåã°ã©ãã«ãã£ã¦è¨è¿°ã§ãããããã¯ä¸è¬ã«å¤é辺ï¼ã©ã¡ããæåXiã§ã¯ãã¾ãæåXjã§çµããããç°ãªãåèªã®çµï¼ãã«ã¼ã(ååè¿ã)ãå«ãã
人éã«ãå¯è½ãªãããã¨ãå¿ åæ³ãã¯åå¨ããããã
ã§ã¯å®éã«ä¸é«çã¬ãã«æ¦ç¥ãèãã¦ã¿ãã
ããã§ã¯ä¸é¨æã¡ã«ããã¬ãããã«ãæ³å®ãããã¨ããã®ããï¼äººä»¥ä¸ã®ãããã¨ããã¯é£ãåãï¼äººãçµè¨ããã°ãªãã ã£ã¦ã§ããã¯ã½ã²ã¼ã§ãï¼æã®å·®ãåè² ãããããããªç´°ããªæ¦ç¥ããªã«ãç¡ãã®ã§ã¨ããããèã«ç½®ãã¦ããããã¾ããï¼äººä»¥ä¸ã®æ¦ãã§ï¼äººãå·æã«ããæ»ããããã¦ããåè² ãæ±ºããã»ã©ã®æå¹æã«ãªããªãããã¡ãã£ã¨KYã *4ã
ãã¨ãå®éã®ãããã¨ããã¯å®å ¨æ å ±ã²ã¼ã ã«ã¯ã»ã©é ããããã¬ã¤ã¤ã¼ã¯æ¥æ¬èªã®ãã¹ã¦ã®åèªãæè¨ãã究極çå½ä½ã§ããã¨ä»®å®ããåèªã®èªå°¾ãä½ã®é³ã«å¯¾å¿ãããããã®åèªã¯ã¢ãªããã·ãã¿ãããªè°è«ã¯å ¨ã¦çä»ããå¾ã¨ããããã¾ããè¬ã飲ã¾ããããã180æéã®æç ã®å¾ã¨ãã§ã¯ãªããåæ¹ãä¸å ¨ã®æ å¢ã§è¨ããã®ã¨ããã
ã¢ãªå°çãçµç«¯æåãä¸è½ã¢ã¿ãã¯
ä»»æã®æåæ°ã¨è¨èªã«ããåèªã»ããã§ã¤ããããä¸è¬ã®ã°ã©ãã«ã¤ãã¦èããå ´åã¯ã¨ã¦ãè§£ãã代ç©ã§ã¯ãªãããã ããæ¥æ¬èª(è±è¾æ¸)ã®å ´åã¯ãããã®å¨ããç¹æ®ã§ã¤ã¾ããªãæ§é ããã¦ãããããæ¯è¼çç°¡åã«å¿ åè§£ãå¾ããã¦ãã¾ãã
ãããã®ååè¿ããå¶æ°åã®ç¶æ ã§ããæ»ããã仿ããã°å¿ åã
ãä»»æã®æåXiã«å¯¾ãã¦ï¼Xã§ã¯ãã¾ãXiã§ãããåèªã®æ°ï¼ãï¼Xiã§ã¯ãã¾ãXã§çµããåèªã®æ°ï¼ãè¶ ããªããããæºããæåXãåå¨ããã¨ãããããçµç«¯æåãã¨å¼ã¶ãã¨ã«ãããçµç«¯æåã¯å¸¸ã«åå¨ããã¨ã¯éããããã¨ãã°ï¼ã¤ã®åèªã§æ§æãããè¨èªA={abb,bc,ca,a}ã«çµç«¯æåã¯åå¨ããªããããã¨ãã«ã¯ã
ãã¬ã¤ã¤ã¼ãäºãã«æåæãæã¤ã¨ããä»»æã®æåXi,Xjã«å¯¾ãã¦(Xiã§å§ã¾ãXjã§ãããåèª)ã¨(Xjã§å§ã¾ãXiã§çµããåèª)ã®çµãå ãããé¤ãã¦ãåæã¯å¤ããªã
ã¨ããæ§è³ªããããããçµç«¯æåã¯ããã®æåã§å§ã¾ãåèªãåå¨ããªãæåãã¨ç価ã§ããã䏿¦ãã®æåã«å ¥ãè¾¼ãã¨è±åºã¯ä¸å¯è½ã ãåãæãã©ããªæåã«éãã¦ãããããæ¼ãæ»ãã ãã®ååãªåèªãåå¨ããã
ä¸è¬ã«ãæå¼·æåâ çµç«¯æåãã ããæ¥æ¬èª(è±è¾æ¸)ã«é¢ãã¦è¨ãã°ãæå¼·æåããããããã«è©²å½ããããããã¯ä»»æã®æåXã«å¯¾ãã¦ã N(Xâã) â§ N(ãâX) ãã§ãããè¢å°è·¯ã«ãªã£ã¦ãããï¼ååè¿ããé¤ãã°ï¼ååãªåèªãè¨æ¶ãããã¬ã¤ã¤ã¼ã®ããæ»ããããã®ãããããªãããååãªåèªãã¨ããæ¡ä»¶ã ããé«ã ããæ»ãããï¼ï¼ï¼åèªç¨åº¦ã§ã¹ããã¯ããã ãã§ãããåºè¾èã¯ã©ã¹ã丸åã¿ããå¿ è¦ã¯ç¡ãã
æ®ãåé¡ã¯ããâããååè¿ãã ããã«ã¼ã(ååè¿ã)ã¯çµç«¯æåã§ãããå¦ãã«ä¾ããå¶å¥æ§ã ããåæã決å®ãããã§ããã®å ´åã¯å¶æ°åã®ã¨ãã«ããæ»ãããå婿¡ä»¶ã奿°åã®æã¯ååè¿ãã§éã«ãæ»ããæãããããã¨ã«ãªãã®ã§å¿ è² ã ããã®å ´åã誰ãããæ»ããã«æãã¤ããããªããã¡ãªã¿ã«ä»åç¨ãããè±è¾æ¸ãã§ã¯ãããã®ååè¿ãã¯ï¼ï¼åã ã¨ããããã®å ´åããããã¨ãâãªã¼ã«ãã®æç¹ã§åå©ç¢ºå®ã
å°æ£ããã§ã¹ã¨éããããã¨ãå¿ åæ³ã¯æ®éã®äººãæã伸ã°ãã°ã¨ã©ãç¯å²ã«ããã
ãªãã¨ãã¤ã¾ããªãçµè«ã ã*5
大éç ´å£å µå¨ã³ã¯ã¤ã¨ï¼ãã¥æ»ãããã¢æ»ããããæ»ããããæ»ãã
ãã¦ãå°ã話ãå¤ãã¦ããããããé壿¦ã§ä½¿ããããªæãèãã¦ã¿ãã
ãã¾ã¾ã§ã®è©±ã§ã¯ããããã¨ãã¢ãããããã¨ãããã®é¡ã¯åºå¥ãã¦ããªãã£ããé常ã®ã²ã¼ã ã§ãããã®æåã¯åºå¥ãããªãããããã®æåãåé¢ãã¦ãã¾ãã¨ããã¾ãã®å¼·ãã«ãæå¼·æåãããã§ããéãã§ãã¾ããå¤åããã¾ã¾ã§ã®è©±ã大ãããããã ããããã¥ãã¨ãã¢ãã§å§ã¾ãåèªã¯æå¼·æåãããã® 1/100以ä¸ã ãã©ã¡ããçæã§æ°ããããã¬ãã«ãç¥ããªããã°ã¾ãè¿ããªãããã¥æ»ããã¯ãæ ¹æ´¥ããæ¨æ´æ´¥ããå³¶æ´¥ããªã©ã®æ´¥ã·ãªã¼ãºãæåã ã
ãé¼»è¡ããã¼ããããã¡ãã«ãããã ãããã¡ãªã¿ã«ãçãã¯ãããã«æ¿ç¹ã ããã
ãã¢!ï¼ã»ã»ã»ã»ã»ããã¼ãããã®ï¼ã
ããæ»ãããããæ»ããã䏿ã§ãã¬ã¤ã¤ã¼å ¨å¡ãçæ®ºãã«ã§ããã»ã©ã®å¨åã ããããã¹ã±ãâãã±ãã¹ãã¼ã«ããã±ã´ã¡ãã®è¿ããã§ãã人ã¯çµ¶ç¡ã«è¿ãã
ãã ããããã®æ»ãã¯ããã®åèªãªã¹ããå¨ç¥ããã対çããæ¸ãã§ãã¾ãã°ç¡æµã¨ã¯è¨ããªããªãã
åèªãåºãé çªã«ã¤ãã¦(ãã«ããã¬ã¤)
ãããã¨ããã¯ä»ã®äººããã¾ãç¥ããªãããã¢ãã¯ãªåèªãé£çºãã¦æ¦ã«ãããããã¿ããªç¥ã£ã¦ããåèªãåªå çã«æ½°ãã»ããåççãªæ¦è¡ã¨ããããã¨ãå¤ãããããã¨ããã¯åèªã®ã¹ããã¯ã温åããã²ã¼ã ã§ãããèªåã ããç¥ã£ã¦ãåèªãè¨ãã°ãèªåã ããã¹ããã¯ãæ¸ãããã¨ã«ãªãããã¿ããªãç¥ã£ã¦ããåèªãè¨ãã°ãå ¨å¡ã®ã¹ããã¯ãæ¸ãããã¨ãã§ãããåè ã¯ï¼ææã ããå¾è ã¯ãã©ãã¤ï¼ã§ãããåºç¤ã§ã®ç¡é§ãªæ¶èã¯ç°¡åãªåèªãå°½ãã¦ããçµç¤ã«ããã¦éããå¹ãã¦ãããéãéãç¡ããªãã®ã ã
PSPACEå®å ¨åé¡ï¼ããæ·±ããããã¨ããã®çè§£ãç®æãã¦
ãµããã³è©±ããããã«ãã³ã²ã¼ã ãªï¼äººãã¬ã¤ã«æ»ãã大å¦ã¬ãã«ã®ããã¨ãæ¦ç¥ã¯ã©ãããã¹ããã
æ¥æ¬èª(è±è¾æ¸)ã¯æ§é ãç°¡åã ã£ãããä¸è¬ã®ãããã¨ããã§å¿ åè§£ãæ¢ãã®ã¯ãã£ã¨å¤§å¤ã§ããã
é©å½ãªè¾æ¸ãããããããã¨ãããã®åæå¤å®ã¯PSPACEå®å ¨åé¡ã ããã ããã¥ã¼ãªã³ã°ãã·ã³ã§ãã¼ãã®é·ããåé¡ã®ãµã¤ãºã®å¤é å¼ãããã®é åã§è§£ããåé¡ã®ãªãã§æãé£ããã¤ãã
é©å½ãªè¨èªãã¤ãã£ã¦éãã§ã¿ããã©ã森ããã¾ããé§ã®ãã¨ããèªåãæå©ãªæ¹åã«åãã£ã¦ããã®ãä¸å©ãªæ¹åã«åãã£ã¦ããã®ãããæ´ããªãã
ã¡ããã¨éã¹ãããã«ãªãã«ã¯ã¾ã ã¾ã ã
*1:è±è¾æ¸ã¯ã¯ãã¹ã¯ã¼ã使ç¨è¾æ¸ã§ããããããåãããããããããªããããä¸è¬çãªæ¨æ¬ã¨ãã¦ATOKã®è¾æ¸ãã¡ã¤ã«ããåè©ãæ½åºãããã£ãã®ã ããç°¡åã«åãåºãããã«ã¯ãªãã£ãã
*2:ã¡ãªã¿ã«æå¼±æåã¯ãã¸ãã[A/B]ã1%å°ã¨ããé©ãã®å¼±ãã
*3:[A/B]ã¯åç´ãªææ¨ã ãã使ã£ã¦ããã ãã§ãå¼·ãã®ç®å®ã«ãããªãã
*4:ãã®KYã®ä¸ã«ã¨ãã©ãããããå«ã¾ãã¦ãããã©ãã
*5:ä¸å¿ããã®å¿ åæ³ããä»åç¨ããè¾æ¸ã§ã¯ãã¨ãããã¨ã¯ããã強調ãã¦ãããããããçµç«¯æåã§ããã¨ããã®ã¯ä»ã®è¾æ¸ã§ãæãç«ã¡ããã ããããã®ååè¿ãã®æ°ãã«ã¤ãã¦ã¯ããã£ãï¼åèªãå ãã£ãã ãã§åæãå転ãããããè¾æ¸ãã¨ã«å®å®ãã¦ããªãã ããããã ãè¾æ¸ãã確å®ãã¦ãã¾ãã°ãåæã¯å®¹æã«å¤å®ã§ãããã®ã¨æãããã