結果

問題 No.1046 Fruits Rush
コンテスト
ユーザー nnsnico
提出日時 2020-08-10 14:46:43
言語 Haskell
(9.14.1 + ACL)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
TLE  
実行時間 -
コード長 476 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,356 ms
コンパイル使用メモリ 210,352 KB
実行使用メモリ 9,984 KB
最終ジャッジ日時 2026-09-11 15:08:52
合計ジャッジ時間 12,720 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other TLE * 1 -- * 13
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

module Main where

import qualified Data.ByteString.Char8         as BS
import           Data.Char
import           Data.String
import           Data.List
import           Data.Maybe
import           Control.Monad

main :: IO ()
main = do
  [n, k] <- map (fst . fromJust . BS.readInt) . BS.words <$> BS.getLine
  an     <- map (fst . fromJust . BS.readInt) . BS.words <$> BS.getLine
  let maxi = maximum . map sum . filter (\l -> k >= length l) $ subsequences an
  print maxi
0