Scienza del computer

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

2
Che cos'è il valore meno vincolante?
Nei problemi di soddisfazione dei vincoli, l'euristica può essere utilizzata per migliorare le prestazioni di un risolutore di bactracking. Tre euristiche comunemente indicate per semplici solutori di backtracking sono: Valori minimi rimanenti (quanti valori sono ancora validi per questa variabile) Grado euristico (quante altre variabili sono interessate da questa variabile) …
2
Puoi impedire a un uomo in mezzo di leggere il messaggio?
Ho sentito parlare di tutte queste prevenzioni di Man-In-The-Middle Attack e mi chiedo come possa funzionare se l'uomo nel mezzo ascolta solo il tuo stream e non vuole cambiare il messaggio stesso. Può l'uomo nel mezzo non solo prendere le chiavi scambiate dagli avversari, cambiare le chiavi e quindi decifrare …
2
Confluenza dell'espansione beta
Lasciate →β→β\to_\beta be ββ\beta -riduzione nel λλ\lambda -calcolo. Definire l' espansione ββ\beta←β←β\leftarrow_\beta di t′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . È ←β←β\leftarrow_\beta confluenti? In altre parole, abbiamo quello per ogni l,d,rl,d,rl,d,r , se l→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* r , allora esiste uuu tale che l←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r ? Parole chiave: confluenza …
5
Generatore di calcoli Lambda
Non so dove altro porre questa domanda, spero che sia un buon posto. Sono solo curioso di sapere se è possibile creare un generatore di calcolo lambda; essenzialmente, un ciclo che, a tempo infinito, produrrà ogni possibile funzione di calcolo lambda. (come sotto forma di una stringa). Poiché il calcolo …
1
La programmazione genetica è rilevante oggi?
La mia principale preoccupazione è se la programmazione genetica sia un campo di ricerca attivo, con alcune applicazioni promettenti in pratica. Sembra che nel campo dell'apprendimento automatico, le reti neurali siano la parola d'ordine principale, con menzioni nelle notizie mainstream oggi, ma non ho mai sentito parlare di una simile …
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.