結果
| 問題 |
No.2053 12345...
|
| コンテスト | |
| ユーザー |
norioc
|
| 提出日時 | 2024-08-12 15:57:31 |
| 言語 | Elixir (1.18.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 844 bytes |
| コンパイル時間 | 1,037 ms |
| コンパイル使用メモリ | 63,192 KB |
| 実行使用メモリ | 342,608 KB |
| 最終ジャッジ日時 | 2024-08-12 15:58:17 |
| 合計ジャッジ時間 | 45,825 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | WA * 2 |
| other | WA * 27 TLE * 4 |
ソースコード
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)
IO.inspect {:a, length(a)}
System.halt()
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
norioc