Scienza del computer

1

È stato rilevato un overflow dello stack da hardware o software?

È compito del software (sistema operativo) rilevare overflow dello stack o viene rilevato un overflow dello stack nell'hardware, causando un'eccezione nella CPU?

26 computer-architecture stacks

2

Regola empirica per sapere se un problema potrebbe essere NP-completo

Questa domanda è stata ispirata da un commento su StackOverflow . Oltre a conoscere i problemi NP-completi del libro Garey Johnson e molti altri; esiste una regola empirica per sapere se un problema sembra un NP-completo? Non sto cercando qualcosa di rigoroso, ma qualcosa che funziona nella maggior parte dei …

26 complexity-theory np-complete intuition

1

Esiste un calcolo SKI tipizzato?

Molti di noi conoscono la corrispondenza tra logica combinatoria e calcolo lambda . Ma non ho mai visto (forse non ho guardato abbastanza in profondità) l'equivalente di "combinatori tipizzati", corrispondente al calcolo lambda tipizzato semplicemente. Esiste una cosa del genere? Dove si possono trovare informazioni al riguardo?

26 reference-request logic lambda-calculus type-theory combinatory-logic

4

Qual è la differenza tra un tipo e un tipo?

Sto imparando il linguaggio di programmazione Haskell e sto cercando di capire quale sia la differenza tra a typee a kind. A quanto mi risulta, a kind is a type of type. Ad esempio, a ford is a type of care a car is a kind of vehicle. È un …

26 type-theory

2

Come dimostrare che una lingua è senza contesto?

Esistono molte tecniche per dimostrare che una lingua non è senza contesto, ma come posso dimostrare che una lingua è senza contesto? Quali tecniche ci sono per dimostrarlo? Ovviamente, un modo è esibire una grammatica senza contesto per la lingua. Esistono tecniche sistematiche per trovare una grammatica senza contesto per …

26 formal-languages context-free formal-grammars proof-techniques reference-question

6

Qual è la più efficiente per GCD?

So che l'algoritmo di Euclide è l'algoritmo migliore per ottenere il GCD (grande divisore comune) di un elenco di numeri interi positivi. Ma in pratica puoi codificare questo algoritmo in vari modi. (Nel mio caso, ho deciso di utilizzare Java, ma C / C ++ potrebbe essere un'altra opzione). Devo …

26 algorithms recursion arithmetic

10

"Per valori piccoli di n, O (n) può essere trattato come se fosse O (1)"

Ho sentito più volte che per valori sufficientemente piccoli di n, O (n) può essere pensato / trattato come se fosse O (1). Esempio : La motivazione per farlo si basa sull'idea errata che O (1) sia sempre migliore di O (lg n), sia sempre migliore di O (n). L'ordine …

26 asymptotics

3

La lingua di coppie di parole di uguale lunghezza la cui distanza di percussione è 2 o maggiore è senza contesto?

Il seguente contesto linguistico è gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Come sottolineato da sdcvvc, una parola in questa lingua può anche essere descritta come la concatenazione di due parole della stessa lunghezza …

26 formal-languages context-free pushdown-automata pumping-lemma open-problem

2

Versione di ottimizzazione dei problemi decisionali

Questa domanda è stata migrata dallo Scambio teorico di stack di computer science perché è possibile rispondere a Scambio stack di computer science. Migrato 7 anni fa . È noto che ogni problema di ottimizzazione / ricerca ha un problema decisionale equivalente. Ad esempio il problema del percorso più breve …

26 complexity-theory optimization search-problem decision-problem

5

Quando usare la ricorsione?

Quando ci sono alcuni casi (relativamente) di base (pensa al primo anno di college CS student) in cui uno userebbe la ricorsione invece di un semplice ciclo?

26 algorithms recursion

2

Dominosa NP-Hard è difficile?

Questa domanda è stata migrata da Scambio di stack matematici perché è possibile rispondere a Scambio di stack di informatica. Migrato 6 anni fa . Dominosa è un puzzle game relativamente nuovo. Viene riprodotto su una griglia . Prima dell'inizio del gioco, le ossa del domino vengono posizionate sulla griglia …

26 complexity-theory np-hard board-games tiling

6

L'ingresso in una macchina di Turing può avere una lunghezza infinita?

Considerando solo l'alfabeto , le stringhe che possono essere fornite come input per le macchine di Turing provengono dall'insieme . Ma ha senso che l'input sia una stringa binaria infinita? Ad esempio, se una macchina Turing accetta tutte le stringhe che iniziano con uno 0, una stringa binaria di zeri …

26 turing-machines

3

Cosa fa il processore mentre attende il recupero della memoria principale

Supponendo che le richieste di cache l1 e l2 generino un errore, il processore si blocca fino a quando non si accede alla memoria principale? Ho sentito dell'idea di passare a un altro thread, in caso affermativo cosa viene utilizzato per riattivare il thread bloccato?

26 computer-architecture cpu-cache cpu-pipelines

1

Due definizioni di alberi binari bilanciati

Ho visto due definizioni di alberi binari bilanciati, che mi sembrano diverse. Un albero binario è bilanciato se per ogni nodo sostiene che il numero di nodi interni nella sottostruttura sinistra e il numero di nodi interni nella sottostruttura destra differiscono al massimo da 1. Un albero binario è bilanciato …

26 data-structures binary-trees

4

Come simulare backreferenze, lookahead e lookbehind in automi a stati finiti?

Questa domanda è stata migrata da StackTranslate.it perché è possibile rispondere a Scambio stack di Informatica. Migrato 7 anni fa . Ho creato un semplice lexer e parser di espressioni regolari per prendere un'espressione regolare e generare il suo albero di analisi. La creazione di un automa a stati finiti …

26 automata finite-automata regular-expressions