Gr{ö}bner basis. a "pseudo-polynomial" algorithm for computing the Frobenius number
Let consider n natural numbers a_1,…,a_n. Let S be the numerical semigroup generated by a_1,…,a_n. Set A=K[ta_1,…,ta_n]=K[x_1,…,x_n]/I. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on a_1, which computes The Ap{é}ry set and the Frobenius number of S. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to S?\item The \gbb of I for the reverse lexicographic order to x_n,…,x_1, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to x_n,…,x_1.\item A as a K[ta_1]-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions (k_1,…,k_n) of the inequality ∏_i=2n(k_i+1)≤a_1+1. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for n=17, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm