Временная и пространственная сложность алгоритмов/Задачи/SAT-in-LOGSPACE

Материал из DISCOPAL
< Временная и пространственная сложность алгоритмов‎ | Задачи
Версия от 19:50, 7 декабря 2017; StasFomin (обсуждение | вклад) (Новая страница: «<latex> %cabook-ex-01-04-p53 Докажите, что \[ SAT \in LOGSPACE \] Напомним, что начальное описание задачи на ле…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=Временная_и_пространственная_сложность_алгоритмов/Задачи/SAT-in-LOGSPACE&oldid=6454»