Теоремы о временной и ёмкостной иерархиях

Эта статья находится в разработке!

Определение:

Функция [math]f(x)[/math] называется конструируемой по памяти, если можно вычислить [math]f(x)[/math] по [math]x[/math], используя памяти не более [math]f(x)[/math].

Теорема (о емкостной иерархии):

Пусть даны две конструируемые по памяти функции [math]f[/math] и [math]g[/math] такие, что [math]\lim \limits_{n\rightarrow\infty} \frac{f(n)}{g(n)}=0[/math], тогда [math]DSPACE(g(n))\neq DSPACE(f(n))[/math].

Доказательство:

[math]\triangleright[/math]

Для доказательства воспользуемся диагональным методом. Рассмотрим функцию [math]h(n)=\sqrt{f(n)g(n)}[/math] и язык [math]L=\{x|x(x)\Bigr|_{s\leq h(|x|)}\neq 1\}[/math], где [math]s[/math] — ограничение на память, в случае достижения которого выполнение программы прерывается. Иначе говоря, [math]L[/math] — это язык программ, которые, если на вход подать саму программу, не возвращают 1 при условии ограничения на память [math]h(|x|)[/math]. Докажем, что [math]L\in DSPACE(g(n))\setminus DSPACE(f(n))[/math]. Очевидно, что [math]L \in DSPACE(g(n))[/math]. Предположим теперь, что [math]L \in DSPACE(f(n))[/math]. Тогда существует программа [math]p[/math], распознающая язык [math]L[/math] и использующая не более [math]c \cdot f(n)[/math] памяти. Т. к. [math]f(n)=o(h(n))[/math], то [math]\exists n_0: \forall n\gt n_0~c\cdot f(n)\lt h(n)[/math]. Будем считать, что [math]|p|\gt n_0[/math] (иначе добавим в программу пустые строки, искусственно увеличив её длину), тогда при вызове [math]p(p)[/math] потребуется не более [math]h(|p|)[/math] памяти. Выясним, принадлежит ли [math]p[/math] языку [math]L[/math]. Допустим, что [math]p\in L[/math], тогда [math]p(p)=1[/math], значит, [math]p\notin L[/math] по определению языка [math]L[/math]. Пусть теперь [math]p\notin L[/math]. Но тогда [math]p(p)=1[/math], следовательно, [math]p\in L[/math]. Таким образом, язык [math]L[/math] не может быть из [math]DSPACE(f(n))[/math], следовательно, язык из [math]DSPACE(g(n))\setminus DSPACE(f(n))[/math] найден.

[math]\triangleleft[/math]

Определение:

Функция [math]f(x)[/math] называется конструируемой по времени, если можно вычислить [math]f(x)[/math] по [math]x[/math] за время не более [math]f(x)[/math].

Теорема (о временной иерархии):

Пусть даны две конструируемые по времени функции [math]f[/math] и [math]g[/math] такие, что [math]\lim \limits_{n\rightarrow\infty} \frac{Sim(f(n))}{g(n)}=0[/math], тогда [math]DTIME(g(n))\neq DTIME(f(n))[/math].

Доказательство:

[math]\triangleright[/math]

Доказательство аналогично доказательству теоремы о емкостной иерархии.

[math]\triangleleft[/math]