前書き〜
- サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot)
- 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqat)で解いてみた。
- 「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。
に習って、エクセルおじさん登場！
エクセルのソルバーとは、
エクセルのアドインとして提供されているもので、Frontline Systemsというところが開発しているらしい、
解いてみよう
まずはシートを開けて、皆さんお使いのdbファイルからサイゼリアのメニューを抽出します。
ペタペタエクセルのシートに貼って、
メニュー別に、個数、カロリー、価格の列を追加して、価格とカロリーのセルには計算式入れます、
それぞれの列に上限下限の制約入れます、
こんな風になります
ソルバー設定
ソルバーのダイアログだして、それぞれ設定します。
カロリー最大、合計金額の上限、そして個数は整数でかつ0,1とします。
設定画面はこんな風になります
解いてみる
シンプレックス方を選んで
解く！
答えはこうなって、皆さんと同じになりました
