Optimisation linéaire en nombres entiersL'optimisation linéaire en nombres entiers (OLNE) (ou programmation linéaire en nombres entiers (PLNE) ou integer programming (IP) ou Integer Linear Programming (ILP)) est un domaine des mathématiques et de l'informatique théorique dans lequel on considère des problèmes d'optimisation d'une forme particulière. Ces problèmes sont décrits par une fonction de coût et des contraintes linéaires, et par des variables entières.
Function problemIn computational complexity theory, a function problem is a computational problem where a single output (of a total function) is expected for every input, but the output is more complex than that of a decision problem. For function problems, the output is not simply 'yes' or 'no'. A functional problem is defined by a relation over strings of an arbitrary alphabet : An algorithm solves if for every input such that there exists a satisfying , the algorithm produces one such , and if there are no such , it rejects.
Nombre parfaitEn arithmétique, un nombre parfait est un entier naturel égal à la moitié de la somme de ses diviseurs ou encore à la somme de ses diviseurs stricts. Plus formellement, un nombre parfait n est un entier tel que σ(n) = 2n où σ(n) est la somme des diviseurs positifs de n. Ainsi 6 est un nombre parfait car ses diviseurs entiers sont 1, 2, 3 et 6, et il vérifie bien 2 × 6 = 12 = 1 + 2 + 3 + 6, ou encore 6 = 1 + 2 + 3. Voir la . Dans le Livre IX de ses Éléments, Euclide, au , a démontré que si M = 2 − 1 est premier, alors M(M + 1)/2 = 2(2 – 1) est parfait.
Nombre abondantEn mathématiques, un nombre abondant est un nombre entier naturel non nul qui est strictement inférieur à la somme de ses diviseurs stricts ; autrement dit, c'est un entier n strictement positif tel que : où est la somme des entiers positifs diviseurs de n, cette fois. Exemples : Prenons le nombre 10 : Les diviseurs de 10 sont 1, 2, et 5. La somme 1 + 2 + 5 donne 8. Or 8 est inférieur à 10. Conclusion : 10 n'est donc pas un nombre abondant. Prenons le nombre 12 : Les diviseurs de 12 sont 1, 2, 3, 4, et 6.
