La plupart de la littérature semble s'intéresser aux machines à oracles simples pour des problèmes spécifiques, mais il semble y avoir quelques articles qui considèrent les machines à oracles multiples. Existe-t-il un bon article ou une thèse qui donne un aperçu de ce que l'on sait de ces machines? Je m'intéresse en particulier à P avec plusieurs oracles.
3
Si vous ne voulez qu'un nombre fini N d'oracles, vous pouvez définir un oracle composé N-en-1 en utilisant les premiers bits de log (N) de l'oracle composé pour indiquer le sous-oracle que vous souhaitez interroger. Suis-je en train de manquer quelque chose?
—
Niel de Beaudrap du
Oui, j'y avais pensé. Cependant, je m'intéresse à des ensembles spécifiques d'oracles, et il semble donc plus naturel de les considérer séparément que comme un objet composé. J'ai pensé qu'il y aurait peut-être de bons résultats dans cette direction.
—
Joe Fitzsimons
juste pour la curiosité, le fait d'avoir plusieurs oracles ajoute-t-il plus de puissance de calcul par rapport à une seule machine oracle? Il me semble que non, car vous prenez simplement l'oracle correspondant à la langue dans la classe de complexité la plus élevée. De plus, le fait d'avoir un nombre fixe d'oracles ralentira la machine d'une constante.
—
Marcos Villagra
Je suis avec le commentaire de Marcos sur l'oracle le plus fort subsumant les autres .. mais je suis intéressé par ce que vous aviez en tête maintenant!
—
Daniel Apon
Envisagez-vous d'autoriser une infinité d'oracles, où la MT est autorisée à choisir l'oracle à interroger? Avec une telle configuration, il pourrait y avoir une différence intéressante entre un ensemble d'oracles dans lequel chacun était strictement plus faible qu'un autre oracle Q, et Q lui-même.
—
András Salamon