Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
Teoria del tipo intuizionista "minima"?
Sono sorpreso che le persone continuino ad aggiungere nuovi tipi nelle teorie dei tipi, ma nessuno sembra menzionare una teoria minima (o non riesco a trovarla). Pensavo che i mathatician amassero le cose minime, vero? Se ho capito bene, in una teoria dei tipi con un impredicativo Prop, λ-astrazione e …
2
In che senso il set di Mandelbrot è "calcolabile"?
Il set di Mandelbrot è una bellissima creatura in matematica. Ci sono molte belle immagini di questo set create con alta precisione, quindi ovviamente questo set è "calcolabile" in un certo senso. Tuttavia, ciò che mi preoccupa è il fatto che non è neppure enumerabile in modo ricorsivo, semplicemente perché …
4
Perché Randomized Quicksort ha un costo di runtime nel caso peggiore O (n log n)
L'ordinamento rapido randomizzato è un'estensione dell'ordinamento rapido in cui l'elemento pivot viene scelto in modo casuale. Quale può essere la peggiore complessità temporale di questo algoritmo. Secondo me, dovrebbe essere O (n2)O(n2)O(n^2) , poiché il caso peggiore si verifica quando il perno scelto casualmente viene selezionato in ordine ordinato o …
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.