Discussion:Propagation de contraintes
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Informatique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Cohérence ou consistance
modifierJ'ai commencé à changer les "consistance" en "cohérence", car très nettement, l'usage du premier relève d'une traduction hâtive de l'anglais vers un faux ami. Il est possible que l'usage de ce barbarisme l'emporte sur une traduction juste, donc peut-être vaut-il mieux garder les deux ou revenir vers "consistance"... Question ouverte pour les experts, en attendant, j'ai laissé les deux dans le titre.
Dorbec (discuter) 21 mars 2017 à 15:59 (CET)
- Cohérence, plus cohérent en effet. Par contre, il reste d'autres problèmes à régler dans cet article :
- Doit-on dire cohérence par arc ou d'arc, et arc doit-il prendre un s final ?
- La même question se pose pour nœud, hyperarc et d'autres termes.
- Ne sachant pas trancher cette affaire de cohérence/consistance de façon satisfaisante à l'endroit de la k-consistance, je passe la main à d'autres.
- L'article m'a souvent paru inutilement compliqué ou laborieux (peut-être faudrait-il en retravailler la tournure par endroits pour le rendre plus accessible).
- À l'attention de Dorbec et de tout autre vaillant wikipédien.--Braaark (discuter) 1 avril 2018 à 01:12 (CEST)
- Merci pour la contribution, Braaark
- J'aurais tendance à trancher vers cohérence d'arcs pour la propriété globale, et cohérente par arc pour une contrainte binaire. La motivation est que la cohérence d'arcs est la cohérence par arc pour chacune des contraintes binaires.
- Du coup, j'ai aussi été utiliser les termes de -cohérence. Cela vaudrait le coup d'exploiter la page en anglais pour clarifier l'ensemble de cette page...
- Dorbec (discuter) 5 avril 2018 à 15:12 (CEST)
