結果

問題 No.2053 12345...
ユーザー noriocnorioc
提出日時 2024-08-12 15:45:34
言語 Elixir
(1.16.2)
結果
TLE  
実行時間 -
コード長 692 bytes
コンパイル時間 1,080 ms
コンパイル使用メモリ 63,300 KB
実行使用メモリ 535,948 KB
最終ジャッジ日時 2024-08-12 15:46:24
合計ジャッジ時間 42,812 ms
ジャッジサーバーID
(参考情報)
judge2 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 558 ms
54,796 KB
testcase_01 AC 601 ms
54,316 KB
testcase_02 AC 605 ms
56,052 KB
testcase_03 AC 944 ms
103,304 KB
testcase_04 AC 1,556 ms
198,096 KB
testcase_05 AC 784 ms
85,196 KB
testcase_06 AC 1,384 ms
188,528 KB
testcase_07 AC 1,206 ms
140,752 KB
testcase_08 AC 1,239 ms
139,572 KB
testcase_09 AC 1,778 ms
212,240 KB
testcase_10 TLE -
testcase_11 AC 761 ms
80,044 KB
testcase_12 AC 743 ms
67,172 KB
testcase_13 AC 1,977 ms
238,272 KB
testcase_14 AC 1,204 ms
119,640 KB
testcase_15 AC 936 ms
110,464 KB
testcase_16 AC 983 ms
105,632 KB
testcase_17 AC 843 ms
81,064 KB
testcase_18 TLE -
testcase_19 AC 1,729 ms
210,500 KB
testcase_20 AC 749 ms
64,872 KB
testcase_21 AC 1,618 ms
143,576 KB
testcase_22 AC 591 ms
55,556 KB
testcase_23 AC 728 ms
73,228 KB
testcase_24 AC 1,109 ms
107,236 KB
testcase_25 AC 1,790 ms
249,652 KB
testcase_26 AC 1,259 ms
146,844 KB
testcase_27 AC 965 ms
107,000 KB
testcase_28 AC 983 ms
98,364 KB
testcase_29 AC 1,641 ms
176,212 KB
testcase_30 AC 1,015 ms
93,888 KB
testcase_31 AC 1,513 ms
172,684 KB
testcase_32 MLE -
権限があれば一括ダウンロードができます

ソースコード

diff #

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
0