結果
問題 | No.2053 12345... |
ユーザー | norioc |
提出日時 | 2024-08-12 15:43:11 |
言語 | Elixir (1.16.2) |
結果 |
TLE
|
実行時間 | - |
コード長 | 692 bytes |
コンパイル時間 | 1,841 ms |
コンパイル使用メモリ | 62,724 KB |
実行使用メモリ | 287,912 KB |
最終ジャッジ日時 | 2024-08-12 15:43:54 |
合計ジャッジ時間 | 43,122 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 618 ms
55,624 KB |
testcase_01 | AC | 579 ms
54,860 KB |
testcase_02 | AC | 631 ms
56,296 KB |
testcase_03 | AC | 1,012 ms
102,804 KB |
testcase_04 | AC | 1,663 ms
202,804 KB |
testcase_05 | AC | 801 ms
85,908 KB |
testcase_06 | AC | 1,530 ms
186,336 KB |
testcase_07 | AC | 1,189 ms
140,836 KB |
testcase_08 | AC | 1,234 ms
139,476 KB |
testcase_09 | AC | 1,609 ms
217,000 KB |
testcase_10 | AC | 1,718 ms
255,664 KB |
testcase_11 | AC | 815 ms
78,820 KB |
testcase_12 | AC | 730 ms
66,348 KB |
testcase_13 | AC | 1,940 ms
241,080 KB |
testcase_14 | AC | 1,195 ms
119,968 KB |
testcase_15 | AC | 991 ms
109,768 KB |
testcase_16 | AC | 1,003 ms
106,900 KB |
testcase_17 | AC | 809 ms
82,440 KB |
testcase_18 | TLE | - |
testcase_19 | AC | 1,641 ms
204,588 KB |
testcase_20 | AC | 709 ms
66,412 KB |
testcase_21 | AC | 1,412 ms
147,908 KB |
testcase_22 | AC | 551 ms
55,160 KB |
testcase_23 | AC | 746 ms
70,652 KB |
testcase_24 | AC | 949 ms
108,268 KB |
testcase_25 | AC | 1,650 ms
232,200 KB |
testcase_26 | AC | 1,303 ms
153,336 KB |
testcase_27 | AC | 944 ms
108,888 KB |
testcase_28 | AC | 864 ms
96,256 KB |
testcase_29 | AC | 1,523 ms
174,612 KB |
testcase_30 | AC | 902 ms
97,532 KB |
testcase_31 | AC | 1,473 ms
169,848 KB |
testcase_32 | AC | 1,744 ms
242,080 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