Problème Sat vs Problème des invités.

[invite34915237]

Salut,

Le problème Sat est bien connu donc je ne le re-décris pas.

Problème des invités (La science du bon comportement ), est le suivant :

On prend n invités et un hôte.
Chaque invités à des demandes qui peuvent contradictoires entre plusieurs invités différents et même entre un même invité à 2 temps différents.
La question est comment répondre en fâchant personne, sans user complètement l'hôte.


Le nombre de variables maximales (n), nécessaire pour rendre compte, par Sat du problème de l'invité est-il minoré par ?

Le nombre d'hôte minimales (n), suffisant pour rendre compte, par le problème de l'invité, du problème Sat est-il majorée, par ?

Si, tel est le cas, la recherche spatiale + le VLT + le ELT + le ...., c'est rien comparer à l'intelligence qu'il faut développer pour pouvoir honorer convenablement 100 invités (je prends une variable large, mais je pense que 20 invités devraient suffire)....

Cordialement.
-----

[iharmed]

Salut,

Le problème Sat est bien connu donc je ne le re-décris pas.

Problème Sat,, je ne le connais pas

Dans le lien je trouve « En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. …… » …………….. « Ce problème est très important en théorie de la complexité. »

Complexité ; ………..Je n’arrive pas suivre !!!!

Je ne sais pas comment vous dites que c’est bien connu dans une rubrique dite ludique