結果
| 問題 | 
                            No.216 FAC
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2020-04-18 21:54:17 | 
| 言語 | Elixir  (1.18.1)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 564 ms / 1,000 ms | 
| コード長 | 1,017 bytes | 
| コンパイル時間 | 965 ms | 
| コンパイル使用メモリ | 63,112 KB | 
| 実行使用メモリ | 56,496 KB | 
| 最終ジャッジ日時 | 2024-12-31 04:22:19 | 
| 合計ジャッジ時間 | 17,620 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 24 | 
ソースコード
defmodule Main do
  def main do
    1..3
    |> Enum.map(fn _ -> IO.read(:line) |> String.trim() end)
    |> (fn [n, c, s] ->
          [
            n |> String.to_integer(),
            c |> String.split() |> Enum.map(&String.to_integer/1),
            s |> String.split() |> Enum.map(&String.to_integer/1)
          ]
        end).()
    |> solve
    |> IO.puts()
  end
  def solve([n, c, s]) do
    solve_rec(0..(n - 1) |> Enum.to_list(), c, s, List.duplicate(0, 100), 0)
  end
  def solve_rec([], _, _, v, k) do
    cond do
      k < v |> Enum.max() -> "NO"
      true -> "YES"
    end
  end
  def solve_rec(n, c, s, v, k) do
    cond do
      s |> Enum.at(n |> hd) == 0 ->
        solve_rec(n |> tl, c, s, v, k + (c |> Enum.at(n |> hd)))
      true ->
        solve_rec(
          n |> tl,
          c,
          s,
          v
          |> List.update_at(
            (s
             |> Enum.at(n |> hd)) - 1,
            &(&1 + (c |> Enum.at(n |> hd)))
          ),
          k
        )
    end
  end
end