
数学において、コイン問題(数学者フェルディナント・フロベニウスにちなんでフロベニウス・コイン問題またはフロベニウス問題とも呼ばれる)は、指定された額面のコインのみを使用して得られない最大の金額を求める数学の問題である。[ 1 ]例えば、3単位と5単位のコインのみを使用して得られない最大の金額は7単位である。この問題の解は、与えられたコインの額面の集合に対して、その集合のフロベニウス数と呼ばれる。フロベニウス数は、コインの額面の集合が互いに素である限り存在する。
異なる硬貨の額面が2種類しかない場合、フロベニウス数には明確な公式が存在する。そしてここで、これら2つの数の最大公約数は1である。硬貨の種類が 3 種類以上ある場合、明示的な公式は知られていません。ただし、固定された硬貨の種類数に対しては、フロベニウス数を多項式時間(入力となる硬貨の種類数の対数)で計算するアルゴリズムが存在します。 [ 2 ]硬貨の種類数に関して多項式時間となる既知のアルゴリズムはなく、硬貨の種類数が任意の数になる可能性がある一般的な問題はNP 困難です。[ 3 ] [ 4 ]
数学的に言えば、この問題は次のように表せる。
この最大の整数は、集合のフロベニウス数と呼ばれます。、通常は で表される
フロベニウス数の存在は、最大公約数 (GCD) が 1 に等しいという条件に依存します。実際、可能な和はすべての場合において最大公約数の倍数です。したがって、最大公約数が 1 でない場合、和として得られない任意の大きな数が常に存在します。たとえば、6 セントと 14 セントの 2 種類の硬貨があった場合、最大公約数は 2 に等しくなり、そのような硬貨をいくつ組み合わせても奇数になる和は存在しません。さらに、偶数2、4、8、10、16、22 ( m=24未満) も形成できません。一方、最大公約数が 1 の場合、円錐結合として表現できない整数の集合は、はシュールの定理により有界であり、したがってフロベニウス数が存在する。
コイン問題には、 n = 1 または2の場合のみ閉形式解が存在する。n > 2 の 場合の閉形式解は知られていない。[ 4 ]
もしそうすれば、私たちはそれによって、すべての自然数を構成できるようになる。
もしフロベニウス数は次の式から求められる。これは1882年にジェームズ・ジョセフ・シルベスターによって発見された。[ 5 ] [注1 ] シルベスターは、この場合、合計で表現不可能な(正の)整数。
方程式の別の形式はこれは、 Skupień [ 7 ]によって次の命題で与えられています。そして次に、それぞれについて非負整数のペアはちょうど1組存在するそしてそのためそして。
この公式は次のように証明されます。数を構成したいとします。。 以来、すべての整数のために互いに異なる法したがって、任意の整数法が合同でなければならないこれらの残基のいずれかに、特に、独自の価値があるそして一意の整数、したがって整理すると、非負の整数が得られます。となることによって。 確かに、なぜなら。
整数のちょうど半分を示すが非負の整数線形結合として表現できる場合、まず、整数が表現可能であれば、表現できない、。
すると、逆もまた真であることがわかる。表現できない場合はは表現可能である。これを示すには、次の事実を用いる。これにより、次のように書くことができます。係数を倍数で加算して簡略化および再配置する必要に応じて、(実際、これはこのようなユニークな方程式と不等式を満たす)。
同様に、満足 そして.これでこれらの式を追加して書くことができます使用収量整数正の値です。実際、左側はは割り切れる、 そして私たちはそれを必要としているは割り切れる。 まだ、 それで、 となることによってこれを代入するとそして引き算両側から得られる。 それでこれは、つまり、または負の値です。負の場合、つまり、表現可能である場合。否定的であるということは、表現可能である。
したがって、任意の非負整数に対して我々は、または表現可能(そしてこれらは異なる、なぜなら整数は奇数でなければならないは互いに素である)。これは、与えられた範囲の整数の半分が表現可能であることを示している。範囲内の整数これにより、望ましい結果が得られます。
3つの数値については公式[ 8 ]と高速アルゴリズム[ 9 ]が知られていますが、手計算で行うと非常に面倒な場合があります。
n = 3の場合のフロベニウス数のより単純な下限と上限も決定された。デイヴィソンによる漸近的な下限
比較的シャープです。[ 10 ]ここに修正フロベニウス数があります。これは、正の整数の線形結合では表現できない最大の整数です。)
漸近平均挙動3 つの変数については、次のようにも呼ばれます。[ 11 ]
1978年、ウィルフは互いに素な整数が与えられた場合、、そしてそれらのフロベニウス数、 我々は持っています
どこは、表現不可能なすべての正の整数の数を表します。[ 12 ] 2015年に、この漸近版がモスカリエロとサンマルターノによって証明されました。[ 13 ]
等差数列の整数の集合のフロベニウス数を求める簡単な公式が存在する。[ 1 ]: 59-60 gcd( a , d ) = 1の整数a、d、wが与えられた場合:
の上記のケースは、この公式の特殊なケースとして表現できる。
万が一要素の任意の部分集合を省略できます等差数列から、フロベニウス数の公式は同じままです。[ 14 ]
等比数列の集合のフロベニウス数についても、閉形式解が存在する。[ 15 ] gcd( m , n ) = 1の整数m、n、kが与えられた場合:

