Un algorithme primitif récursif pour la fonction Inf

René David (1)

1 LAMA - Laboratoire de Mathématiques

We give a primitive recursive algorithm (for the structure of integers - in unary - and lists of integers ) that computes the minimum of two integers in linear time of this minimum. This algorithm refutes a conjecture of L.Colson

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

René David. Un algorithme primitif récursif pour la fonction Inf. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1993, 317, p 899-902. ⟨hal-00385000⟩