Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. 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 important en théorie de la complexité.
Problème 2-SATEn informatique théorique, le problème 2-SAT est un problème de décision. C'est une restriction du problème SAT qui peut être résolu en temps polynomial, alors que le problème général est NP complet. Le problème 2-SAT consiste à décider si une formule booléenne en forme normale conjonctive, dont toutes les clauses sont de taille 2, est satisfaisable. De telles formules sont appelées 2-CNF ou formules de Krom. On considère des formules en forme normale conjonctive, c'est-à-dire que ce sont des ET de OU de littéraux (un littéral est une variable ou la négation d'une variable).
H (lettre)H est la huitième lettre et la consonne de l'alphabet latin. La lettre sémitique ח (khêt) représentait probablement la consonne fricative pharyngale sourde . La forme du caractère représente sans doute une clôture. Le H de l'alphabet grec primitif représentait la consonne fricative glottale sourde , mais plus tard cette lettre devint êta (Η, η), une voyelle longue, . En grec moderne ce phonème a fusionné avec . L'étrusque et le latin possédaient le phonème , mais toutes les langues romanes, à l’exception du roumain et du gascon, ont perdu ce son.
Problème P ≟ NPvignette|400px|Représentation visuelle des deux configurations possibles. Le problème P ≟ NP est une conjecture en mathématiques, et plus précisément en informatique théorique, considérée par de nombreux chercheurs comme une des plus importantes conjectures du domaine, et même des mathématiques en général. L'Institut de mathématiques Clay a inclus ce problème dans sa liste des sept problèmes du prix du millénaire, et offre à ce titre un million de dollars à quiconque sera en mesure de démontrer P = NP ou P ≠ NP ou de démontrer que ce n'est pas démontrable.
H muetLe h muet est une forme d'emploi dans la langue française de la lettre h, opposée au h aspiré. À l'oral, un h muet n'a aucune incidence sur la prononciation, et par conséquent, lorsqu'un mot commence par un h muet, on effectue la liaison et l'élision avec le mot précédent. Ainsi, l'heure se prononce comme l'Eure. Dans les autres langues romanes occidentales, le h est toujours muet, mais dans les langues romanes orientales il est prononcé. Prononciation du français H aspiré Les esprits dans le grec ancien C