Scienza del computer

3

Il -esimo numero di Fibonacci può essere calcolata in tempo lineare utilizzando la seguente ricorrenza:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i Il -esimo numero di Fibonacci può anche essere calcolata come [ φ n / √nnn. Tuttavia, questo …

11 algorithms time-complexity recurrence-relation

2

L'uguaglianza di due DFA è un problema determinabile?

Quindi, dati due DFA, il problema di scoprire se generano la stessa lingua è un problema Decidibile? So già che l'uguaglianza di due CFL non è accettabile ma per quanto riguarda l'uguaglianza di due DFA? considerando che la maggior parte dei problemi con i DFA sono decidibili, anche questo è …

11 computability automata finite-automata decision-problem

3

Qual è il significato di 'breadth' nella prima ricerca breadth?

Stavo imparando la prima ricerca dell'ampiezza e mi è venuta in mente una domanda sul perché BFS si chiama così. Nel libro Introduzione agli algoritmi di CLRS , ho letto il seguente motivo per questo: La ricerca per ampiezza è così chiamata perché espande la frontiera tra vertici scoperti e …

11 graphs graph-theory shortest-path graph-traversal

2

Riduzione dei prodotti in HoTT alle codifiche church / scott

Quindi al momento sto andando al libro HoTT con alcune persone. Ho affermato che la maggior parte dei tipi induttivi che vedremo può essere ridotta a tipi contenenti solo tipi di funzioni e universi dipendenti prendendo il tipo di recuror come ispirazione per il tipo equivalente. Ho iniziato a delineare …

11 type-theory type-checking dependent-types homotopy-type-theory

4

L'attraversamento del pre-ordine di due alberi diversi può essere lo stesso anche se sono diversi?

Questa domanda praticamente spiega che possono, ma non mostra alcun esempio di due alberi diversi con lo stesso attraversamento pre-ordine. Si dice anche che l'attraversamento in ordine di due alberi diversi può essere lo stesso sebbene strutturalmente diversi. C'è un esempio di questo?

11 trees binary-trees graph-traversal search-trees

2

Come puoi trovare tutte le parentesi sbilanciate in una stringa in tempo lineare con memoria costante?

Mi è stato dato il seguente problema durante un'intervista: Fornisce una stringa che contiene una combinazione di parentesi (non parentesi o parentesi graffe - solo parentesi) con altri caratteri alfanumerici, identifica tutte le parentesi che non hanno parentesi corrispondenti. Ad esempio, nella stringa ") (ab))", gli indici 0 e 5 …

11 algorithms

2

Perché le macchine di Turing limitate linearmente sono più potenti degli automi a stati finiti?

Avevo l'impressione che i nostri computer, essendo finiti, alla fine non fossero più potenti delle (straordinariamente grandi) macchine a stati finiti. Tuttavia, anche le macchine di Turing linearmente limitate sono limitate, ma sembra che le lingue regolari siano rigorosamente un sottoinsieme improprio di lingue sensibili al contesto. Ovviamente, mi manca …

11 finite-automata computation-models linear-bounded-automata

1

Proprietà come l'uso della memoria di una funzione possono essere espresse in un linguaggio tipicamente dipendente?

Supponiamo che uno voglia ragionare sulle proprietà del codice al di là di cose come la totalità e la purezza funzionale - ci si preoccupa anche del consumo di memoria o della complessità algoritmica di una funzione. Questo può essere fatto attraverso sistemi di tipizzazione dipendenti ed effetti?

11 type-theory functional-programming dependent-types inductive-datatypes

2

Trovare k'th elemento più piccolo da una determinata sequenza solo con O (k) memoria O (n) tempo

Supponiamo di leggere una sequenza di numeri, uno per uno. Come trovare 'il più piccolo elemento solo usando la memoria della cella e in tempo lineare (nnnkkkO(k)O(k)O(k)O(n)O(n)O(n) ). Penso che dovremmo salvare i primi kkk termini della sequenza e quando ottieni il termine k+1k+1k+1 , elimina un termine che siamo …

11 data-structures search-algorithms quicksort

3

Rappresenta una mano di poker con 5 carte

Un mazzo di carte è 52. Una mano è di 5 carte dal 52 (non può avere un duplicato). Qual è la quantità minima di bit per rappresentare una mano di 5 carte e come? Una mano NON dipende dall'ordine (KQ = QK). 64329 = 96432 Sì, può usare 52 …

11 combinatorics

4

Ha senso avere sia il concetto di "null" che di "Forse"?

Durante la creazione di un client per un'API Web in C #, ho riscontrato un problema relativo nullal valore in cui rappresenterebbe due cose diverse: niente , ad esempio un foomay o potrebbe non avere unbar sconosciuto : per impostazione predefinita la risposta API include solo un sottoinsieme di proprietà, …

11 programming-languages language-design

3

Complessità temporale dell'addizione

Wikipedia elenca la complessità temporale dell'addizione come , dove è il numero di bit.nnnnnn È un limite inferiore teorico rigido? O è solo la complessità dell'attuale algoritmo più veloce conosciuto. Voglio sapere, perché la complessità dell'aggiunta, sottolinea tutte le altre operazioni aritmetiche e tutti gli algoritmi che le usano. È …

11 algorithms algorithm-analysis arithmetic

2

Congetture matematiche equivalenti all'arresto di una macchina di Turing

Questa domanda riguarda se ogni teorema matematico può essere ridotto alla domanda se una singola macchina di Turing si ferma. In particolare, sono interessato a congetture attualmente non dimostrate. Ad esempio: Wikipedia afferma che al momento non è noto se ci siano numeri dispari perfetti. Poiché è determinabile se un …

11 formal-languages computability mathematical-foundations

5

Data Science vs Research Operations

La domanda generale, come suggerisce il titolo, è: Qual è la differenza tra DS e OR / ottimizzazione. A livello concettuale, capisco che DS cerca di estrarre conoscenza dai dati disponibili e utilizza principalmente tecniche statistiche, di apprendimento automatico. D'altra parte, OR utilizza i dati per prendere decisioni basate sui …

11 optimization data-mining

2

Coppia di punti più vicina tra due set, in 2D

Ho due insiemi di punti nel piano bidimensionale. Voglio trovare la coppia più vicina di punti tale che , e la distanza euclidea tra sia la più piccola possibile. Quanto efficacemente può essere fatto? Può essere fatto in tempo, dove?S,TS,TS,Ts,ts,ts,ts∈Ss∈Ss \in St∈Tt∈Tt \in Ts,ts,ts,tO(nlogn)O(nlog⁡n)O(n \log n)n=|S|+|T|n=|S|+|T|n = |S|+|T| So che …

11 algorithms computational-geometry