結果
問題 | No.411 昇順昇順ソート |
ユーザー |
![]() |
提出日時 | 2016-08-12 23:29:04 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 466 bytes |
コンパイル時間 | 5,562 ms |
コンパイル使用メモリ | 180,424 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-11-07 15:52:53 |
合計ジャッジ時間 | 6,356 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 30 |
コンパイルメッセージ
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 Control.Monad import qualified Data.ByteString.Char8 as B import Data.Maybe (fromJust) import Text.Printf import Debug.Trace readInts :: B.ByteString -> [Int] readInts = map (fst . fromJust . B.readInt) . B.words getInts :: IO [Int] getInts = liftM readInts B.getLine solve :: Int -> Int -> Int solve n k = if k > 1 then 2^(n - k) else (2^(n - 1) - n) main = do [n,k] <- getInts print $ solve n k