結果

問題 No.1072 A Nice XOR Pair
ユーザー ikd
提出日時 2020-06-06 12:02:32
言語 F#
(F# 4.0)
結果
AC  
実行時間 1,370 ms / 2,000 ms
コード長 645 bytes
コンパイル時間 19,260 ms
コンパイル使用メモリ 206,668 KB
実行使用メモリ 79,500 KB
最終ジャッジ日時 2024-12-23 12:01:05
合計ジャッジ時間 23,248 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 11
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (891 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(12,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

// Learn more about F# at http://fsharp.org

open System

let get (map: Map<int, int64>) (key: int) =
    match map.TryFind key with
    | Some f -> f
    | None -> 0L

[<EntryPoint>]
let main argv =
    let [| n; x |] = stdin.ReadLine().Split() |> Array.map int

    let a =
        [ for i in 1 .. n -> stdin.ReadLine() |> int ]

    let res =
        a
        |> List.fold (fun (freq: Map<int, int64>, ans) y ->
            let z = x ^^^ y
            let zf = get freq z
            let yf = get freq y
            freq.Add(y, yf + 1L), ans + zf) (Map.empty, 0L)

    res
    |> snd
    |> printfn "%d"
    0 // return an integer exit code
0