A sátrak feladvány

A kis házi feladat a nagy házi feladathoz (a sátrak feladványhoz) kapcsolódik, ezért először ezt ismertetjük pár mondatban.

A 2. kis házi feladat

A függvény paraméterei és visszatérési értéke

• A függvény első paramétere a feladványt leíró hármas, ami a Khf1.to_internal/1 függvény visszatérési értékével azonos felépítésű.
• A második paramétere a sátrak fákhoz viszonyított helyzetét leíró irányok listája. Az irány jelzésére az égtájak angol nevére utaló atomokat használunk: :n (észak), :e (kelet), :s (dél), :w (nyugat).
• A harmadik paramétere a feladvány szöveges ábrázolását tartalmazó fájl elérési útja: ezt kell létrehoznia a függvénynek (a példákban khf2_r0.txt, khf2_r1.txt és khf2_r2.txt).
• A függvény visszatérési értéke az :ok atom.

A függvény által létrehozott fájl

A fájlban sorok vannak, a nemüres sorok szavakból állnak. A sorokat legalább egy újsor-jel, a szavakat legalább egy szóköz karakter választja el egymástól. A szavak (esetleg negatív) egész számok, sátrakat jelölő N, E, S vagy W betűk, fákat jelölő csillagok (*), valamint üres parcellákat jelölő kötőjelek (-) lehetnek.

A fájl első nemüres sora a sátrak oszloponkénti számát, további sorainak első szava a sátrak soronkénti számát adja meg, az összes többi szó pedig az egyes parcellák tartalmát (fa, sátor vagy üres) írja le.

Feltételezheti, hogy a feladványt leíró hármas és a sátrak iránylistája hibátlan, azaz

• a sátrak soronkénti, ill. oszloponkénti számát megadó listában (esetleg negatív) egész számok vannak;
• a sátrak soronkénti elemszámát megadó lista hossza azonos a sorok számával;
• a sátrak oszloponkénti elemszámát megadó lista hossza azonos az oszlopok számával;
• a fák pozícióját leíró lista koordinátapárokból áll, és ezek mindegyike mátrixon belüli pozíciót ad meg;
• a sátrak fákhoz viszonyított helyzetét leíró listában csak a megengedett atomok (:n, :e, :s, :w) vannak;
• a sátrak száma megegyezik a fák számával;
• fát tartalmazó parcellára nem rakunk sátrat, ugyanarra a parcellára nem rakunk egynél több sátrat.

Elixir-specifikációk

Típusok egy parcella koordinátáinak megadására

  @type row   :: integer    # sor száma (1-től n-ig)
  @type col   :: integer    # oszlop száma (1-től m-ig)
  @type field :: {row, col} # egy parcella koordinátái

Típusok a feladvány leírására

  @type tents_count_rows :: [integer] # a sátrak száma soronként
  @type tents_count_cols :: [integer] # a sátrak száma oszloponként

  @type trees       :: [field] # a fákat tartalmazó parcellák koordinátái lexikálisan rendezve
  @type puzzle_desc :: {tents_count_rows, tents_count_cols, trees} # a feladványleíró hármas

Típusok a sátrak helyzetének leírására

  @type dir       :: :n | :e | :s | :w # a sátorpozíciók iránya: north, east, south, west
  @type tent_dirs :: [dir]             # a sátorpozíciók irányának listája a fákhoz képest

A to_external/3 függvény specifikációja

  @spec to_external(pd::puzzle_desc, ds::tent_dirs, file::String.t) :: :ok
  # A pd = {rs, cs, ts} feladványleíró és a ds sátorirány-lista alapján
  # a feladvány szöveges ábrázolását írja ki a file fájlba, ahol
  #   rs a sátrak soronkénti számának a listája,
  #   cs a sátrak oszloponkénti számának a listája,
  #   ts a fákat tartalmazó parcellák koordinátájának lexikálisan rendezett listája

Példák

Függvényhívások

  iex> puzzle0 = {[-1, 0, 0, -3, 0], [0, 0, -2, 0, 0], []}
  {[-1, 0, 0, -3, 0], [0, 0, -2, 0, 0], []}
  iex> Khf2.to_external puzzle0, [], "khf2_r0.txt"
  :ok

  iex> puzzle1 = {[1, 1, 0, 3, 0], [1, 0, 2, 0, 2], [{1, 2}, {3, 3}, {3, 5}, {5, 1}, {5, 5}]}
  {[1, 1, 0, 3, 0], [1, 0, 2, 0, 2], [{1, 2}, {3, 3}, {3, 5}, {5, 1}, {5, 5}]}
  iex> Khf2.to_external puzzle1, [:e,:s,:n,:n,:n], "khf2_r1.txt"
  :ok

  iex> puzzle2 = {[1, 1, -1, 3, 0], [1, 0, -2, 0, 2], [{1, 2}, {3, 3}, {3, 5}, {5, 1}, {5, 5}]}
  {[1, 1, -1, 3, 0], [1, 0, -2, 0, 2], [{1, 2}, {3, 3}, {3, 5}, {5, 1}, {5, 5}]}
  iex> Khf2.to_external puzzle2, [:e,:s,:n,:n,:w], "khf2_r2.txt"
  :ok

  iex> puzzle3 = {[2], [0, 1, -1, 0, -1], [{1, 1}, {1, 4}]}
  {[2], [0, 1, -1, 0, -1], [{1, 1}, {1, 4}]}
  iex> Khf2.to_external puzzle3, [:e,:e], "khf2_r3.txt"
  :ok

  iex> puzzle4 = {[0, -1, 0, 1, 1, 0], [3], [{1, 1}, {3, 1}, {6, 1}]}
  {[0, -1, 0, 1, 1, 0], [3], [{1, 1}, {3, 1}, {6, 1}]}
  iex> Khf2.to_external puzzle4, [:s,:s,:n], "khf2_r4.txt"
  :ok

A létrehozott fájlok tartalma

  khf2_r0.txt           khf2_r1.txt           khf2_r2.txt           khf2_r3.txt           khf2_r4.txt
      0  0 -2  0  0         1  0  2  0  2         1  0 -2  0  2         0  1 -1  0 -1         3
  -1  -  -  -  -  -      1  -  *  E  -  -      1  -  *  E  -  -      2  *  E  -  *  E      0  *
   0  -  -  -  -  -      1  -  -  -  -  N      1  -  -  -  -  N                           -1  S
   0  -  -  -  -  -      0  -  -  *  -  *     -1  -  -  *  -  *                            0  *
  -3  -  -  -  -  -      3  N  -  S  -  N      3  N  -  S  -  -                            1  S
   0  -  -  -  -  -      0  *  -  -  -  *      0  *  -  -  W  *                            1  N
                                                                                           0  *

Egyéb követelmények

  defmodule Khf2 do
  @moduledoc """
  Kemping térképe
  @author "Egyetemi Hallgató <egy.hallg@dp.vik.bme.hu>"
  @date   "2022-10-01"
  ...
  """
  ...
  end

A beadott programokat Linux környezetben Elixir 1.14 (Erlang/OTP 25) rendszerrel teszteljük.

Segédanyagok

1. Sablon a program megírásához: khf2_sablon.ex
2. Szkript a tesztesetek futtatásához: khf2_teszt.exs

Tudnivalók a beadásról