Bevezetés
Az óvodai csoport éppen azt tanulja, hogyan lehet növényeket termeszteni.
Az óvó néni úgy gondolta, jó ötlet lenne, ha a gyerekek magokat kapnának, hogy elültessék és megnövesszék őket a földben.
Ezért a gyerekek kis poharakat tettek az ablakpárkányokra, és minden pohárba egy-egy fajta növényt ültettek.
A gyerekek négyféle mag közül választhatták ki a kedvencüket: fű, lóhere, retek és ibolya.
Utasítások
A feladatod, hogy egy diagram alapján meghatározd, hogy az óvodai osztály melyik gyereke mely növényekért felelős.
Az osztályba 12 gyerek jár:
- Alice, Bob, Charlie, David, Eve, Fred, Ginny, Harriet, Ileana, Joseph, Kincaid és Larry.
Négyféle magot ültetnek el:
| Növény |
Kódolás a diagramban |
| Grass |
G |
| Clover |
C |
| Radish |
R |
| Violet |
V |
Minden gyerek négy poharat kap, soronként kettőt:
[window][window][window]
........................ # each dot represents a cup
........................
A tanár a poharakat a gyerekek nevének ábécésorrendje szerint osztja ki, ami azt jelenti, hogy Alice következik elsőként, Larry pedig utolsóként.
Íme egy példadiagram, amely Alice növényeit mutatja:
[window][window][window]
VR......................
RG......................
Az első sorban, az ablakokhoz legközelebb egy violet és egy radish található.
A második sorban egy radish és némi grass.
A programod a növényeket balról jobbra kapja meg, az ablakokhoz legközelebbi sorral kezdve.
Ebből meg kell tudnia határozni, hogy melyik növény melyik tanulóhoz tartozik.
Például ha azt kapja bemenetként, hogy a kert így néz ki:
[window][window][window]
VRCGVVRVCGGCCGVRGCVCGCGV
VRCCCGCRRGVCGCRVVCVGCGCV
Akkor ha Alice növényeit kérdezik tőle, ezt kell visszaadnia:
- Violets, radishes, violets, radishes
Ha viszont Bob növényeit kérdezik, ez lesz az eredmény:
- Clover, grass, clover, clover
Vektorok
A plants függvény visszatérési értéke egy Vector Plant 4.
A vektorok olyan tömbök, amelyeknek a hossza rögzített. Ez a hossz futásidőben is meghatározható. Gondolhatsz rájuk úgy, mint egy párra, amely egy Array-ből és egy bizonyítékból áll arra vonatkozóan, hogy a tömb hossza megfelelő. Ez azt jelenti, hogy ahhoz, hogy létrehozz egy Vector-t, ezt a bizonyítékot neked kell megadnod.
Ez a fejezet jó bevezetést nyújt a Leanben való tételbizonyításba. Ha mélyebben szeretnél elmerülni a témában, ez a könyv a Lean weboldalán hivatalos forrásként szerepel.
A Lean számos taktikát kínál, amelyekkel egy bizonyíték egészét vagy annak részeit automatizálhatod. Érdemes lehet megnézned egy nyelvi referenciát.
