Scienza del computer

1

Distribuzioni di probabilità e complessità computazionale

Questa domanda riguarda l'intersezione della teoria della probabilità e della complessità computazionale. Un'osservazione chiave è che alcune distribuzioni sono più facili da generare rispetto ad altre. Ad esempio, il problema Dato un numero nnn , restituisce un numero uniformemente distribuito iii con 0≤i<n0≤i<n0 \leq i < n . è facile …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Come ricostruire la foresta di alberi di sintassi dal vettore Earley?

L'uso del vettore Earley come riconoscitore è piuttosto semplice: quando viene raggiunta la fine della stringa, è sufficiente verificare che una produzione assiomatica completa sia iniziata in posizione 0. Se ne si possiede almeno una, la stringa viene accettata. L'uso del vettore Earley per ricostruire l'albero o gli alberi di …

9 context-free dynamic-programming parsers ambiguity syntax-trees

1

Individuazione efficiente del GCD massimo a coppie di un insieme di numeri naturali

Considera il seguente problema: Sia un sottoinsieme finito dei numeri naturali.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Sia | dove è il massimo comun divisore di edG={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j \}gcd(x,y)gcd(x,y)gcd(x,y)xxxyyy Trovare l'elemento massimo di .GGG Questo problema può essere risolto …

9 algorithms number-theory

6

Le macchine di Turing assumono qualcosa di infinito ad un certo punto?

In una domanda precedente Che cos'è esattamente un algoritmo? , Ho chiesto se avere un "algoritmo" che restituisce il valore di una funzione basata su una matrice di valori pre-calcolati fosse un algoritmo. Una delle risposte che ha attirato la mia attenzione è stata questa: L'esempio fattoriale entra in un …

9 turing-machines computation-models

1

Quali algoritmi esistono per risolvere i sistemi lineari numerici naturali?

Sto osservando il seguente problema: Dato nnn vettori -dimensionale di numeri naturali v1,…,vmv1,…,vmv_1, \ldots, v_m ed alcuni input vettore uuu , è uuu una combinazione lineare di viviv_i 's con coefficienti numerici naturali? cioè ci sono alcuni dove u = t 1 v 1 + ⋯ + t m v …

9 algorithms reference-request linear-algebra integers knapsack-problems

1

Perché introsort utilizza heapsort anziché mergesort?

Come parte di un compito a casa relativo all'implementazione di introsort, mi viene chiesto perché heapsort viene utilizzato piuttosto che algoritmi di fusione (o altri algoritmi per quella materia). O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort è un algoritmo di ordinamento ibrido che fornisce sia prestazioni medie veloci che …

9 algorithms algorithm-analysis sorting

1

Perché è importante la precisione del modulo in virgola mobile?

La maggior parte dei dialetti Smalltalk attualmente implementa un modulo fluttuante inesatto ingenuo (fmod / resto). Ho appena cambiato questo per migliorare Squeak / Pharo e infine altre aderenze Smalltalk agli standard (IEEE 754, ISO / IEC 10967), come ho già fatto per altre operazioni all'avanguardia in virgola mobile. Tuttavia, …

9 arithmetic floating-point

1

Quali sono gli isomorfismi appropriati tra i linguaggi formali?

Un linguaggio formale sopra un alfabeto è un sottoinsieme di , cioè un insieme di parole su quell'alfabeto. Due linguaggi formali e sono uguali, se gli insiemi corrispondenti sono estensivamente uguali a sottoinsiemi di . Si possono usare le lingue nella teoria della complessità per formalizzare il concetto di "problema". …

9 complexity-theory formal-languages reference-request

1

Cosa c'è di imperfetto nel metodo "salva-l'input" del calcolo reversibile?

Sono uno studente appena iniziato a leggere informazioni sull'informatica reversibile. So che, a causa del principio di Landauer, i calcoli irreversibili dissipano il calore (e quelli reversibili no). L'ho cresciuto con il mio professore, che non aveva mai sentito parlare del calcolo reversibile prima, e aveva difficoltà a capire perché …

9 computability reversible-computing

2

Digitare inferenza + sovraccarico

Sto cercando un algoritmo di inferenza del tipo per un linguaggio che sto sviluppando, ma non sono riuscito a trovarne uno adatto alle mie esigenze perché di solito sono: alla Haskell, con polimorfismo ma nessun sovraccarico ad hoc à C ++ (auto) in cui si ha un sovraccarico ad hoc …

9 type-theory type-inference

3

Rappresentazione compatta di percorsi in un grafico

Ho un sottoinsieme dei percorsi semplici in un grafico. La lunghezza dei percorsi è limitata da .ddd Qual è il modo più compatto (per quanto riguarda la memoria) che posso rappresentare i percorsi in modo tale che non siano rappresentati altri percorsi oltre a quelli selezionati? Nota che voglio usare …

9 graphs data-structures

2

Algoritmo di sostituzione della pagina dell'orologio - Pagine già esistenti

Quando si simula l'algoritmo di sostituzione della pagina dell'orologio, quando arriva un riferimento che è già in memoria, la lancetta dell'orologio aumenta ancora? Ecco un esempio: Con 4 slot, usando l'algoritmo di sostituzione della pagina dell'orologio Elenco di riferimento: 1 2 3 4 1 2 5 1 3 2 4 …

9 algorithms paging virtual-memory

1

Riconoscimento dei corsi d'acqua in una foto aerea: poligoni dalle immagini di rilevamento dei bordi

Sto cercando di riconoscere i corsi d'acqua dalle fotografie aeree (diciamo da Google Maps). I governi locali spesso dispongono di dati GIS che indicano dove si trovano i corsi d'acqua (e strade, edifici, ecc.), Ma i dati idrici in essi contenuti sono spesso in qualche modo inaccurati e potremmo essere …

9 image-processing

6

Le tecniche di verifica del programma potrebbero impedire il verificarsi di bug del genere Heartbleed?

Sulla questione dell'insetto Heartbleed, Bruce Schneier scrisse nel suo Crypto-Gram del 15 aprile: "Catastrofico" è la parola giusta. Sulla scala da 1 a 10, questo è un 11. ' Ho letto diversi anni fa che un kernel di un determinato sistema operativo è stato rigorosamente verificato con un moderno sistema …

9 cryptography correctness-proof security software-verification program-correctness

2

Albero di Huffman e massima profondità

Conoscendo le frequenze di ciascun simbolo, è possibile determinare l'altezza massima dell'albero senza applicare l'algoritmo Huffman? Esiste una formula che dà all'altezza di questo albero?

9 trees coding-theory