Gate — sudėk schemą, atitinkančią tiesos lentelę
Trys įėjimai, trys tuščios vietos, viena tiesos lentelė, kurią reikia atitikti. Parink elementus, kurie ją sudaro. Šeši galvosūkiai, nemokamai.
Šeši galvosūkiai. Parink tris elementus, kad schema sutaptų su lentele.
Kaip žaisti
- Atitik tikslo stulpelį. Palieski vietą, kad perjungtum penkis elementus.
- Sujungimai: g1 ima A ir B, g2 ima g1 išėjimą ir C, g3 ima A ir g2 išėjimą.
- NOT elemento nėra — paduok laidą į abu NAND arba NOR įėjimus, kad jį apverstum. Būtent tai daro juos universalius.
- Keturi testai vienam galvosūkiui. Kiekvienas pasako tik sutapusias eilutes, tad samprotauk, o ne perjunginėk.
Kaip tai veikia
Kiekvienas galvosūkis duoda tiesos lentelę ir schemą, kurioje sujungimai jau padaryti, o elementų nėra. Kiekvienai iš trijų vietų renkiesi vieną iš penkių dviejų įėjimų elementų taip, kad schema duotų tikslinį išėjimą visoms aštuonioms įėjimų kombinacijoms. NOT elemento nėra, ir tai yra pamoka, o ne praleidimas: kad apverstum laidą, paduodi jį į abu NAND arba NOR įėjimus — būtent tai ir daro šiuos du elementus universalius. Kiekvienas galvosūkis įrodomai išsprendžiamas — rinkinys gaunamas išvardijant visus 125 išdėstymus — o sudėtingumas yra išmatuotas sprendimų skaičius, nuo keturių kelių iki lygiai vieno. Vienam galvosūkiui skiriami keturi testai, ir kiekvienas testas pasako tik tai, kurios eilutės jau sutampa, tad akla paieška beviltiška, o samprotavimas – ne. Viskas veikia tavo įrenginyje, niekas niekur nesiunčiama, ir registruotis nereikia.
Galvosūkis apie Bulio logiką, o ne schemų simuliatorius. Tikra aparatinė įranga turi sklidimo vėlinimą, apkrovos ribas ir NOT elementą.
Dažnai užduodami klausimai
Kodėl nėra NOT elemento?
Nes jį galima pasidaryti. Paduok tą patį laidą į abu NAND įėjimus ir gausi jo inversiją — NAND(x, x) = NOT x — o tas pats triukas veikia su NOR. Būtent tai reiškia, kad šie elementai universalūs: iš jų galima sudėti bet kurį kitą. NOT nebuvimas paletėje ir yra tai, kas verčia tai atrasti.
Ar tikrai kiekviena galvosūkis turi sprendimą?
Taip, įrodomai. Penki elementai trijose vietose duoda 125 galimas schemas, ir žaidimas jas visas išvardija prieš pradžią. Tiesos lentelė siūloma kaip galvosūkis tik tada, kai ją duoda bent vienas išdėstymas, o kiek jų duoda — tai ir yra sudėtingumo matas: vieni tikslai turi keturis kelius, trisdešimt trys — lygiai vieną.
Ar negalima tiesiog išbandyti visko?
Ne per keturis testus. Išdėstymų yra 125, teisingų daugiausia keturi, tad spėliojimas duoda apie 20 taškų iš 600 galimų — išmatuota, o ne numanyta. Vienos vietos perrinkimas testuojant kiekvieną kartą pasirodo dar šiek tiek prasčiau. Grįžtamasis ryšys po testo sąmoningai šykštus: kurios eilutės sutampa, ir nieko apie tai, kuris elementas klaidingas.
Kaip imtis galvosūkio?
Perskaityk tikslo stulpelį šalia įėjimų ir pirmiausia įvardyk funkciją: ar tai „A ir kažkas“, ar tai griežtoji disjunkcija, ar išėjimas beveik visada teisingas? Tada eik schema atgal: paskutinis elementas mato A ir vieną laidą, tad tikroji užduotis yra tai, kuo tas laidas turi būti, — ir ji mažesnė.