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