結果

問題 No.967 引き算をして門松列（その２）
ユーザー noriocnorioc
提出日時 2024-08-14 13:00:22
言語 Elixir
(1.16.2)
結果
AC  
実行時間 1,216 ms / 2,000 ms
コード長 1,300 bytes
コンパイル時間 1,053 ms
コンパイル使用メモリ 62,784 KB
実行使用メモリ 59,436 KB
最終ジャッジ日時 2024-08-14 13:00:36
合計ジャッジ時間 12,140 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 566 ms
54,360 KB
testcase_01 AC 544 ms
54,416 KB
testcase_02 AC 576 ms
53,932 KB
testcase_03 AC 695 ms
54,712 KB
testcase_04 AC 707 ms
54,980 KB
testcase_05 AC 701 ms
54,776 KB
testcase_06 AC 769 ms
54,320 KB
testcase_07 AC 810 ms
55,616 KB
testcase_08 AC 929 ms
57,092 KB
testcase_09 AC 1,039 ms
59,436 KB
testcase_10 AC 1,216 ms
58,392 KB
testcase_11 AC 1,179 ms
59,012 KB
権限があれば一括ダウンロードができます

ソースコード

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
    # t = ii()
    # s = File.read!("/dev/stdin") |> String.split("\n", trim: true)
    s = IO.binread(:eof) |> String.split("\n", trim: true)
    for t <- tl(s) do
      [a, b, c, x, y, z] = t |> String.split |> Enum.map(&String.to_integer/1)
      case kadomatu(a, b, c) do
        [] -> -1
        res ->
          res
          |> Enum.map(fn {a1, b1, c1} -> x*(a-a1) + y*(b-b1) + z*(c-c1) end)
          |> Enum.min
      end
    end
    |> Enum.join("\n")
    |> IO.puts
  end

  @spec kadomatu(any(), any(), any()) :: list()
  def kadomatu(a, b, c) do
    for {a, b, c} <- [{b, a, c}, {b, c, a}, {a, c, b}, {c, a, b}] do
      f(a, b, c)
    end
    |> List.flatten
    |> Enum.uniq
    |> Enum.filter(fn {x, y, z} -> a >= x and b >= y and c >= z end)
  end

  def f(1, _, _), do: []
  def f(_, 1, _), do: []
  def f(a, b, c) do
    cond do
      a <= b ->
        x = b - a + 1
        f(a, b-x, c)
      b <= c ->
        x = c - b + 1
        f(a, b, c-x)
      true ->
        [{a, c, b}, {b, c, a}, {b, a, c}, {c, a, b}]
    end
  end
end
0