Domande taggate «universal-computation»

3
Giustificazione del log f nel teorema della gerarchia DTIME
Se guardiamo al teorema della gerarchia DTIME, abbiamo un registro a causa del sovraccarico nella simulazione di una Turing Machine deterministica da parte di una macchina universale: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Non abbiamo questo tipo di overhead per NTIME di DSPACE. Una giustificazione di base deriva dai dettagli della dimostrazione …
2
Non possiamo produrre la complessità di Kolmogorov?
Risolviamo una codifica senza prefisso delle macchine di Turing e una macchina di Turing universale che sull'ingresso (codificato come codice privo di prefisso di seguito da ) genera qualunque uscita sull'ingresso (possibilmente entrambi corrono per sempre). Definire la complessità di Kolmogorov di , , come la lunghezza del programma più …
4
Esiste un modello di calcolo non completo di Turing il cui problema di arresto è indecidibile?
Non riesco a pensare a un tale modello, forse a qualche forma di calcolo lambda tipizzato? qualche automa cellulare elementare? Ciò confuterebbe quasi il "Principio dell'equivalenza computazionale" di Wolfram: Quasi tutti i processi che non sono ovviamente semplici possono essere visti come calcoli di raffinatezza equivalente
2
Dark Integers: calcoli per scopi generici su router Internet
Greg Egan nella sua narrativa "Dark Integers" (storia di due universi con due differenti matematiche che comunicano attraverso la dimostrazione di teoremi sull'incoerenza nell'aritmetica) afferma che è possibile costruire computer per scopi generici esclusivamente su router Internet esistenti usando solo le sue funzionalità di base di commutazione dei pacchetti (e …
2
Limitazione delle voci di operatori unitari a numeri reali e set di gate universali
In Bernstein e Vazirani di carta seminale "Quantum Complexity Theory", mostrano che una trasformazione unitaria dimensionale può essere efficacemente approssimata da un prodotto di quello che chiamano "near-banale rotazioni" e "sfasamenti quasi banale".ddd "Vicino banale rotazioni" sono -dimensional unitaria matrici che agiscono come l'identità su tutti ma 2 dimensioni, ma …
2
Esiste un nome ufficiale per la nozione di "riutilizzabile universale"?
Esistono diverse nozioni (probabilmente non equivalenti) di universalità computazionale (vedere ad esempio le ultime due pagine di http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) e non vi è consenso tra esperti su quali nozioni siano più corrette (vedere ad esempio http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Sto cercando di dire qualcosa su un particolare modello di calcolo biomolecolare. Vorrei …
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.