Informatica teorica machine-models

6

Quale modello di calcolo è "il migliore"?

Nel 1937 Turing descrisse una macchina Turing. Da allora molti modelli di calcolo sono stati descritti nel tentativo di trovare un modello che sia come un vero computer ma comunque abbastanza semplice da progettare e analizzare algoritmi. Di conseguenza, abbiamo dozzine di algoritmi per, ad esempio, il problema SORT per …

41 ds.algorithms reference-request soft-question machine-models

7

Applicabilità della tesi di Church-Turing a modelli interattivi di calcolo

Paul Wegner e Dina Goldin pubblicano da oltre un decennio articoli e libri sostenendo principalmente che la tesi di Church-Turing è spesso travisata nella comunità della Teoria CS e altrove. Cioè, viene presentato come comprendente tutto il calcolo quando in realtà si applica solo al calcolo delle funzioni, che è …

38 computability turing-machines machine-models church-turing-thesis

3

Qual è il modello teorico giusto per progettare algoritmi per computer ad alte prestazioni attuali e futuri

Questa domanda è simile a una domanda più generale su quale sia il giusto modello teorico di un computer per progettare algoritmi e strutture di dati. Qui, chiedo in modo specifico gli attuali computer ad alte prestazioni (come quelli elencati come Top 500 ) o anche circa imminenti supercomputer. Dato …

20 reference-request soft-question machine-models

1

Fattibilità delle macchine Gödel

Di recente mi sono imbattuto in un costrutto teorico piuttosto interessante. Una cosiddetta macchina Gödel È un risolutore di problemi generali in grado di autoottimizzarsi. È adatto per ambienti reattivi. A quanto ho capito, può essere implementato come programma per la macchina Turing universale, sebbene i suoi requisiti vadano ben …

17 computability turing-machines physics machine-models ar.hardware-architecture

2

Complessità temporale dell'algoritmo Bellman-Held-Karp per TSP, prendere 2

Una recente domanda ha discusso dell'algoritmo di programmazione dinamica ormai classico per TSP, dovuto indipendentemente a Bellman e Held-Karp . L'algoritmo è universalmente segnalato per essere eseguito in tempo . Tuttavia, come ha recentemente sottolineato uno dei miei studenti, questo tempo di esecuzione potrebbe richiedere un modello di calcolo irragionevolmente …

16 ds.algorithms machine-models computing-over-reals

1

Classe di complessità associata a una ricerca esaustiva

Qual è la classe di complessità associata agli algoritmi di ricerca esaustiva? (se ce n'è uno) NP o PSPACE? Esistono modelli ristretti di calcolo che catturano la classe di algoritmi di ricerca esaustivi simili ai modelli per la programmazione avida e dinamica?

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

6

Cosa si sa sull'efficacia del calcolo affidabile?

In che modo è stato studiato il seguente problema in TCS? (Mi scuso se la dichiarazione del problema sembra vaga!) Dato un modello di calcolo MC (macchina di Turing, automi cellulari, macchina di Kolmogorov-Uspenskii ... ecc.) E un modello di rumore che potrebbe influenzare il calcolo di MC, c'è un …

14 machine-models

2

Distanze disponibili tra la complessità dell'albero decisionale e la complessità "vera"

Il titolo è un po 'fuorviante: ma speriamo che la domanda non sia: Grønlund e Pettie del nuovo risultato mostra che 3sum ha solo albero decisionale complessità mi ha fatto chiedendo:O ( n3 / 2)O(n3/2)O(n^{3/2}) C'è un semplice esempio di un problema con una complessità dell'albero decisionale di ma che …

13 cc.complexity-theory machine-models decision-trees

3

Qualche programma può essere implementato meccanicamente?

È possibile costruire un'implementazione meccanica a scopo unico (non Turing completa) di Microsoft Word? È possibile implementare cose come iteratori, funzioni di primo ordine, l'intera gamma di tecniche di programmazione? Gli ingranaggi e altre parti meccaniche potrebbero rappresentare strutture di dati o persino oggetti di programma? A un certo punto …

13 computability pl.programming-languages machine-models ar.hardware-architecture

3

Il framework MapReduce è un tipo di BSP?

È accurato definire il framework mapReduce un tipo di framework di programmazione parallela sincrona di massa senza ritenzione di memoria locale all'interno dei processori tra le sincronizzazioni? In caso contrario, quale modello di programmazione parallela incapsula più accuratamente il framework mapReduce?

11 dc.parallel-comp machine-models

1

Le persone osservano la nidificazione dei circuiti nei circuiti booleani?

Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

1

Teloni Turing reversibili?

Questa domanda è se ci sono tarp reversibili noti di Turing, dove "reversibile" significa nel senso di Axelsen e Glück , e "tarpit" è un concetto molto più informale (e potrebbe non essere un'ottima scelta di parole), ma farò del mio meglio per spiegare cosa intendo con questo. Cosa intendo …

10 fl.formal-languages computability machine-models

1

Esistono modelli computazionali basati sulle proteine?

Esiste un framework / formalismo che definisce modelli computazionali basati su proteine diverse dal modello di DNA di Adleman o da questo lavoro di Cherry e Qian ?

9 reference-request machine-models

5

Calcolo naturale basato su forze fondamentali

Esempi ben noti di calcolo ispirato al fenomeno naturale sono i computer quantistici e i computer DNA. Cosa si sa del potenziale e / o dei limiti dell'informatica con le leggi o la gravità di Maxwell? Cioè, incorporando le soluzioni "rapide" della natura alle equazioni di Maxwell o il problema …

9 computability machine-models physics natural-computing

Domande taggate «machine-models»