关于三元线性型的Frobenius问题

本文除说明外,所有字母都表示整数。 设a_i>0,i=1,2,…,k,(a_1;a_2,…,a_k)=1,Mk表示线性型f_k=sum from i=1 to ka_ix_i(x_i≥0,i=1,2,…k)的最大不可表数。 关于如何求Mk的问题,即k元线性型的Frobenius问题,是一个至今尚未完全解决的问题。当k=2时,M_2=a_1a_2-a_1-a_2,Frobenius问题已经完全解决了;对于k≥3,虽然人们已经找到了某些算法,但至今还没有找到类似于M_2=a_1a_2-a_1-a_2的公式,即用固定的有限次代数运算来表示Mk的“公式”。关于如何求M_3的问题,华罗庚在《数论导引》中