OplosSing pAraPlu

(Zie Maak kennis met de familie Van der Torus)

Pi en Phi wandelen naar het werk. Ze willen netjes aankomen, en gebruiken daarom een paraplu als het onderweg regent. Maar ze willen zo min mogelijk nodeloos met een paraplu lopen. Dus als het 's ochtends droog is, dan gaan ze liever zonder paraplu. Alleen wat doe je dan als het op het einde van de middag alsnog regent?

Hun oplossing is heel eenvoudig. Ze hebben elk een tweede paraplu gekocht en die op hun werk neer gezet. De ander staat gewoon thuis. Als je op een wandeling
regen verwacht, dan neem je de paraplu die daar staat mee. En de volgende keer dat je weer de andere kant uit gaat, neem je die paraplu (of de ander) mee terug, of het nou gaat regenen of niet.

Iets wiskundiger uitgelegd, zeggen we dat we de volgende relatie invariant houden: op de plek waar je bent (thuis of het werk) staat altijd minstens één paraplu. Als deze relatie inderdaad geldt, dan kun je dus altijd bij vertrek een paraplu meenemen (als het regent). Maar als je naar een plek gaat waar geen paraplu staat, dan moet je een paraplu meenemen, om te zorgen dat de invariant blijft gelden, ongeacht of het regent. Je moet bij deze oplossing dus wel af en toe onnodig met een paraplu wandelen. Maar toch niet zo vaak als wanneer je maar één paraplu hebt. En als je dat erg vindt, dan kun je wat meer paraplu’s kopen. Als je er maar tijdig aan denkt om
de invariant te handhaven. Daarbij kun je natuurlijk ook meer dan één paraplu tegelijk meenemen, al zullen de mensen dan misschien wel denken, "Hé, daar loopt er
zeker een van de familie Van der Torus". En als je dat erg vindt, zorg dan voor een oneindige voorraad paraplu's op beide plaatsen.  

Generalisaties

In deze oplossing zijn de paraplu’s niet essentieel. Hij is ook bruikbaar voor fietsers die niet altijd een regenpak willen meeslepen. Koop er twee! En denk aan die invariant. In het kluisje van Milli ligt altijd minstens één regenpak (en soms twee). En het geldt ook voor reservebatterijen voor je fietsverlichting. Zorg ervoor dat ze op beide plekken liggen en handhaaf de invariant. 

Ook het aantal locaties is niet essentieel. De oplossing werkt ook als je regelmatig tussen meer dan twee, zeg $N$, locaties op en neer wandelt. Dan heb je (minstens)
$N$ paraplu’s nodig. Je moet dan wel goed onthouden hoeveel paraplu’s er op elke locatie zijn, want om de invariant te handhaven moet je bij vertrek weten of op je bestemming een paraplu aanwezig is. Nog interessanter wordt het als er meer personen naar die locaties komen en willen vertrouwen op een paraplu.