Scienza del computer

Sto programmando di tenere un corso invernale su un numero variabile di argomenti, uno dei quali sarà compilatore. Ora, mi sono imbattuto in questo problema mentre pensavo agli incarichi da dare durante il trimestre, ma mi ha lasciato perplesso, quindi potrei usarlo come esempio. public class DeadCode { public static …

32 computability  proof-techniques  compilers 

Sto studiando CPU e so come legge un programma dalla memoria ed eseguo le sue istruzioni. Capisco anche che un sistema operativo separa i programmi nei processi, e quindi si alternano tra loro così velocemente che pensi che siano in esecuzione contemporaneamente, ma in realtà ogni programma funziona da solo …

32 operating-systems 

Se qualcosa è semplice, allora dovrebbe essere completamente spiegabile con poche parole. Questo può essere fatto per il calcolo λ: Il calcolo λ è una grammatica sintattica (fondamentalmente una struttura) con una regola di riduzione (il che significa che una procedura di ricerca / sostituzione viene ripetutamente applicata ad ogni …

32 functional-programming  type-theory 

Questo programma a 579 bit nel calcolo binario Lambda ha uno stato di arresto sconosciuto: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Cioè, non è noto se questo programma termina o meno. Per determinarlo, devi risolvere la congettura di Collatz - o, almeno, per tutti i numeri fino a …

32 algorithms  computability  kolmogorov-complexity 

Sto cercando aiuto per comprendere l'algoritmo di rilevamento del ciclo di Floyd. Ho esaminato la spiegazione su wikipedia ( http://it.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Vedo come l'algoritmo rileva il ciclo nel tempo O (n). Tuttavia, non sono in grado di visualizzare il fatto che una volta che i puntatori di tartaruga e lepre …

32 algorithms  linked-lists 

Esistono calcoli lambda digitati completi di Turing? In tal caso, quali sono alcuni esempi?

31 computability  lambda-calculus  type-theory 

Ho appena completato il primo capitolo dell'Introduzione alla teoria del calcolo di Michael Sipser che spiega le basi degli automi finiti. Definisce un linguaggio regolare come tutto ciò che può essere descritto da un automa finito. Ma non riuscivo a trovare dove spiegasse perché una lingua normale si chiama "normale?" …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Supponiamo che e siano due stringhe della stessa lunghezza. Un anagramma di due stringhe è una mappatura biiettiva p: [1 \ ldots n] \ a [1 \ ldots n] tale che a_i = b_ {p (i)} per ogni i .b 1 b 2 … b na1a2…ana1a2…ana_1a_2\ldots a_nb1b2…bnb1b2…bnb_1b_2\ldots b_na i = …

31 algorithms  strings  search-algorithms  natural-language-processing 

Sto imparando a conoscere alberi radix (ovvero tentativi compressi) e Patricia, ma sto trovando informazioni contrastanti sul fatto che siano effettivamente le stesse. Un albero radix può essere ottenuto da un trie normale (non compresso) unendo i nodi con i loro genitori quando i nodi sono l'unico figlio. Questo vale …

31 data-structures  trees 

Di 'che devo simulare la seguente distribuzione discreta: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Il modo più ovvio è disegnare bit casuali e verificare se tutti sono uguali a (o …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Ho difficoltà a capire intuitivamente perché PSPACE è generalmente ritenuto diverso da EXPTIME. Se PSPACE è l'insieme di problemi risolvibili nel polinomio spaziale nella dimensione di input , allora come può esserci una classe di problemi che sperimentano una maggiore esplosione del tempo esponenziale e non fanno uso dello spazio …

31 complexity-theory  complexity-classes  intuition 

Perché i computer usano il sistema di numeri binari (0,1)? Perché non usano invece Ternary Number System (0,1,2) o altri sistemi numerici?

31 computer-architecture  binary-arithmetic 

Ad esempio, se il computer ha 10111100archiviato un determinato byte di RAM, come fa il computer a interpretarlo come un numero intero, un carattere ASCII o qualcos'altro? I dati di tipo sono memorizzati in un byte adiacente? (Non penso che questo sarebbe il caso in quanto ciò comporterebbe l'utilizzo del …

31 memory-hardware  memory-access  type-checking 

Mi chiedo se esiste un buon esempio per un problema NP-Hard di facile comprensione che non sia NP-Complete e non indecidibile? Ad esempio, il problema di arresto è NP-Hard, non NP-Complete, ma è indecidibile. Credo che ciò significhi che è un problema che una soluzione possa essere verificata ma non …

31 complexity-theory  computability  np-hard 

Quindi, il problema decisionale TSP (Venditore ambulante) è NP completo . Ma non capisco come posso verificare che una data soluzione a TSP sia effettivamente ottimale in tempo polinomiale, dato che non c'è modo di trovare la soluzione ottimale in tempo polinomiale (perché il problema non è in P)? Qualcosa …

31 complexity-theory  np-complete  traveling-salesman