Scienza del computer

3

Come faccio a sapere se una rete di confronto ordina?

Mi viene presentata una rete di confronto. Come posso determinare se la rete di confronto è una rete di smistamento? Nell'immagine seguente è riportato un esempio di una rete di ordinamento per selezione e ordinamento per inserzione. L'intenzione è quella di avere una rete di confronto e ordinare i valori …

9 sorting

2

Classe di complessità di Matrix Inversion

L'inversione di una matrice è nella classe di complessità ?PP\text{P} Dal runtime direi di sì ma la matrice invertita può contenere voci in cui la dimensione non è limitata polinomialmente dall'input?O (n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory

1

Cosa significa il 2 in un algoritmo di approssimazione 2?

Il 2 in un algoritmo di approssimazione 2 significa che la soluzione è entro 2 * OPT o OPT / 2?

9 algorithms algorithm-analysis np approximation polynomial-time

2

Quale fixpoint è il tipo di elenco Haskell?

Diciamo che gli elenchi sono definiti come List a = Nil | Cons a (List a) Quindi, in Haskell è List xil punto di correzione più grande o meno? Sto chiedendo perché lfp dovrebbe escludere elenchi infiniti (ma è possibile costruirli in Haskell), mentre gfp dovrebbe escludere quelli finiti.

9 programming-languages type-theory functional-programming semantics category-theory

2

Esiste una definizione canonica della funzione "pura"?

StackOverflow mi ha indicato qui, quindi la domanda potrebbe essere un po 'nei termini di un laico. Wikipedia definisce funzioni pure come Nella programmazione al computer, una funzione può essere descritta come una funzione pura se entrambe queste affermazioni sulla funzione contengono: La funzione valuta sempre lo stesso valore di …

9 terminology functional-programming semantics

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

4

Indirizzabile a parola o byte? Terminologia corretta

Apparentemente, un byte si è affermato come 8 bit (è corretto?). La RAM e il NOR-flash sono normalmente accessibili a un livello abbastanza granulare, ma spetta all'architettura del sistema determinare se l'unità indirizzabile più piccola è 8 bit, 16 bit o qualsiasi altra potenza del numero di due bit. La …

9 terminology computer-architecture memory-management memory-access

2

Equivalenza di set indipendente e set di imballaggio

Secondo Wikipedia, il problema del set indipendente è un caso speciale del problema del set packing . Ma mi sembra che questi problemi siano equivalenti. Il problema di ricerca del set indipendente è: dato un grafico e un numero intero , trova vertici di cui due adiacenti.G(V,E)G(V,E)G(V,E)nnnnnn Il problema di …

9 algorithms graphs sets packing

2

Suddividere una lingua regolare infinita in 2 lingue regolari infinite disgiunte

Dato qualsiasi linguaggio regolare infinito , come posso dimostrare che può essere partizionato in 2 linguaggi regolari infiniti disgiunti ? Cioè: , e e sono entrambi infiniti e regolari.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Finora ho pensato a: usando il lemma del pompaggio in modo tale …

9 formal-languages regular-languages finite-automata

2

Hashing rapido: combinazione di tecniche diverse per identificare le modifiche in un file?

Voglio creare un modo rapido per rilevare se un file potrebbe essere o meno lo stesso. Per quasi il 100% di sicurezza userei un algoritmo di hash esistente, ad esempio SHA256. Tuttavia, ci si aspetta che i file siano enormi file video con diversi GB, quindi il calcolo dell'hash SHA256 …

9 hash performance

3

Perché usare

È noto che le logiche temporali LTL, CTL, CTL * possono essere tradotte / incorporate in μμ\mu-calcolo. In altre parole, il (modale)μμ\mu-calculus sottrae queste logiche, (cioè è più espressivo.) Potresti spiegare / indicarmi documenti / libri che trattano questo argomento. In particolare, ci sono proprietà concrete di equità, vivacità, ecc. …

9 logic simulation linear-temporal-logic mu-calculus computation-tree-logic

2

Teorema di Courcelle: alla ricerca di documenti

Sto cercando un documento facile e introduttivo sulla dimostrazione del teorema di Courcelle . Sono anche interessato alla sua connessione con la complessità parametrizzata per quanto riguarda la larghezza degli alberi . Sono solo un principiante in questo campo. Eventuali suggerimenti?

9 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

2

È possibile eseguire tipi dipendenti nella racchetta tipizzata?

È possibile utilizzare i tipi dipendenti nell'implementazione della racchetta tipizzata esistente ? (cioè esistono in esso?) È ragionevolmente possibile implementare un sistema di tipi dipendenti usando la racchetta tipizzata?

9 programming-languages typing type-checking dependent-types lisp

1

Rete neurale divergente invece di convergere

Ho implementato una rete neurale (usando CUDA) con 2 livelli. (2 neuroni per strato). Sto cercando di far apprendere 2 semplici funzioni polinomiali quadratiche usando la backpropagation . Ma invece di convergere, è divergente (l'output sta diventando infinito) Ecco alcuni dettagli in più su ciò che ho provato: Avevo impostato …

9 machine-learning artificial-intelligence neural-networks

1

Cosa significa dire che una lingua è "effettivamente chiusa" sotto un'operazione?

Ho letto alcuni articoli di teoria del linguaggio formale e ho trovato un termine che non capisco. Il documento farà spesso riferimento a un set "effettivamente chiuso sotto l'intersezione" o ad altre operazioni. Cosa significa "efficacemente" qui? In che cosa differisce dalla normale chiusura? Per riferimento, il documento in cui …

9 formal-languages terminology computability automata closure-properties