[论文解读] An extension of the Frobenius coin-exchange problem

Matthias Beck, Sinai Robins|ArXiv.org|Apr 2, 2002

Commutative Algebra and Its Applications参考文献 6被引用 5

一句话总结

本文通过引入 $k$-可表示整数（即能以恰好 $k$ 种方式表示为两个互质整数 $a$ 和 $b$ 的非负整数组合的整数）的概念，将经典的 Frobenius 硬币问题进行了扩展。利用 Popoviciu 公式和递归分拆函数分析，推导出所有大于等于 $g_k(a,b)$ 的整数均为 $k$-可表示的最小整数的精确公式，证明了 $g_k(a,b) = (k+1)ab - a - b$，并精确计算了特定范围内 $k$-可表示整数的数量。

ABSTRACT

Given positive integers $a_1,...,a_n$ with $\gcd(a_1,...,a_n) = 1$, we call an integer t representable if there exist nonnegative integers $m_1,...,m_n$ such that $t = m_1 a_1 + ... + m_n a_n$. In this paper, we discuss the linear diophantine problem of Frobenius: namely, find the largest integer which is not representable. We call this largest integer the Frobenius number $g(a_1,...,a_n)$. We extend this problem to asking for the smallest integer $g_k(a_1,...,a_d)$ beyond which every integer is represented more than k times. We concentrate on the case d=2 and prove statements about $g_k(a,b)$ similar in spirit to classical results known about g(a,b).

研究动机与目标

• 将经典的 Frobenius 数 $g(a,b)$ 推广为 $g_k(a,b)$，即所有大于该数的整数均能以超过 $k$ 种方式表示为 $a$ 和 $b$ 的非负整数组合的最小整数。
• 当 $d=2$ 且 $\gcd(a,b)=1$ 时，确定 $g_k(a,b)$ 和 $k$-可表示整数数量的精确公式。
• 利用分拆函数性质和留数计算，提供上述结果的解析和初等证明。
• 将经典结论（即 $[1, (a-1)(b-1)]$ 中恰好一半的整数是可表示的）推广至更高阶的 $k$-可表示性计数。

提出的方法

• 使用 Popoviciu 公式计算受限分拆函数 $p_{\{a,b\}}(n) = \frac{n}{ab} - \left\{\frac{b^{-1}n}{a}\right\} - \left\{\frac{a^{-1}n}{b}\right\} + 1$，其中 $a^{-1}$ 和 $b^{-1}$ 分别为模逆元。
• 通过留数定理对生成函数 $\frac{1}{(1-z^a)(1-z^b)z^{n+1}}$ 应用复分析，推导出分拆函数恒等式。
• 利用递归分解 $p_{\{a,b\}}(n) = \sum_{m \geq 0} p_{\{a\}}(n - mb)$，其中 $p_{\{a\}}(n)$ 在 $a|n$ 且 $n \geq 0$ 时为 1，否则为 0。
• 利用 $p_{\{a,b\}}(n + ab) = p_{\{a,b\}}(n) + 1$ 的周期性，分析 $k$-可表示整数在区间内的分布。
• 引入函数 $q_{\{a,b\}}(n)$，用于计数所有部分至少使用一次的表示方式，并通过 $q_{\{a,b\}}(n) = p_{\{a,b\}}(n - a - b)$ 将其与 $p_{\{a,b\}}(n)$ 关联。
• 提供两种独立证明：一种为解析方法（基于 Popoviciu 公式），另一种为初等方法（基于递归计数表示方式）。

实验结果

研究问题

• RQ1 大于等于 $g_k(a,b)$ 的最小整数是什么，使得所有更大的整数均可表示为 $a$ 和 $b$ 的非负整数组合，且表示方式超过 $k$ 种？
• RQ2 当 $\gcd(a,b) = 1$ 时，恰好 $k$-可表示的整数有多少个（$k \geq 2$）？
• RQ3 经典结论（即 $[1, (a-1)(b-1)]$ 中恰好一半的整数是可表示的）能否推广至 $k$-可表示整数？
• RQ4 分拆函数 $p_{\{a,b\}}(n)$ 的周期性行为是否可推广至更高阶的 $k$-可表示性计数？
• RQ5 $d=2$ 时的结果能否推广至 $d \geq 3$？

主要发现

• 对于 $k$-可表示性的 Frobenius 数为 $g_k(a,b) = (k+1)ab - a - b$，当 $k=0$ 时，该公式退化为经典公式 $g(a,b) = ab - a - b$。
• 当 $k \geq 2$ 时，最小的 $k$-可表示整数为 $ab(k-1)$，其严格大于 $g_{k-2}(a,b) + a + b$。
• 恰好有 $ab - 1$ 个唯一可表示的整数（即 $k=1$），且对每个 $k \geq 2$，恰好有 $ab$ 个 $k$-可表示整数。
• 在区间 $[1, ab]$ 内，$k$-可表示整数的数量为：当 $k=1$ 时为 $\frac{(a-1)(b-1)}{2}$，当 $k \geq 2$ 时为 $ab$，这是由于 $p_{\{a,b\}}(n)$ 的周期性所致。
• 所有 $k$-可表示整数（$k \geq 2$）所在的区间为 $[g_{k-2}(a,b) + a + b, g_k(a,b)]$，其长度为 $2ab - a - b + 1$。
• 结果通过 Popoviciu 公式和基于 $p_{\{a,b\}}(n) = \sum_{m \geq 0} p_{\{a\}}(n - mb)$ 的初等递归方法均得到证明，两种方法结果一致，验证了结果的可靠性。