Na Ethic te hebben bevrijd
uit de gevangenis,
brengt Hedge haar vliegend
naar een nederzetting
in de schaduw van de Bradbarrière,
de grote grensmuur rondom het land.
Alle bezetters zullen daar bijeenkomen
voor de maandelijkse voedseluitdeling.
De voorstanders van de muur
besteden hun tijd aan het verzamelen
van kunstwerken en literatuur,
afkomstig uit heel het land.
Op de voedseluitdeeldag arriveren
de smeltovenbots, hongerig.
Als ze eten blijft het licht branden
en wordt het voedsel bezorgd.
Als ze verhongeren,
verhongert het volk ook.
Hedges brandstoftank raakt leeg
zodra hij met Ethic de buitenwijk bereikt
en ze maken onverwachts een noodlanding.
Gelukkig is iedereen druk bezig
met de voorbereiding voor de uitdeeldag,
dat ze het niet opmerken.
Op deze uitdeeldag
kan Ethic de leider van een ondergrondse
verzetsbeweging vinden.
Deze persoon weet waar een van de drie
krachtige artefacten zich bevindt.
Het probleem is dat Hedge
en Ethic niet weten
hoe de verzetsleider heet of eruit ziet.
Maar Hedge verzamelde
de volgende gegevens:
de leider heeft groene ogen.
Als de leider rood haar heeft,
bevat zijn of haar naam minstens
een dubbele klinker of medeklinker.
Als de leider een bril draagt, bevat
zijn of haar naam exact twee klinkers.
Anders bevat zijn of haar naam
exact drie klinkers.
Er is exact een persoon
waarbij al deze factoren overeenkomen.
Als voortvluchtige
kan Ethic niet in de menigte opgaan
zonder aandacht op haarzelf te vestigen.
Maar ze kan Hedge wel instructies geven.
Een hulpmiddel waarover ze beschikt
heet in programmeertaal een conditional.
Dat is een argumentatievorm
van de implicatie 'indien A, dan B'.
Stroomdiagrammen weergeven
duidelijk hoe zoiets in zijn werk gaat.
Deze conditional vertaalt zich in:
als A juist is, voer dan opdracht B uit.
Er zijn ook conditionals
die verschillende mogelijkheden vormen.
Deze geven aan: 'als A juist is,
voer dan opdracht B uit.
Zoniet, voer dan opdracht C uit'.
Welke instructies geeft ze Hedge
zodat hij de verzetsleider kan vinden?
[Pauzeer nu de video
om het zelf uit te zoeken.]
Dit soort problemen
kan het beste vereenvoudigd worden.
Wat als Hedge alleen deze persoon
hoeft te observeren?
Welke informatie moet hij
over haar verzamelen?
Hij vraagt wellicht:
"Heeft ze groene ogen?"
Welke vragen zou Hedge
nog meer kunnen stellen
om de verzetsleider te vinden
en hoe kan hij de bijbehorende
antwoorden controleren?
[Pauzeer nu de video
om het zelf uit te zoeken.]
Als mens is een goede intuïtie misschien
een goede aanpak voor dit probleem.
Maar Hedge is geen mens,
dus de uitdaging is om hem
systematische instructies te geven
die in elk scenario passen.
Hedge moet de bezetters
een voor een observeren
totdat hij de juiste persoon vindt.
Met andere woorden:
zoals het slot op de gevangeniscel
is dit een loop die
dezelfde instructies herhaalt.
Alleen zal nu de loop
een reeks vragen bevatten
in de vorm van conditionals
en eindigen zodra Hedge
zijn doelwit vindt.
Maar eerst zul je
alle gegevens moeten ordenen.
Elk persoon heeft een set eigenschappen:
oogkleur, haarkleur, bril en naam.
Heeft deze persoon groene ogen?
Zo ja, zet een vinkje achter 'oogkleur'.
Zoniet, zet daar een X.
Indien diegene rood haar heeft,
bevat zijn of haar naam
een dubbele klinker of medeklinker?
Zo ja, zet een vinkje achter 'haarkleur'.
Bevat de naam geen dubbele
klinker of medeklinker,
zet dan een X achter 'haarkleur'.
Alle roodharigen die dit niet
in hun naam hebben
zijn in ieder geval niet de verzetsleider.
Maar let wel: als ze blauw haar hebben,
zal Hedge deze vraag overslaan
en doorgaan naar de volgende.
Bij de laatste vraag kunnen we zeggen:
"Indien diegene een bril draagt,
bevat zijn of haar naam
exact twee klinkers?
Indien diegene geen bril draagt,
bevat zijn of haar naam
exact drie klinkers?"
Er zullen brildragers in de menigte zijn
die een klinker in hun naam hebben
of mensen zonder bril
met twee klinkers in hun naam.
Maar daar zijn we niet naar op zoek,
dus krijgen zij X-jes.
De verzetsleider moet iemand zijn
die ofwel vinkjes ofwel blanco vakjes
achter elke vraag heeft staan.
Blanco vakjes zijn goed,
want als iemand blauw haar heeft,
is de regel over rood haar
niet op hen van toepassing.
Je kan Hedge elke vraag
laten stellen over elk persoon
en vervolgens de persoon
met enkel vinkjes en blanco vakjes kiezen.
Maar er is een manier
om een hoop tijd te besparen:
zodra Hedge een X zet,
laat je hem doorgaan
naar de volgende persoon.
Je hoeft niet het antwoord
op elke vraag te weten;
enkel één X betekent dat ze niet
het doelwit zijn van jouw zoektocht.
Hedge vliegt door de menigte
en binnen enkele minuten
vindt hij Adila, de verzetsleider
en brengt haar mee terug naar Ethic.
Adila stemt in hen te helpen het eerste
artefact te stelen -- de node van macht --
maar op een voorwaarde:
dat Ethic en Hedge de revolutie starten
door de steenovenbots die het dorp
terroriseren te herprogrammeren.
En precies op het juiste moment
dalen de robots af.