コイン問題の特殊なケースの 1 つは、マックナゲット数とも呼ばれることがあります。コイン問題のマックナゲット版は、アンリ・ピチオットによって紹介され、1987 年にGames Magazineにパズルとして掲載され[ 17 ]、アニタ・ワーと共著した代数学の教科書にも含まれています[ 18 ] 。ピチオットは、1980 年代に息子とマクドナルドで食事をしているときに、ナプキンに問題を解いてこの応用を思いつきました。マックナゲット数とは、任意の数の箱に入ったマクドナルドのチキンマックナゲットの総数です。英国では、オリジナルの箱 (ハッピーミールサイズのナゲットボックスが導入される前) には、6 個、9 個、20 個のナゲットが入っていました。
シュールの定理によれば、6、9、20は(集合ごとに)互いに素であるため、十分に大きな整数は、これら3つの整数の(非負の整数)線形結合として表すことができる。したがって、最大の非マクナゲット数が存在し、それより大きいすべての整数はマクナゲット数である。つまり、有限個の例外を除いて、すべての正の整数はマクナゲット数である。
したがって、最大の非マクナゲット数は43である。[ 19 ] 43より大きい整数はすべてマクナゲット数であるという事実は、次の整数分割を考慮することで確認できる。
より大きな整数は、上記の適切な分割に6を何個か加えることで得られます。簡単な確認で、43個のマックナゲットは実際には購入できないことがわかります。
ハッピーミールサイズの4ピース入りナゲットボックスが導入されて以来、マックナゲット以外の最大ピース数は11個です。9ピースサイズが10ピースサイズに置き換えられた国では、奇数を作ることができないため、マックナゲット以外の最大ピース数は存在しません。
ラグビーユニオンでは、ペナルティゴール(3点)、ドロップゴール(3点)、トライ(5点)、コンバージョントライ(7点)の4種類の得点があります。これらを組み合わせることで、1、2、4点以外の任意の得点が可能です。ラグビーセブンズでは、4種類の得点方法すべてが認められていますが、ペナルティゴールはまれで、ドロップゴールはほとんど見られません。つまり、チームの得点は、トライ(5点)とコンバージョントライ(7点)の倍数で構成されることがほとんどです。以下の得点(1、2、4点に加えて)は、5と7の倍数では作れないため、セブンズではほとんど見られません:3、6、8、9、11、13、16、18、23。例えば、2014-15セブンズワールドシリーズのどの試合でも、これらの得点は記録されませんでした。
同様に、アメリカンフットボールでは、チームがちょうど1点を獲得できる唯一の方法は、タッチダウン後のコンバージョンを試みたときに相手チームにセーフティが与えられる場合です(この場合、その値は6です)。通常のプレーでのセーフティには2点、フィールドゴールには3点が与えられるため、1-0、1-1、2-1、3-1、4-1、5-1、7-1以外のすべてのスコアが可能です。これは、スコリガミの概念に直接関係しています。
シェルソートアルゴリズムは、時間計算量が未解決問題となっているソートアルゴリズムである。最悪の場合の時間計算量には上限があり、これは与えられた正の整数列のフロベニウス数を用いて表すことができる。
ペトリネットは、分散コンピューティングにおける問題をモデル化するのに役立ちます。特定の種類のペトリネット、すなわち保守的な重み付き回路の場合、与えられた重みを持つ可能な「状態」または「マーキング」のうち、どれが「生存」しているかを知りたい場合があります。最小の生存重みを決定する問題は、フロベニウス問題と同等です。
1変数多項式をあるべき乗にすると、その多項式の指数を整数の集合として扱うことができます。展開された多項式には、次のべき乗が含まれます。ある指数(GCD=1の場合)のフロベニウス数よりも大きい、例えば、集合は{6, 7}であり、フロベニウス数は 29 なので、項はいかなる値でも表示されませんしかし、いくつかの価値は権限のある条件を与える29より大きい。指数の最大公約数が1でない場合、ある値より大きいべき乗は、最大公約数の倍数である場合にのみ表示されます。たとえば、、24、27、...のべき乗がいくつかの値で現れます。ただし、3の倍数でない24より大きい値(1~8、10~14、16、17、19~23の小さい値も含む)は使用しない。