Submission #47055587

Source Code Expand

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import qualified Data.IntMap as IM
import Data.List
main :: IO ()
main = do
  [n,x,y] <- map read . words <$> getLine
  as <- map read . words <$> getLine
  let ans = abc326f n x y as
  putStrLn ans
abc326f :: Int -> Int -> Int -> [Int] -> String
abc326f n x y as =
  case (xans, yans) of
    (xans1:_, yans1:_) -> "Yes\n" ++ goEW True yans1 xans1 as
    _ -> "No"
  where
-- x方向とy方向の成分に分離
    dxs = [ai | (ai,True) <- zip as $ cycle [False,True]]
    dys = [ai | (ai,True) <- zip as $ cycle [True,False]]
    n4 = max 10 $ div n 4
-- 前半と後半に分割
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

import qualified Data.IntMap as IM
import Data.List

main :: IO ()
main = do
  [n,x,y] <- map read . words <$> getLine
  as <- map read . words <$> getLine
  let ans = abc326f n x y as
  putStrLn ans

abc326f :: Int -> Int -> Int -> [Int] -> String
abc326f n x y as =
  case (xans, yans) of
    (xans1:_, yans1:_) -> "Yes\n" ++ goEW True yans1 xans1 as
    _ -> "No"
  where
-- x方向とy方向の成分に分離
    dxs = [ai | (ai,True) <- zip as $ cycle [False,True]]
    dys = [ai | (ai,True) <- zip as $ cycle [True,False]]
    n4 = max 10 $ div n 4
-- 前半と後半に分割
    (dxs1,dxs2) = splitAt n4 dxs
    (dys1,dys2) = splitAt n4 dys
-- ±で使ったときの到達地点マップ（base込み）
    [xm1,xm2,ym1,ym2] = map mkSeq [dxs1,dxs2,dys1,dys2]
-- 目標に到達する±の使い方
    xans = findAns (x + sum dxs) xm1 xm2
    yans = findAns (y + sum dys) ym1 ym2

mkSeq :: [Int] -> IM.IntMap [Int]
mkSeq = foldl' step (IM.singleton 0 [])
  where
    step im ai = IM.union imp im
      where
        imp = IM.map (ai :) $ IM.mapKeysMonotonic ((ai + ai) +) im

findAns :: Int -> IM.IntMap [Int] -> IM.IntMap [Int] -> [[Int]]
findAns x xm1 xm2 = [reverse s1 ++ reverse s2 ++ [10^10] | (x1,s1) <- IM.assocs xm1, Just s2 <- [IM.lookup (x - x1) xm2]]

goEW, goNS :: Bool -> [Int] -> [Int] -> [Int] -> String
goEW ew yys@(y:ys) xs (a:as)
  | y == a = (if ew then 'L' else 'R') : goNS True  xs ys  as
  | True   = (if ew then 'R' else 'L') : goNS False xs yys as
goEW _ _ _ [] = []
goNS ns xxs@(x:xs) ys (a:as)
  | x == a = (if ns then 'R' else 'L') : goEW True  ys xs  as
  | True   = (if ns then 'L' else 'R') : goEW False ys xxs as
goNS _ _ _ [] = []

Submission Info

Compile Error

app/Main.hs:25:5: warning: [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a pattern binding:
        Patterns of type ‘[IM.IntMap [Int]]’ not matched:
            []
            [_]
            [_, _]
            [_, _, _]
            ...
   |
25 |     [xm1,xm2,ym1,ym2] = map mkSeq [dxs1,dxs2,dys1,dys2]
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:38:53: warning: [-Wtype-defaults]
    • Defaulting the type variable ‘b0’ to type ‘Integer’ in the following constraints
        (Integral b0) arising from a use of ‘^’ at app/Main.hs:38:53
        (Num b0) arising from the literal ‘10’ at app/Main.hs:38:54-55
    • In the expression: 10 ^ 10
      In the second argument of ‘(++)’, namely ‘[10 ^ 10]’
      In the second argument of ‘(++)’, namely ‘reverse s2 ++ [10 ^ 10]’
   |
38 | findAns x xm1 xm2 = [reverse s1 ++ reverse s2 ++ [10^10] | (x1,s1) <- IM.assocs xm1, Just s2 <- [IM.lookup (x - x1) xm2]]
   |                                                     ^

app/Main.hs:41:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘goEW’:
        Patterns of type ‘Bool’, ‘[Int]’, ‘[Int]’, ‘[Int]’ not matched:
            _ [] _ (_:_)
   |
41 | goEW ew yys@(y:ys) xs (a:as)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

app/Main.hs:45:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for ‘goNS’:
        Patterns of type ‘Bool’, ‘[Int]’, ‘[Int]’, ‘[Int]’ not matched:
            _ [] _ (_:_)
   |
45 | goNS ns xxs@(x:xs) ys (a:as)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

Judge Result