結果
問題 | No.2053 12345... |
ユーザー | norioc |
提出日時 | 2024-08-12 16:08:23 |
言語 | Elixir (1.16.2) |
結果 |
TLE
|
実行時間 | - |
コード長 | 1,164 bytes |
コンパイル時間 | 1,758 ms |
コンパイル使用メモリ | 61,992 KB |
実行使用メモリ | 315,504 KB |
最終ジャッジ日時 | 2024-08-12 16:09:09 |
合計ジャッジ時間 | 30,710 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 569 ms
54,500 KB |
testcase_01 | AC | 580 ms
54,540 KB |
testcase_02 | AC | 610 ms
59,072 KB |
testcase_03 | AC | 1,091 ms
105,472 KB |
testcase_04 | AC | 1,706 ms
225,848 KB |
testcase_05 | AC | 811 ms
100,416 KB |
testcase_06 | AC | 1,712 ms
219,136 KB |
testcase_07 | AC | 1,394 ms
156,072 KB |
testcase_08 | AC | 1,377 ms
167,300 KB |
testcase_09 | AC | 1,778 ms
232,108 KB |
testcase_10 | TLE | - |
testcase_11 | AC | 818 ms
86,364 KB |
testcase_12 | AC | 765 ms
76,024 KB |
testcase_13 | TLE | - |
testcase_14 | AC | 1,153 ms
129,616 KB |
testcase_15 | AC | 1,165 ms
112,944 KB |
testcase_16 | AC | 1,028 ms
124,216 KB |
testcase_17 | AC | 890 ms
99,424 KB |
testcase_18 | TLE | - |
testcase_19 | AC | 1,827 ms
246,208 KB |
testcase_20 | AC | 711 ms
78,184 KB |
testcase_21 | AC | 1,569 ms
160,768 KB |
testcase_22 | AC | 582 ms
55,988 KB |
testcase_23 | AC | 792 ms
85,124 KB |
testcase_24 | AC | 1,184 ms
123,496 KB |
testcase_25 | AC | 1,959 ms
287,712 KB |
testcase_26 | AC | 1,354 ms
171,052 KB |
testcase_27 | AC | 1,167 ms
112,720 KB |
testcase_28 | AC | 975 ms
119,888 KB |
testcase_29 | AC | 1,629 ms
201,896 KB |
testcase_30 | AC | 1,113 ms
115,372 KB |
testcase_31 | AC | 1,616 ms
210,436 KB |
testcase_32 | TLE | - |
ソースコード
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() IO.binread(:line) a = IO.binread(:line) |> String.trim |> String.split |> Enum.map(&String.to_integer/1) # gg = a |> group_by2(fn a, b -> a+1 == b end) # for g <- gg, reduce: 0 do # acc -> # k = length(g) # div(k * (k-1), 2) + acc # end # |> IO.puts gg = a |> gp2(fn a, b -> a+1 == b end) IO.puts gg 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 def gp2([], _pred), do: 0 def gp2(xs, pred) do n = Stream.chunk_every(xs, 2, 1, :discard) |> Stream.take_while(fn [a, b] -> pred.(a, b) end) |> Enum.count b = Enum.drop(xs, n+1) k = div((n+1) * n, 2) k + gp2(b, pred) #[n+1 | gp2(b, pred)] end end