USAT

Материал из Викиконспекты

Версия от 18:43, 3 мая 2010; Ulyantsev (обсуждение | вклад) (Новая страница: «'''USAT''' (Unique SAT) это множество формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (в…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

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

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=USAT&oldid=992»