Storyboard FerrymansProblemExample
initial situation:
5*1 6*1 7*1 8*1 9*1 10*1 11*1 5: 1: name: left age: 0 boat: 2 river: 4 cargos: 3 3 3 6: 1: name: right age: 0 river: 4 7: 2: river: 4 bank: 1 8: 3: name: cabbage bank: 1 9: 3: name: goat bank: 1 10: 3: name: wolf bank: 1 11: 4: boat: 2 banks: 1 1 1: Bank 2: Boat 3: Cargo 4: River
Reachable State 1
Reachable State 2
Reachable State 3
Reachable State 4
Reachable State 5
Reachable State 6
Reachable State 7
Reachable State 8
Reachable State 9
Reachable State 10
Reachable State 11
Reachable State 12
Reachable State 13
Reachable State 14
Reachable State 15
Reachable State 16
Reachable State 17
Reachable State 18
Reachable State 19
Reachable State 20
Reachable State 21
Reachable State 22
Reachable State 23
Reachable State 24
Reachable State 25
Reachable State 26
Check: Number of Reachable States expected: 27 actual 27
Small reachbility graph with hyperlinks to states:
large reachbility graph with embedded states:
Found a solution.