結果

問題 No.723 2つの数の和
コンテスト
ユーザー horiesiniti
提出日時 2018-12-09 16:18:32
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 273 ms / 2,000 ms
コード長 548 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,067 ms
コンパイル使用メモリ 194,944 KB
実行使用メモリ 46,592 KB
最終ジャッジ日時 2026-04-05 14:03:14
合計ジャッジ時間 5,104 ms
ジャッジサーバーID
（参考情報） 		judge2_1 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
Main.hs:18:25: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.Internal.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
   |
18 |            zs1=zip (map head xs) (map length xs)
   |                         ^^^^

Main.hs:19:25: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.Internal.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
   |
19 |            zs2=zip (map head ys) (map length ys)
   |                         ^^^^

[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

import Data.List

f::[(Int,Int)]->[(Int,Int)]->Int->Int->Int
f [] _ _ ans=ans
f _ [] _ ans=ans
f xs2@((x,c1):xs) ys2@((y,c2):ys) n ans
      |x+y<n=f xs ys2 n ans
      |x+y>n=f xs2 ys n ans
      |otherwise=f xs ys n (ans+c1*c2)

main = do
       e<-getLine
       e2<-getLine
       let ts=map read (words e2)::[Int]
           xs=group $ sort $ ts
           ys=reverse xs
           (n:x:[])=map read (words e)::[Int]
           zs1=zip (map head xs) (map length xs)
           zs2=zip (map head ys) (map length ys)
       print $ f zs1 zs2 x 0
0