Je conjecturerais assez fort que l'optimal, c'est un truc comme ça dans le cas N=5:
Objet 1 dans 1 ou 2 ou 3 ou 4
Objet 2 dans 1 ou 2 ou 3 ou 4
Objet 3 dans 1 ou 2 ou 3 ou 4
Objet 4 dans 1 ou 2 ou 3 ou 4
Objet 1 dans 1 ou 2 ou 3 ou 5
Objet 2 dans 1 ou 2 ou 3 ou 5
Objet 3 dans 1 ou 2 ou 3 ou 5
Objet 1 dans 1 ou 2 ou 4 ou 5
Objet 2 dans 1 ou 2 ou 4 ou 5
Objet 1 dans 1 ou 3 ou 4 ou 5
Donc dans le cas général, ça donnerais
Mais, autant je pense pouvoir montrer que ces contraintes correspondent bien à l'énoncé (solution unique et plusieurs solutions si on enlève n'importe laquelle des contraintes), autant la preuve que c'est optimal (i.e. qu'on ne peut pas avoir plus de contraintes) là, j'ai aucune idée de par quel bout attaquer . . .