Scienza del computer

3

Approssimazione della complessità di Kolmogorov

Ho studiato qualcosa sulla complessità di Kolmogorov , ho letto alcuni articoli e libri di Vitanyi e Li e ho usato il concetto di distanza di compressione normalizzata per verificare la distanza degli autori (identificare come ciascun autore scrive alcuni testi e documenti di gruppo in base alla loro somiglianza). …

22 computability approximation data-compression kolmogorov-complexity

4

Una macchina che non si ferma mai fa sempre un ciclo?

Una macchina di Turing che ritorna ad uno stato precedentemente incontrato con la sua testina di lettura / scrittura sulla stessa cella dello stesso identico nastro verrà catturata in un ciclo. Tale macchina non si ferma. Qualcuno può fare un esempio di una macchina che non si ferma mai e …

22 computability turing-machines halting-problem

4

Perché utilizziamo strutture di dati persistenti nella programmazione funzionale?

La programmazione funzionale impiega strutture di dati persistenti e oggetti immutabili. La mia domanda è: perché è fondamentale disporre di tali strutture di dati qui? Voglio capire a basso livello cosa accadrebbe se la struttura dei dati non fosse persistente? Il programma andrebbe in crash più spesso?

22 data-structures functional-programming programming-paradigms persistent-data-structure

1

Quante distanze più brevi cambiano quando si aggiunge un bordo a un grafico?

Sia un grafico completo, ponderato e non orientato. Costruiamo un secondo grafico aggiungendo i bordi uno per uno da a . Aggiungiamo i bordi a in totale.G ′ = ( V , E ′ ) E E ′ Θ ( | V | ) G ′G=(V,E)G=(V,E)G=(V,E)G′=(V,E′)G′=(V,E′)G'=(V, E')EEEE'E′E'Θ ( | V| …

22 algorithms graphs graph-theory shortest-path

1

Come mostrare che L = L (G)?

Specificare le lingue formali dando grammatiche formali è un compito frequente: abbiamo bisogno di grammatiche non solo per descrivere le lingue, ma anche per analizzarle o persino per fare scienza adeguata . In tutti i casi, è importante che la grammatica a portata di mano sia corretta , ovvero generi …

22 formal-languages formal-grammars proof-techniques reference-question

2

Quale combinazione di strutture dati memorizza in modo efficiente reti bayesiane discrete?

Comprendo la teoria alla base delle reti bayesiane e mi chiedo cosa serve per costruirne una in pratica. Diciamo per questo esempio che ho una rete bayesiana (diretta) di 100 variabili casuali discrete; ogni variabile può assumere uno di massimo 10 valori. Conservo tutti i nodi in un DAG e …

22 data-structures machine-learning

4

Algoritmi di ordinamento che accettano un comparatore casuale

Gli algoritmi di ordinamento generici generalmente richiedono un set di dati per l'ordinamento e una funzione di confronto che può confrontare due singoli elementi. Se il comparatore è una relazione d'ordine¹, l'output dell'algoritmo è un elenco / array ordinato. Mi chiedo però quali algoritmi di ordinamento funzionerebbero effettivamente con un …

22 algorithms randomized-algorithms sorting

1

Gli alberi AVL non sono bilanciati in base al peso?

In una domanda precedente c'era una definizione di alberi equilibrati e una domanda relativa agli alberi rosso-neri. Questa domanda è di porre la stessa domanda, ma per gli alberi AVL . La domanda è, data la definizione di alberi bilanciati con μμ\mu come nell'altra domanda, C'è qualche μ>0μ>0\mu \gt 0 …

22 data-structures binary-trees search-trees balanced-search-trees avl-trees

2

Esiste un linguaggio "naturale" indecidibile?

Esiste un linguaggio "naturale" che è indecidibile? per "naturale" intendo un linguaggio definito direttamente dalle proprietà delle stringhe e non tramite macchine e loro equivalenti. In altre parole, se gli sguardi lingua come dove è una TM, DFA (o regolari-exp), PDA (o la grammatica), ecc .., allora non è naturale. …

22 formal-languages automata computability undecidability

1

Candidati naturali per la gerarchia all'interno di NPI

Supponiamo che . è la classe di problemi in che non sono né in né in -hard. Puoi trovare un elenco di problemi che si suppone siano qui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Il teorema di Ladner ci dice che se allora c'è una gerarchia infinita di , cioè ci sono problemi …

22 complexity-theory np-hard

4

Esistono altri modi per descrivere linguaggi formali diversi dalle grammatiche?

Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Sto cercando teorie matematiche che descrivono i linguaggi formali (insieme di stringhe) in generale e non solo le gerarchie grammaticali.

22 formal-languages formal-grammars

2

In che modo un compilatore JIT è diverso da un normale compilatore?

C'è stato molto clamore sui compilatori JIT per linguaggi come Java, Ruby e Python. In che modo i compilatori JIT sono diversi dai compilatori C / C ++ e perché i compilatori scritti per Java, Ruby o Python sono chiamati compilatori JIT, mentre i compilatori C / C ++ sono …

22 compilers

2

L'algoritmo di Dijkstra è solo BFS con una coda prioritaria?

Secondo questa pagina , l'algoritmo di Dijkstra è solo BFS con una coda prioritaria. è davvero così semplice? Penso di no.

22 algorithms graphs shortest-path

3

Perché questo codice è unicamente decodificabile?

Alfabeto sorgente: { a , b , c , d, e , f}{un',B,c,d,e,f}\{a, b, c, d, e, f\} Alfabeto codice: { 0 , 1 }{0,1}\{0, 1\} a : 0101un':0101a\colon 0101 b : 1001B:1001b\colon 1001 c : 10c:10c\colon 10 d: 000d:000d\colon 000 e : 11e:11e\colon 11 f: 100f:100f\colon 100 Ho pensato …

21 encoding-scheme

2

Come è verificabile il problema del commesso viaggiatore in tempo polinomiale?

Quindi capisco l'idea che il problema decisionale sia definito come Esiste un percorso P tale che il costo sia inferiore a C? e puoi facilmente verificare che ciò sia vero verificando un percorso che ricevi. Tuttavia, cosa succede se non esiste un percorso che soddisfi questi criteri? Come verificheresti la …

21 complexity-theory time-complexity np decision-problem traveling-salesman