結果
問題 |
No.110 しましまピラミッド
|
ユーザー |
|
提出日時 | 2018-06-05 13:30:37 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 2 ms / 5,000 ms |
コード長 | 526 bytes |
コンパイル時間 | 1,911 ms |
コンパイル使用メモリ | 170,496 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-31 11:41:08 |
合計ジャッジ時間 | 2,629 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 26 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import Control.Applicative ((<$>), (<*>)) import Data.List (sort) main :: IO () main = solve <$> f <*> f >>= print where f = getLine >> map read <$> words <$> getLine solve :: [Int] -> [Int] -> Int solve ws bs = let ws' = sort ws bs' = sort bs in max (f 0 0 ws' bs') (f 0 0 bs' ws') where f ht wt xs ys = let xs' = dropWhile (<= wt) xs in case xs' of (n:ns) -> f (ht+1) n ys ns [] -> ht