Boolean satisfiability problemIn logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE. If this is the case, the formula is called satisfiable.
2-satisfiabilityIn computer science, 2-satisfiability, 2-SAT or just 2SAT is a computational problem of assigning values to variables, each of which has two possible values, in order to satisfy a system of constraints on pairs of variables. It is a special case of the general Boolean satisfiability problem, which can involve constraints on more than two variables, and of constraint satisfaction problems, which can allow more than two choices for the value of each variable.
HH, or h, is the eighth letter in the Latin alphabet, used in the modern English alphabet, including the alphabets of other western European languages and others worldwide. Its name in English is aitch (pronounced eɪtʃ, plural aitches), or regionally haitch heɪtʃ. The original Semitic letter Heth most likely represented the voiceless pharyngeal fricative (ħ). The form of the letter probably stood for a fence or posts. The Greek Eta 'Η' in archaic Greek alphabets, before coming to represent a long vowel, /ɛː/, still represented a similar sound, the voiceless glottal fricative /h/.
P versus NP problemThe P versus NP problem is a major unsolved problem in theoretical computer science. In informal terms, it asks whether every problem whose solution can be quickly verified can also be quickly solved. The informal term quickly, used above, means the existence of an algorithm solving the task that runs in polynomial time, such that the time to complete the task varies as a polynomial function on the size of the input to the algorithm (as opposed to, say, exponential time).
H-droppingH-dropping or aitch-dropping is the deletion of the voiceless glottal fricative or "H-sound", [h]. The phenomenon is common in many dialects of English, and is also found in certain other languages, either as a purely historical development or as a contemporary difference between dialects. Although common in most regions of England and in some other English-speaking countries, and linguistically speaking a neutral evolution in languages, H-dropping is often stigmatized as a sign of careless or uneducated speech.
