Submission #74853430


Source Code Expand

import Control.Monad
import Control.Monad.ST
import Control.Monad.Primitive
import Data.Maybe
import qualified Data.ByteString.Char8 as BS
import Data.List
import Data.Char
import Data.Ord
import Data.Ix
import Data.Bool
import Data.Vector.Unboxed.Base
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as VM
import Data.Array.Unboxed
import Data.Array.ST
import Data.Sequence (Seq)
import qualified Data.Sequence as Seq
import qualified Data.Set as Set
import Data.Tree
import qualified Data.Map as M
import Data.IntMap.Strict (IntMap)
import qualified Data.IntMap as IM
import qualified Data.Heap as H
import qualified AtCoder.Extra.Math as Math
import qualified AtCoder.Extra.Pdsu as Pdsu
import qualified AtCoder.Extra.Vector as VE
import Data.Semigroup (Sum (..))

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine
strToInt strN = read strN :: Int

putStrList xs = putStrLn . unwords $ map show xs

main = do
    n <- getInt
    ls <- getIntList
    let xs = map (*2) ls
        ds = map (\x -> [x, negate x]) xs
        ps = sequence ds
        ans = maximum $ map f ps
    print ans

f ls = fst $ foldl' g (0, 1) ls
    where g (k, x) l | x > 0 && x + l < 0 = (k+1, x+l)
                     | x < 0 && x + l > 0 = (k+1, x+l)
                     | otherwise = (k, x+l)

Submission Info

Submission Time
Task C - Sneaking Glances
User pel
Language Haskell (GHC 9.8.4)
Score 300
Code Size 1539 Byte
Status AC
Exec Time 391 ms
Memory 100600 KiB

Compile Error

Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

app/Main.hs:1:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad’ is redundant
      except perhaps to import instances from ‘Control.Monad’
    To import instances alone, use: import Control.Monad()
  |
1 | import Control.Monad
  | ^^^^^^^^^^^^^^^^^^^^

app/Main.hs:2:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.ST’ is redundant
      except perhaps to import instances from ‘Control.Monad.ST’
    To import instances alone, use: import Control.Monad.ST()
  |
2 | import Control.Monad.ST
  | ^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:3:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.Primitive’ is redundant
      except perhaps to import instances from ‘Control.Monad.Primitive’
    To import instances alone, use: import Control.Monad.Primitive()
  |
3 | import Control.Monad.Primitive
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:7:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Char’ is redundant
      except perhaps to import instances from ‘Data.Char’
    To import instances alone, use: import Data.Char()
  |
7 | import Data.Char
  | ^^^^^^^^^^^^^^^^

app/Main.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ord’ is redundant
      except perhaps to import instances from ‘Data.Ord’
    To import instances alone, use: import Data.Ord()
  |
8 | import Data.Ord
  | ^^^^^^^^^^^^^^^

app/Main.hs:9:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ix’ is redundant
      except perhaps to import instances from ‘Data.Ix’
    To import instances alone, use: import Data.Ix()
  |
9 | import Data.Ix
  | ^^^^^^^^^^^^^^

app/Main.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Bool’ is redundant
      except perhaps to import instances from ‘Data.Bool’
    To import instances alone, use: import Data.Bool()
   |
10 | import Data.Bool
   | ^^^^^^^^^^^^^^^^

app/Main.hs:11:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Vector.Unboxed.Base’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Base’
    To import instances alone, use: import Data.Vector.Unboxed.Base()
   |
11 | import Data.Vector.Unboxed.Base
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:12:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed’
    To import instances alone, use: import Data.Vector.Unboxed()
   |
12 | import qualified Data.Vector.Unboxed as VU
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:13:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Mutable’
    To import instances alone, use: import Data.Vector.Unboxed.Mutable()
   |
13 | import qualified Data.Vector.Unboxed.Mutable as VUM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:14:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector’ is redundant
      except perhaps to import instances from ‘Data.Vector’
    To import instances alone, use: import Data.Vector()
   |
14 | import qualified Data.Vector as V
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:15:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Mutable’
    To import instances alone, use: import Data.Vector.Mutable()
   |
15 | import qualified Data.Vector.Mutable as VM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Array.Unboxed’
    To import instances alone, use: import Data.Array.Unboxed()
   |
16 | import Data.Array.Unboxed
   | ^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:17:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.ST’ is redundant
      except perhaps to import instances from ‘Data.Array.ST’
    To import instances alone, use: import Data.Array.ST()
   |
17 | import Data.Array.ST
   | ^^^^^^^^^^^^^^^^^^^^

app/Main.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
18 | import Data.Sequence (Seq)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:19:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
19 | import qualified Data.Sequence as Seq
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:20:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Set’ is redundant
      except perhaps to import instances from ‘Data.Set’
    To import instances alone, use: import Data.Set()
   |
20 | import qualified Data.Set as Set
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:21:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Tree’ is redundant
      except perhaps to import instances from ‘Data.Tree’
    To import instances alone, use: import Data.Tree()
   |
21 | import Data.Tree
   | ^^^^^^^^^^^^^^^^

app/Main.hs:22:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Map’ is redundant
      except perhaps to import instances from ‘Data.Map’
    To import instances alone, use: import Data.Map()
   |
22 | import qualified Data.Map as M
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:23:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.IntMap.Strict’ is redundant
      except perhaps to import instances from ‘Data.IntMap.Strict’
    To import instances alone, use: import Data.IntMap.Strict()
   |
23 | import Data.IntMap.Strict (IntMap)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:24:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.IntMap’ is redundant
      except perhaps to import instances from ‘Data.IntMap’
    To import instances alone, use: import Data.IntMap()
   |
