Scienza del computer

7

I PRNG possono essere usati per comprimere magicamente roba?

Questa idea mi è venuta in mente da bambino che impara a programmare e al primo incontro con PRNG. Non so ancora quanto sia realistico, ma ora c'è lo scambio di stack. Ecco uno schema di 14 anni per un incredibile algoritmo di compressione: Prendi un PRNG e seminalo con …

38 information-theory randomness data-compression pseudo-random-generators entropy

2

I garbage collector generazionali sono intrinsecamente compatibili con la cache?

Un tipico garbage collector generazionale mantiene i dati allocati di recente in un'area di memoria separata. Nei programmi tipici, molti dati hanno una vita breve, quindi la raccolta frequente di rifiuti giovani (un ciclo GC minore) e la raccolta di rifiuti obsoleti di rado è un buon compromesso tra sovraccarico …

38 programming-languages computer-architecture cpu-cache garbage-collection

6

Sincronizzazione dell'orologio in una rete con ritardi asimmetrici

Supponiamo che un computer abbia un orologio preciso che non è inizializzato. Cioè, l'ora sull'orologio del computer è l'ora reale più un offset costante. Il computer dispone di una connessione di rete e vogliamo utilizzare tale connessione per determinare l'offset costante .BBB Il metodo semplice è che il computer invia …

38 clocks distributed-systems computer-networks

3

Come viene modellata la complessità dell'algoritmo per i linguaggi funzionali?

La complessità dell'algoritmo è progettata per essere indipendente dai dettagli di livello inferiore, ma si basa su un modello imperativo, ad esempio l'accesso alla matrice e la modifica di un nodo in un albero impiega il tempo O (1). Questo non è il caso di linguaggi puramente funzionali. L'elenco di …

38 algorithm-analysis runtime-analysis computation-models functional-programming

8

Cosa determina la "velocità" di un linguaggio di programmazione?

Supponiamo che un programma sia stato scritto in due lingue distinte, lascia che siano la lingua X e la lingua Y, se i loro compilatori generano lo stesso codice byte, perché dovrei usare la lingua X invece della lingua Y? Cosa definisce che una lingua è più veloce di un'altra? …

38 programming-languages compilers

3

Algoritmo fattoriale più efficiente della moltiplicazione ingenua

So codificare per fattoriali usando sia iterativi che ricorsivi (ad n * factorial(n-1)es. Per es.). Ho letto in un libro di testo (senza ulteriori spiegazioni) che esiste un modo ancora più efficiente di codificare i fattoriali dividendoli a metà in modo ricorsivo. Capisco perché potrebbe essere così. Tuttavia, volevo provare …

38 algorithms efficiency arithmetic

2

Perplesso dal teorema di Rice

Riepilogo: secondo il teorema di Rice, tutto è impossibile. Eppure, faccio queste cose apparentemente impossibili tutto il tempo! Naturalmente, il teorema di Rice non dice semplicemente "tutto è impossibile". Dice qualcosa di più specifico: "Ogni proprietà di un programma per computer non è calcolabile". (Se vuoi dividere i peli, ogni …

37 terminology computability undecidability rice-theorem

6

Perché e come è un computer quantistico più veloce di un normale computer?

Attualmente sto leggendo un libro (e molta Wikipedia) sulla fisica quantistica e devo ancora capire come un computer quantistico può essere più veloce dei computer che abbiamo oggi. Come può un computer quantistico risolvere un problema in tempo sub-esponenziale che un computer classico può risolvere solo in tempo esponenziale?

37 quantum-computing

2

Esistono lingue intrinsecamente ambigue e deterministiche senza contesto?

Chiamiamo un linguaggio deterministico senza contesto se e solo se può essere accettato da un automa deterministico di push-down, e non deterministico altrimenti. Chiamiamo un linguaggio senza contesto intrinsecamente ambiguo se e solo se tutte le grammatiche senza contesto che generano il linguaggio sono ambigue e non ambigue in caso …

36 formal-languages automata formal-grammars pushdown-automata

3

Problemi di decisione vs problemi "reali" che non sono sì o no

Ho letto in molti punti che alcuni problemi sono difficili da approssimare (è NP-difficile approssimarli ). Ma l'approssimazione non è un problema decisionale: la risposta è un numero reale e non Sì o No. Anche per ogni fattore di approssimazione desiderato, ci sono molte risposte che sono corrette e molte …

36 complexity-theory time-complexity np-hard approximation

3

Cos'è esattamente una logica?

Potrebbero esserci delle scuse per aver fatto un'altra domanda sui prerequisiti, ma ero confuso sui punti di partenza. Mi sono imbattuto in vari termini come "Logica modale", "Logica temporale", "Logica di primo ordine", "Logica di secondo ordine" e "Logica di ordine superiore". Cosa significa esattamente "Logica" in questo contesto? Come …

36 logic mathematical-foundations

3

Introduzione alla teoria dei tipi di Martin-Löf

Quale sarebbe la migliore introduzione alle idee di Per Martin-Löfs sulla teoria dei tipi? Ho visto alcune lezioni della scuola estiva dell'Oregon PL, ma sono ancora perplesso dalla seguente domanda: Che cos'è un tipo? So cos'è un set, dal momento che puoi definirli dai soliti assiomi ZF e hanno un …

36 logic type-theory

6

La matematica dietro la conversione da qualsiasi base a qualsiasi base senza passare attraverso la base 10?

Ho esaminato la matematica dietro la conversione da qualsiasi base a qualsiasi base. Si tratta più di confermare i miei risultati che altro. Ho trovato quella che sembra essere la mia risposta su mathforum.org ma non sono ancora sicuro di averla bene. Ho la conversione da una base più grande …

36 algorithms arithmetic number-formats

11

Perché i dati in informatica sono considerati discreti?

Comprendo che la "struttura" dei dati dipende totalmente dall'algebra booleana, ma: Perché i dati sono considerati un'entità matematica discreta anziché continua? In relazione a questo: Quali sono gli svantaggi, o invarianti, che vengono violati nella strutturazione dei dati come entità continua in dimensioni ?rrr Non sono un esperto del settore …

35 data-structures mathematical-foundations

6

Funzioni di ordinamento per crescita asintotica

Supponiamo che io abbia un elenco di funzioni, ad esempio nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Come posso ordinarli asintoticamente, cioè dopo la relazione definita da f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , supponendo che siano effettivamente comparabili a coppie (vedi anche qui )? …

35 asymptotics landau-notation reference-question