Domande taggate «complexity-classes»

Classi di complessità computazionale e loro relazioni

2
Intuizione per la classe UP
La classe UP è definita come tale: La classe di problemi decisionali risolvibili da una macchina NP tale che Se la risposta è "sì", accetta esattamente un percorso di calcolo. Se la risposta è "no", tutti i percorsi di calcolo vengono rifiutati. Sto cercando di sviluppare l'intuizione per questa definizione. …
1
Qual è la complessità del conteggio del numero di soluzioni di un problema P-Space Complete? Che ne dici di classi di complessità superiore?
Immagino che si chiamerebbe # P-Space, ma ho trovato solo un articolo che ne parlava vagamente. Che ne dite della versione di conteggio dei problemi EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? C'è qualche lavoro precedente che si possa citare in merito a questo o qualsiasi tipo di inclusione o esclusione come il …
4
La diagonalizzazione cattura l'essenza della separazione di classe?
Non ricordo di aver visto una separazione di classe non basata sui risultati di diagonalizzazione e relativizzazione. La diagonalizzazione potrebbe ancora essere utilizzata per separare le classi note rimanenti, poiché gli argomenti non relativizzanti potrebbero ancora essere utilizzati nella conclusione della diagonalizzazione o nella costruzione della macchina di Turing diagonalizzata. …
3
Quali algoritmi possono essere espressi usando un linguaggio funzionale totale con operatori di dati paralleli?
Immagina un linguaggio di programmazione funzionale i cui soli tipi di dati sono scalari numerici e annidamenti arbitrari di array. La lingua non ha alcun mezzo di iterazione illimitata, quindi non sono consentiti: loop espliciti (comunque non molto usati senza effetti collaterali) ricorsione funzioni arbitrarie di prima classe (senza combinatore …
3
Due varianti di NP
Ecco due variazioni sulla definizione di NP. Definiscono (quasi certamente) distinte classi di complessità, ma la mia domanda è: ci sono esempi naturali di problemi che rientrano in queste classi? (La mia soglia per ciò che conta come naturale qui è un po 'più bassa del solito.) Classe 1 (una …
2
Esempio di qualcosa che è diverso per oracoli generici e casuali?
Sia un oracolo generico nel senso della categoria Cohen / Baire. Lascia che sia un oracolo casuale.RGGGRRR Esistono classi di complessità A e B con o il viceversa, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La domanda è stata ispirata da un commento di Scott Aaronson .
2
Gli oracoli sono associativi?
Questa domanda può avere una risposta ovvia ... ma ecco comunque la domanda. Intuitivamente, è la seguente affermazione plausibile: "una macchina con una subroutine A che a sua volta ha una subroutine B è la stessa di una macchina con una subroutine A che ha accesso alla subroutine B". Per …
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.