Временная и пространственная сложность алгоритмов/Задачи/SAT-in-LOGSPACE — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<latex> %cabook-ex-01-04-p53 Докажите, что \[ SAT \in LOGSPACE \] Напомним, что начальное описание задачи на ле…») |
StasFomin (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
</latex> | </latex> | ||
| − | [[Категория: | + | [[Категория:Решенные задачи]] |
Версия 12:24, 17 декабря 2017