Scienza del computer terminology

1

Qual è la differenza tra fermare, accettare e decidere nel contesto delle macchine Turing?

Accettare significa che il TM leggerà e riconoscerà un carattere dalla cella da cui sta attualmente leggendo? Ed è un caso che una TM si fermi se l'ingresso è decidibile?

10 terminology turing-machines undecidability

1

Risolutore Unificazione vs. SAT

Ho letto su Wikipedia che l' unificazione è un processo per risolvere il problema della soddisfacibilità. Allo stesso tempo, so che tali solutori sono chiamati "solutori SAT" o "solutori SMT". Quindi, sono nomi diversi per la stessa cosa? Se dici che sono diversi, ti preghiamo di sottolineare un difetto nel …

10 terminology sat-solvers unification

2

Qual è l'altezza media di un albero binario?

Esiste una definizione formale relativa all'altezza media di un albero binario? Ho una domanda tutorial su come trovare l'altezza media di un albero binario usando i seguenti due metodi: La soluzione naturale potrebbe essere quella di prendere la lunghezza media di tutti i possibili percorsi dalla radice a una foglia, …

10 graph-theory terminology combinatorics binary-trees

3

Somma dei termini di Landau rivisitati

Ho fatto una domanda (seed) sulle somme dei termini di Landau prima , cercando di valutare i pericoli dell'abuso della notazione asintotica in aritmetica, con un successo misto. Ora, qui il nostro guru della ricorrenza JeffE fa essenzialmente questo: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Mentre il risultato finale è …

10 terminology asymptotics landau-notation

2

Qual è la differenza tra variabili e puntatori?

Mentre leggevo un articolo che delineava le differenze in OO e nella programmazione funzionale, mi sono imbattuto in indicatori di funzione. È passato un po 'di tempo da quando ho completato la mia laurea in Informatica (2003) e quindi ho cercato gli indicatori per rinfrescare la mia memoria. I puntatori …

10 terminology programming-languages

3

Qual'è la differenza tra Multiprogramming e Multitasking

Trovo difficile distinguere chiaramente tra multiprogrammazione e multitasking. La mia fonte principale è stata Wikipedia , ma l'articolo del WP sembra essere un po 'in contrasto con alcune fonti meno affidabili (come il mio professore universitario). Mentre leggo il WP, il multiprogrammazione è un modo rudimentale di aumentare la produttività …

10 terminology process-scheduling

5

Che cos'è un algoritmo efficiente?

Dal punto di vista del comportamento asintotico, che cosa è considerato un algoritmo "efficiente"? Qual è lo standard / motivo per disegnare la linea in quel punto? Personalmente, penso che tutto ciò che è ciò che potrei chiamare ingenuamente "sub-polinomiale", in modo tale che come sia efficiente e tutto ciò …

10 algorithms terminology asymptotics landau-notation

3

Alla ricerca di un dizionario di notazione matematica / CS

C'è una serie vertiginosa di simboli a volte usata in matematica e CS. Eppure molti assumono una familiarità di base che sembra raramente insegnata in un unico posto. Sto cercando un dizionario simile al seguente, soprattutto dal punto di vista CS. Elencherebbe tutti i simboli matematici di base e darebbe …

10 terminology reference-request education

3

Che cos'è un metodo ingenuo?

Stavo studiando la programmazione dinamica e ho letto quanto segue: Spesso quando si utilizza un metodo più ingenuo, molti dei sottoproblemi vengono generati e risolti molte volte. Che cos'è un metodo ingenuo?

10 terminology dynamic-programming

2

Le condizioni per il grafico bipartito devono essere planari senza bordi che vanno attorno ai vertici

Un grafico bipartito è planare se non ha K3,3K3,3K_{3, 3} o minori.K5K5K_5 Sto cercando le condizioni necessarie o / e sufficienti per consentire disegni planari senza spigoli che "girano" insieme di vertici. Questi disegni soddisfano: Tutti i vertici di una parte sono disegnati su un'unica linea verticale. I vertici dell'altra …

9 graph-theory terminology graph-drawing

4

Perché la ricerca binaria è chiamata ricerca binaria?

Ho sentito diverse possibili spiegazioni, quindi vorrei un riferimento attendibile. Aggiornamento 05.19: Sono interessato alla domanda perché uno dei miei studenti ha scritto nella sua tesi che il nome deriva dalla seguente spiegazione (1). Fino ad ora ho pensato / sentito che deriva dalla spiegazione (2). Mi sentirei male sia …

9 terminology reference-request history

1

Cos'è l'oblio della RAM e come funziona?

Qualcuno potrebbe spiegarmi cos'è esattamente la RAM inconsapevole? Ho trovato il seguente spiegazione che mi rende abbastanza chiaro, ma vorrei avere un'idea degli aspetti tecnici: La crittografia non è sempre sufficiente per garantire la privacy. Se un avversario è in grado di osservare i tuoi schemi di accesso all'archiviazione crittografata, …

9 terminology computer-architecture security memory-hardware memory-access

4

Cosa è "dinamico" nella programmazione dinamica?

Uno dei miei anziani ha avuto un colloquio di lavoro e gli è stato chiesto perché si chiama dinamico. Non ha potuto rispondere e dopo aver rinunciato all'intervistatore ha detto che non c'è nulla di dinamico, si chiama così. Per me è difficile da credere. Fa riferimento al fatto che …

9 terminology dynamic-programming

5

Perché TSP non richiede ripetizione delle città?

Mi sembra strano che il TSP neghi la possibilità di città ripetute. L'obiettivo di questo commesso viaggiatore è di andare il più velocemente possibile e visitare tutte le città, giusto? E se fosse più veloce viaggiare in una città in cui sei già stato?

9 terminology traveling-salesman

4

Che cos'è una sorta di semantica del linguaggio di programmazione?

Nel capitolo 1 di Basi pratiche per i linguaggi di programmazione , l'autore menziona che gli alberi di sintassi astratti sono associati a specie . Intuitivamente, i tipi sono come i tipi, ma mi piacerebbe sapere se hanno una definizione precisa. Sarei felice se anche alcuni riferimenti fossero forniti.

9 terminology programming-languages semantics

Domande taggate «terminology»