結果

問題 No.2053 12345...
ユーザー noriocnorioc
提出日時 2024-08-12 16:06:39
言語 Elixir
(1.16.2)
結果
TLE  
実行時間 -
コード長 1,200 bytes
コンパイル時間 1,044 ms
コンパイル使用メモリ 63,224 KB
実行使用メモリ 312,504 KB
最終ジャッジ日時 2024-08-12 16:07:25
合計ジャッジ時間 45,242 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 556 ms
54,976 KB
testcase_01 AC 545 ms
54,328 KB
testcase_02 AC 612 ms
58,604 KB
testcase_03 AC 996 ms
107,996 KB
testcase_04 AC 1,784 ms
240,024 KB
testcase_05 AC 820 ms
99,592 KB
testcase_06 AC 1,677 ms
209,976 KB
testcase_07 AC 1,367 ms
154,928 KB
testcase_08 AC 1,358 ms
157,328 KB
testcase_09 AC 1,780 ms
226,324 KB
testcase_10 AC 1,928 ms
279,176 KB
testcase_11 AC 772 ms
88,432 KB
testcase_12 AC 753 ms
79,072 KB
testcase_13 TLE -
testcase_14 AC 1,109 ms
131,384 KB
testcase_15 AC 1,127 ms
118,216 KB
testcase_16 AC 1,064 ms
115,116 KB
testcase_17 AC 892 ms
102,220 KB
testcase_18 TLE -
testcase_19 AC 1,702 ms
242,196 KB
testcase_20 AC 731 ms
77,272 KB
testcase_21 AC 1,497 ms
163,644 KB
testcase_22 AC 548 ms
55,540 KB
testcase_23 AC 755 ms
77,960 KB
testcase_24 AC 1,052 ms
122,584 KB
testcase_25 AC 1,870 ms
281,612 KB
testcase_26 AC 1,366 ms
167,472 KB
testcase_27 AC 1,025 ms
111,676 KB
testcase_28 AC 1,018 ms
98,020 KB
testcase_29 AC 1,453 ms
211,496 KB
testcase_30 AC 938 ms
112,768 KB
testcase_31 AC 1,558 ms
197,444 KB
testcase_32 TLE -
権限があれば一括ダウンロードができます

ソースコード

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()
    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)
    for g <- gg, reduce: 0 do
      acc ->
        div(g * (g-1), 2) + acc
    end
    |> 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

  def gp2([], _pred), do: []
  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)
    [n+1 | gp2(b, pred)]
  end
end
0