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