summaryrefslogtreecommitdiffstats
path: root/controle-20200123.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2020-01-21 15:35:59 +0100
committerDavid A. Madore <david+git@madore.org>2020-01-21 15:35:59 +0100
commit2a0c807449b12655b0ef716da0bc226ef47e4004 (patch)
treed60fe4af33a3323790dd84f1a9d8ed6fb376aa6a /controle-20200123.tex
parentada842e2ec27133d3a60d092590ea11f8bde6053 (diff)
downloadinf105-2a0c807449b12655b0ef716da0bc226ef47e4004.tar.gz
inf105-2a0c807449b12655b0ef716da0bc226ef47e4004.tar.bz2
inf105-2a0c807449b12655b0ef716da0bc226ef47e4004.zip
Clarification.
Diffstat (limited to 'controle-20200123.tex')
-rw-r--r--controle-20200123.tex11
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