結果
| 問題 |
No.2053 12345...
|
| コンテスト | |
| ユーザー |
norioc
|
| 提出日時 | 2024-08-12 16:06:39 |
| 言語 | Elixir (1.18.1) |
| 結果 |
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 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 28 TLE * 3 |
ソースコード
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
norioc