ã‚ãªãŸã¯è¬Žã®æ•µå¯¾çš„ãªã‚¨ã‚¤ãƒªã‚¢ãƒ³ã«ã¤ã„ã¦ç ”究ã—ã¦ã„ã¾ã™ã€‚
エイリアンã«ã¯é¼»ã®ç©´ãŒ $N$ 個ã‚ã‚Šã€è‚ºãŒ $1$ 個以上ã‚ã‚Šã¾ã™ã€‚ ã—ã‹ã—ã€è‚ºãŒã„ãã¤ã‚ã‚‹ã‹ã€ãŠã‚ˆã³ã€ã©ã®é¼»ã®ç©´ã¨ã©ã®è‚ºãŒç¹‹ãŒã£ã¦ã„ã‚‹ã‹ãŒåˆ†ã‹ã£ã¦ã„ã¾ã›ã‚“。
ã‚ãªãŸã¯ã‚¨ã‚¤ãƒªã‚¢ãƒ³ã«é–¢ã—ã¦ã€ä»¥ä¸‹ã®ä»®èª¬ã‚’ç«‹ã¦ã¾ã—ãŸ:
政府ã¯ã‚ãªãŸã®ä»®èª¬ã‚’検証ã™ã‚‹ãŸã‚ã«ã€è‚ºã¨é¼»ã®ç©´ã®æŽ¥ç¶šé–¢ä¿‚ãŒã‚ã‹ã£ã¦ã„ãªã„エイリアンを $1$ 匹æ•ç²ã—ã€$2^N$ 匹ã«è¤‡è£½ã—ã¾ã—ãŸã€‚ã“れらã®ã‚¨ã‚¤ãƒªã‚¢ãƒ³ã§ä»¥ä¸‹ã®ã‚ˆã†ãªå®Ÿé¨“ã‚’è¡Œã„ã¾ã—ãŸ:
ã‚ãªãŸã¯ã“れら㮠$2^N$ 個ã®å®Ÿé¨“ã®çµæžœã‚’å…¨ã¦ä¸Žãˆã‚‰ã‚Œã¾ã—ãŸã€‚ 実験ã®çµæžœãŒä»®èª¬ã«çŸ›ç›¾ã—ã¦ã„ãªã„ã‹åˆ¤å®šã—ã€çŸ›ç›¾ã—ã¦ã„ãªã„å ´åˆã«ã¯ 考ãˆã‚‰ã‚Œã‚‹è‚ºã®æœ€å°å€‹æ•°ã‚’ç”ãˆã¦ãã ã•ã„。
入力ã¯æ¨™æº–入力ã‹ã‚‰ä»¥ä¸‹ã®å½¢å¼ã§ä¸Žãˆã‚‰ã‚Œã¾ã™ã€‚ ãŸã ã—ã€$a_i=1$ã®ã¨ãã€$i$番目ã®ã‚¨ã‚¤ãƒªã‚¢ãƒ³ã¯æ»äº¡ã—ã€$a_i=0$ã®ã¨ãã€$i$番目ã®ã‚¨ã‚¤ãƒªã‚¢ãƒ³ã¯ç”Ÿãã¦ã„ã‚‹ã“ã¨ã‚’表ã—ã¾ã™ã€‚
$N$ $a_0$ $:$ $a_{2^N-1}$
実験ã®çµæžœãŒä»®èª¬ã«çŸ›ç›¾ã—ã¦ã„ã‚‹å ´åˆã«ã¯ $-1$ã€ãã†ã§ãªã„å ´åˆã¯ã‚¨ã‚¤ãƒªã‚¢ãƒ³ãŒæŒã¤ã¨è€ƒãˆã‚‰ã‚Œã‚‹è‚ºã®æœ€å°å€‹æ•°ã‚’ç”ãˆã¦ãã ã•ã„。
2 0 1 0 1
1
考ãˆã‚‰ã‚Œã‚‹è‚ºã®ã¤ãªã’æ–¹ã¨ã—ã¦ã¯{{1},{1,2}}ã‚„{{1}}ãŒã‚ã‚Šã€æœ€å°ã®å€‹æ•°ã¯1個ã§ã™ã€‚
3 0 1 1 1 1 0 0 1
-1
2番目ã®é¼»ã®ç©´ã ã‘ã‚’å¡žã„ã§ã‚‚3番目ã®é¼»ã®ç©´ã ã‘ã‚’å¡žã„ã§ã‚‚æ»ã¬ãŒã€ä¸¡æ–¹ã®ç©´ã‚’å¡žã„ã エイリアンã¯ç”Ÿãã¦ã„ã‚‹ãŸã‚ã€ä»®èª¬ã«çŸ›ç›¾ã—ã¦ã„ã¾ã™ã€‚