Scienza del computer

6

Perché la garbage collection si estende solo alla memoria e non ad altri tipi di risorse?

Sembra che le persone si siano stancate della gestione manuale della memoria, quindi hanno inventato la raccolta dei rifiuti e la vita era abbastanza buona. Ma che dire di ogni altro tipo di risorsa? Descrittori di file, socket o persino dati creati dall'utente come connessioni al database? Sembra una domanda …

12 garbage-collection resource-allocation

3

Perché riscrivere i termini?

Ho fatto un po 'di googleing e ne sono uscito un po' corto. Mi chiedo quali sono le ragioni principali per cui gli scienziati informatici, i programmatori, studiano la riscrittura dei termini e / o la riscrittura dei termini. Per quanto posso dire, aiuta solo per il ragionamento di base …

12 term-rewriting

2

Qual è la complessità del problema di vuoto per i DFA a 2 vie?

Mi chiedo, qual è la complessità temporale nel determinare il vuoto per i DFA a 2 vie? Cioè, automi finiti che possono spostarsi all'indietro sul nastro di input di sola lettura. Secondo Wikipedia, sono equivalenti ai DFA, sebbene il DFA equivalente potrebbe essere esponenzialmente più grande. Ho trovato la complessità …

12 complexity-theory formal-languages reference-request automata finite-automata

2

Indovinare il numero intero positivo univoco più piccolo

Consideriamo il seguente gioco: ci sono alcuni giocatori e un computer. Ogni giocatore inserisce un numero intero positivo e il suo nome (il giocatore non conosce i numeri di un altro, solo il suo). Quando tutti i giocatori hanno fatto le loro mosse, il computer emette un nome di vincitore, …

12 game-theory randomness

5

In un DFA, ogni stato ha una transizione su ogni simbolo dell'alfabeto?

In caso contrario, cosa significa quando per qualche stato qqq e qualche simbolo un'aa , δ( q, a )δ(q,a)\delta(q, a) non esiste?

12 terminology automata finite-automata

1

Sintesi del programma, decidibilità e problema di arresto

Stavo leggendo una risposta a una domanda recente e mi è venuta in mente una specie di pensiero strano ed effimero. La mia richiesta potrebbe tradire che la mia teoria non è seriamente carente (per lo più vera) o che è troppo presto per leggere questo sito. Ora, con il …

12 turing-machines undecidability halting-problem

1

Prova che il complemento di non è regolare usando le proprietà di chiusura

Voglio dimostrare che il complemento di non è regolare usando le proprietà di chiusura.{ 0n1n∣ n ≥0 }{0n1n|n≥0}\{0^n1^n \mid n \geq{} 0\} Comprendo che il lemma del pompaggio può essere usato per dimostrare che non è un linguaggio normale. Comprendo anche che le lingue regolari sono chiuse sotto operazioni complementari. …

12 formal-languages regular-languages closure-properties

1

Scambia la gestione dello spazio durante il paging della domanda pura

Quella che segue è un dubbio che mi sono imbattuto mentre svolgevo un compito a casa del SO - tuttavia, sembra più basato sui concetti di una semplice domanda di codifica, quindi IMHO non penso che il tag dei compiti a casa sia appropriato per questo. In uno schema di …

12 operating-systems memory-allocation virtual-memory paging memory-management

1

Cosa si intende con il termine "precedente" nell'apprendimento automatico

Sono nuovo di machine learning. Ho letto diversi articoli in cui hanno utilizzato l'apprendimento approfondito per varie applicazioni e hanno usato il termine "precedente" nella maggior parte dei casi di progettazione del modello, diciamo prima nella stima della posa del corpo umano. Qualcuno può spiegare cosa significa effettivamente. Ho potuto …

12 terminology machine-learning pattern-recognition bayesian-statistics

2

Perché non possiamo trovare percorsi più brevi con pesi negativi semplicemente aggiungendo una costante in modo che tutti i pesi siano positivi?

Attualmente sto leggendo l'introduzione agli algoritmi e sono arrivato dall'algoritmo di Johnson che dipende dal fatto che tutti i percorsi siano positivi. l'algo dipende dal trovare una nuova funzione di peso (w ') che è positiva per tutti i bordi e mantiene la correttezza delle relazioni dei percorsi più brevi. …

12 algorithms graph-theory graphs shortest-path

2

I computer utilizzano effettivamente gli additivi carry-lookahead?

Ci sono molti dettagli su come aggiungere additivi lookahead come Kogge-Stone, Lander-Fischer, ecc. Nei corsi CS del college. Sono descritti come "comuni nel settore". Tuttavia, non riesco a trovare alcuna prova (a parte forse la catena di trasporto di Manchester) degli ultimi tempi che sono stati effettivamente utilizzati ovunque in …

12 computer-architecture

3

Che cosa vuol dire dicendo "asintoticamente più efficiente"?

Cosa significa quando diciamo che un algoritmo è asintoticamente più efficiente di ?YXXXYYY XXX sarà una scelta migliore per tutti gli input. XXX sarà una scelta migliore per tutti gli ingressi tranne quelli piccoli. XXX sarà una scelta migliore per tutti gli ingressi tranne quelli di grandi dimensioni. YYY sarà …

12 algorithms algorithm-analysis terminology asymptotics

2

La domanda aperta NP = co-NP è uguale a P = NP?

Mi chiedo questo in base a diversi posti online che chiamano co- un grave problema aperto ... ma non riesco a trovare alcuna indicazione se questo sia o meno lo stesso di Problema ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory complexity-classes p-vs-np

3

Come è questa grammatica LL (1)?

Questa è una domanda dal Libro del Drago. Questa è la grammatica: S→ A a A b ∣ B b B aS→AaAb∣BbBaS \to AaAb \mid BbBa A → εA→εA \to \varepsilon B → εB→εB \to \varepsilon La domanda chiede come mostrare che è LL (1) ma non SLR (1). Per …

12 formal-grammars compilers parsers

4

Come funziona una macchina di Turing non deterministica?

Quali sono le differenze tra le macchine di Turing deterministiche e non deterministiche? Modelli diversi ma equivalenti di NDTM. In particolare, qual è questa frase frequentemente usata "indeterminatamente indovinare"? Come usarlo nel modo giusto ed esempi di utilizzo errato. Il mio obiettivo è creare una domanda di riferimento.

12 turing-machines nondeterminism