Чи є остаточне посилання на машини Тьюрінга з кількома стрічками Oracle?


10

Більшість літератури, здається, стосуються машин з одинарними оракулами для конкретних проблем, однак, мабуть, є кілька робіт, які розглядають машини з декількома оракулами. Чи є хороший документ або теза, яка дає огляд того, що відомо про такі машини? Зокрема, мене цікавить Р з кількома оракулами.


3
Якщо ви хочете лише кінцеве число оракул, ви можете визначити складений оракул N-в-1, використовуючи біти першого журналу (N) складеного оракула, щоб вказати, який суборакул ви хочете запитувати. Я щось пропускаю?
Ніль де Бодорап

Так, я про це думав. Однак мене цікавлять конкретні набори оракул, і тому здається більш природним розглядати їх окремо, ніж як складений предмет. Я подумав, що, можливо, в цьому напрямку будуть якісь приємні результати.
Joe Fitzsimons

1
просто для цікавості, чи додавання декількох оракул додає більше обчислювальної потужності стосовно однієї машини oracle? Мені здається, що ні, тому що ти просто береш оракул, відповідний мові в класі найвищої складності. Крім того, наявність фіксованої кількості оракул уповільнить роботу машини на постійне значення.
Marcos Villagra

1
Я з коментарем Маркоса про найсильніший оракул, який підкоряє інших .. але мені цікаво, що ви мали на увазі зараз!
Даніель Апон

1
Ви думаєте дозволити нескінченно багато оракул, де TM може вибрати, який оракул запитувати? При такій установці може виникнути цікава різниця між набором оракул, у яких кожен був суворо слабкішим, ніж якийсь інший оракул Q, і самим Q.
Андраш Саламон

Відповіді:


5

Ось нещодавніший документ, який дає різницю між одинаковими та множинними оракулами, мотивованими криптографією:

Дональд Бівер та Джоан Фейгенбаум. Приховування примірників у запитах мультіораклу . STACS 1990. Лекційні записки Springer з інформатики, 1990, том 415/1990, 37-48, DOI: 10.1007 / 3-540-52282-4_30


лише питання, я вважаю, що концепція мульти-оракула має сенс лише в тому випадку, якщо оракули з якихось (сприйнятих?) причин безпеки не можуть бути згорнуті один на одного?
Ахмед Масуд

3

Ось старий документ, який вам може бути корисним: Машини журналу простору з декількома стрічками Oracle від Nancy Lynch на MIT ( PDF ). Зокрема, теорема 2.2 на сторінці PDF-5 може бути типом речі, яку ви шукаєте. Також є розділ про ієрархії, визначені різною кількістю стрічок Oracle на машині.

Були дані Схожий на подібне питання і (ще більш схоже) відповідь: Відмова від відповідальності після факту тут .

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.