Domande taggate «big-picture»

Il tag di grandi dimensioni è per una "visione generale ampia o prospettiva di un problema o problema".

10
I computer reali hanno solo un numero finito di stati, quindi qual è la rilevanza delle macchine di Turing rispetto ai computer reali?
I computer reali hanno una memoria limitata e solo un numero limitato di stati. Quindi sono essenzialmente automi finiti. Perché gli informatici teorici usano le macchine di Turing (e altri modelli equivalenti) per studiare i computer? Qual è lo scopo di studiare questi modelli molto più forti rispetto ai computer …
4
Perché non siamo stati in grado di sviluppare una teoria della complessità unificata del calcolo distribuito?
Il campo dell'informatica distribuita non è andato molto bene nello sviluppo di un'unica teoria matematica per descrivere algoritmi distribuiti. Esistono diversi "modelli" e framework di calcolo distribuito che semplicemente non sono compatibili tra loro. La pura esplosione di diverse proprietà temporali (asincronia, sincronia, sincronia parziale), varie primitive di comunicazione (trasmissione …
2
Il programma GCT di Mulmuley
Talvolta si afferma che la teoria della complessità geometrica di Ketan Mulmuley è l'unico programma plausibile per risolvere le questioni aperte della teoria della complessità come la domanda P vs. NP. Ci sono stati molti commenti positivi di famosi teorici della complessità sul programma. Secondo Mulmuley ci vorrà molto tempo …
5
Il potere irragionevole della non uniformità
Dal punto di vista del buonsenso, è facile credere che l'aggiunta del non determinismo a estenda significativamente il suo potere, vale a dire che è molto più grande di . Dopotutto, il non determinismo consente il parallelismo esponenziale, che senza dubbio appare molto potente. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} D'altra parte, se aggiungiamo semplicemente …
11
Qual è il modello computazionale quantistico?
Di tanto in tanto ho sentito persone parlare di algoritmi quantistici e di stati e della capacità di considerare più possibilità contemporaneamente, ma non sono mai riuscito a convincere qualcuno a spiegare il modello computazionale dietro questo. Per essere chiari, non sto chiedendo come siano costruiti fisicamente i computer quantistici, …
7
Dovremmo considerare
Molti esperti ritengono che la congettura sia vera e la usano nei loro risultati. La mia preoccupazione è che la complessità dipenda fortemente dalla congettura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Quindi la mia domanda è: Finché la congettura non è provata, si può / si dovrebbe considerare …
5
Ecologia ed evoluzione attraverso l'obiettivo algoritmico
Lo studio dell'ecologia e dell'evoluzione sta diventando sempre più matematico, ma la maggior parte degli strumenti teorici sembra provenire dalla fisica. Tuttavia, in molti casi i problemi hanno una natura molto discreta (si veda ad esempio SLBS00 ) e potrebbero beneficiare di una prospettiva informatica . Tuttavia, sono a conoscenza …
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.