24 | import qualified Data.IntMap as IM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Heap’ is redundant
      except perhaps to import instances from ‘Data.Heap’
    To import instances alone, use: import Data.Heap()
   |
25 | import qualified Data.Heap as H
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Math’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Math’
    To import instances alone, use: import AtCoder.Extra.Math()
   |
26 | import qualified AtCoder.Extra.Math as Math
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Pdsu’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Pdsu’
    To import instances alone, use: import AtCoder.Extra.Pdsu()
   |
27 | import qualified AtCoder.Extra.Pdsu as Pdsu
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:28:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Vector’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Vector’
    To import instances alone, use: import AtCoder.Extra.Vector()
   |
28 | import qualified AtCoder.Extra.Vector as VE
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:29:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Semigroup’ is redundant
      except perhaps to import instances from ‘Data.Semigroup’
    To import instances alone, use: import Data.Semigroup()
   |
29 | import Data.Semigroup (Sum (..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:31:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readInt :: BS.ByteString -> Int
   |
31 | readInt = fst . fromJust . BS.readInt
   | ^^^^^^^

app/Main.hs:32:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readIntList :: BS.ByteString -> [Int]
   |
32 | readIntList = map readInt . BS.words
   | ^^^^^^^^^^^

app/Main.hs:33:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getInt :: IO Int
   |
33 | getInt = readInt <$> BS.getLine
   | ^^^^^^

app/Main.hs:34:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getIntList :: IO [Int]
   |
34 | getIntList = readIntList <$> BS.getLine
   | ^^^^^^^^^^

app/Main.hs:35:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: strToInt :: String -> Int
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:35:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘strToInt’
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:37:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      putStrList :: Show a => [a] -> IO ()
   |
37 | putStrList xs = putStrLn . unwords $ map show xs
   | ^^^^^^^^^^

app/Main.hs:37:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘putStrList’
   |
37 | putStrList xs = putStrLn . unwords $ map show xs
   | ^^^^^^^^^^

app/Main.hs:39:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO ()
   |
39 | main = do
   | ^^^^

app/Main.hs:40:5: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: ‘n’
   |
40 |     n <- getInt
   |     ^

app/Main.hs:46:5: warning: [GHC-18042] [-Wtype-defaults]
    • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
        (Show a0) arising from a use of ‘print’ at app/Main.hs:46:5-9
        (Ord a0) arising from a use of ‘maximum’ at app/Main.hs:45:15-21
        (Num a0) arising from a use of ‘f’ at app/Main.hs:45:29
    • In a stmt of a 'do' block: print ans
      In the expression:
        do n <- getInt
           ls <- getIntList
           let xs = map (...) ls
               ds = map (\ x -> ...) xs
               ....
           print ans
      In an equation for ‘main’:
          main
            = do n <- getInt
                 ls <- getIntList
                 let xs = ...
                     ....
                 ....
   |
46 |     print ans
   |     ^^^^^

app/Main.hs:48:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      f :: (Foldable t, Ord a1, Num a1, Num a2) => t a1 -> a2
   |
48 | f ls = fst $ foldl' g (0, 1) ls
   | ^
Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 300 / 300
Status
AC × 3
AC × 34
Set Name Test Cases
Sample sample_01.txt, sample_02.txt, sample_03.txt
All sample_01.txt, sample_02.txt, sample_03.txt, test_01.txt, test_02.txt, test_03.txt, test_04.txt, test_05.txt, test_06.txt, test_07.txt, test_08.txt, test_09.txt, test_10.txt, test_11.txt, test_12.txt, test_13.txt, test_14.txt, test_15.txt, test_16.txt, test_17.txt, test_18.txt, test_19.txt, test_20.txt, test_21.txt, test_22.txt, test_23.txt, test_24.txt, test_25.txt, test_26.txt, test_27.txt, test_28.txt, test_29.txt, test_30.txt, test_31.txt
Case Name Status Exec Time Memory
sample_01.txt AC 16 ms 8184 KiB
sample_02.txt AC 3 ms 8532 KiB
sample_03.txt AC 343 ms 99228 KiB
test_01.txt AC 3 ms 8540 KiB
test_02.txt AC 3 ms 8236 KiB
test_03.txt AC 3 ms 8340 KiB
test_04.txt AC 3 ms 9380 KiB
test_05.txt AC 355 ms 99192 KiB
test_06.txt AC 176 ms 57556 KiB
test_07.txt AC 391 ms 100564 KiB
test_08.txt AC 3 ms 8340 KiB
test_09.txt AC 353 ms 100244 KiB
test_10.txt AC 3 ms 8348 KiB
test_11.txt AC 369 ms 100600 KiB
test_12.txt AC 367 ms 100472 KiB
test_13.txt AC 3 ms 8336 KiB
test_14.txt AC 3 ms 8476 KiB
test_15.txt AC 378 ms 99252 KiB
test_16.txt AC 151 ms 55192 KiB
test_17.txt AC 342 ms 100472 KiB
test_18.txt AC 336 ms 99240 KiB
test_19.txt AC 3 ms 9424 KiB
test_20.txt AC 3 ms 8400 KiB
test_21.txt AC 3 ms 8860 KiB
test_22.txt AC 3 ms 8852 KiB
test_23.txt AC 3 ms 8852 KiB
test_24.txt AC 3 ms 9024 KiB
test_25.txt AC 3 ms 8872 KiB
test_26.txt AC 3 ms 9024 KiB
test_27.txt AC 336 ms 99448 KiB
test_28.txt AC 333 ms 99168 KiB
test_29.txt AC 291 ms 98204 KiB
test_30.txt AC 304 ms 98504 KiB
test_31.txt AC 299 ms 98340 KiB