結果
問題 | No.2053 12345... |
ユーザー | norioc |
提出日時 | 2024-08-12 15:46:51 |
言語 | Elixir (1.16.2) |
結果 |
TLE
|
実行時間 | - |
コード長 | 692 bytes |
コンパイル時間 | 1,120 ms |
コンパイル使用メモリ | 63,280 KB |
実行使用メモリ | 282,624 KB |
最終ジャッジ日時 | 2024-08-12 15:47:36 |
合計ジャッジ時間 | 43,327 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 593 ms
54,376 KB |
testcase_01 | AC | 565 ms
55,568 KB |
testcase_02 | AC | 615 ms
56,408 KB |
testcase_03 | AC | 1,075 ms
105,228 KB |
testcase_04 | AC | 1,622 ms
221,336 KB |
testcase_05 | AC | 785 ms
86,280 KB |
testcase_06 | AC | 1,562 ms
177,780 KB |
testcase_07 | AC | 1,263 ms
140,448 KB |
testcase_08 | AC | 1,224 ms
142,508 KB |
testcase_09 | AC | 1,611 ms
203,024 KB |
testcase_10 | AC | 1,762 ms
252,840 KB |
testcase_11 | AC | 792 ms
79,572 KB |
testcase_12 | AC | 728 ms
66,624 KB |
testcase_13 | AC | 1,889 ms
247,464 KB |
testcase_14 | AC | 1,086 ms
121,176 KB |
testcase_15 | AC | 1,121 ms
107,648 KB |
testcase_16 | AC | 1,021 ms
107,612 KB |
testcase_17 | AC | 859 ms
83,176 KB |
testcase_18 | TLE | - |
testcase_19 | AC | 1,747 ms
204,532 KB |
testcase_20 | AC | 706 ms
65,316 KB |
testcase_21 | AC | 1,521 ms
142,688 KB |
testcase_22 | AC | 590 ms
54,580 KB |
testcase_23 | AC | 744 ms
70,736 KB |
testcase_24 | AC | 1,096 ms
109,216 KB |
testcase_25 | AC | 1,911 ms
252,148 KB |
testcase_26 | AC | 1,352 ms
156,700 KB |
testcase_27 | AC | 1,077 ms
108,040 KB |
testcase_28 | AC | 795 ms
96,296 KB |
testcase_29 | AC | 1,590 ms
189,352 KB |
testcase_30 | AC | 899 ms
98,528 KB |
testcase_31 | AC | 1,670 ms
170,776 KB |
testcase_32 | AC | 1,879 ms
269,592 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 k = length(g) div(k * (k-1), 2) 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