結果

問題 No.1380 Borderline
ユーザー zer0-starzer0-star
提出日時 2021-02-07 20:54:30
言語 Haskell
(9.8.2)
結果
AC  
実行時間 4 ms / 2,000 ms
コード長 3,092 bytes
コンパイル時間 5,839 ms
コンパイル使用メモリ 185,816 KB
実行使用メモリ 7,148 KB
最終ジャッジ日時 2023-09-19 04:31:15
合計ジャッジ時間 7,799 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
7,040 KB
testcase_01 AC 2 ms
6,972 KB
testcase_02 AC 3 ms
6,964 KB
testcase_03 AC 3 ms
6,956 KB
testcase_04 AC 3 ms
7,012 KB
testcase_05 AC 3 ms
7,148 KB
testcase_06 AC 3 ms
6,948 KB
testcase_07 AC 3 ms
7,020 KB
testcase_08 AC 3 ms
7,036 KB
testcase_09 AC 3 ms
6,992 KB
testcase_10 AC 3 ms
6,960 KB
testcase_11 AC 2 ms
7,144 KB
testcase_12 AC 3 ms
7,056 KB
testcase_13 AC 3 ms
7,008 KB
testcase_14 AC 3 ms
7,088 KB
testcase_15 AC 3 ms
6,992 KB
testcase_16 AC 3 ms
7,048 KB
testcase_17 AC 3 ms
7,052 KB
testcase_18 AC 3 ms
7,016 KB
testcase_19 AC 3 ms
6,992 KB
testcase_20 AC 3 ms
7,052 KB
testcase_21 AC 3 ms
7,072 KB
testcase_22 AC 3 ms
7,004 KB
testcase_23 AC 3 ms
7,056 KB
testcase_24 AC 4 ms
7,036 KB
testcase_25 AC 4 ms
6,984 KB
testcase_26 AC 3 ms
7,016 KB
testcase_27 AC 4 ms
6,984 KB
testcase_28 AC 3 ms
6,972 KB
testcase_29 AC 3 ms
7,128 KB
testcase_30 AC 3 ms
7,068 KB
testcase_31 AC 4 ms
6,992 KB
testcase_32 AC 3 ms
6,980 KB
testcase_33 AC 4 ms
7,076 KB
testcase_34 AC 4 ms
6,984 KB
testcase_35 AC 4 ms
7,012 KB
testcase_36 AC 3 ms
7,056 KB
testcase_37 AC 3 ms
7,016 KB
testcase_38 AC 3 ms
6,988 KB
testcase_39 AC 3 ms
7,000 KB
testcase_40 AC 4 ms
7,016 KB
testcase_41 AC 3 ms
7,052 KB
testcase_42 AC 3 ms
6,984 KB
testcase_43 AC 3 ms
7,004 KB
testcase_44 AC 3 ms
7,040 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

{-# LANGUAGE 
    BangPatterns
  , BlockArguments
  , DataKinds
  , DeriveGeneric
  , DerivingStrategies
  , DerivingVia
  , FlexibleContexts
  , FlexibleInstances
  , FunctionalDependencies
  , GADTs
  , GeneralizedNewtypeDeriving
  , KindSignatures
  , LambdaCase
  , MultiParamTypeClasses
  , MultiWayIf
  , NPlusKPatterns
  , NamedFieldPuns
  , NegativeLiterals
  , OverloadedLabels
  , OverloadedStrings
  , ParallelListComp
  , PolyKinds
  , RankNTypes
  , RecordWildCards
  , ScopedTypeVariables
  , StrictData
  , TupleSections
  , TypeApplications
  , TypeFamilies
  , TypeOperators
  , UndecidableInstances
  , ViewPatterns
  #-}

module Main where

import           Control.Applicative
import           Control.Arrow
import           Control.Monad
import           Control.Monad.ST
import qualified Data.ByteString.Char8         as BS
import           Data.Char
import           Data.Foldable
import           Data.Functor
import           Data.Int
import           Data.List
import           Data.Maybe
import           Data.Monoid
import           Data.Ord
import           Data.Semigroup                 ( Max(..)
                                                , Min(..)
                                                , All(..)
                                                , Arg(..)
                                                )
import           Data.Ratio
-- import           Data.Vector.Unboxing.Mutable   ( Unboxable )
-- import qualified Data.Vector.Unboxing.Mutable  as V
import           System.IO
import           Data.Proxy
import           GHC.TypeLits
import           GHC.Generics                   ( Generic )
import           Data.Function
-- import           Data.List.HT                   ( mapAdjacent
--                                                 , isAscending
--                                                 )
-- import           Control.Monad.Primitive        ( PrimMonad(PrimState) )
import qualified Data.Set                      as S
-- import qualified Data.Vector.Algorithms.Radix  as VA
-- import           Text.Parsec.ByteString

import           GHC.OverloadedLabels
-- import           Control.Monad.Extra

-- #if defined(LOCAL_ZER0STAR)
-- {-# ANN module ("Hlint: ignore Unused LANGUAGE pragma" :: String) #-}
-- {-# ANN module ("Hlint: ignore Reduce duplication" :: String) #-}
-- #endif


twice :: (a -> a -> b) -> a -> b
twice f x = f x x

both :: Arrow a => a b c -> a (b, b) (c, c)
both = twice (***)

both2 f (a1, b1) (a2, b2) = (f a1 a2, f b1 b2)

readsLn :: Read a => IO [a]
readsLn = mapM readIO . words =<< getLine

getInt :: IO Int
getInt = fst . fromJust . BS.readInt <$> BS.getLine

getInts :: IO [Int]
getInts = map (fst . fromJust . BS.readInt) . BS.words <$> BS.getLine

getInteger :: IO Integer
getInteger = fst . fromJust . BS.readInteger <$> BS.getLine

getIntegers :: IO [Integer]
getIntegers = map (fst . fromJust . BS.readInteger) . BS.words <$> BS.getLine


main = do
  [n, k] <- getInts
  p      <- getInts
  print
    . maximum
    . filter (<= k)
    . map (length . flip filter p . (<=))
    $ [0 .. 401]
0