Voorbeelden
Dijkstra was een charismatisch onderwijzer. Zijn geschriften zijn zeer leesbaar. De voorbeelden die hij gebruikt zijn vaak heel aansprekend en illustratief. Hij illustreerde het probleem van samenwerkende processen bijvoorbeeld aan de hand van een kapsalon.
De kapsalon bestaat uit een wachtkamer en de kapsalon zelf. Als er geen klanten zijn gaat de kapper slapen.
De gedragsregels voor de kapper zijn:
- zolang er klanten zijn: knip de klant
- ga slapen in de wachtkamer
En voor de klanten: - als de kapper slaapt
- anders
De crux zit in het slapen in de wachtkamer. Anders ziet de klant geen verschil tussen een kapper die bezig is en een kapper die slaapt
De wolf, het schaap en de kool
Een ander voorbeeld was het probleem van "De wolf, het schaap en de kool", aan de hand waarvan hij illustreerde hoe behoud van symmetrie in een ontwerp het oplossen van problemen makkelijker maakt.
Het probleem van de wolf, het schaap en de kool is een bekend probleem voor kinderen: een herder heeft een wolf, een schaap en een kool. Hij komt bij een rivier met een boot waarmee hij zichzelf en één ander ding over kan zetten. Hoe komt hij nu met heel de handel aan de andere kant zonder ongewenste consumptie?
De oplossing ligt erin te beseffen dat het probleem symmetrisch is in het schaap en dat de wolf en de kool eigenlijk hetzelfde ding zijn: ze mogen niet alleen met het schaap achter blijven. Noemen we nu het schaap S, de herder H en de wolf en de kool allebei A en voeren we ook de regel in dat we geen stappen terug mogen nemen bij het overvaren, dan is het probleem opgelost en is er nog maar één oplossing:
LINKS RECHTS
0) HSA(2) - 1) A(2) HS 2) HA(2) S 3) A HAS 4) HASA 5) S HA(2) 6) HS A(2) 7) - HSA(2)
(Het voorbeeld van het schaap, de wolf en de kool werd door Edsger Dijkstra uitgesproken aan de TUE in oktober 1999 ter gelegenheid van het lustrum van GEWIS).
Zie ook
Externe links
zh-cn:艾兹格·W·迪科斯彻