Scienza del computer

9

Generare numeri casuali distribuiti uniformemente usando una moneta

Hai una moneta. Puoi capovolgerlo tutte le volte che vuoi. Volete generare un numero casuale tale che dove .a ≤ r < b r , a , b ∈ Z +rrra ≤ r < ba≤r<ba \leq r < br , a , b ∈ Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ La distribuzione dei numeri …

26 algorithms probability-theory randomness random-number-generator

1

Conseguenza (sparsa) ripetuta più a lungo in una stringa

Dichiarazione di problema informale: Data una stringa, ad esempio , vogliamo colorare alcune lettere in rosso e alcune in blu (e alcune in nessun caso), in modo tale che leggere solo le lettere rosse da sinistra a destra produca lo stesso risultato della lettura delle sole lettere blu.ACCABBABACCABBABACCABBAB Nell'esempio possiamo …

26 algorithms complexity-theory np-complete strings subsequences

3

Strumenti di programmazione visiva, perché non funzionano direttamente con l'AST?

Ho trovato diversi strumenti di programmazione visiva open source come Blockly e amici e altri progetti ospitati su Github, ma non sono riuscito a trovare nessuno che funzioni direttamente con l'albero di sintassi astratto. Perché? Lo sto chiedendo perché una volta scoperto che ogni compilatore là fuori ha una fase …

25 programming-languages language-design syntax-trees

2

Struttura dei dati con ricerca, inserimento ed eliminazione in tempo ammortizzato

Esiste una struttura di dati per mantenere un elenco ordinato che supporta le seguenti operazioni nel tempo ammortizzato ?O ( 1 )O(1)O(1) GetElement (k) : restituisce il ° elemento dell'elenco.Kkk InsertAfter (x, y) : inserire il nuovo elemento y nell'elenco immediatamente dopo x. Elimina (x) : rimuove x dall'elenco. Per …

25 data-structures time-complexity asymptotics amortized-analysis

4

Il problema di arresto è decidibile per i programmi puri su un computer ideale?

È abbastanza semplice capire perché il problema dell'arresto è indecidibile per i programmi impuri (cioè quelli che hanno I / O e / o stati dipendenti dallo stato macchina-globale); ma intuitivamente, sembra che l'arresto di un programma puro su un computer ideale sia determinabile, ad esempio, dall'analisi statica. È davvero …

25 halting-problem static-analysis

4

Prova dell'indecidibilità del problema dell'arresto

Ho difficoltà a comprendere la prova dell'indecidibilità del problema di Halting. Se restituisce se il programma o meno un soste in ingresso b , perché dobbiamo far passare il codice di P sia un e bH(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb ? Perché non possiamo alimentare con P e qualche input arbitrario, diciamo, x ?H()H()H()PPPxxx

25 computability turing-machines

6

Se il problema dei due generali è irrisolvibile, come possiamo noi esseri umani concordare sulle cose?

Se il problema dei due generali è irrisolvibile, come possiamo noi esseri umani concordare sulle cose? Voglio dire, comunichiamo ogni giorno e abbiamo gli stessi limiti di qualsiasi problema di comunicazione gestito dall'informatica. Perché non ci riguarda?

25 computer-networks communication-protocols

6

Perché i cancelli reversibili non vengono utilizzati?

Stavo leggendo il libro "La singolarità è vicina" scritto da Kurzweil e ha menzionato i cancelli reversibili come ad esempio il cancello di Fredkin . Il vantaggio di utilizzare tali gate è che potremmo eliminare i rifiuti termici relativi al calcolo in cui i bit scompaiono semplicemente nel calore e …

25 computer-architecture

3

Insegnare la completezza NP - Riduzioni di Turing vs riduzioni di Karp

Sono interessato alla domanda sul modo migliore per insegnare la completezza NP alle major dell'informatica. In particolare, dovremmo insegnarlo usando le riduzioni di Karp o le riduzioni di Turing? Sento che i concetti di completezza e riduzioni di NP sono qualcosa che ogni grande informatico dovrebbe imparare. Tuttavia, quando ho …

25 complexity-theory np-complete reductions education didactics

3

Qual è la differenza tra una 'pagina' di memoria e un 'frame' di memoria?

WP ha un'adeguata discussione sul paging , che penso di aver capito. Comunque sono confuso dagli articoli che hanno ripetuto l'uso del termine Page Frame . Pensavo che cornici e pagine fossero cose diverse. Qualcuno potrebbe chiarire la differenza.

25 memory-management

2

Codifica del vincolo 1-su-n per i solutori SAT

Sto usando un solutore SAT per codificare un problema e, come parte dell'istanza SAT, ho variabili booleane x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n dove è inteso che esattamente uno di questi dovrebbe essere vero e il resto dovrebbe sii falso. (A volte ho visto questo descritto come una codifica "one-hot".) Voglio codificare il vincolo "esattamente …

25 satisfiability sat-solvers applied-theory

5

Esiste un filtro anti-Bloom?

Un filtro Bloom consente di tenere traccia in modo efficiente se durante l'elaborazione sono già stati rilevati vari valori. Quando sono presenti molti elementi di dati, un filtro Bloom può comportare un notevole risparmio di memoria su una tabella hash. La caratteristica principale di un filtro Bloom, che condivide con …

25 reference-request data-structures hash bloom-filters dictionaries

3

Trovare il taglio minimo di un grafico non indirizzato

Ecco una domanda di un esame passato che sto cercando di risolvere: Per un grafico non orientato con pesi positivi , sto cercando di trovare il taglio minimo. Non conosco altri modi per farlo oltre a usare il teorema di taglio minimo flusso massimo. Ma il grafico non è indirizzato, …

25 algorithms graph-theory

6

Qual è la relazione tra linguaggi di programmazione, espressioni regolari e linguaggi formali

Ho cercato in rete una risposta a questa domanda e sembra che tutti conoscano implicitamente la risposta tranne me. Presumibilmente questo è perché le uniche persone a cui importa sono quelle che hanno avuto un'istruzione terziaria sull'argomento. Io, d'altra parte, sono stato gettato nel profondo per un incarico di scuola …

25 formal-languages programming-languages regular-expressions

2

Come implementare un interprete di prologo in un linguaggio puramente funzionale?

Esiste un chiaro riferimento, con pseudo-codice, su come implementare un interprete Prolog in un linguaggio puramente funzionale? Ciò che ho trovato finora sembra avere a che fare solo con linguaggi imperativi, è semplicemente una dimostrazione di Prolog implementato in sé o non offre alcun algoritmo concreto da utilizzare per l'interpretazione. …

25 functional-programming prolog logic-programming