Обсуждение:Теорема о ёмкостной иерархии — различия между версиями
(Новая страница: «"Любая такая машина использует памяти не более <tex>f(|\langle m_1,x\rangle|)</tex>." Отсюда следует, что п…») |
|||
| Строка 1: | Строка 1: | ||
"Любая такая машина использует памяти не более <tex>f(|\langle m_1,x\rangle|)</tex>." | "Любая такая машина использует памяти не более <tex>f(|\langle m_1,x\rangle|)</tex>." | ||
| − | Отсюда следует, что построенная машина принадлежит классу | + | Отсюда следует, что построенная машина принадлежит классу DSPACE(f), что неверно. Кажется, должно быть что-то типа + константа в вышеприведенном утверждении. |
Версия 16:00, 29 мая 2010
"Любая такая машина использует памяти не более ."
Отсюда следует, что построенная машина принадлежит классу DSPACE(f), что неверно. Кажется, должно быть что-то типа + константа в вышеприведенном утверждении.
