Εισαγωγή
Η τάξη του νηπιαγωγείου μαθαίνει για την καλλιέργεια φυτών.
Η νηπιαγωγός σκέφτηκε ότι θα ήταν καλή ιδέα να δώσει στην τάξη σπόρους για να φυτέψουν και να μεγαλώσουν στο χώμα.
Για τον σκοπό αυτό, τα παιδιά έβαλαν μικρά ποτηράκια κατά μήκος των περβαζιών και φύτεψαν ένα είδος φυτού σε κάθε ποτηράκι.
Τα παιδιά είχαν την ευκαιρία να διαλέξουν τα αγαπημένα τους από τέσσερα διαθέσιμα είδη σπόρων: grass, clover, radishes και violets.
Οδηγίες
Η αποστολή σου είναι, με δεδομένο ένα διάγραμμα, να προσδιορίσεις για ποια φυτά είναι υπεύθυνο κάθε παιδί της τάξης του νηπιαγωγείου.
Στην τάξη υπάρχουν 12 παιδιά:
- Alice, Bob, Charlie, David, Eve, Fred, Ginny, Harriet, Ileana, Joseph, Kincaid, και Larry.
Φυτεύονται τέσσερα διαφορετικά είδη σπόρων:
| Φυτό |
Κωδικοποίηση στο διάγραμμα |
| Grass |
G |
| Clover |
C |
| Radish |
R |
| Violet |
V |
Κάθε παιδί παίρνει τέσσερα κύπελλα, δύο σε κάθε σειρά:
[window][window][window]
........................ # each dot represents a cup
........................
Η δασκάλα τους αναθέτει τα κύπελλα στα παιδιά αλφαβητικά με βάση τα ονόματά τους, που σημαίνει ότι η Alice έρχεται πρώτη και ο Larry τελευταίος.
Ακολουθεί ένα παράδειγμα διαγράμματος που αναπαριστά τα φυτά της Alice:
[window][window][window]
VR......................
RG......................
Στην πρώτη σειρά, πιο κοντά στα παράθυρα, έχει ένα violet και ένα radish.
Στη δεύτερη σειρά έχει ένα radish και λίγο grass.
Το πρόγραμμά σου θα λάβει τα φυτά από αριστερά προς τα δεξιά, ξεκινώντας από τη σειρά που βρίσκεται πιο κοντά στα παράθυρα.
Από αυτό, θα πρέπει να μπορεί να προσδιορίσει ποια φυτά ανήκουν σε κάθε μαθητή.
Για παράδειγμα, αν του δοθεί ότι ο κήπος μοιάζει κάπως έτσι:
[window][window][window]
VRCGVVRVCGGCCGVRGCVCGCGV
VRCCCGCRRGVCGCRVVCVGCGCV
Τότε, αν του ζητηθούν τα φυτά της Alice, θα πρέπει να δώσει:
- Violets, radishes, violets, radishes
Ενώ, αν ζητηθούν τα φυτά του Bob, θα δώσει:
- Clover, grass, clover, clover
Διανύσματα
Η τιμή επιστροφής της συνάρτησης plants είναι Vector Plant 4.
Τα διανύσματα αναπαριστούν πίνακες με σταθερό μήκος.
Το μήκος αυτό μπορεί επίσης να καθοριστεί κατά την εκτέλεση.
Μπορούν να ιδωθούν ως ένα ζεύγος που αποτελείται από έναν Array και μια απόδειξη ότι ο πίνακας έχει το απαιτούμενο μήκος.
Αυτό σημαίνει ότι πρέπει να παρέχεις αυτή την απόδειξη για να κατασκευάσεις ένα Vector.
Αυτό το κεφάλαιο αποτελεί μια καλή εισαγωγή στην απόδειξη θεωρημάτων στη Lean.
Για μια πιο εμβριθή μελέτη, αυτό το βιβλίο αναφέρεται ως επίσημος πόρος στον ιστότοπο της Lean.
Η Lean προσφέρει πολλές τακτικές που μπορούν να αυτοματοποιήσουν μια απόδειξη ή μέρη της.
Ίσως θέλεις να ρίξεις μια ματιά σε μια αναφορά γλώσσας.
