Scienza del computer

3

Analisi di grammatiche arbitrarie senza contesto, per lo più brevi frammenti

Voglio analizzare lingue specifiche del dominio definite dall'utente. Queste lingue sono in genere vicine alle notazioni matematiche (non sto analizzando un linguaggio naturale). Gli utenti definiscono il loro DSL in una notazione BNF, in questo modo: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * …

20 formal-languages parsers compilers

3

Estensione della cattura SQL

Secondo Immerman , la classe di complessità associata alle query SQL è esattamente la classe delle query sicure in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (query del primo ordine più operatore di conteggio): SQL acquisisce query sicure. (In altre parole, tutte le query SQL presentano una complessità in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} e tutti i problemi in Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} …

20 database-theory complexity-theory finite-model-theory descriptive-complexity

5

Perché la crittografia con lo stesso one-time-pad non è buona?

Per crittografare un messaggio con un tasto per una sola volta k , fai E n c ( m 1 , k ) = m 1 ⊕ k .m1m1m_1kkkEnc(m1,k)=m1⊕kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Se usi lo stesso per crittografare un messaggio diverso m 2 ottieni E n c ( m …

20 cryptography information-theory encryption

1

Equivalenza delle definizioni di Kolmogorov-complessità

Esistono molti modi per definire la complessità di Kolmogorov e , di solito, tutte queste definizioni sono equivalenti a una costante additiva. Cioè se e sono funzioni di complessità di kolmogorov (definite tramite linguaggi o modelli diversi), allora esiste una costante tale che per ogni stringa , . Credo che …

20 computability kolmogorov-complexity

2

I tipi universali sono un sottotipo o un caso speciale di tipi esistenziali?

Vorrei sapere se un tipo : universalmente quantificato è un sottotipo, oppure caso speciale, di tipo quantificato con la stessa firma:TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\}TeTeT_eTe=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} Direi "sì": se qualcosa è vero "per tutte le X" ( ), allora …

20 logic type-theory typing

5

Compressione efficiente di alberi senza etichetta

Prendi in considerazione alberi binari senza etichetta e con radici. Possiamo comprimere tali alberi: quando sono puntatori ai sottoalberi e T ' con T = T ' (interpretazione = la parità strutturali), abbiamo memorizzare (WLOG) T e sostituire tutti i puntatori alle T ' con puntatori a T . Vedi …

20 algorithms data-structures trees binary-trees

7

Dimostrare P ≠ NP sarebbe più difficile che provare P = NP?

Considera due possibilità per il problema P vs. NP: P = NP e P ≠≠\neq NP. Lascia che Q sia uno dei noti problemi NP-difficili. Per dimostrare P = NP, dobbiamo progettare un singolo algoritmo temporale polinomiale A per Q e dimostrare che A risolve correttamente Q. Per dimostrare P …

20 complexity-theory p-vs-np

2

Gli alberi tagliati a link vengono mai utilizzati in pratica, per il calcolo del flusso massimo o altre applicazioni?

Molti algoritmi di flusso massimo che comunemente vedo implementati, l'algoritmo di Dinic, il push relabel e altri, possono migliorare il loro costo del tempo asintotico attraverso l'uso di alberi dinamici (noti anche come alberi tagliati a link). Push relabel funziona in o O ( V 3 ) o O ( …

20 reference-request graphs data-structures network-flow

7

Giustificazione per trascurare i fattori costanti in Big O

Molte volte se le complessità hanno costanti come 3n, trascuriamo questa costante e diciamo O (n) e non O (3n). Non riesco a capire come possiamo trascurare questo cambiamento di tre volte? Alcune cose variano 3 volte più rapidamente di altre! Perché trascuriamo questo fatto?

20 complexity-theory asymptotics landau-notation

7

Perché la rappresentazione in virgola mobile utilizza un bit di segno anziché il complemento di 2 per indicare numeri negativi

Considera una rappresentazione in virgola fissa che può essere considerata come un caso degenerato di un numero mobile. È del tutto possibile utilizzare il complemento di 2 per i numeri negativi. Ma perché è necessario un bit di segno per i numeri in virgola mobile, i bit di mantissa non …

20 computer-architecture floating-point number-formats

1

Algoritmo ottimale per trovare la circonferenza di un grafico sparso?

Mi chiedo come trovare la circonferenza di un grafico sparso non orientato. Per rado intendo . Per ottimale intendo la minore complessità temporale.| E| =O( | V| )|E|=O(|V|)|E|=O(|V|) Ho pensato ad alcune modifiche all'algoritmo di Tarjan per i grafici non indirizzati, ma non ho trovato buoni risultati. In realtà ho …

20 algorithms time-complexity graph-theory

4

Quali discussioni condividono in generale?

Bene, questa è una domanda generale. E se qualcuno vuole renderlo specifico per l'implementazione, preferirò cose relative a Unix. Ma prima devi conoscere i seguenti problemi in generale: Ho letto singolo processo può avere più thread. Più thread dello stesso processo condividono cose tra loro. Voglio sapere cosa condividono e …

20 operating-systems threads

6

Perché i compilatori producono codice assembly?

Il linguaggio assembly viene convertito in linguaggio macchina dall'assemblatore. Perché un compilatore dovrebbe convertire un linguaggio di alto livello in assembly? Non può convertire direttamente dal linguaggio di alto livello al codice macchina?

19 compilers code-generation assembly

7

Quali sono le caratteristiche di a

A volte è facile identificare la complessità temporale di un algoritmo che sto esaminando attentamente. Gli algoritmi con due loop nidificati di sono ovviamente . Gli algoritmi che esplorano tutte le possibili combinazioni di gruppi di due valori sono ovviamenteN 2 N 2 NNNNN2N2N^2NNN2N2N2^N . Tuttavia non so come "individuare" …

19 algorithm-analysis time-complexity intuition

7

È possibile comprimere i dati casuali di

Ho dei dati reali che sto usando per un gioco di carte simulato. Sono interessato solo ai ranghi delle carte, non ai semi. Tuttavia è un mazzo standard da carte, quindi nel mazzo ci sono solo di ogni valore. Il mazzo viene mischiato bene per ogni mano, e quindi metto …

19 data-compression