CSES - Datatähti 2018 peili - Results
Submission details
Task:Bittijono
Sender:joonazan
Submission time:2017-10-13 01:25:14 +0300
Language:Haskell
Status:READY
Result:100
Feedback
groupverdictscore
#1ACCEPTED7
#2ACCEPTED15
#3ACCEPTED27
#4ACCEPTED51
Test results
testverdicttimegroup
#1ACCEPTED0.04 s1details
#2ACCEPTED0.07 s1details
#3ACCEPTED0.06 s1details
#4ACCEPTED0.04 s1details
#5ACCEPTED0.05 s1details
#6ACCEPTED0.05 s1details
#7ACCEPTED0.06 s1details
#8ACCEPTED0.06 s1details
#9ACCEPTED0.06 s1details
#10ACCEPTED0.05 s1details
#11ACCEPTED0.05 s2details
#12ACCEPTED0.04 s2details
#13ACCEPTED0.06 s2details
#14ACCEPTED0.06 s2details
#15ACCEPTED0.04 s2details
#16ACCEPTED0.05 s2details
#17ACCEPTED0.04 s2details
#18ACCEPTED0.06 s2details
#19ACCEPTED0.03 s2details
#20ACCEPTED0.06 s2details
#21ACCEPTED0.06 s3details
#22ACCEPTED0.06 s3details
#23ACCEPTED0.05 s3details
#24ACCEPTED0.06 s3details
#25ACCEPTED0.04 s3details
#26ACCEPTED0.05 s3details
#27ACCEPTED0.04 s3details
#28ACCEPTED0.05 s3details
#29ACCEPTED0.06 s3details
#30ACCEPTED0.06 s3details
#31ACCEPTED0.05 s4details
#32ACCEPTED0.68 s4details
#33ACCEPTED0.12 s4details
#34ACCEPTED0.12 s4details
#35ACCEPTED0.45 s4details
#36ACCEPTED0.06 s4details
#37ACCEPTED0.33 s4details
#38ACCEPTED0.06 s4details
#39ACCEPTED0.40 s4details
#40ACCEPTED0.04 s4details

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

correct output
1

user output
0

Test 2

Group: 1

Verdict: ACCEPTED

input
2

correct output
11

user output
00

Test 3

Group: 1

Verdict: ACCEPTED

input
3

correct output
10

user output
01

Test 4

Group: 1

Verdict: ACCEPTED

input
4

correct output
1111

user output
0000

Test 5

Group: 1

Verdict: ACCEPTED

input
5

correct output
110

user output
001

Test 6

Group: 1

Verdict: ACCEPTED

input
6

correct output
101

user output
010

Test 7

Group: 1

Verdict: ACCEPTED

input
7

correct output
1110

user output
0001

Test 8

Group: 1

Verdict: ACCEPTED

input
8

correct output
1100

user output
0011

Test 9

Group: 1

Verdict: ACCEPTED

input
9

correct output
1101

user output
0010

Test 10

Group: 1

Verdict: ACCEPTED

input
10

correct output
1001

user output
0110

Test 11

Group: 2

Verdict: ACCEPTED

input
38

correct output
1101011

user output
0010100

Test 12

Group: 2

Verdict: ACCEPTED

input
13

correct output
11011

user output
00100

Test 13

Group: 2

Verdict: ACCEPTED

input
90

correct output
111001010

user output
000110101

Test 14

Group: 2

Verdict: ACCEPTED

input
25

correct output
110010

user output
001101

Test 15

Group: 2

Verdict: ACCEPTED

input
82

correct output
111001101

user output
000110010

Test 16

Group: 2

Verdict: ACCEPTED

input
94

correct output
1100011110

user output
0011100001

Test 17

Group: 2

Verdict: ACCEPTED

input
100

correct output
1111001001

user output
0000110110

Test 18

Group: 2

Verdict: ACCEPTED

input
99

correct output
110010010

user output
001101101

Test 19

Group: 2

Verdict: ACCEPTED

input
98

correct output
110110010

user output
001001101

Test 20

Group: 2

Verdict: ACCEPTED

input
92

correct output
100110001

user output
011100110

Test 21

Group: 3

Verdict: ACCEPTED

input
1666

correct output
101101100100101

user output
011011101010101

Test 22

Group: 3

Verdict: ACCEPTED

input
897

correct output
11101001101010

user output
00010110010101

Test 23

Group: 3

Verdict: ACCEPTED

input
4466

correct output
111101010110100101

user output
000010101001011010

Test 24

Group: 3

Verdict: ACCEPTED

input
4240

correct output
11011001011010101

user output
00100110100101010

Test 25

Group: 3

Verdict: ACCEPTED

input
3089

correct output
1011001010100101

user output
0100110101011010

Test 26

Group: 3

Verdict: ACCEPTED

input
4697

correct output
11010101101010110

user output
00101010010101001

Test 27

Group: 3

Verdict: ACCEPTED

input
4608

correct output
11010110101001010

user output
00101001010110101

Test 28

Group: 3

Verdict: ACCEPTED

input
4625

correct output
111011001100101001

user output
000110101011011011

Test 29

Group: 3

Verdict: ACCEPTED

input
4611

correct output
11010101010101100

user output
00110101010101011

Test 30

Group: 3

Verdict: ACCEPTED

input
4917

correct output
10110100101010110

user output
01101010100101101

Test 31

Group: 4

Verdict: ACCEPTED

input
178555

correct output
1011010110110101010110110

user output
0110110101010110110101101

Test 32

Group: 4

Verdict: ACCEPTED

input
864856

correct output
10111010110110100100101010010

user output
01100101010010010100100011010

Test 33

Group: 4

Verdict: ACCEPTED

input
112146

correct output
1101110101011001100100110

user output
0011101010101001001000110

Test 34

Group: 4

Verdict: ACCEPTED

input
741124

correct output
1011010011010101100101011010

user output
0100101100101010011010100101

Test 35

Group: 4

Verdict: ACCEPTED

input
511902

correct output
1011010100011010100101001110

user output
0111101010101010010100110110

Test 36

Group: 4

Verdict: ACCEPTED

input
920019

correct output
11100100101101010101001101010

user output
00011011010010101010110010101

Test 37

Group: 4

Verdict: ACCEPTED

input
933943

correct output
10101011010100100110100111001

user output
01100011010011011010100101010

Test 38

Group: 4

Verdict: ACCEPTED

input
973410

correct output
1011010101011010101010101001

user output
0110101010101010010101010010

Test 39

Group: 4

Verdict: ACCEPTED

input
954943

correct output
10110110010011010100100110101

user output
01101001011101010101100100101

Test 40

Group: 4

Verdict: ACCEPTED

input
911674

correct output
1010110010110101010101010110

user output
0110101010101010110100110101