Czy istnieje definitywne odniesienie do maszyn Turinga z wieloma taśmami wyroczni?


10

Wydaje się, że większość literatury dotyczy maszyn z pojedynczymi wyroczniami dla określonych problemów, jednak wydaje się, że istnieje kilka artykułów, które rozważają maszyny z wieloma wyroczniami. Czy istnieje dobra praca lub praca, która zawiera przegląd tego, co wiadomo o takich maszynach? W szczególności interesuje mnie P z wieloma wyroczniami.


3
Jeśli chcesz tylko skończoną liczbę N wyroczni, możesz zdefiniować wyrocznię złożoną N-w-1 za pomocą pierwszych logów (N) bitów wyroczni złożonej, aby wskazać, która podrzędność ma być zapytana. Czy coś brakuje?
Niel de Beaudrap,

Tak, myślałem o tym. Interesują mnie jednak określone zestawy wyroczni, więc bardziej naturalne wydaje się rozpatrywanie ich osobno niż jako obiektu złożonego. Pomyślałem, że być może w tym kierunku mogą być dobre wyniki.
Joe Fitzsimons,

1
dla ciekawości, czy posiadanie wielu wyroczni dodaje więcej mocy obliczeniowej w stosunku do pojedynczej wyroczni? Wydaje mi się, że nie, ponieważ bierzesz wyrocznię odpowiadającą językowi w klasie najwyższej złożoności. Ponadto posiadanie stałej liczby wyroczni spowolni maszynę o stałą.
Marcos Villagra,

1
Jestem z komentarzem Marcosa na temat najsilniejszej wyroczni podbijającej pozostałe .. ale jestem zainteresowany tym, co miałeś na myśli!
Daniel Apon,

1
Czy myślisz o zezwoleniu na nieskończenie wiele wyroczni, w których TM może wybrać wyrocznię do zapytania? Przy takim układzie może istnieć interesująca różnica między zestawem wyroczni, w których każdy był zdecydowanie słabszy niż jakaś inna wyrocznia Q, a samym Q.
András Salamon,

Odpowiedzi:


5

Oto nowsza praca, która podaje różnicę między pojedynczymi a wieloma wyroczniami motywowanymi przez kryptografię:

Donald Beaver i Joan Feigenbaum. Ukrywanie instancji w zapytaniach wielorakich . STACS 1990. Springer Wykład Notatki z informatyki, 1990, tom 415/1990, 37-48, DOI: 10.1007 / 3-540-52282-4_30


tylko pytanie, rozumiem, że koncepcja wielu wyroczni ma sens tylko wtedy, gdy wyroczni nie można się ze sobą połączyć ze względu na (postrzegane?) względy bezpieczeństwa?
Ahmed Masud

3

Oto starszy artykuł, który może Ci się przydać: Maszyny Logspace z wieloma taśmami Oracle autorstwa Nancy Lynch z MIT ( PDF ). W szczególności Twierdzenie 2.2 na stronie PDF 5 może być tym, czego szukasz. Istnieje również sekcja poświęcona hierarchiom zdefiniowanym przez różne liczby taśm Oracle na maszynę.

Zastrzeżenie po fakcie: Wygląda na podobne pytanie i (jeszcze bardziej podobna) odpowiedź została podana tutaj .

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.