En logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable...
3 KB (425 words) - 20:38, 12 December 2021
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...
35 KB (5,376 words) - 17:12, 14 January 2024
simples (en temps polynomial) à tester la satisfaisabilité de sa négation. Le problème de la satisfaisabilité d'une proposition, à savoir trouver une configuration...
47 KB (6,618 words) - 19:56, 6 June 2024
\Box \psi )} On peut également définir les notions de validité, de satisfaisabilité et d'équivalence en se restreignant à un modèle, à un cadre ou à une...
26 KB (4,183 words) - 15:56, 16 October 2023
importance en théorie de la complexité des algorithmes s'intéressant à la satisfaisabilité d'une formule logique. Sur les autres projets Wikimedia : Sat, sur...
2 KB (251 words) - 21:56, 30 September 2023
logique polyvalente (à nombre fini de valeurs) est complète et que la satisfaisabilité est décidable. Une logique p-valente a p(pn) connecteurs n-aires pour...
5 KB (674 words) - 15:05, 12 February 2024
conjecture est vraie, alors il est démontré que le problème NP-complet de k-satisfaisabilité, avec k ≥ 3 {\displaystyle k\geq 3} , ne peut être résolu par un algorithme...
41 KB (5,326 words) - 14:06, 16 August 2024
ensembles récursivement énumérables (pour la réduction récursive). La satisfaisabilité d'un ensemble de clauses du calcul propositionnel est un problème NP-complet...
7 KB (986 words) - 22:02, 1 February 2024
définitions : celles relatives à l'utilisation de modèles (du premier ordre) : satisfaisabilité et falsifiabilité, loi logique et contradiction logique, conséquence...
23 KB (3,431 words) - 20:10, 6 July 2024
Logique des graphes (section Satisfaisabilité)
Cependant, la satisfaisabilité des propositions de MSO2 décidable pour les graphes de largeur arborescente bornée et de satisfaisabilité des propositions...
40 KB (5,173 words) - 13:55, 19 July 2024
désigner un ensemble de méthodes visant à résoudre le problème de satisfaisabilité. Différents corpus mathématiques ont été utilisés pour élaborer des...
15 KB (2,109 words) - 14:06, 14 April 2024
générer la clause vide. Par contre, le problème de la consistance (satisfaisabilité) n'étant pas décidable en logique des prédicats, il n'existe pas de...
8 KB (1,592 words) - 14:27, 4 January 2024
effectivement dans le monde réel. Pour cela, Tarski introduit le concept de satisfaisabilité, au sens que la proposition "il neige" est satisfaite par la réalité...
32 KB (4,984 words) - 12:42, 19 July 2024
proches mais plus "faciles" à résoudre. C'est notamment le cas de la satisfaisabilité d'une formule de Horn, puisqu'il s'agit d'un problème P-complet, plus...
3 KB (402 words) - 20:54, 5 March 2023
manière probabiliste pour un problème NP-complet comme le problème de satisfaisabilité booléenne. Dans un système de preuves vérifiables de manière probabiliste...
82 KB (9,347 words) - 05:26, 14 September 2023
des fonctions qui permettent de réaliser des tests de cohérence (ou satisfaisabilité) en temps polynomial en la taille du circuit, en contre-partie de tels...
21 KB (2,954 words) - 22:35, 23 April 2024
théorème qui affirme que le problème SAT, c'est-à-dire le problème de satisfaisabilité d'une formule de la logique propositionnelle, est NP-complet. Il a...
10 KB (961 words) - 19:55, 10 May 2023
turbo codes, l'approximation de l'énergie libre, et les modèles de satisfaisabilité. Cet algorithme fut proposé pour la première fois par Judea Pearl,...
24 KB (3,411 words) - 08:33, 31 July 2023
fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule. La terminologie fait référence au logicien Thoralf Skolem...
7 KB (1,206 words) - 08:26, 11 November 2019
logique Théorème de Löwenheim-Skolem Logique modale Théorie des modèles Satisfaisabilité Vérité Mates, Benson (1972), Elementary Logic, Second Edition, New...
12 KB (1,562 words) - 10:13, 15 July 2024
dans des graphes aléatoires avec un degré donné,, des problèmes de satisfaisabilité aléatoire, de l'acyclic coloring, la décomposition arborescente, et...
7 KB (556 words) - 14:18, 21 February 2023
Zypper. Elle repose sur un algorithme de résolution de dépendances par satisfaisabilité bien plus efficace, rapide et économe en mémoire que l'algorithme itératif...
6 KB (769 words) - 20:15, 29 March 2024
transitions de phase pour les instances aléatoires du problème de satisfaisabilité. Il a prouvé un problème longtemps ouvert en informatique, la conjecture...
8 KB (845 words) - 10:49, 12 May 2024
deux ou trois matroïdes, et dans 2-SAT et 3-SAT pour le problème de satisfaisabilité. Lenstra écrit que « Gene commenterait invariablement que c'est pour...
12 KB (1,353 words) - 05:21, 5 August 2024
premier ordre[réf. nécessaire]. En 1999, W. Plandowski a démontré que la satisfaisabilité d'une équation de mots est dans PSPACE, alors que l'on ne connaissait...
10 KB (1,196 words) - 19:51, 19 January 2023
En informatique théorique, le problème de satisfaisabilité d'un circuit (aussi connu sous le nom de CIRCUIT-SAT, CircuitSAT, CSAT[réf. nécessaire], etc...
9 KB (1,195 words) - 20:07, 13 July 2024
logique d'origine. La complexité de calcul des tâches telles que la satisfaisabilité ou la vérification de modèle dans un fragment ne peut pas être plus...
2 KB (278 words) - 03:48, 22 April 2023
et la planification Réécriture de termes et logique équationnelle Satisfaisabilité Sécurité Sémantique des langages de programmation Sujets émergents :...
5 KB (360 words) - 07:52, 1 September 2023
Lemme local de Lovász (LLL), qui fournit des critères forts pour la satisfaisabilité des problèmes avec contraintes comme dans les formules de la logique...
5 KB (581 words) - 12:40, 9 September 2023