ভূমিকা
কিন্ডারগার্টেনের ক্লাসে শিশুরা গাছ জন্মানো সম্পর্কে শিখছে।
শিক্ষক ভাবলেন, মাটিতে লাগিয়ে গাছ বড় করার জন্য ক্লাসের শিশুদের বীজ দিলে ভালো হবে।
এই উদ্দেশ্যে শিশুরা জানালার সিল বরাবর ছোট ছোট কাপ রেখেছে এবং প্রতিটি কাপে এক ধরনের গাছ লাগিয়েছে।
চার ধরনের বীজের মধ্যে থেকে শিশুরা নিজেদের পছন্দেরটি বেছে নিতে পেরেছে: grass, clover, radishes, and violets.
নির্দেশনা
আপনার কাজ হলো, একটি ডায়াগ্রাম দেখে নির্ধারণ করা কিন্ডারগার্টেন ক্লাসের প্রতিটি শিশু কোন গাছের দায়িত্বে আছে।
ক্লাসে ১২ জন শিশু আছে:
- 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 অনেক ট্যাকটিক দেয়, যা একটি প্রমাণ বা তার অংশগুলো স্বয়ংক্রিয় করতে পারে।
আপনি একটি ভাষা রেফারেন্স দেখে নিতে চাইতে পারেন।
