Scienza del computer

1

Questa sembra una domanda che dovrebbe avere una risposta facile, ma non ne ho una definitiva: nnna,pa,pa, pamodpamodpa\bmod p Dividere semplicemente per richiederebbe il tempo dove è la complessità della moltiplicazione. Ma può essere eseguito leggermente più velocemente?aaappp O(M(n))O(M(n))O(M(n))M(n)M(n)M(n)modmod\bmod

23 algorithms number-theory

8

Linguaggio di programmazione in cui ogni espressione ha un senso

Per raccomandazione lo sto ripubblicando da Stack Overflow . Di recente ho pensato al seguente problema. Considera il codice per un "Hello world!" Standard programma: main() { printf("Hello World"); } Ora quasi ogni cambiamento in questo codice lo renderà completamente inutile, infatti quasi ogni cambiamento impedirà la compilazione del codice. …

23 programming-languages computation-models

4

Come fanno i garbage collector a evitare lo straripamento dello stack?

Quindi stavo pensando a come funzionano i netturbini e ho pensato a un problema interessante. Presumibilmente i netturbini devono attraversare tutte le strutture allo stesso modo. Non possono sapere che tempo stanno attraversando un elenco collegato o un albero bilanciato o altro. Inoltre non possono usare troppa memoria nella loro …

23 programming-languages memory-management garbage-collection

4

Perché le funzioni calcolabili sono anche chiamate funzioni ricorsive?

Nella teoria della computabilità, le funzioni calcolabili sono anche chiamate funzioni ricorsive. Almeno a prima vista, non hanno nulla in comune con ciò che tu chiami "ricorsivo" nella programmazione quotidiana (cioè funzioni che si definiscono). Qual è il significato effettivo di ricorsivo nel contesto della calcolabilità? Perché quelle funzioni sono …

23 computability terminology history

10

È possibile un linguaggio assembly universale per tutti i computer?

Vorrei porre alcune domande sul linguaggio dell'Assemblea. La mia comprensione è che è molto vicino al linguaggio automatico, rendendolo più veloce ed efficiente. Dato che esistono diverse architetture di computer, ciò significa che devo scrivere codice diverso in Assembly per architetture diverse? Se è così, perché Assembly non è, scrivi …

23 programming-languages computer-architecture

2

Perché push_back nei vettori C ++ è costantemente ammortizzato?

Sto imparando il C ++ e ho notato che il tempo di esecuzione della funzione push_back per i vettori è costante "ammortizzato". La documentazione rileva inoltre che "Se si verifica una riallocazione, la riallocazione è essa stessa fino a lineare nell'intera dimensione". Questo non dovrebbe significare che la funzione push_back …

23 algorithms time-complexity amortized-analysis

10

Perché il non determinismo è un concetto utile?

Un automa è un modello astratto di un computer digitale. I computer digitali sono completamente deterministici; il loro stato in qualsiasi momento è unicamente prevedibile dall'input e dallo stato iniziale. Quando stiamo cercando di modellare sistemi reali, perché includere il non determinismo nella teoria degli automi?

23 automata nondeterminism applied-theory

2

Paga collettivamente il problema del conto

Ci sono persone a un tavolo. Il ° persona deve pagare dollari.nnniiipipip_i Alcune persone non hanno le fatture giuste per pagare esattamente , quindi escono con il seguente algoritmo.pipip_i Innanzitutto, tutti mettono un po 'dei loro soldi sul tavolo. Quindi ogni individuo riprende i soldi che ha pagato in eccesso. …

23 algorithms optimization

4

Qual è la differenza tra una rete neurale, un sistema di apprendimento profondo e una rete di credenze profonde?

Qual è la differenza tra una rete neurale, un sistema di apprendimento profondo e una rete di credenze profonde? Mentre ricordo che la tua rete neurale di base è una specie di 3 strati, e ho avuto dei sistemi di credenze profonde descritti come reti neurali sovrapposte. Non ho sentito …

23 machine-learning neural-networks boltzmann-machine

1

Come funziona la tabella di routing di Population Pastry?

Questa domanda è stata migrata da Software Engineering Stack Exchange perché può essere risolta su Computer Science Stack Exchange. Migrato 7 anni fa . Sto cercando di implementare la tabella degli hash distribuiti in pasticceria, ma alcune cose stanno sfuggendo alla mia comprensione. Speravo che qualcuno potesse chiarire. Disclaimer : …

23 algorithms data-structures distributed-systems hash-tables

1

Clustering of Songs (The Joe Walsh Problem)

Gli Eagles sono un supergruppo rock degli anni '70 e '80, responsabile di classici come l' Hotel California . Hanno due suoni piuttosto distintivi, uno in cui è presente il chitarrista Joe Walsh (ad esempio, in Life in the Fast Lane ) e uno in cui è assente. Queste ultime …

23 machine-learning modelling

3

Classificazione dei sistemi di tipi (forte / debole, dinamico / statico)

In breve: come sono classificati i sistemi di tipi in contesti accademici; in particolare, dove posso trovare fonti affidabili che chiariscono le distinzioni tra i diversi tipi di sistema di tipi? In un certo senso la difficoltà con questa domanda non è che non riesco a trovare una risposta, ma …

23 reference-request programming-languages type-theory

8

Che cos'è la casualità

Sono uno studente di informatica e sono attualmente iscritto al corso di simulazione e modellizzazione del sistema. Implica la gestione dei sistemi quotidiani intorno a noi e la loro simulazione in diversi scenari generando numeri casuali in diverse curve distributive, come IID, Gaussian ecc. Ho lavorato al progetto boids e …

23 randomness modelling

1

Esiste un equivalente di Van Emde Boas per le corde?

Qualcuno che conosco sta pianificando di implementare un editor di testo nel prossimo futuro, il che mi ha spinto a pensare a che tipo di strutture di dati sono veloci per un editor di testo. Le strutture più utilizzate sono apparentemente corde o buffer di spazio . Gli alberi di …

23 data-structures

5

-calcolo con riflessione

Sto cercando un semplice calcolo che supporti il ragionamento sulla riflessione , ovvero l'introspezione e la manipolazione dei programmi in esecuzione. Esiste un'estensione -calculus non tipizzata che consente di convertire -terms in una forma che può essere sintatticamente manipolata e successivamente valutata?λλ\lambdaλλ\lambda Immagino che il calcolo abbia due principali termini …

23 logic lambda-calculus semantics reflection