diff options
Diffstat (limited to 'controle-20200123.tex')
| -rw-r--r-- | controle-20200123.tex | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/controle-20200123.tex b/controle-20200123.tex index 9f4635e..baab8ad 100644 --- a/controle-20200123.tex +++ b/controle-20200123.tex @@ -460,11 +460,12 @@ pour $i\in F$ (et $i<j_1$). (8) Déduire de l'ensemble de cet exercice que le problème suivant est calculable algorithmiquement\footnote{Autrement dit, montrer qu'il existe un algorithme qui, prenant en entrée $\ell_1,\ldots,\ell_r - \in \mathbb{N}$, répond au problème posé.} : donné des entiers -naturels $\ell_1,\ldots,\ell_r \in \mathbb{N}$, décider s'il y a un -nombre fini d'entiers naturels qui ne peuvent pas s'écrire sous la -forme $\ell_1 m_1 + \cdots + \ell_r m_r$ avec $m_1,\ldots,m_r \in -\mathbb{N}$, et, le cas échéant, les énumérer. + \in \mathbb{N}$, termine toujours en temps fini et répond au + problème posé.} : donné des entiers naturels $\ell_1,\ldots,\ell_r +\in \mathbb{N}$, décider s'il y a un nombre fini d'entiers naturels +qui ne peuvent pas s'écrire sous la forme $\ell_1 m_1 + \cdots + +\ell_r m_r$ avec $m_1,\ldots,m_r \in \mathbb{N}$, et, le cas échéant, +les énumérer. \begin{corrige} Il suffit d'appliquer la même méthode qui a été utilisée dans les |