結果

問題 No.411 昇順昇順ソート
ユーザー okaduki
提出日時 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

ソースコード

diff # 

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
0