![](https://cdn-ak-scissors.b.st-hatena.com/image/square/fc14bac32f6c013ef7ebd0ee84e888ed94f3c57f/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9QWxsb3klRTMlODElQTclRTMlODMlOTElRTMlODIlQkElRTMlODMlQUIlMjAlMjg0JTI5JTIwJUUzJTgzJTgwJUUzJTgyJUE0JUUzJTgzJUJCJUUzJTgzJThGJUUzJTgzJUJDJUUzJTgzJTg5JUVGJUJDJTkzJTIwJUUzJTgyJUI4JUUzJTgzJUEzJUUzJTgyJUIwJUU1JTk1JThGJUU5JUExJThDJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LWNsaXA9ZWxsaXBzaXMmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz00ZmY1OTNjNDk5MzhmZmI0Yzc4ODBiZmIxNWE3NWRhMA%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTcxNiZ0eHQ9JTQwanB3Z2FkJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzImdHh0LWFsaWduPWxlZnQlMkN0b3Amcz00YjRmMmU3NGE4YjE1ZDVlODExNTZmM2MwNjk4ZGJlYg%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Dd05ffdd2197c908f72a4e7513557fa70)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Alloyでパズル (4) ダイ・ハード3 ジャグ問題 - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Alloyでパズル (4) ダイ・ハード3 ジャグ問題 - Qiita
今回は手順を求める問題と、仕様の改善について。 手順を求める例としてはハノイの塔や、舟で川を渡る「... 今回は手順を求める問題と、仕様の改善について。 手順を求める例としてはハノイの塔や、舟で川を渡る「ヤギ、キャベツ、狼」等がよく挙げられる。 ここでは「ダイ・ハード3 ジャグ問題」をやってみよう。 Alloy の次に手を出すべきじゃないかと考えている TLA+ の記事 [TLA+] ダイ・ハードジャグ問題から仕様を考える より。 ちょうど4ガロンの水を入れないと爆弾が爆発する ただし今手元にあるのは3ガロンと5ガロンのジャグしかない どういう手順を踏めばちょうど4ガロンを測れるか Alloy で書く まずちょっと考える この問題はどんな手順で成り立つのか、少し考えてみる。 3と5を使って4を作り出したいのだから、3+1か5−1を作れればいいだろう。 思いついた手順はこうだ。 5ガロンを汲む 3ガロンジャグいっぱいまで移す 5ガロンジャグには2ガロン残っている 3ガロンジャグを空にする 5ガロ