結果
問題 |
No.723 2つの数の和
|
ユーザー |
![]() |
提出日時 | 2019-02-27 16:26:52 |
言語 | F# (F# 4.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,754 bytes |
コンパイル時間 | 13,951 ms |
コンパイル使用メモリ | 187,904 KB |
実行使用メモリ | 67,948 KB |
最終ジャッジ日時 | 2024-06-23 05:15:44 |
合計ジャッジ時間 | 19,254 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 20 WA * 2 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (291 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
open System open System.Text type IO() = let size = 1 <<< 12 let stream = Console.OpenStandardInput() let buffer = Array.zeroCreate size let ``!`` = byte '!' let ``~`` = byte '~' let mutable bufferPtr = 0 let hasNextByte = let mutable bufferLen = 0 fun () -> if bufferPtr < bufferLen then true else bufferPtr <- 0 bufferLen <- stream.Read(buffer, 0, size) bufferLen > 0 let readByte() = if hasNextByte() then let r = buffer.[bufferPtr] bufferPtr <- bufferPtr + 1 r else failwith "error" let isAscii c = ``!`` <= c && c <= ``~`` let nextCharByte() = let rec f() = let b = readByte() if isAscii b then b else f() f() let next() = let rec f (sb: StringBuilder) = let c = match sb.Length with | 0 -> nextCharByte() | _ -> readByte() if isAscii c then c |> char |> sb.Append |> f else sb f <| new StringBuilder() |> fun x -> x.ToString() member __.string() = next() member __.char() = nextCharByte() |> char member __.int() = next() |> int member __.int64() = next() |> int64 member __.float() = next() |> float let solve a x = let count = a |> Array.countBy id let countKey = count |> Array.map fst let countMap = count |> Map.ofArray let pairNum key1 = let val1 = countMap.[key1] let key2 = x - key1 Map.tryFind key2 countMap |> function | Some val2 -> val1 * val2 | None -> 0 countKey |> Array.map pairNum |> Array.sum let io = new IO() let N, X = let a = io.int() let b = io.int() a, b let a = let t = Array.zeroCreate N for i in 0 .. (N - 1) do t.[i] <- io.int() t solve a X |> Console.WriteLine