Esiste un riferimento definitivo per le macchine di Turing con più nastri oracolari?


10

La maggior parte della letteratura sembra riguardare macchine con singoli oracoli per problemi specifici, tuttavia sembrano esserci alcuni documenti che considerano macchine con più oracoli. Esiste un buon documento o tesi che fornisce una panoramica di ciò che si sa di tali macchine? In particolare sono interessato a P con più oracoli.


3
Se si desidera solo un numero finito N di oracoli, è possibile definire un oracolo composto N-in-1 utilizzando i primi bit di registro (N) dell'oracolo composto per indicare quale sottooracolo si desidera interrogare. Mi sto perdendo qualcosa?
Niel de Beaudrap,

Sì, ci avevo pensato. Tuttavia, sono interessato a specifici gruppi di oracoli, e quindi sembra più naturale considerarli separatamente che come un oggetto composto. Ho pensato che forse ci sarebbero stati dei bei risultati in questa direzione.
Joe Fitzsimons,

1
solo per curiosità, avere più oracoli aggiunge più potenza computazionale rispetto a una singola macchina oracolare? Mi sembra di no, perché prendi l'oracolo corrispondente alla lingua nella classe di massima complessità. Inoltre, avere un numero fisso di oracoli rallenterà la macchina di una costante.
Marcos Villagra,

1
Sono con il commento di Marcos sull'oracolo più forte che comprende gli altri ... ma sono interessato a quello che avevi in ​​mente adesso!
Daniel Apon,

1
Stai pensando di consentire infiniti oracoli, in cui la TM può scegliere quale oracolo interrogare? Con una tale configurazione potrebbe esserci un'interessante differenza tra una serie di oracoli in cui ognuno era strettamente più debole di qualche altro oracolo Q e Q stesso.
András Salamon,

Risposte:


5

Ecco un documento più recente che fa la differenza tra oracoli singoli e multipli motivati ​​dalla crittografia:

Donald Beaver e Joan Feigenbaum. Nascondere le istanze nelle query multioracle . STACS 1990. Springer Appunti di lezione in Informatica, 1990, Volume 415/1990, 37-48, DOI: 10.1007 / 3-540-52282-4_30


solo una domanda, ritengo che il concetto di multi-oracolo abbia senso solo se gli oracoli non possono essere collassati l'uno nell'altro per alcuni (percepiti?) motivi di sicurezza?
Ahmed Masud,

3

Ecco un documento più vecchio che potresti trovare utile: Macchine spazio log con più nastri Oracle di Nancy Lynch al MIT ( PDF ). In particolare Teorema 2.2, in PDF-pagina 5, potrebbe essere il tipo di cosa che stai cercando. C'è anche una sezione sulle gerarchie definita da diversi numeri di nastri oracolari per macchina.

Dichiarazione di non responsabilità dopo il fatto: sembra una domanda simile e (ancora più simile) la risposta è stata data qui .

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.