211
правок
Изменения
м
Нет описания правки
Построим такую функцию <tex>f</tex>, что <tex>x \in L \Leftrightarrow f(x) \in TQBF</tex> и <tex>T(f, x) \le p(|x|)</tex>, где <tex>p</tex> — полином.
Так как <tex>L \in \mathrm{PS}</tex>, то существует детерминированная машина Тьюринга <tex>M</tex>, распознающая его с использованием памяти полиномиального размера. Будем считать, что длина ленты машины <tex>M</tex> есть <tex>r(|x|n)</tex>, где <tex>r</tex> — полином, а <tex>n</tex> — длина входа. Пусть <tex>\Omega = |\Sigma \cup Q|</tex>.
Пусть <tex>\Omega = |\Sigma \cup Q|</tex>, <tex>I</tex> — конфигурация <tex>M</tex>. Конфигурация однозначно задаётся позицией и содержанием рабочей ленты. Введём обозначение <tex>x_{I,i,c}</tex> — в конфигурации <tex>I</tex> на <tex>i</tex>-том месте стоит символ <tex>c</tex>. Тогда размер конфигурации равен <tex>\Omega r(n)</tex>. Следовательно всего конфигураций <tex>2^{\Omega r(n)}</tex>.
Под выражением <tex>\exists I</tex> будем понимать <tex> \exists x_{I,1,c_1} \, \exists x_{I,1,c_2} \ldots \exists x_{I,1,c_\Omega} \, \exists x_{I,2,c_1} \ldots</tex> Аналогично выражение <tex> \forall I</tex> обозначает <tex> \forall x_{I,1,c_1} \, \forall x_{I,1,c_2} \ldots \forall x_{I,1,c_\Omega} \, \forall x_{I,2,c_1} \ldots</tex>
