Disons que j'ai une solution, une preuve par récurrence, un algorithme, mais je n'ai pas besoin de l'ordi pour savoir que ça marche. Je voulais savoir si ton programme était un "brute force" ou plutôt la mise en oeuvre d'un algorithme "humain" intelligent.

Ajout de la solution dans le post initial.

Merci à tous les participants!

Je persiste à dire que tous ces sujets peuvent être abordés de la même façon, en base 3.

"Tous ces sujets": Un termes bien vague non ? Quand il y a une boule? Quand il y a 2 boules? Quand il y a N boules? Quelque soit l'information partielle connu au départ? Quelque soit les éventuelles autres contraintes? De manière général dans les problèmes ou on peut poser un certain nombre de questions?
-> Il y a nécessairement un cadre précis dans lequel ce que tu dis s'applique, et en dehors duquel  ça ne s'applique plus et il faut le donner sinon ça n'a pas de valeur!

"En base 3": Une base ou un outil mathématique c'est indépendant d'une idée. Ce quoi l’idée? c'est quoi l'argument? ou alors un lien vers un endroit ou tu le donnes?

Tu peux gagner le droit de dire que ça peut se faire "sans ordi" si:
-Tu démontres rigoureusement que le nombre de pesées minimal est exactement de tant.
-Tu fournis une méthode qui atteint ce minimum dans tous les cas.

Pour le problème avec une boule, initialement sans information, il est sans doute possible "sans ordi". Mais je n'ai toujours pas vu de démo et si j'en vois une elle ne s'appliquera sans doute qu'à ce problème.

La base est d'admettre qu'une balance penche d'un côté, de l'autre , ou pas.
C'est la seule info utile que l'on peut retirer d'une pesée.

Savoir le résultat d'une pesée n'a aucun intérêt si tu ne connais pas le détail de la pesée.
Si tu dis qu'on a suffisamment d'information en mémorisant le détail de chaque pesée et leur issue alors:
-C'est trivial, parce que c'est l'intégralité des informations.
-C'est bien trop d'information par rapport à ce qui est nécessaire.

Je laisse tomber...

Moi qui pensais que tu avais détaillé quelque part ce que tu clamais, et que je l'avais loupé, je suis aussi déçu et triste.

Toi aussi tu pars d'une info initiale : tout est possible...

Je n'ai jamais dit que je n'avais pas d'information au départ, ni après chaque pesée. C'est même le but de ce thread: déterminer quelle information il faut avoir au minimum.
La conclusion de ce thread est que l'information TOTALE à garder en tête, que ça soit au début ou après plusieurs pesée, est de taille proportionnelle au nombre de boules. (Dans ce que je critique au dessus c'est proportionnel au nombres de pesée déjà réalisée et c'est trop!)

Je me retrouve encore une fois confronté à un mathématicien qui veut des formules, des algorithmes, des preuves....

Non c'est faux moi je ne veux rien. C'est toi qui clame quelque chose donc pour avoir le droit de le clamer il faut pouvoir le démontrer. Sinon rien empêche de dire que tu le sens, le conjecture, que c'est probablement vrai, que c'est ce que tu penses etc... A partir du moment ou tu dis que c'est une vérité, il faut pouvoir le démontrer.

Bien sûr qu'on doit pouvoir trouver des idées tordues où tel ou tel cas ne marche pas.

La je pers le fil, tu disais pas que tu avais quelque chose qui marche systématiquement?

Mais avec une balance, même un non mathématicien comprend qu'on n'a que 3 cas possibles à chaque pesée. Donc la limite dépend de la base 3.

Toi tu restes sur ta position en pensant que je veux noyer de l'instinct ou du bon sens dans des maths, c'est faux. Oui je comprend qu'il y a 3 issues à une pesée et je n'ai jamais dit le contraire.

Ceci dit on est en énigmes "mathématique"s et non "logiques" donc il va falloir que je modère mon propos car je n'ai pas de preuve mathématique du problème à fournir.

Tu ne devrais pas opposer les mathématiques au bon sens. Absolument rien empêche d'utiliser le bon sens en math, tu peux parfaitement faire une démonstration rigoureuse sans terme pompeux.

Je pense que tu voulais mettre en évidence une corrélation entre la pensée humaine et les dll.
Me suis-je fourvoyé?


edit:je me suis fourvoyé