結果

問題 No.4 おもりと天秤
ユーザー 3405691582
提出日時 2017-03-21 09:32:54
言語 Haskell
(8.0.2)
結果
AC  
実行時間 163 ms
コード長 818 Byte
コンパイル時間 1452 ms
使用メモリ 21988 KB

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
01.txt AC 4 ms
1876 KB
02.txt AC 3 ms
1884 KB
03.txt AC 4 ms
2528 KB
04.txt AC 3 ms
2112 KB
05.txt AC 3 ms
2276 KB
06.txt AC 97 ms
12796 KB
07.txt AC 4 ms
1880 KB
08.txt AC 114 ms
13792 KB
09.txt AC 4 ms
2144 KB
10.txt AC 4 ms
2600 KB
challenge01.txt AC 4 ms
1972 KB
challenge02.txt AC 3 ms
1884 KB
challenge03.txt AC 3 ms
1888 KB
challenge04.txt AC 3 ms
1900 KB
challenge05.txt AC 3 ms
1884 KB
challenge06.txt AC 4 ms
1924 KB
challenge07.txt AC 3 ms
1896 KB
challenge08.txt AC 163 ms
21988 KB
system_test1.txt AC 93 ms
13520 KB
system_test2.txt AC 88 ms
13008 KB
system_test3.txt AC 93 ms
12800 KB
system_test4.txt AC 101 ms
13792 KB
テストケース一括ダウンロード

ソースコード

diff #
import Prelude hiding (lookup)
import Data.Map hiding (map,partition)
import Data.Maybe (fromJust)
type Table = Map (Int,Int) Bool
main = do
  n <- read <$> getLine
  ws <- map read . words <$> getLine
  let
    sumOfWs = sum ws
  putStrLn $ if even sumOfWs && snd (partition empty (n,div sumOfWs 2) ws) then "possible" else "impossible"

partition :: Table -> (Int,Int) -> [Int] -> (Table,Bool)
partition table (n,m) []
  | m == 0 = (table,True)
  | otherwise = (table,False)
partition table (n,m) (w:ws)
  | m < 0 = (table,False)
  | m == 0 = (table,True)
  | otherwise = case lookup (n,m) table of
      Just b -> (table,b)
      Nothing -> (insert (n,m) result table2,result)
      where
        (table1,r1) = partition table (n-1,m) ws
        (table2,r2) = partition table1 (n-1,m-w) ws
        result = r1 || r2
0