Scienza del computer

10

Se la velocità della carica elettrica non è cambiata, in che modo i computer sono diventati più veloci?

Tutti sanno che la velocità di calcolo è aumentata drasticamente dalla loro invenzione e sembra destinata a continuare. Ma una cosa mi sta sconcertando: se oggi facessi scorrere una corrente elettrica attraverso un materiale, viaggerebbe alla stessa velocità di se lo facessi con lo stesso materiale 50 anni fa. Con …

48 computer-architecture

8

Come dimostrare che una lingua è regolare?

Esistono molti metodi per dimostrare che una lingua non è regolare , ma cosa devo fare per dimostrare che una lingua è regolare? Ad esempio, se mi viene dato che è regolare, come posso dimostrare che anche la seguente L ′ è regolare?LLLL'L′L' L': = { w ∈ L : …

48 formal-languages regular-languages automata proof-techniques reference-question

2

Definizione dell'ordine di crescita da Reynolds & Tymann

Sto leggendo un libro intitolato Principles of Computer Science (2008), di Carl Reynolds e Paul Tymann (pubblicato da Schaum's Outlines). Il secondo capitolo introduce algoritmi con un esempio di una ricerca sequenziale che scorre semplicemente attraverso un elenco di nomi e restituisce VERO se un determinato nome viene trovato nell'elenco. …

47 algorithms algorithm-analysis landau-notation notation

5

Perché tanti protocolli Internet sono testuali?

Da quello che ho trovato, una molto grande quantità di protocolli che viaggiano su internet sono "text-based" piuttosto che binario. I protocolli in questione includono, ma non sono limitati a HTTP, SMTP, FTP (penso che questo sia tutto basato su testo?), WHOIS, IRC. In effetti, alcuni di questi protocolli saltano …

47 computer-networks communication-protocols protocols

8

Come vengono archiviate e recuperate le variabili dallo stack del programma?

Ci scusiamo in anticipo per l'ingenuità di questa domanda. Sono un artista di 50 anni che cerca di capire correttamente i computer per la prima volta. Quindi ecco qui. Ho cercato di capire come i tipi di dati e le variabili sono gestiti da un compilatore (in senso molto generale, …

47 programming-languages memory-allocation

4

Perché gli alberi rosso-neri sono così popolari?

Sembra che ovunque io guardi, le strutture di dati vengono implementate usando alberi rosso-neri ( std::setin C ++, SortedDictionaryin C #, ecc.) Avendo appena coperto (a, b), alberi rosso-nero e AVL nella mia classe di algoritmi, ecco cosa sono uscito (anche chiedendo in giro professori, sfogliando alcuni libri e google …

46 data-structures search-trees applied-theory dictionaries balanced-search-trees

9

Esiste una coda prioritaria con estratti ?

Esistono moltissime strutture dati che implementano l'interfaccia della coda di priorità: Inserisci: inserisce un elemento nella struttura Get-Min: restituisce l'elemento più piccolo nella struttura Estrai-Min: rimuove l'elemento più piccolo nella struttura Strutture di dati comuni che implementano questa interfaccia sono heap (min) . Di solito, i tempi di esecuzione (ammortizzati) …

46 data-structures amortized-analysis priority-queues

7

Spanning tree minimo vs percorso più breve

Qual è la differenza tra l'algoritmo di spanning tree minimo e un algoritmo di percorso più breve? Nella mia classe di strutture di dati abbiamo coperto due algoritmi di spanning tree minimi (di Prim e Kruskal) e un algoritmo di percorso più breve (Dijkstra). Lo spanning tree minimo è un …

45 algorithms shortest-path spanning-trees

7

C'è qualcosa che DEVE essere fatto su una CPU multi-core?

Quando consideriamo quanto il nostro programma sia multi-thread-friendly, il mio team si è preoccupato del fatto che ci sia qualcosa che non può assolutamente essere fatto su una CPU single-core. Ho ipotizzato che l'elaborazione grafica richieda un'elaborazione parallela massiccia, ma sostengono che cose come DOOM sono state fatte su CPU …

45 computation-models cpu multi-tasking

5

Perché la ricerca sugli algoritmi genetici ha rallentato?

Durante la discussione di alcuni argomenti di livello introduttivo oggi, incluso l'uso di algoritmi genetici; Mi è stato detto che la ricerca ha davvero rallentato in questo campo. Il motivo è che la maggior parte delle persone si sta concentrando sull'apprendimento automatico e sul data mining. Aggiornamento: è accurato? E …

45 machine-learning data-mining evolutionary-computing history

2

Trova la mediana della matrice non ordinata in

Per trovare la mediana di un array non ordinato, possiamo creare un min-heap nel tempo per n elementi, quindi possiamo estrarre uno per uno n / 2 elementi per ottenere la mediana. Ma questo approccio richiederebbe tempo O ( n log n ) .O ( n logn )O(nlog⁡n)O(n\log n)nnnn / …

45 algorithms time-complexity

3

Perché gli umani possono risolvere alcuni problemi "indecidibili"?

La corrispondenza dei modelli di ordine superiore è un problema indecidibile. Ciò significa che non esiste un algoritmo che, data un'equazione a => b, dove ae bsono termini aperti sul calcolo lambda semplicemente tipizzato, trova una sostituzione Stale che aS => bS, dove =>sta per "ha la stessa forma Bn …

45 computability

2

In che modo il combinatore Y esemplifica "Incoerenza del calcolo lambda"?

Sulla pagina Wikipedia di Combinatori a virgola fissa è scritto il testo piuttosto misterioso Il combinatore Y è un esempio di ciò che rende incoerente il calcolo Lambda. Quindi dovrebbe essere considerato con sospetto. Tuttavia è sicuro considerare il combinatore Y quando definito solo nella logica matematica. Sono entrato in …

44 lambda-calculus combinatory-logic

2

Qual è il significato di ?

Questa è una domanda di base, ma sto pensando che è uguale a , poiché il termine più ampio dovrebbe dominare mentre andiamo all'infinito? Inoltre, sarebbe diverso da O (\ min (m, n)) . È giusto? Continuo a vedere questa notazione, soprattutto quando parlo di algoritmi grafici. Ad esempio, vedi …

44 terminology asymptotics mathematical-analysis landau-notation

3

Percorso più lungo in un albero non orientato con un solo attraversamento

Esiste questo algoritmo standard per trovare il percorso più lungo negli alberi non indirizzati usando due ricerche approfondite: Avvia DFS da un vertice casuale e trova il vertice più lontano da esso; dire che è .v ′vvvv′v′v' Ora avvia un DFS da per trovare il vertice più lontano da esso. …

44 algorithms graphs trees