Birden fazla kehanet bantlı Turing makineleri için kesin bir referans var mı?


10

Literatürün çoğu belirli problemler için tekil kesikli makinelerle ilgili gibi görünmektedir, ancak çoklu kesikli makineleri düşünen birkaç makale var gibi görünmektedir. Bu tür makineler hakkında bilinenlere genel bir bakış sağlayan iyi bir makale veya tez var mı? Özellikle birden fazla kehanetle P ile ilgileniyorum.


3
Yalnızca sınırlı sayıda N oracles istiyorsanız, bileşik oracle'in ilk log (N) bitlerini sorgulamak istediğinizi belirtmek için bir N-in-1 bileşik kehaneti tanımlayabilirsiniz. Bir şey mi kaçırıyorum?
Niel de Beaudrap

Evet, bunu düşünmüştüm. Bununla birlikte, belirli bir grup kehanetle ilgileniyorum ve bu yüzden bunları ayrı bir şekilde bir bileşik nesne olarak düşünmek daha doğal görünüyor. Belki de bu yönde bazı hoş sonuçlar olabileceğini düşündüm.
Joe Fitzsimons

1
sadece merak için, birden fazla kehanete sahip olmak, tek bir kehanet makinesine göre daha fazla hesaplama gücü ekliyor mu? Bana öyle geliyor ki hayır, çünkü en yüksek karmaşıklık sınıfındaki dile karşılık gelen kehaneti alıyorsunuz. Ayrıca, sabit sayıda kehanete sahip olmak makineyi sabit bir şekilde yavaşlatır.
Marcos Villagra

1
Marcos'un diğerlerini toplayan en güçlü kehanet hakkındaki yorumu ile .. ama şimdi aklından geçenlerle ilgileniyorum!
Daniel Apon

1
TM'nin hangi kehaneti sorgulayacağını seçmesine izin verilen sonsuz sayıda kehanete izin vermeyi düşünüyor musunuz? Böyle bir kurulumla, her birinin diğer bazı kehanet Q'larından ve Q'nun kendisinden kesinlikle daha zayıf olduğu bir dizi kehanet arasında ilginç bir fark olabilir.
András Salamon

Yanıtlar:


5

İşte daha yeni bir makale, kriptografi ile motive edilen tek ve çoklu orasitler arasında bir fark veriyor:

Donald Beaver ve Joan Feigenbaum Karşılaştırması. Örnekleri multioracle sorgularında gizleme . STACS 1990. Bilgisayar Biliminde Springer Ders Notları, 1990, Cilt 415/1990, 37-48, DOI: 10.1007 / 3-540-52282-4_30


sadece bir soru, ben multi-oracle kavramının sadece orasles bazı (algılanan?) güvenlik nedenleriyle birbirine daraltılamazsa mantıklı olduğunu düşünüyorum.
Ahmed Masud

3

İşte yararlı bulabileceğiniz eski bir kağıt: MIT'de Nancy Lynch'in Çoklu Oracle Bantlarına Sahip Günlük Alanı Makineleri ( PDF ). Özellikle Theorem 2.2, PDF-sayfa 5'de aradığınız şey olabilir. Ayrıca, makine başına farklı sayıda oracle kasetiyle tanımlanan hiyerarşiler hakkında bir bölüm de vardır.

Aslında sonra Yasal Uyarı: Benzer bir soru ve (daha da benzeri) cevap gibi görünüyor verildi burada .

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.