Scienza del computer

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

2
Esistono lavori sulla creazione di un quadro di teoria dei numeri reali / probabilità in COQ?
Il COQ è un dimostratore di teorema interattivo che usa il calcolo delle costruzioni induttive, cioè fa molto affidamento sui tipi induttivi. Usando queste, strutture discrete come numeri naturali, numeri razionali, grafici, grammatiche, semantica ecc. Sono rappresentate in modo molto conciso. Tuttavia, da quando ho iniziato ad apprezzare l'assistente per …
3
Gli insiemi di codifiche di una classe di lingue non banale che contiene l'insieme vuoto possono essere enumerabili ricorsivamente?
Permettere CCC essere un insieme non banale di lingue ricorsivamente enumerabili (∅⊊C⊊RE∅ ⊊ C⊊ R E\emptyset \subsetneq C \subsetneq \mathrm{RE}) e lascia che sia l'insieme di codifiche delle macchine di Turing che riconoscono un linguaggio in :LLLCCCL={⟨M⟩|L(M)∈C}L = { ⟨ M⟩ ∣ L ( M) ∈ C}L=\{\langle M \rangle \mid …
3
Spiegazione semplice del perché alcune funzioni calcolabili non possono essere rappresentate da un termine tipizzato?
Leggendo il documento Un'introduzione al calcolo Lambda , mi sono imbattuto in un paragrafo che non capivo davvero, a pagina 34 (corsivo): All'interno di ciascuno dei due paradigmi ci sono diverse versioni del calcolo lambda tipizzato. In molti sistemi importanti, specialmente quelli alla Chiesa, è vero che i termini che …
5
In che modo la crittografia può comportare casualità?
Se un algoritmo di crittografia ha lo scopo di convertire una stringa in un'altra stringa che può quindi essere decodificata nuovamente nell'originale, come può questo processo comportare una casualità? Sicuramente deve essere deterministico, altrimenti come potrebbe la funzione di decodifica sapere quali fattori sono stati coinvolti nella creazione della stringa …
3
Segretezza chiave vs segretezza algoritmo
è un'affermazione ben nota che "La sicurezza crittografica deve fare affidamento su una chiave segreta anziché su un algoritmo segreto ." Vorrei chiedere alcuni dettagli a riguardo. E quali sono le loro differenze? Vedo la cosa ovvia che per un sistema multiutente, generare una chiave è estremamente più facile che …
1
Trovare il peggior caso di tipo heap
Sto lavorando al problema H nel concorso ACM ICPC 2004–2005 in Europa nord-orientale . Il problema è fondamentalmente quello di trovare il caso peggiore che produce un numero massimo di scambi nell'algoritmo (setacciare verso il basso) per costruire l'heap. Input: il file di input contiene ( ).nnn1≤n≤50,0001≤n≤50,0001 \le n \le …
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.