Satisfiabilité

Définitions de « satisfiabilité »

Satisfiabilité - Nom commun

• (Logique) Propriété d'une formule logique qui peut être rendue vraie par une certaine affectation des valeurs à ses variables propositionnelles.

  Dans son article sur les algorithmes, le journaliste note : 'La satisfiabilité, ce concept clé en logique, a la capacité unique de rendre une formule logique vraie simplement par l'affectation adéquate des valeurs à ses variables propositionnelles.'

Évolution historique de l’usage du mot « satisfiabilité » depuis 1800

Citations contenant le mot « satisfiabilité »

• La raison de cette petite révolution ? C’est la mise au point par les informaticiens de nouveaux algorithmes très efficaces pour résoudre ces problèmes : les « solveurs SAT ». Dans le langage informatique, SAT signifie « satisfiabilité ». Il s’agit d’un formalisme logique qui capture toute la difficulté d’un problème combinatoire pour tenter ensuite de le satisfaire. Prenez un jeu de Sudoku ou un démineur, ce sont là deux exemples très simples de problèmes qui peuvent être appréhendés et résolus très facilement par ce formalisme.

• Le problème de la satisfiabilité logique concerne la possibilité de satisfaire simultanément plusieurs conditions. Un exemple : lors d’une réception diplomatique, l’on a dressé une table circulaire pour N invités. Bien sûr, il est hors de question de mettre côte-à-côte des représentants de pays en conflit quoique certains méritent justement d’être mis ensemble pour régler les différends, il convient aussi de rapprocher des invités ayant des affinités, etc.

Traductions du mot « satisfiabilité »

Sources et ressources complémentaires

• Définitions du Wiktionnaire