Bonjour,
Encore a propos de cet exercice régional 2016 de niveau 7
https://prologin.org/train/2016/semifinal/reproduction_de_minkowskosaures
L'énoncé dit "Il est garanti que pour tout groupe de minkowskosaures qui quémande votre aide, il n'y a qu'un seul groupe de parents solution."
Mais dans le cas plus général il existe des groupes comme par exemple [11,12,13,21,22,23] qui admettent plusieurs antécédents par exemple [5,6,7,16] et [1,10,11,12].
Question : J'en déduis qu'il n'existe pas d'algorithme exact qui calcule 'LA' solution mais qu'il faut rechercher un algorithme euristique qui tend vers 'UNE DES' solutions par approximations successives. Suis-je dans la bonne voie ? Cet algorithme a-t-il un nom ?