Scienza del computer

3

Nella mia classe Java, stiamo imparando la complessità di diversi tipi di raccolte. Presto discuteremo di alberi binari, sui quali ho letto. Il libro afferma che l'altezza minima di un albero binario è log2(n+1)−1log2⁡(n+1)-1\log_2(n+1) - 1 , ma non offre ulteriori spiegazioni. Qualcuno può spiegare perché?

10 data-structures binary-trees discrete-mathematics trees

2

Fa

È NPNPNP con accesso Oracle per NPNPNP più grande di un semplice ? A quanto ho capito è solo una macchina di turing che può fare domande a un'altra macchina se così può simulare ? C'è qualcosa di sbagliato in questo argomento?NPNPNPNPNPNPNPNP^ {NP}NPNPNPNPNPNPNPNPNPNPNP^{NP}

10 complexity-theory

2

Qual è la complessità del calcolo del coefficiente di correlazione dei ranghi di Spearman?

Ho studiato il coefficiente di correlazione dei ranghi di Spearman .ρ = ∑io( xio- x¯) ( yio- y¯)Σio( xio- x¯)2Σio( yio- y¯)2-------------------√ρ=Σio(Xio-X¯)(yio-y¯)Σio(Xio-X¯)2Σio(yio-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} per due elenchi e . Qual è la complessitàX1, ... , xnX1,...,Xnx_1, \dots, x_ny1, ... , yny1,...,yny_1, \dots, y_n dell'algoritmo? Dato che …

10 complexity-theory time-complexity space-complexity

1

Come faccio a costruire un elenco di bordi doppiamente connesso dato un insieme di segmenti di linea?

Per un dato grafo planare incorporato nel piano, definita da una serie di segmenti di linea E = { e 1 , . . . , e m } , ogni segmento e i è rappresentato dai suoi punti finali { L i , R i } . Costruisci una …

10 algorithms data-structures computational-geometry doubly-connected-edge-list

1

Qual è il tasso di crescita del world wide web?

Esiste un modo per stimare quanti dati vengono aggiunti al World Wide Web ogni secondo? Ci sono studi su questo?

10 computer-networks

1

Alternative alla defunzionalizzazione

La defunzionalizzazione è una trasformazione descritta per la prima volta nel 1972 da John C. Reynolds per eliminare le funzioni di ordine superiore. Esistono trasformazioni alternative (più efficienti?) Per eliminare le funzioni di ordine superiore?

10 programming-languages functional-programming

1

Quali sono le applicazioni degli alberi di rose?

Di recente ho scoperto la struttura dei dati del roseto, ma appena uscendo da una datadefinizione di Haskell e dalla sua minuscola descrizione di Wikipedia , ho qualche problema a capire quali applicazioni potrebbe avere un roseto. Per riferimento, la datadefinizione di Haskell : data RoseTree a = RoseTree a …

10 trees

3

Che cos'è un metodo ingenuo?

Stavo studiando la programmazione dinamica e ho letto quanto segue: Spesso quando si utilizza un metodo più ingenuo, molti dei sottoproblemi vengono generati e risolti molte volte. Che cos'è un metodo ingenuo?

10 terminology dynamic-programming

1

Qual è la differenza tra RAM e TM?

Nell'analisi dell'algoritmo, ipotizziamo un generico Random Access Machine (RAM) a un processore. Per quanto ne so, la macchina RAM non è più efficiente della macchina Turing. Tutti gli algoritmi possono essere implementati nella macchina di Turing. Quindi le mie domande sono: Se la macchina di Turing è efficiente quanto la …

10 turing-machines computation-models

1

Derivare le equazioni di Sobel da derivati

Molti siti offrono agli operatori di Sobel la maschera di convoluzione per uniformare un'immagine. Tuttavia, non ho trovato un singolo sito che descriva come derivare gli operatori dai primi derivati parziali. Se qualcuno può spiegare la derivazione, lo apprezzerei molto.

10 image-processing computer-vision

3

Trovare una fonte di un grafico aciclico diretto in tempo lineare

Dato un grafico aciclico diretto , un vertice è una fonte se il suo indice è zero, il che significa che ha solo archi in uscita.D=(V,A)D=(V,A)D = (V,A)v∈Vv∈Vv \in V Esiste un algoritmo temporale lineare per trovare una sorgente in un dato grafico aciclico diretto? Domanda di follow-up: si può …

10 algorithms graph-theory

4

Una Turing Machine (TM) può decidere se il problema di arresto si applica a tutte le TM?

Su questo sito ci sono molte varianti sulla domanda se le TM possono decidere il problema di arresto, sia per tutte le altre TM che per determinati sottoinsiemi. Questa domanda è in qualche modo diversa. Chiede se il fatto che il problema di arresto si applichi a tutte le TM …

9 computability turing-machines undecidability halting-problem

1

Perché Coq include espressioni let nel suo linguaggio principale

Coq include espressioni let nel suo linguaggio principale. Siamo in grado di tradurre le espressioni let in applicazioni come questa: let x : t = v in b ~> (\(x:t). b) v capisco che ciò non funziona sempre perché il valore vnon sarebbe disponibile quando si esegue il controllo dei …

9 type-theory dependent-types type-checking coq

1

Automi finiti non deterministici | Esempio Sipser 1.16

Sto lavorando attraverso il Sipser Book (2a edizione) e mi sono imbattuto in questo esempio, che non capisco. Nel libro si afferma che questo NFA accetta la stringa vuota, ϵϵ\epsilon . Qualcuno potrebbe farmi capire perché questo è il caso? La mia comprensione è che ϵϵ\epsilon passerà a q3q3q_3 che …

9 regular-languages finite-automata nondeterminism

1

Perché dire che la prima ricerca viene eseguita nel tempo

Si afferma spesso (ad esempio, in Wikipedia ) che il tempo di esecuzione della prima ricerca (BFS) su un grafico G=(V,E)G=(V,E)G=(V,E) è O(|V|+|E|)O(|V|+|E|)O(|V|+|E|) . Tuttavia, qualsiasi grafico collegato ha |V|≤|E|+1|V|≤|E|+1|V|\leq |E|+1 e, anche in un grafico non connesso, BFS non guarderà mai un vertice esterno al componente che contiene il …

9 algorithm-analysis search-algorithms