CSES - Datatähti 2018 peili

Submission details
Task:	Bittijono
Sender:	joonazan
Submission time:	2017-10-13 01:25:14 +0300
Language:	Haskell
Status:	READY
Result:	100

Feedback
group	verdict	score
#1	ACCEPTED	7
#2	ACCEPTED	15
#3	ACCEPTED	27
#4	ACCEPTED	51

Test results
test	verdict	time	group
#1	ACCEPTED	0.04 s	1	details
#2	ACCEPTED	0.07 s	1	details
#3	ACCEPTED	0.06 s	1	details
#4	ACCEPTED	0.04 s	1	details
#5	ACCEPTED	0.05 s	1	details
#6	ACCEPTED	0.05 s	1	details
#7	ACCEPTED	0.06 s	1	details
#8	ACCEPTED	0.06 s	1	details
#9	ACCEPTED	0.06 s	1	details
#10	ACCEPTED	0.05 s	1	details
#11	ACCEPTED	0.05 s	2	details
#12	ACCEPTED	0.04 s	2	details
#13	ACCEPTED	0.06 s	2	details
#14	ACCEPTED	0.06 s	2	details
#15	ACCEPTED	0.04 s	2	details
#16	ACCEPTED	0.05 s	2	details
#17	ACCEPTED	0.04 s	2	details
#18	ACCEPTED	0.06 s	2	details
#19	ACCEPTED	0.03 s	2	details
#20	ACCEPTED	0.06 s	2	details
#21	ACCEPTED	0.06 s	3	details
#22	ACCEPTED	0.06 s	3	details
#23	ACCEPTED	0.05 s	3	details
#24	ACCEPTED	0.06 s	3	details
#25	ACCEPTED	0.04 s	3	details
#26	ACCEPTED	0.05 s	3	details
#27	ACCEPTED	0.04 s	3	details
#28	ACCEPTED	0.05 s	3	details
#29	ACCEPTED	0.06 s	3	details
#30	ACCEPTED	0.06 s	3	details
#31	ACCEPTED	0.05 s	4	details
#32	ACCEPTED	0.68 s	4	details
#33	ACCEPTED	0.12 s	4	details
#34	ACCEPTED	0.12 s	4	details
#35	ACCEPTED	0.45 s	4	details
#36	ACCEPTED	0.06 s	4	details
#37	ACCEPTED	0.33 s	4	details
#38	ACCEPTED	0.06 s	4	details
#39	ACCEPTED	0.40 s	4	details
#40	ACCEPTED	0.04 s	4	details

Code

import Prelude hiding (either)
import Data.List

solve :: Int -> String
solve x = toString solution where
    target = x + 1
    layers = map (solveLayer target) [1..]
    Just (Just solution) = find (/= Nothing) layers

solveLayer :: Int -> Int -> Maybe [Choice]
solveLayer target layer = inner 1 2 0 where

    inner prevprev prev choices =
        let
            smallest = extendedWith same
            biggest = extendedWith other

            extendedWith f = series !! (layer - choices) where
                series = prevprev : prev : zipWith f series (tail series)

            recurse a f = fmap (a :) $ inner prev (f prevprev prev) (choices + 1)
        in
        if choices + 1 >= layer then
            if prev == target then
                Just []
            else
                Nothing
        else if smallest <= target && target <= biggest then
            either (recurse Same same) (recurse Other other)
        else
            Nothing

either :: Maybe a -> Maybe a -> Maybe a
either (Just a) _ = Just a
either Nothing b = b

data Choice
    = Same
    | Other
    deriving (Eq, Show)

same :: Int -> Int -> Int
same a b =
    2*b - a

other :: Int -> Int -> Int
other a b =
    a + b + 1

main :: IO ()
main =
    putStrLn . solve =<< readLn

toString :: [Choice] -> String
toString choices = map toChar bits where

    bits = False : zipWith flipIfOther bits choices

    flipIfOther x Same = x
    flipIfOther x Other = not x

    toChar False = '0'
    toChar True = '1'

Test details

Test 1

Group: 1

Verdict: ACCEPTED

input
`1` view save

correct output
`1` view save

user output
`0` view save

Test 2

Group: 1

Verdict: ACCEPTED

input
`2` view save

correct output
`11` view save

user output
`00` view save

Test 3

Group: 1

Verdict: ACCEPTED

input
`3` view save

correct output
`10` view save

user output
`01` view save

Test 4

Group: 1

Verdict: ACCEPTED

input
`4` view save

correct output
`1111` view save

user output
`0000` view save

Test 5

Group: 1

Verdict: ACCEPTED

input
`5` view save

correct output
`110` view save

user output
`001` view save

Test 6

Group: 1

Verdict: ACCEPTED

input
`6` view save

correct output
`101` view save

user output
`010` view save

Test 7

Group: 1

Verdict: ACCEPTED

input
`7` view save

correct output
`1110` view save

user output
`0001` view save

Test 8

Group: 1

Verdict: ACCEPTED

input
`8` view save

correct output
`1100` view save

user output
`0011` view save

Test 9

Group: 1

Verdict: ACCEPTED

input
`9` view save

correct output
`1101` view save

user output
`0010` view save

Test 10

Group: 1

Verdict: ACCEPTED

input
`10` view save

correct output
`1001` view save

