В общем, лента запросов для оракула учитывает сложность пространства ТМ. Тем не менее, кажется правдоподобным разрешить запись оракула только для записи (например, которая используется в сокращениях L-пространства).
Полезна ли такая конструкция? Дает ли он какие-то особенно абсурдные результаты?
cc.complexity-theory
space-bounded
oracles
Джереми Хурвиц
источник
источник
Ответы:
Я думаю, что один удивительный факт заключается в том, что в этой модели теорема Савича не «явно» релятивизируется. То есть можно видеть, что и в этой модели, и в настоящее время мы не знаем, что (и теорема Савича в этом контексте, похоже, не дает этого). Я был бы заинтересован в том, может ли это быть "доказуемо" нерелятивизирующим.N P S P A C E P = N E X P T I M E E X P T I M E = N E X P T I M EпSпA CЕп= EИкспТяMЕ NпSпA CЕп= NЕИкспТяMЕ ЕИкспТяMЕ= NЕИкспТяMЕ
Можно также заметить, что в этой модели.NLNL= NLL= Nп
Тем не менее, я думаю, что об этой модели, по крайней мере, стоит подумать в отношении вопросов релятивизации в теореме о пространственной иерархии. Кроме того , в некотором смысле, я хочу сделать поли размером запросов к . ALA A
источник
Это может не ответить на ваш вопрос (который, честно говоря, я не до конца понимаю), но я думаю, что это в том же духе. Известно, что есть разница в сводимости между logspace TM с одной оракульной лентой и одной с доступом к нескольким оракульным лентам. Кроме того, следующее понятие пространства журналов обладает хорошими свойствами: TM может использовать только объем журнала на своей рабочей ленте, но он может использовать объем пространства полинома на своих лентах оракула.
Ссылка: http://groups.csail.mit.edu/tds/papers/Lynch/tcs78.pdf
источник
NSPACE (0) P = RE, что, я думаю, немного абсурдно.
Действительно, пусть L будет рекурсивно перечислимым языком, M TM, который распознает L и M ′ TM, который читает вход и число n, равное «1», а затем моделирует M для этого ввода на n шагов. Затем, не используя пробела, я мог бы скопировать данные на ленте оракула, угадать необходимое число 1 и запросить M ′.
Тогда M 'примет, если M примет, и будет достаточно большой вход, чтобы быть полиномиальным.
источник