Scienza del computer

2

Determinare le capacità di un min-heap (o di altre macchine esotiche)

Vedere la fine di questo post per alcuni chiarimenti sulla definizione (i) degli automi min-heap. Si può immaginare di utilizzare una varietà di strutture di dati per archiviare informazioni per l'uso da parte di macchine a stati. Ad esempio, gli automi push-down archiviano le informazioni in uno stack e le …

44 formal-languages automata

6

Apprendimento del teorema automatizzato

Sto imparando il teorema automatizzato Proving / risolutori SMT / Proof Assistants da solo e postando una serie di domande sul processo, a partire da qui. Si noti che questi argomenti non sono facilmente digeribili senza uno sfondo in logiche (matematiche). In caso di problemi con i termini di base, …

44 logic proof-assistants automated-theorem-proving coq

5

Differenza tra programmazione parallela e concorrente?

Quando si guarda alla programmazione concorrente, vengono comunemente usati due termini, cioè simultaneo e parallelo. E alcuni linguaggi di programmazione rivendicano specificamente il supporto per la programmazione parallela, come Java . Ciò significa che la programmazione parallela e simultanea sono effettivamente diverse?

44 terminology parallel-computing concurrency

1

Mostra che {xy ∣ | x | = | y |, x ≠ y} è privo di contesto

Ricordo di aver incontrato la seguente domanda su un linguaggio che presumibilmente è privo di contesto, ma non sono stato in grado di trovare una prova del fatto. Ho forse frainteso la domanda? Comunque, ecco la domanda: Mostra che la lingua L = { x y ∣ | x | …

43 formal-languages context-free

2

Come dimostrare che una funzione non è calcolabile?

So che esiste una macchina di Turing, se una funzione è calcolabile. Quindi come mostrare che la funzione non è calcolabile o che non ci sono macchine di Turing per questo. C'è qualcosa come un lemma del pompaggio?

43 computability proof-techniques undecidability reference-question

6

Affrontare l'intrattabilità: problemi NP-completi

Supponiamo che io sia un programmatore e ho un problema NP completo che devo risolvere. Quali metodi sono disponibili per affrontare i problemi degli NPC? C'è un sondaggio o qualcosa di simile su questo argomento?

43 algorithms reference-request np-complete efficiency reference-question

1

Cosa rende indecidibile l'inferenza di tipo per tipi dipendenti?

Ho visto che i sistemi di tipo dipendente non sono inferibili, ma sono verificabili. Mi chiedevo se c'è una semplice spiegazione del perché sia così, e se esiste o meno un limite di "dipendenza" in cui i tipi possono essere indicizzati in base a valori, al di sotto dei quali …

42 undecidability type-theory type-inference dependent-types

9

Perché alcuni linguaggi di programmazione di Turing sono completi ma mancano alcune abilità di altri linguaggi?

Mi sono imbattuto in uno strano problema durante la scrittura di un interprete che (dovrebbe) agganciarsi a programmi / funzioni esterni: le funzioni in 'C' e 'C ++' non possono agganciare funzioni variadiche , ad esempio non riesco a creare una funzione che chiama 'printf' con gli stessi argomenti esatti …

42 computability programming-languages turing-completeness

5

L'iterazione può sostituire la ricorsione?

Ho visto tutto lo stack Overflow, ad esempio qui , qui , qui , qui , qui e alcuni altri che non mi interessa menzionare, che "qualsiasi programma che utilizza la ricorsione può essere convertito in un programma usando solo l'iterazione". C'era anche un thread molto votato con una risposta …

42 computability recursion iteration

11

Perché qualcuno dovrebbe voler CISC?

Nella nostra lezione sui sistemi informatici siamo stati introdotti al processore MIPS. È stato (ri) sviluppato nel corso del termine ed è stato in effetti abbastanza facile da capire. Utilizza un design RISC , ovvero i suoi comandi elementari sono regolarmente codificati e ce ne sono solo alcuni per mantenere …

42 computer-architecture

1

Un automa a spinta con due pile equivale a una macchina turing?

In questa risposta è menzionato Una lingua normale può essere riconosciuta da un automa finito. Un linguaggio privo di contesto richiede uno stack e un linguaggio sensibile al contesto richiede due stack (il che equivale a dire che richiede una macchina Turing completa) . Volevo sapere per quanto riguarda la …

41 computability turing-machines automata pushdown-automata

1

Immagina un albero rosso-nero. C'è sempre una sequenza di inserzioni e cancellazioni che la crea?

Supponiamo che la seguente definizione di un albero rosso-nero: È un albero di ricerca binario. Ogni nodo è colorato in rosso o nero. La radice è nera Due nodi collegati da un bordo non possono essere rossi contemporaneamente. Qui dovrebbe esserci una buona definizione di una foglia NIL, come su …

41 data-structures search-trees balanced-search-trees

3

Algoritmi di Peterson e Dekker in contrasto

Sto cercando di capire gli algoritmi di Peterson e Dekker che sono molto simili e mostrano molte simmetrie. Ho provato a formulare gli algoritmi in un linguaggio informale come segue: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your …

41 concurrency synchronization mutual-exclusion

2

Strutture dati efficienti per la creazione di un correttore ortografico veloce

Sto cercando di scrivere un correttore ortografico che dovrebbe funzionare con un dizionario abbastanza grande. Voglio davvero un modo efficiente per indicizzare i dati del mio dizionario da utilizzare usando una distanza Damerau-Levenshtein per determinare quali parole sono più vicine alla parola errata. Sto cercando una struttura di dati che …

41 data-structures strings string-metrics

4

Qual è il nome della classe di funzioni descritta da O (n log n)?

In "Big O", le notazioni comuni hanno nomi comuni (invece di dire "Oh di qualche fattore costante"): O (1) è "Costante" O (registro n) è "Logaritmico" O (n) è "Lineare" O (n ^ 2) è "Quadratico" O (n * log n) è ??? È solo "n log n" o ha …

40 terminology asymptotics