結果
問題 | No.2053 12345... |
ユーザー | norioc |
提出日時 | 2024-08-12 15:41:18 |
言語 | Elixir (1.16.2) |
結果 |
TLE
|
実行時間 | - |
コード長 | 728 bytes |
コンパイル時間 | 1,935 ms |
コンパイル使用メモリ | 61,952 KB |
実行使用メモリ | 277,164 KB |
最終ジャッジ日時 | 2024-08-12 15:42:03 |
合計ジャッジ時間 | 45,451 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 587 ms
54,084 KB |
testcase_01 | AC | 586 ms
54,200 KB |
testcase_02 | AC | 635 ms
55,780 KB |
testcase_03 | AC | 957 ms
97,360 KB |
testcase_04 | AC | 1,616 ms
219,392 KB |
testcase_05 | AC | 808 ms
84,156 KB |
testcase_06 | AC | 1,544 ms
187,576 KB |
testcase_07 | AC | 1,296 ms
141,492 KB |
testcase_08 | AC | 1,310 ms
142,108 KB |
testcase_09 | AC | 1,527 ms
200,600 KB |
testcase_10 | AC | 1,852 ms
248,492 KB |
testcase_11 | AC | 782 ms
77,780 KB |
testcase_12 | AC | 763 ms
65,684 KB |
testcase_13 | TLE | - |
testcase_14 | AC | 1,219 ms
119,832 KB |
testcase_15 | AC | 1,042 ms
103,208 KB |
testcase_16 | AC | 954 ms
104,116 KB |
testcase_17 | AC | 884 ms
81,212 KB |
testcase_18 | TLE | - |
testcase_19 | AC | 1,694 ms
198,608 KB |
testcase_20 | AC | 715 ms
64,756 KB |
testcase_21 | AC | 1,436 ms
142,184 KB |
testcase_22 | AC | 591 ms
55,576 KB |
testcase_23 | AC | 749 ms
69,664 KB |
testcase_24 | AC | 1,050 ms
108,016 KB |
testcase_25 | AC | 1,688 ms
257,776 KB |
testcase_26 | AC | 1,246 ms
153,356 KB |
testcase_27 | AC | 989 ms
103,708 KB |
testcase_28 | AC | 885 ms
96,004 KB |
testcase_29 | AC | 1,527 ms
185,096 KB |
testcase_30 | AC | 1,054 ms
93,764 KB |
testcase_31 | AC | 1,427 ms
169,616 KB |
testcase_32 | AC | 1,831 ms
269,500 KB |
ソースコード
defmodule Main do def input, do: IO.read(:line) |> String.trim def ii, do: input() |> String.to_integer def li, do: input() |> String.split |> Enum.map(&String.to_integer/1) def yn(b), do: IO.puts(if b, do: "Yes", else: "No") def main do _n = ii() a = li() gg = a |> group_by2(fn a, b -> a+1 == b end) for g <- gg do case length(g) do 0 -> 0 n -> div(n * (n-1), 2) end end |> Enum.sum |> IO.puts end def group_by2([], _pred), do: [] def group_by2(xs, pred) do n = Stream.chunk_every(xs, 2, 1, :discard) |> Stream.take_while(fn [a, b] -> pred.(a, b) end) |> Enum.count {a, b} = Enum.split(xs, n+1) [a | group_by2(b, pred)] end end