Английская Википедия:2-satisfiability: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

21 декабря 2023

  • текущ.пред. 14:0314:03, 21 декабря 2023‎ EducationBot обсуждение вклад‎ 66 254 байта +66 254‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{short description|Logic problem, AND of pairwise ORs}} {{good article}} In 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 genera...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:2-satisfiability