ICPC ã§è‰¯ã„æˆç¸¾ã‚’åŽã‚ã‚‹ã«ã¯ä¿®è¡ŒãŒæ¬ ã‹ã›ãªã„.ã†ã•ãŽã¯ ICPC ã§å‹ã¡ãŸã„ã®ã§ï¼Œä»Šæ—¥ã‚‚修行をã™ã‚‹ã“ã¨ã«ã—ãŸï¼Ž
今日ã®ä¿®è¡Œã¯ï¼Œã‚ã¿ã ãã˜ã‚’利用ã—ã¦ï¼Œæœªæ¥ã‚’èªã‚€åŠ›ã‚’ã¤ã‘ã¦é‹æ°—を高ã‚よã†ã¨ã„ã†ã‚‚ã®ã§ã‚る.もã¡ã‚ã‚“ç›´æ„Ÿã«é ¼ã‚‹ã ã‘ã§ãªã,綿密ãªç¢ºçŽ‡è¨ˆç®—ã‚‚æ¬ ã‹ã›ãªã„.
今回考ãˆã‚‹ã‚ã¿ã ãã˜ã¯ï¼Œé•·ã• H + 1 センãƒãƒ¡ãƒ¼ãƒˆãƒ«ã®ç¸¦æ£’ N 本ã‹ã‚‰ãªã‚‹ï¼Žã†ã•ãŽã¯æ£’ã®ä¸Šéƒ¨ã‚’見ã¦ï¼ŒN 本ã®ã†ã¡ 1 本をé¸ã¶ã“ã¨ã«ãªã‚‹ï¼Žæ£’ã®ä¸‹éƒ¨ã«ã¯ï¼Œå·¦ã‹ã‚‰ P 本目ã®æ£’ã®å ´æ‰€ã«ã®ã¿ã€Œå½“ãŸã‚Šã€ã¨æ›¸ã‹ã‚Œã¦ã„る.ã‚ã¿ã ãã˜ã«ã¯ã„ãã¤ã‹ã®æ¨ªæ£’ãŒå«ã¾ã‚Œã‚‹ï¼Žæ¨ªæ£’ã®é…ç½®ã«é–¢ã—ã¦ï¼Œä»¥ä¸‹ã®æ¡ä»¶ã‚’考ãˆã‚ˆã†ï¼Ž
ã†ã•ãŽã¯ã“れらã®æ¡ä»¶ã‚’満ãŸã™ã‚ˆã†ã« M 本ã®æ¨ªæ£’を引ã„ãŸï¼Žã‚ã„ã«ãã†ã•ãŽã¯è¨˜æ†¶åŠ›ãŒè‰¯ã„ã®ã§ï¼Œå½“ãŸã‚Šã®ä½ç½®ã‚„横棒ã®ä½ç½®ã‚’ã™ã¹ã¦è¦šãˆã¦ã—ã¾ã£ã¦ãŠã‚Šï¼Œã‚ã¿ã ãã˜ã‚’楽ã—ã‚ãªã„.ãã“ã§å‹é”ã®ãã“ã«ã•ã‚‰ã«æ¨ªæ£’ã‚’è¿½åŠ ã—ã¦ã‚‚らã†ã“ã¨ã«ã—ãŸï¼Ž
ã¾ãšï¼Œã†ã•ãŽã¯å½“ãŸã‚Šã‚’ç‹™ã£ã¦ N 本ã®æ£’ã®ã†ã¡ 1 本をé¸ã¶ï¼Žãã®å¾Œï¼Œãã“ã¯ä»¥ä¸‹ã®æ“作をã¡ã‚‡ã†ã© K 回行ã†ï¼Ž
ãã—ã¦ï¼Œã†ã•ãŽãŒé¸ã‚“ã 棒ãŒå½“ãŸã‚Šã§ã‚ã£ãŸã‹ã‚’判定ã™ã‚‹ï¼Žæ£’ã®è¾¿ã‚Šæ–¹ã¯é€šå¸¸ã®ã‚ã¿ã ãã˜ã¨åŒæ§˜ã§ã‚ã‚‹ (横棒ã«å‡ºä¼šã†ãŸã³ã«éš£ã®ç¸¦æ£’ã«ç§»ã‚‹).ã†ã•ãŽã¯ï¼Œå¯èƒ½ãªé™ã‚Šå½“ãŸã‚Šã¨ãªã‚‹ç¢ºçŽ‡ã‚’高ãã—ãŸã„.
H N P M K A1 B1 ... AM BM
Ai, Bi (1 ≤ i ≤ M) ã¯ã†ã•ãŽãŒå¼•ã„ãŸæ¨ªæ£’ã®ã†ã¡ i 番目ã®ã‚‚ã®ãŒï¼Œç¸¦æ£’ã®ä¸Šç«¯ã‹ã‚‰ Ai センãƒãƒ¡ãƒ¼ãƒˆãƒ«ã®é«˜ã•ã«ã‚り,左ã‹ã‚‰ Bi 本目ã®ç¸¦æ£’ã¨å·¦ã‹ã‚‰ Bi + 1 本目ã®ç¸¦æ£’ã‚’çµã¶ã“ã¨ã‚’表ã™æ•´æ•°ã§ã‚る.
2 ≤ H ≤ 500,2 ≤ N ≤ 100,1 ≤ P ≤ N,1 ≤ M ≤ 100,1 ≤ K ≤ 100,M + K ≤ H,1 ≤ A1 < A2 < ... < AM ≤ H,1 ≤ Bi ≤ N - 1 を満ãŸã™ï¼Ž
当ãŸã‚Šã¨ãªã‚‹ç¢ºçŽ‡ãŒæœ€å¤§ã¨ãªã‚‹ã‚ˆã†ã«ã†ã•ãŽãŒæ£’ã‚’é¸ã‚“ã ã¨ãã®ï¼Œå½“ãŸã‚Šã¨ãªã‚‹ç¢ºçŽ‡ã‚’ 1 è¡Œã«å‡ºåŠ›ã›ã‚ˆï¼Ž10-6 以下ã®çµ¶å¯¾èª¤å·®ãŒè¨±å®¹ã•ã‚Œã‚‹ï¼Ž
9 4 3 2 1 2 1 7 3
0.571428571
9 4 3 2 3 2 1 7 3
0.375661376