user output
`0110` view save

Test 11

Group: 2

Verdict: ACCEPTED

input
`38` view save

correct output
`1101011` view save

user output
`0010100` view save

Test 12

Group: 2

Verdict: ACCEPTED

input
`13` view save

correct output
`11011` view save

user output
`00100` view save

Test 13

Group: 2

Verdict: ACCEPTED

input
`90` view save

correct output
`111001010` view save

user output
`000110101` view save

Test 14

Group: 2

Verdict: ACCEPTED

input
`25` view save

correct output
`110010` view save

user output
`001101` view save

Test 15

Group: 2

Verdict: ACCEPTED

input
`82` view save

correct output
`111001101` view save

user output
`000110010` view save

Test 16

Group: 2

Verdict: ACCEPTED

input
`94` view save

correct output
`1100011110` view save

user output
`0011100001` view save

Test 17

Group: 2

Verdict: ACCEPTED

input
`100` view save

correct output
`1111001001` view save

user output
`0000110110` view save

Test 18

Group: 2

Verdict: ACCEPTED

input
`99` view save

correct output
`110010010` view save

user output
`001101101` view save

Test 19

Group: 2

Verdict: ACCEPTED

input
`98` view save

correct output
`110110010` view save

user output
`001001101` view save

Test 20

Group: 2

Verdict: ACCEPTED

input
`92` view save

correct output
`100110001` view save

user output
`011100110` view save

Test 21

Group: 3

Verdict: ACCEPTED

input
`1666` view save

correct output
`101101100100101` view save

user output
`011011101010101` view save

Test 22

Group: 3

Verdict: ACCEPTED

input
`897` view save

correct output
`11101001101010` view save

user output
`00010110010101` view save

Test 23

Group: 3

Verdict: ACCEPTED

input
`4466` view save

correct output
`111101010110100101` view save

user output
`000010101001011010` view save

Test 24

Group: 3

Verdict: ACCEPTED

input
`4240` view save

correct output
`11011001011010101` view save

user output
`00100110100101010` view save

Test 25

Group: 3

Verdict: ACCEPTED

input
`3089` view save

correct output
`1011001010100101` view save

user output
`0100110101011010` view save

Test 26

Group: 3

Verdict: ACCEPTED

input
`4697` view save

correct output
`11010101101010110` view save

user output
`00101010010101001` view save

Test 27

Group: 3

Verdict: ACCEPTED

input
`4608` view save

correct output
`11010110101001010` view save

user output
`00101001010110101` view save

Test 28

Group: 3

Verdict: ACCEPTED

input
`4625` view save

correct output
`111011001100101001` view save

user output
`000110101011011011` view save

Test 29

Group: 3

Verdict: ACCEPTED

input
`4611` view save

correct output
`11010101010101100` view save

user output
`00110101010101011` view save

Test 30

Group: 3

Verdict: ACCEPTED

input
`4917` view save

correct output
`10110100101010110` view save

user output
`01101010100101101` view save

Test 31

Group: 4

Verdict: ACCEPTED

input
`178555` view save

correct output
`1011010110110101010110110` view save

user output
`0110110101010110110101101` view save

Test 32

Group: 4

Verdict: ACCEPTED

input
`864856` view save

correct output
`10111010110110100100101010010` view save

user output
`01100101010010010100100011010` view save

Test 33

Group: 4

Verdict: ACCEPTED

input
`112146` view save

correct output
`1101110101011001100100110` view save

user output
`0011101010101001001000110` view save

Test 34

Group: 4

Verdict: ACCEPTED

input
`741124` view save

correct output
`1011010011010101100101011010` view save

user output
`0100101100101010011010100101` view save

Test 35

Group: 4

Verdict: ACCEPTED

input
`511902` view save

correct output
`1011010100011010100101001110` view save

user output
`0111101010101010010100110110` view save

Test 36

Group: 4

Verdict: ACCEPTED

input
`920019` view save

correct output
`11100100101101010101001101010` view save

user output
`00011011010010101010110010101` view save

Test 37

Group: 4

Verdict: ACCEPTED

input
`933943` view save

correct output
`10101011010100100110100111001` view save

user output
`01100011010011011010100101010` view save

Test 38

Group: 4

Verdict: ACCEPTED

input
`973410` view save

correct output
`1011010101011010101010101001` view save

user output
`0110101010101010010101010010` view save

Test 39

Group: 4

Verdict: ACCEPTED

input
`954943` view save

correct output
`10110110010011010100100110101` view save

user output
`01101001011101010101100100101` view save

Test 40

Group: 4

Verdict: ACCEPTED

input
`911674` view save

correct output
`1010110010110101010101010110` view save

user output
`0110101010101010110100110101` view save

Datatähti 2018 peili

Bittijono

Code

Test details

Test 1

Test 2

Test 3

Test 4

Test 5

Test 6

Test 7

Test 8

Test 9

Test 10

Test 11

Test 12

Test 13

Test 14

Test 15

Test 16

Test 17

Test 18

Test 19

Test 20

Test 21

Test 22

Test 23

Test 24

Test 25

Test 26

Test 27

Test 28

Test 29

Test 30

Test 31

Test 32

Test 33

Test 34

Test 35

Test 36

Test 37

Test 38

Test 39

Test 40

Tasks

Submissions (joonazan)