1 {- 2 /* $NetBSD: opt.hs,v 1.1 2006/10/09 12:32:46 yamt Exp $ */ 3 4 /*- 5 * Copyright (c)2006 YAMAMOTO Takashi, 6 * All rights reserved. 7 * 8 * Redistribution and use in source and binary forms, with or without 9 * modification, are permitted provided that the following conditions 10 * are met: 11 * 1. Redistributions of source code must retain the above copyright 12 * notice, this list of conditions and the following disclaimer. 13 * 2. Redistributions in binary form must reproduce the above copyright 14 * notice, this list of conditions and the following disclaimer in the 15 * documentation and/or other materials provided with the distribution. 16 * 17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 18 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 20 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 21 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 22 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 23 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 24 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 25 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 26 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 27 * SUCH DAMAGE. 28 */ 29 -} 30 31 import System.Environment 32 import System.IO 33 import List 34 import Maybe 35 import qualified Data.Set as Set 36 37 ff s [] = head $ Set.elems s 38 ff s (y:ys) = 39 if Set.size s == 1 then head $ Set.elems s else 40 if Set.member y s then 41 ff (Set.delete y s) ys 42 else 43 ff s ys 44 45 do_opt1 npg n q [] = (reverse n, q) 46 do_opt1 npg n q rs@(r:rs2) = 47 if Set.member r q then 48 do_opt1 npg n q rs2 49 else if Set.size q < npg then 50 do_opt1 npg (r:n) (Set.insert r q) rs2 51 else 52 let 53 c = ff q rs2 54 nq = Set.delete c q 55 in 56 do_opt1 npg (r:n) (Set.insert r nq) rs2 57 58 do_opt npg rs = fst $ do_opt1 npg [] Set.empty rs 59 do_opt_dbg npg rs = do_opt1 npg [] Set.empty rs 60 61 main = do 62 xs <- getContents 63 args <- getArgs 64 let 65 ls = lines xs 66 npgs::Int 67 npgs = read $ args !! 0 68 pgs::[Int] 69 pgs = map read ls 70 mapM_ print $ do_opt npgs pgs 71
Indexes created Sat Sep 20 22:09:52 GMT 2025