Scienza del computer

5

Vedo che la maggior parte delle definizioni di ciò che deve essere completo di Turing sono tautologiche in una certa misura. Ad esempio, se Google "cosa significa essere Turing completo", ottieni: Un computer è Turing completo se può risolvere qualsiasi problema che una macchina Turing può ... Sebbene sia ben …

34 turing-machines turing-completeness

4

Ci sono problemi NP, non in P e non NP Complete?

Ci sono problemi noti in (e non in ) che non sono completi? La mia comprensione è che non ci sono attualmente problemi noti in cui questo è il caso, ma non è stato escluso come una possibilità. P N PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Se c'è un problema che è (e non ) …

34 complexity-theory np-complete p-vs-np

2

Ci sono miglioramenti nell'algoritmo di Dana Angluin per l'apprendimento di serie regolari

Nel suo seminario del 1987 Dana Angluin presenta un algoritmo temporale polinomiale per l'apprendimento di un DFA da domande di appartenenza e domande di teoria (controesempi a un DFA proposto). Mostra che se stai cercando di imparare un DFA minimo con stati, e il tuo più grande esempio di countex …

33 algorithms learning-theory machine-learning

2

Qual è la differenza tra thread a livello di utente e thread a livello di kernel?

Dopo aver letto diverse fonti sono ancora confuso sui thread a livello di utente e kernel. In particolare: I thread possono esistere sia a livello di utente che a livello di kernel Qual è la differenza tra il livello utente e il livello kernel?

33 operating-systems terminology concurrency os-kernel

2

su "Sulla crudeltà di insegnare davvero la scienza informatica"

Dijkstra, nel suo saggio Sulla crudeltà di insegnare davvero la scienza informatica , fa la seguente proposta per un corso introduttivo di programmazione: Da un lato, insegniamo ciò che assomiglia al calcolo del predicato, ma lo facciamo in modo molto diverso dai filosofi. Per addestrare il programmatore inesperto alla manipolazione …

33 reference-request programming-languages education didactics

1

NP-difficile riempire i bidoni con mosse minime?

Ci sono bidoni e tipi di palline. L' bin contiene etichette per , è il numero previsto di palline di tipo .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Inizi con palline di tipo . Ogni pallina di tipo ha un peso e vuole mettere le palline nei contenitori in modo tale che il cestino …

33 complexity-theory np-hard integer-programming

2

C'è una differenza tra la programmazione dinamica top-down e bottom-up?

Esiste una differenza fondamentale tra la programmazione dinamica top-down e bottom-up? In particolare, esiste un problema che può essere risolto dal basso verso l'alto ma non dall'alto verso il basso? Oppure l'approccio bottom-up è solo una svolta della ricorrenza nell'approccio top-down?

33 algorithms dynamic-programming

2

Quanto è asintoticamente cattivo l'ingenuo mescolamento?

È noto che questo algoritmo 'ingenuo' per mescolare un array scambiando ogni elemento con un altro scelto casualmente non funziona correttamente: for (i=0..n-1) swap(A[i], A[random(n)]); In particolare, poiché a ciascuna delle iterazioni viene fatta una delle scelte (con probabilità uniforme), ci sono possibili "percorsi" attraverso il calcolo; perché il numero …

33 algorithms algorithm-analysis asymptotics probability-theory randomness

4

Qual è esattamente la differenza semantica tra set e type?

EDIT: ora ho fatto una domanda simile sulla differenza tra categorie e set. Ogni volta che leggo della teoria dei tipi (che è certamente piuttosto informale), non riesco davvero a capire come si differenzia concretamente dalla teoria degli insiemi . Capisco che esiste una differenza concettuale tra il dire "x …

33 type-theory sets

2

Lingue regolari planari

Nella mia classe uno studente ha chiesto se tutti gli automi finiti potevano essere disegnati senza attraversare i bordi (sembra che tutti i miei esempi lo facessero). Naturalmente la risposta è negativa, l'automa ovvio per la lingua {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} ha la struttura di …

33 regular-languages finite-automata planar-graphs

4

In cosa consiste la programmazione dinamica?

Scusa in anticipo se questa domanda sembra stupida ... Per quanto ne so, la creazione di un algoritmo utilizzando la programmazione dinamica funziona in questo modo: esprimere il problema come relazione di ricorrenza; attuare la relazione di ricorrenza tramite memoizzazione o un approccio dal basso verso l'alto. Per quanto ne …

33 algorithms dynamic-programming algorithm-design

4

Come si collegano O e Ω al caso peggiore e migliore?

Oggi abbiamo discusso in una lezione un algoritmo molto semplice per trovare un elemento in un array ordinato usando la ricerca binaria . Ci è stato chiesto di determinare la sua complessità asintotica per una serie di nnn elementi. La mia idea era, che è obvisously O(logn)O(log⁡n)O(\log n) , o …

33 algorithm-analysis asymptotics landau-notation reference-question

5

Come fanno i computer a ricordare dove archiviano le cose?

Quando un computer memorizza una variabile, quando un programma deve ottenere il valore della variabile, come fa il computer a sapere dove cercare in memoria il valore di quella variabile?

32 compilers memory-access variable-binding

3

L'hardware / implementazione influenzerà la complessità tempo / spazio degli algoritmi?

Non sono nemmeno uno studente CS, quindi questa potrebbe essere una domanda stupida, ma per favore abbi pazienza con me ... Nell'era pre-computer, possiamo implementare solo una struttura di dati array con qualcosa come una matrice di cassetti. Poiché è necessario individuare il cassetto con l'indice corrispondente prima di estrarre …

32 algorithms algorithm-analysis data-structures runtime-analysis

5

Le lingue normali possono essere complete di Turing?

Stavo leggendo di Iota e Jot e ho trovato questa sezione confusa: A differenza di Iota, in cui l'albero sintattico di una stringa può diramarsi a sinistra oa destra, la sintassi di Jot è uniformemente ramificata a sinistra. Di conseguenza, Iota è strettamente privo di contesto, ma Jot è un …

32 regular-languages programming-languages turing-completeness