Domande taggate «applied-theory»

Risultati teorici e tecniche applicate in contesti pratici.

6
A che cosa servono gruppi, monoidi e anelli nei calcoli del database?
Perché un'azienda come Twitter dovrebbe essere interessata a concetti algebrici come gruppi, monoidi e anelli? Guarda il loro repository su github: twitter / algebird . Tutto quello che ho potuto trovare è: Implementazioni di Monoidi per algoritmi di approssimazione interessanti, come filtro Bloom , HyperLogLog e CountMinSketch . Questi ti …
2
Codifica del vincolo 1-su-n per i solutori SAT
Sto usando un solutore SAT per codificare un problema e, come parte dell'istanza SAT, ho variabili booleane x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n dove è inteso che esattamente uno di questi dovrebbe essere vero e il resto dovrebbe sii falso. (A volte ho visto questo descritto come una codifica "one-hot".) Voglio codificare il vincolo "esattamente …
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?
3
Applicazioni pratiche di Radix Sort
L'ordinamento Radix è teoricamente molto veloce quando sai che le chiavi si trovano in un certo intervallo limitato, ad esempio valori nell'intervallo . Se converti semplicemente i valori in base che richiede tempo , esegui un ordinamento base radix e poi converti nuovamente nella base originale per un algoritmo globale …
5
Applicazioni quotidiane di teoria dei tipi
Voglio capire la teoria dei tipi ma devo prima sapere come posso applicarla. Potrebbero esserci applicazioni più ovvie della teoria dei tipi oltre ai sistemi di tipo nella programmazione? Potrebbero esserci altre applicazioni, diciamo nella profilazione della personalità e simili?
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.