ムゲンの実の数学 #1 有限ムゲンの実問題
見切れている数式はスクロールで!
先日バイト中にあるお菓子を見つけました.
その名もムゲンの実.
クラシエフーズ株式会社が出してるお菓子です.
無限プリン,無限きゅうり,無限ピーマン...と,やたらと無限のつく食べ物が多いのがとても気になります.そういうものは得てして高々有限です.本当に呆れ返るばかりです.
このムゲンの実もどうせ有限だろうな…と思っていたのですが,どうやら上記の無限偽装有限食品とは異なるようです.というのは,ムゲンの実の何が無限なのかというと,3つの実の組み合わせが無限通りあるということらしいのです.
どういうことかというと,パッケージに書いてあるとおり,このお菓子はヒエヒエの実,シャリシャリの実およびシュワシュワの実の3種類の実からなります.
- ヒエヒエの実 (青)
- シャリシャリの実 (赤)
- シュワシュワの実 (黄)
これらの3つの中からいくつか実を選んで同時に食べると,無限の味を作り出せるということらしいです.
例 1.1
- ヒエヒエ + シャリシャリ = かき氷味
- シャリシャリ + シュワシュワ = コーラフロート味
- シュワシュワ + シャリシャリ × 2 = グレープソーダ味
これは確かに,3個の実を重複を許して 個 (ただし ) 取る組み合わせと考えると,実が無限個あって, とすると無限通りの組み合わせとなります.よって数学的にもムゲンの実は無限です.
有限ムゲンの実問題
ムゲンの実を使って組合せ最適化問題を考えてみたいと思います.以下ではムゲンの実は高々有限個あるものとします.
僕の買ったムゲンの実は
- シャリシャリの実 (赤) : 17個
- シュワシュワの実 (黄) : 14個
- ヒエヒエの実 (青) : 14個
それぞれ入っていました.実際,パッケージ裏面の注意書きには
3種の混合には配慮していますが,ばらつきが生じる場合があります.
と書かれています.
若干のばらつきを是正し,それぞれ15個ずつ,合計で45個入っているものを有限ムゲンの実モデル (Finite Infinite Berry Model)と定義します.さらに,それらが 個ある場合,これを ムゲンの実モデル ( -Infinity Berry Model ) と定義します.
ここで,
ただし,
for some
と定めます.このようにして得られる の要素を と表します.
これは単に,シャリシャリ(赤)を1つ,シュワシュワ(黄)を1つ,ヒエヒエ(青)を1つ食べる組み合わせを と表そうという意味です.さらに,もし(赤)を2つ,(黄)を2つ,(青)を2つ食べる場合,それは先述の を2つ食べているのと同じになるので,こういうのはすべて同じものだと思おうということを定式化しているに過ぎません.
数学的に言うと, という集合の中では と は同じ元だということです. また,何も食べないという組み合わせ は考察の範囲から逸れるため,これを除外します.
さて,非負整数の性質より,同値類の中で最も最小なものを取ることができます.実際 に対して最大公約数 を取ってそれらをGCDで割ると,既約な最小の組み合わせをwell-definedに取ることができます.
例 1.2
(
このような組み合わせは任意の の元に対して唯一に,かつwell-definedに(代表元のとり方によらず)定まります.これを同値類の最小元と定義し, に対して の最小元を と表します.
ここで, の有限部分集合 が以下の条件を満たすとき, を 正則部分集合 ( -subset ) と言います: と表したとき,
- ,
- ,
- .
例1.3 (赤)を10個,(黄)を1個食べる組み合わせ と (赤)を6個,(青)を5個食べる組み合わせ からなる集合 は 1正則ではありません.
: 1正則でない.
なぜならば,(赤)の総数を見ると となり,これらの組み合わせは1袋ではまかないきれません.しかし,2袋あれば事足ります.つまり は2正則です.実際,2以上の整数 に対して は 正則です.
このように,正則という概念はその組み合わせは 袋で食べることができるか?を考えるためのものです.
さて,正則部分集合全体の集合を と表します. のなかで,集合の位数すなわち元の個数が最大であるものが存在し,その位数を と表します.
簡単な例
-IBM を考えます.なにはともあれ,平均的に食べていったほうが組み合わせは多くなりそうな気がするので,そういう食べ方を考えます.
まず,1個ずつ食べる組み合わせが3つあります.
- 赤だけ食べる.
- 黄だけ食べる.
- 青だけ食べる.
さらに,2個食べる組み合わせも 個.
- 赤 + 黄
- 赤 + 青
- 黄 + 青
ここで,赤だけを2つ食べたり,黄だけを2つ食べたりする組み合わせは上記の1個ずつ食べる組み合わせで計上しているものと考えられるので,これらは除外されます(数式的には となっていることに注意).
3個ずつ食べる組み合わせは少し複雑で,重複を許して3個食べる組み合わせが7通りあります.
- 赤 + 赤 + 黄
- 赤 + 赤 + 青
- 赤 + 黄 + 黄
- 赤 + 黄 + 青
- 赤 + 青 + 青
- 黄 + 黄 + 青
- 黄 + 青 + 青
これは重複組合せ の中で除外されるべき3通り(赤+赤+赤など)を除いた7通りであると考えれば分かりやすいかと思います.
ここまでで,赤黄青それぞれ10個ずつ消費しました.残り5個ずつを使って最も多く組み合わせを作ることが目標となります.順当に行くと次は4つずつ食べる組み合わせを考えることになります.実際これは9通りあります.
- 赤 + 赤 + 赤 + 黄
- 赤 + 赤 + 赤 + 青
- 赤 + 赤 + 黄 + 青
- 赤 + 黄 + 黄 + 黄
- 赤 + 黄 + 黄 + 青
- 赤 + 黄 + 青 + 青
- 赤 + 青 + 青 + 青
- 黄 + 黄 + 黄 + 青
- 黄 + 青 + 青 + 青
この中から,うまく実を5個ずつだけ使って組み合わせを多く取らなければなりません.つまり, のような組み合わせは優先的に取るべきではないということです.
しかしながら,やってみるとわかるのですが,どのように取ろうとしてもこの中から3つしか取れません.例えば,
といった具合です.どのように取ってもかならず3つ実が残ってしまいます.
ここまで考えると,組み合わせの総数は
となっています.
気が向いたらやってみてください.
考えられる別問題としては
- を取る組み合わせでは実がいくつ余るか?
- 1つも実を余らせないで を取ることができる は存在するか?
- よりモデルを一般化し実の種類を としたとき, はどうなるか?
- 一つの実を複数食べる場合なども計上するように単純化すると はどうなるか?(チーズバーガーを2個食べるのと,ダブルチーズバーガーを1個食べるときの味は等価か?)
などが挙げられます.時間があればこれらも考えてみたいと思います.
査読よろしくお願い致します.しゃーしたー