USAT — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
'''USAT''' (Unique [[SAT]]) это язык формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (выполняющий) набор <tex>x_1 \ldots x_n</tex>.
+
'''USAT''' (Unique '''[[SAT]]''') это язык формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (выполняющий) набор <tex>x_1 \ldots x_n</tex>.

Текущая версия на 19:35, 4 сентября 2022

USAT (Unique SAT) это язык формул [math]\phi(x_1 \ldots x_n)[/math], имеющих ровно один удовлетворяющий (выполняющий) набор [math]x_1 \ldots x_n[/math].