Solving Ferryman Problem with Simuink Design Verifier

版本 1.0.0.0 (151.4 KB) 作者: Yogananda Jeppu
This has two models that try to find a solution to old puzzles using SDV
184.0 次下载
更新时间 2016/1/23

查看许可证

The puzzles are taken from
https://cs.swan.ac.uk/~csfm/Pubs/fwfm13.pdf
The Man-Wolf-Goat-Cabbage Riddle
A man needs to cross a river with a wolf, a goat and a cabbage. His boat is only large enough to carry himself and one of his three possessions, so he must transport these items one at a time. However, if he leaves the wolf and the goat together unattended, then the wolf will eat the goat; similarly, if he leaves the goat and the cabbage together
unattended, then the goat will eat the cabbage. How can the man get across safely with his three items?

The Water Jugs Riddle
In the 1995 film Die Hard: With a Vengeance, New York Detective John McClane (played byBruce Willis) and Harlem dry cleaner Zeus Carver (played by Samuel L. Jackson) had to solve the following problem in order to prevent a bomb from exploding at a public fountain.

Given only a five-gallon jug and a three-gallon jug, neither with any markings on them, they had to fill the larger jug with exactly four gallons of water from the fountain, and place it onto a scale in order to stop the bomb’s timer and prevent disaster.

How did they manage this feat?

引用格式

Yogananda Jeppu (2024). Solving Ferryman Problem with Simuink Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/55054-solving-ferryman-problem-with-simuink-design-verifier), MATLAB Central File Exchange. 检索来源 .

MATLAB 版本兼容性
创建方式 R2015a
兼容任何版本
平台兼容性
Windows macOS Linux
类别
Help CenterMATLAB Answers 中查找有关 Simulink Design Verifier 的更多信息

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
版本 已发布 发行说明
1.0.0.0