Bittipeli

input/code.hs:15:1: Warning:
    Pattern match(es) are non-exhaustive
    In an equation for `makeMove':
        Patterns not matched:
            [] _
            [GHC.Types.I# _] _
            [GHC.Types.I# _, _] _
            [GHC.Types.I# 1#] _
            ...

input/code.hs:17:11: Warning: Defined but not used: `a'

input/code.hs:19:15: Warning: Defined but not used: `b'

input/code.hs:28:15: Warning:
    Pattern match(es) are non-exhaustive
    In a case alternative: Patterns not matched: (_, Nothing) : _

import Data.List
import Data.Char
import Data.Maybe

type Group = Int
type State = [Group]
type Move = Int
type Solution = [Move]

isBig :: Group -> Bool
isBig = (<) 1

-- hyi
makeMove :: State -> Move -> State
makeMove (1:n:b:rest) 0 | isBig n = (1+b:rest)
makeMove (1:n:b:rest) k | isBig n = (1:makeMove (n:b:rest) k)
makeMove (a:n:b:rest) 0           = (n:b:rest)
makeMove (a:n:b:rest) 1 | isBig n = (a+b:rest)
makeMove (a:n:b:[])   1           = [a, n]
makeMove (a:n:b:rest) k = (a:makeMove (n:b:rest) (k-1))

solve :: State -> Maybe Solution
solve [] = Just []
solve [a] | isBig a   = Just [0]
          | otherwise = Nothing
solve [a, b] | isBig a && isBig b = Just [0, 0]
             | otherwise          = Nothing
solve state = case solutions
              of
                [] -> Nothing
                ((move, Just solution):_) -> Just (move:solution)
  where solutions = filter (isJust.snd) possibleSolutions
        possibleSolutions = [(move, solve $ makeMove state move) | move <- validMoves]
        validMoves = [0..len-1]
        len = length $ filter isBig state

parseInput :: String -> State
parseInput input = map length $ group $ filter (not . isSpace) input

printSolution :: Maybe [Move] -> IO ()
printSolution solution = case solution of
  Just s ->
    putStrLn $ (show $ length s) ++ "\n" ++ intercalate " " (map (show . (\x -> x+1)) $ s)
  Nothing ->
    putStrLn "QAQ"

main :: IO ()
main = do input <- getLine
          let state = parseInput input
              solution = solve state
          printSolution solution

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 1

Verdict: ACCEPTED

Test 3

Group: 1

Verdict: ACCEPTED

Test 4

Group: 1

Verdict: WRONG ANSWER

Test 5

Group: 1

Verdict: WRONG ANSWER

Test 6

Group: 1

Verdict: ACCEPTED

Test 7

Group: 1

Verdict: ACCEPTED

Test 8

Group: 1

Verdict: ACCEPTED

Test 9

Group: 1

Verdict: ACCEPTED

Test 10

Group: 1

Verdict: ACCEPTED

Test 11

Group: 1

Verdict: ACCEPTED

Test 12

Group: 1

Verdict: ACCEPTED

Test 13

Group: 1

Verdict: WRONG ANSWER

Test 14

Group: 1

Verdict: WRONG ANSWER

Test 15

Group: 1

Verdict: ACCEPTED

Test 16

Group: 1

Verdict: ACCEPTED

Test 17

Group: 1

Verdict: WRONG ANSWER

Test 18

Group: 1

Verdict: ACCEPTED

Test 19

Group: 1

Verdict: ACCEPTED

Test 20

Group: 1

Verdict: ACCEPTED

Test 21

Group: 2

Verdict: WRONG ANSWER

Test 22

Group: 2

Verdict: ACCEPTED

Test 23

Group: 2

Verdict: ACCEPTED

Test 24

Group: 2

Verdict: ACCEPTED

Test 25

Group: 2

Verdict: ACCEPTED

Test 26

Group: 2

Verdict: WRONG ANSWER

Test 27

Group: 2

Verdict: ACCEPTED

Test 28

Group: 2

Verdict: ACCEPTED

Test 29

Group: 2

Verdict: ACCEPTED

Test 30

Group: 2

Verdict: WRONG ANSWER

Test 31

Group: 2

Verdict: WRONG ANSWER

Test 32

Group: 2

Verdict: ACCEPTED

Test 33

Group: 2

Verdict: WRONG ANSWER

Test 34

Group: 2

Verdict: ACCEPTED

Test 35

Group: 2

Verdict: ACCEPTED

Test 36

Group: 2

Verdict: WRONG ANSWER

Test 37

Group: 2

Verdict: WRONG ANSWER

Test 38

Group: 2

Verdict: WRONG ANSWER

Test 39

Group: 2

Verdict: TIME LIMIT EXCEEDED

Test 40

Group: 2

Verdict: WRONG ANSWER

Test 41

Group: 3

Verdict: ACCEPTED

Test 42

Group: 3

Verdict: WRONG ANSWER

Test 43

Group: 3

Verdict: WRONG ANSWER

Test 44

Group: 3

Verdict: ACCEPTED

Test 45

Group: 3

Verdict: ACCEPTED

Test 46

Group: 3

Verdict: ACCEPTED

Test 47

Group: 3

Verdict: WRONG ANSWER

Test 48

Group: 3

Verdict: ACCEPTED

Test 49

Group: 3

Verdict: WRONG ANSWER

Test 50

Group: 3

Verdict: WRONG ANSWER

Test 51

Group: 3

Verdict: ACCEPTED

Test 52

Group: 3

Verdict: ACCEPTED

Test 53

Group: 3

Verdict: ACCEPTED

Test 54

Group: 3

Verdict: ACCEPTED

Test 55

Group: 3

Verdict: ACCEPTED

Test 56

Group: 3

Verdict: WRONG ANSWER

Test 57

Group: 3

Verdict: WRONG ANSWER

Test 58

Group: 3

Verdict: WRONG ANSWER

Test 59

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 60

Group: 3

Verdict: WRONG ANSWER

Test 61

Group: 4

Verdict: WRONG ANSWER

Test 62

Group: 4

Verdict: ACCEPTED

Test 63

Group: 4

Verdict: ACCEPTED

Test 64

Group: 4

Verdict: ACCEPTED

Test 65

Group: 4

Verdict: ACCEPTED

Test 66

Group: 4

Verdict: WRONG ANSWER

Test 67

Group: 4

Verdict: WRONG ANSWER

Test 68

Group: 4

Verdict: ACCEPTED

Test 69

Group: 4

Verdict: ACCEPTED

Test 70

Group: 4

Verdict: WRONG ANSWER

Test 71

Group: 4

Verdict: ACCEPTED

Test 72

Group: 4

Verdict: ACCEPTED

Test 73

Group: 4

Verdict: ACCEPTED

Test 74

Group: 4

Verdict: WRONG ANSWER

Test 75

Group: 4

Verdict: ACCEPTED

Test 76

Group: 4

Verdict: TIME LIMIT EXCEEDED

Test 77

Group: 4

Verdict: TIME LIMIT EXCEEDED

Test 78

Group: 4

Verdict: TIME LIMIT EXCEEDED

Test 79

Group: 4

Verdict: TIME LIMIT EXCEEDED

Test 80

Group: 4

Verdict: TIME LIMIT EXCEEDED