「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。 - Qiita

前書き サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot) 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqat)で解いてみた。 完全に二番煎じですが、古典コンピューターが好きなので、個人的に古典コンピューター最強のなんだかよく分からないけどよく分からないものをよく分からないうちに解いてくれるソフト、z3を使ってサイゼリア問題を解いてみました。 問題 サイゼリヤのメニューを重複無しで合計1000円以下になるように選んだときに、最大の総カロリーになるようなメニューの組み合わせを求めよ。 サイゼリヤのメニューは https://github.com/marushosummers/Saizeriya_1000yen こちらを使わせて使わせて頂きました。メニューは100種類ぐらいみたいで、カロリーは整数値で、プロコ

[Tommy6]

最大1000円で低カロリーランキング取ると、「何も頼まない」で終わってしまうので、最低金額にしたのでしょう。

[hive7134]

低カロリーランキング合計が千円超えてるような… / 追記：サイゼリヤ千円ガチャの前提（合計932〜1000円＝最安品のトッピング半熟卵69円も足せない金額）で最低カロリーが知りたい！（いやそんなに知りたくないけども）

[mnnn]

“サイゼリア問題”

[hate_nao]

追いフォッカチオワロタ。フォッカチオ美味しいよね。

[retore]

オリーブオイルﾅﾒﾅﾒって結論出ただろ

[maple_magician]

これはすごい。『1000円で食える最大の蛋白質量』も求められるようになる。こういうのがARや商品情報と組み合わさって、商品にかざすたびに『動物性たんぱく質1gあたり単価』が浮かび上がればベスト。

[tasknow]

SMTセットでメニュー化したらウケそう

[i_luv_kneesox]

低カロリーランキングは最低1000円だから超えてていいのでは？

[tboffice]

おまけが本編

[hevohevo]

すばらしい。z3はSMTにて最強。うん覚えた。低カロリーメニューにサラミがあるとは。今度から容赦無くサラミ食べます！

[sjn]

ワインはカロリーなしみたいな感じだったけどそれは無しか

[fm7743]

あまりにも見た目の圧がある/フォッカチオに追いフォッカ、アーリオ・オーリオとアーリオ・オーリオWサイズなどの炭水化物まつり

[misopi]

パスタをおかずに白飯を喰らうのか…。

[Lagenaria]

アーリオオーリオとアーリオオーリオWの組み合わせで吹いた。実質３人分だ

[shioken]

GAもみたい

[wdnsdy]

ライスとパスタとフォッカチオがあればカロリーが稼げるのかw

[p_tan]

実用SMTだ…

[napsucks]

結局同じメニューは頼まない縛りなのね

[marmot1123]

好き

[degucho]

こういう追試っていいよなあ

[ackey1973]

「とにかく生き残るためにカロリーをとる」という目的であれば、いかに炭水化物が優れた食材であるかを示唆する結果ではある。

[fai_fx]

炭水化物の組み合わせは禁止して…

[kesyomota]

ランキング見てるだけでインスリンがモリモリ出そう

[blueboy]

　プログラマが「やりたい」と一瞬思ったけど、やる気になれなかったやつ。

[solidstatesociety]

ドリア+半熟卵とかは魅惑的

[moccos_info]

“サイゼに万札握りしめて行ったらどんな恐ろしいことになってしまうのかを計算してみてあげましょう”

[stabucky]

円あたりカロリーが最大のメニューは何だ？ この場合重複は関係ないのでは？

[knok]

一万円コースを量子アルゴリズムで解いたときの時間の比較が見たい

[nack1024]

サイゼリヤ1000円問題

[doirou]

違う！ 正解はドリンクバーで無限ドリンク

[neogratche]

ライスとラージライスでライスがダブってしまった

[kurauni]

サイゼリヤ問題、正直ありがたい