Scienza del computer

2

L'algoritmo Dijkstras è utilizzato nei moderni sistemi di ricerca del percorso?

L'algoritmo Dijkstra è utilizzato nei moderni sistemi di ricerca di percorsi come Google Maps o il navigatore satellitare nella tua auto? In caso contrario, che cos'è?

10 algorithms graphs shortest-path applied-theory

2

Qual è la differenza tra variabili e puntatori?

Mentre leggevo un articolo che delineava le differenze in OO e nella programmazione funzionale, mi sono imbattuto in indicatori di funzione. È passato un po 'di tempo da quando ho completato la mia laurea in Informatica (2003) e quindi ho cercato gli indicatori per rinfrescare la mia memoria. I puntatori …

10 terminology programming-languages

1

Aggiornamento intervallo + query intervallo con alberi indicizzati binari

Sto cercando di capire come gli alberi indicizzati binari (alberi fenwick) possano essere modificati per gestire sia le query di intervallo sia gli aggiornamenti di intervallo. Ho trovato le seguenti fonti: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http :? //apps.topcoder.com/forums/ module = thread & threadID = 756.271 & start = 0 & mc = …

10 data-structures binary-trees search-trees

1

Risolvere la relazione di ricorrenza con due chiamate ricorsive

Sto studiando il caso peggiore di quicksort a condizione che non farà mai una partizione molto sbilanciata per le diverse definizioni di molto . Per fare questo mi chiedo quale sarebbe il runtime nel caso in cui Quicksort capiti sempre di partizionare in una frazione tale che elementi sono nella …

10 algorithm-analysis runtime-analysis recurrence-relation

1

Anche l'inversione di un DFA minimo è minima?

La domanda è praticamente nel titolo. Esiste mai un momento in cui una lingua può essere accettata da un DFA minimo con n stati, ma L R , l'inversione di L , può essere accettata da un DFA con m stati, dove m < n ?LLLnnnLRLRL^RLLLmmmm < nm<nm<n

10 formal-languages reference-request automata finite-automata

1

Perché questa funzione è calcolabile in

Mio libro di testo dice: "Definiamo la funzione f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} come segue: ed . Si noti che dato , abbiamo può facilmente trovare in tempo il numero tale che è inserita tra e ."f ( i + 1 ) = 2 f ( i ) 1.2 n O ( n …

10 complexity-theory algorithm-analysis nondeterminism

2

Compila un linguaggio di programmazione con se stesso

Sono uno studente di informatica. Voglio creare il mio linguaggio di programmazione (un linguaggio di base con poche istruzioni). So come fare un analizzatore sintattico, l'ho già fatto in Perl. In un articolo, ho letto qualcosa sul compilatore, un compilatore è fatto di per sé. Ad esempio il compilatore C …

10 programming-languages compilers

5

Conversione di un digrafo in un grafico non orientato in modo reversibile

Sto cercando un algoritmo per convertire un digrafo (grafico diretto) in un grafico non orientato in modo reversibile, cioè il digrafo dovrebbe essere ricostruibile se ci viene dato il grafico non orientato. Capisco che questo verrà a scapito del grafico non indirizzato che ha più vertici ma non mi dispiace. …

10 algorithms graph-theory graphs

2

Teorema Prove in Coq

sfondo Sto imparando l'assistenza, Coq, da solo. Finora ho completato la lettura del Coq in a Hurry di Yves Bertot . Ora, il mio obiettivo è quello di dimostrare alcuni risultati di base riguardanti i numeri naturali, culminando con il cosiddetto algoritmo di divisione. Tuttavia, ho riscontrato alcune battute d'arresto …

10 automated-theorem-proving proof-assistants mathematical-programming coq

1

Come ridurre il numero di bordi incrociati in un diagramma?

Sto lavorando a un editor di diagrammi. I diagrammi mostrano forme 2D ( nodi ) collegate con connettori ( bordi ). Vorrei aggiungere un'operazione che, data una selezione di nodi, li "districa" : li riposiziona per ridurre il numero di bordi di incrocio, se possibile (ed è OK se i …

10 algorithms graph-theory graph-algorithms crossing-number

3

Qual'è la differenza tra Multiprogramming e Multitasking

Trovo difficile distinguere chiaramente tra multiprogrammazione e multitasking. La mia fonte principale è stata Wikipedia , ma l'articolo del WP sembra essere un po 'in contrasto con alcune fonti meno affidabili (come il mio professore universitario). Mentre leggo il WP, il multiprogrammazione è un modo rudimentale di aumentare la produttività …

10 terminology process-scheduling

5

Che cos'è un algoritmo efficiente?

Dal punto di vista del comportamento asintotico, che cosa è considerato un algoritmo "efficiente"? Qual è lo standard / motivo per disegnare la linea in quel punto? Personalmente, penso che tutto ciò che è ciò che potrei chiamare ingenuamente "sub-polinomiale", in modo tale che come sia efficiente e tutto ciò …

10 algorithms terminology asymptotics landau-notation

2

Un esempio in cui l'algoritmo Knuth-Morris-Pratt è più veloce di Boyer-Moore?

Questa pagina sull'algoritmo Knuth-Moriss-Pratt rispetto a Boyer-Moore descrive un possibile caso in cui l'algoritmo Boyer-Moore soffre di una piccola distanza di salto mentre KMP potrebbe funzionare meglio. Sto cercando un buon esempio (testo, modello) che possa dimostrare chiaramente questo caso.

10 algorithms substrings matching

3

Alla ricerca di un dizionario di notazione matematica / CS

C'è una serie vertiginosa di simboli a volte usata in matematica e CS. Eppure molti assumono una familiarità di base che sembra raramente insegnata in un unico posto. Sto cercando un dizionario simile al seguente, soprattutto dal punto di vista CS. Elencherebbe tutti i simboli matematici di base e darebbe …

10 terminology reference-request education

4

NFA con numero esponenziale di stati quando deteminizzato

Come posso creare un esempio di DFA con stati in cui NFA equivalente ha stati. Ovviamente il set di stati del DFA dovrebbe contenere tutti i sottoinsiemi del set di stati del NFA, ma non so come iniziare. Qualche suggerimento per mettermi sulla buona strada?2n2n2^nnnn

10 automata finite-automata