Domande taggate «oracle-machines»

4
Classi di complessità in cui
Una possibile motivazione per studiare le classi di complessità computazionale è comprendere il potere di diversi tipi di risorse computazionali (casualità, non determinismo, effetti quantistici, ecc.). Se lo guardiamo da questa prospettiva, sembra che possiamo ottenere un assioma plausibile per qualsiasi tentativo di caratterizzare quali calcoli sono fattibili in alcuni …


1
Ci sono problemi esistenti che non sarebbero risolvibili con un oracolo di arresto?
Capisco che la maggior parte dei problemi sono banali se è disponibile un oracolo di arresto (o, penso equivalentemente, iper-computazione). Tuttavia, l'applicazione dell'argomento che mostra il problema di Halting è impossibile per una macchina di Turing mostra anche che è impossibile per un oracolo di Turing + decidere il problema …

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.