Scienza del computer

5

Cosa rende una lingua "ottimizzata" per un compito specifico?

Vuoi migliorare questo post? Fornisci risposte dettagliate a questa domanda, comprese le citazioni e una spiegazione del perché la tua risposta è corretta. Le risposte senza dettagli sufficienti possono essere modificate o eliminate. Spesso ci sono linguaggi di programmazione specializzati per compiti specifici. Alcuni linguaggi di programmazione sono eccellenti nell'aritmetica …

15 programming-languages

4

Disuguaglianza causata dall'inesattezza del galleggiante

Almeno in Java, se scrivo questo codice: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; il valore di sarebbe . Credo che ciò sia causato dal fatto che …

15 arithmetic floating-point numerical-algorithms

6

Cosa differenzia precisamente l'informatica dalla matematica nel contesto teorico?

Sono uno studente universitario di informatica con una grande passione per lo studio della matematica. Sono fermamente convinto che l'informatica o l'informatica teorica sia una branca diretta della matematica e della logica e anche dell'opinione che una laurea in informatica debba sempre essere orientata alla matematica come un dato di …

15 mathematical-foundations

1

Classi di complessità relative all'elencazione di tutte le soluzioni?

Stavo leggendo una domanda su Stack Overflow che mi chiedeva se fosse NP -hard a elencare tutti i cicli semplici in un grafico contenente un nodo particolare e mi venne in mente che non riuscivo a pensare a nessuna classe di complessità esistente adatta per parlando di problemi del modulo …

15 complexity-theory reference-request complexity-classes enumeration

2

Inserimento efficiente nell'elenco mantenendo il numero minimo di inversioni

Assumi due elenchi di elementi comparabili: u e s. Sia INV (u) il numero di inversioni in u. Sto cercando un algoritmo efficiente per inserire gli elementi di s in te con un aumento minimo di INV (u). Fondamentalmente vorrei inserire oggetti in un elenco mantenendolo "il più ordinato possibile" …

15 algorithms sorting

1

Nessun ingenuo set di modelli teorici del calcolo lambda polimorfico?

Nell'articolo di Philip Wadler su Teoremi gratuiti afferma nella Sezione 2 su Parametricità che non ci sono ingenui modelli set-teorici di calcolo lambda polimorfico Nell'ingenuo set-modello teorico i tipi sono insiemi e le funzioni sono insiemi di funzioni teoriche che sembrano ragionevoli. Quindi perché dice che non ci sono ingenui …

15 functional-programming

4

L'algoritmo di Dijkstra su enormi grafici

Conosco molto bene Dijkstra e ho una domanda specifica sull'algoritmo. Se avessi un grafico enorme, ad esempio 3,5 miliardi di nodi (tutti i dati OpenStreetMap), allora chiaramente non sarei in grado di avere il grafico in memoria, quindi il grafico viene archiviato su disco in un database. Ci sono librerie …

15 algorithms graph-theory graphs shortest-path

3

Trovare esempi di lingue "anti-palindromiche"

Lascia Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un linguaggio L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* è detto di avere la proprietà "anti-palindromo" se per ogni stringa www che è un palindromo, w∉Lw∉Lw\notin L . Inoltre, per ogni stringa uuu che è non un palindromo sia u∈Lu∈Lu\in L o Reverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in L , …

15 formal-languages

2

Operazione a stella di Kleene sulla lingua vuota

Nel mio libro di testo si dice che: dove è una lingua vuota.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Tuttavia, sappiamo che , dove è qualsiasi lingua.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Non sono in grado di cogliere intuitivamente questo concetto perché l'operazione a stella di Kleene punta sul fatto che .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup …

15 formal-languages kleene-star

1

Perché separare lex e analisi?

È possibile analizzare un documento utilizzando un singolo passaggio da una macchina a stati. Qual è il vantaggio di avere due passaggi, ad es. avere un lexer per convertire il testo in token e avere un parser per testare le regole di produzione su quei token? Perché non avere un …

15 compilers parsers

2

scopo dei supercomputer

L'autunno scorso ho fatto un tour del supercomputer Blue Waters all'Università dell'Illinois. Ho chiesto se qualcuno avesse mai usato l'intero computer. Mi è stato detto che stava sempre lavorando su più progetti. Ciò mi ha fatto riflettere sull'utilità dei supercomputer. Forse Blue Waters è insolito in quanto deve essere condiviso …

15 computer-architecture

4

Cosa significa

Cosa significa ?logO(1)nlogO(1)⁡n\log^{O(1)}n Sono consapevole della notazione big-O, ma questa notazione non ha senso per me. Non riesco a trovare nulla al riguardo, perché non c'è modo che un motore di ricerca lo interpreti correttamente. Per un po 'di contesto, la frase in cui l'ho trovata recita "[...] chiamiamo una …

15 asymptotics landau-notation

1

I puzzle "Flow Free" sono NP-difficili?

Un puzzle "Flow Free" è costituito da un numero intero positivo e un insieme di coppie (non ordinate) di vertici distinti nel grafico a griglia tale che ciascun vertice sia al massimo in una coppia. Una soluzione a un tale enigma è un insieme di percorsi non indirizzati nel grafico …

15 np-hard square-grid

4

perché le architetture della CPU usano un registro di flag (vantaggi?)

Alcune CPU hanno un registro flag (ARM, x86, ...), altre no (MIPS, ...). Qual è il vantaggio di avere un'istruzione CMP per aggiornare il registro di flag seguito da un'istruzione di ramo invece di usare un registro zero e rami condizionali per controllare segni, overflow ecc?

15 computer-architecture

2

Perché i MIPS includevano shamt e distinguono funct / opcode?

Sono confuso sul perché i progettisti di MIPS includano 5 bit dedicati allo spostamento e abbiano opcode e bit funzione separati. Dato che il MIPS è così RISC, suppongo che il solo spostamento sarebbe stato fatto in poche istruzioni, quindi quei 5 bit sembrano sprecare spazio quando potrebbero essere messi …

15 computer-architecture