Scienza del computer reference-request

3

Libri di algoritmi su una vasta gamma di argomenti

Vuoi migliorare questo post? Fornire risposte dettagliate a questa domanda, comprese le citazioni e una spiegazione del perché la risposta è corretta. Le risposte senza dettagli sufficienti possono essere modificate o eliminate. Mi è stato affidato il compito di costruire una biblioteca di libri sugli algoritmi per la nostra piccola …

11 algorithms reference-request data-structures books

5

Definizione dello stato di un oggetto in OOP

Ho bisogno di una definizione concisa dello "stato di un oggetto" nella programmazione orientata agli oggetti (per un documento). Per circa mezza giornata ho cercato un documento che posso citare su questo argomento, ma non sono riuscito a trovarne uno. Tutti gli articoli che ho trovato erano per lo più …

11 terminology reference-request programming-languages object-oriented

3

Riferimenti sul confronto tra computer quantistici e macchine di Turing

Mi è stato detto che i computer quantistici non sono più computazionalmente più potenti delle macchine di Turing. Qualcuno potrebbe gentilmente aiutare a dare alcuni riferimenti letterari che spiegano questo fatto?

11 computability reference-request turing-machines quantum-computing

4

Libri introduttivi sulle scienze della natura dietro la bioinformatica

La mia domanda va a coloro che si occupano di algoritmi di biologia computazionale. Farò un corso di bioinformatica questo autunno; il problema, tuttavia, è che ho un background troppo scarso in biologia e chimica per sentirmi preparato per quel ciclo di lezioni (ero piuttosto debole con queste materie a …

11 algorithms reference-request education bioinformatics

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Raccolta di problemi APX-difficili

Tutti conoscono "Garey & Johnson", che è il mio riferimento preferito ogni volta che ho bisogno di un problema per trasformarmi per una prova di durezza NP. Tuttavia, recentemente mi ritrovo a dover avere una prova di durezza APX e mi chiedo se esiste una raccolta simile (e più aggiornata …

11 complexity-theory reference-request time-complexity complexity-classes

2

Buon libro matematico sugli algoritmi [chiuso]

Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso 4 anni fa . Sono un fanatico dell'eleganza e del rigore matematici e ora sto …

11 algorithms algorithm-analysis reference-request books

2

Come derivare gli eliminatori tipicamente dipendenti?

Nella programmazione tipizzata in modo dipendente, ci sono due modi principali di decomporre i dati ed eseguire la ricorsione: Corrispondenza del modello dipendente : le definizioni delle funzioni sono fornite come più clausole. L'unificazione assicura che tutti i casi omessi siano impossibili e un risolutore esterno assicura che la ricorsione …

10 reference-request recursion type-theory dependent-types inductive-datatypes

2

Esistono standard per il confronto sperimentale dei tempi di esecuzione?

La mia situazione Sto scrivendo un documento che presenta un modulo software che ho sviluppato e voglio confrontare il suo tempo di esecuzione con altri moduli per lo stesso compito. Sono a conoscenza degli svantaggi degli esperimenti di runtime , ma per favore supponiamo che nel mio caso non vi …

10 algorithm-analysis reference-request runtime-analysis experimental-analysis

2

Nome di questo problema di riorganizzazione / ordinamento?

Ti viene data una matrice di lunghezza . Ogni elemento dell'array appartiene a una delle classi K. Dovresti riorganizzare l'array usando il numero minimo di operazioni di scambio in modo che tutti gli elementi della stessa classe siano sempre raggruppati insieme, cioè formino un sottoarray contiguo. Per esempio: nnnKKK Restano …

10 terminology reference-request sorting arrays

1

Letteratura su un approccio ingenuo all'isomorfismo grafico mediante ispezione di polinomi di matrici di adiacenza

Descrivo un approccio all'isomorfismo grafico che probabilmente ha falsi positivi e sono curioso di sapere se esiste letteratura che indica che non funziona. Date due matrici di adiacenza , un metodo dichiaratamente ingenuo per verificare l'isomorfismo consiste nel verificare se per ogni riga di , esiste una riga di che …

10 reference-request graph-isomorphism

4

Quali sono le tecniche formali comuni per dimostrare il codice funzionale corretto?

Voglio fornire prove per parti di un programma Haskell che sto scrivendo come parte della mia tesi. Finora, tuttavia, non sono riuscito a trovare un buon lavoro di riferimento. Il libro introduttivo di Graham Hutton Programmazione in Haskell ( Google Libri ), che ho letto durante l'apprendimento di Haskell, tocca …

10 reference-request proof-techniques functional-programming books software-verification

2

Esiste un paradigma per la composizione di funzioni di "aggiornamento incrementale" in uno stile di flusso di dati puro?

Non conosco la terminologia corretta per porre questa domanda, quindi la descriverò con molte parole, abbiate pazienza. Sfondo , solo così siamo sulla stessa pagina: i programmi spesso contengono cache - un compromesso tempo / memoria. L'errore di un programmatore comune è dimenticare di aggiornare un valore memorizzato nella cache …

10 terminology reference-request functional-programming programming-paradigms

3

Algoritmi per minimizzare gli automi Moore

L'algoritmo di Brzozowski può essere esteso agli automi Moore ma la sua complessità temporale è esponenziale in generale. Esiste un altro algoritmo per ridurre al minimo gli automi Moore? Quali sono i tempi di esecuzione di questi algoritmi?

10 reference-request automata optimization finite-automata transducers

4

Esiste un metodo per l'analisi automatica del runtime degli algoritmi?

Mi chiedo, esiste un metodo per l'analisi automatica del runtime che funziona almeno su un sottoinsieme rilevante di algoritmi (algoritmi che possono essere analizzati)? Ho cercato su Google "Analisi algoritmica automatica" che mi ha dato questo, ma è troppo complicato. Voglio solo un semplice esempio in psuedocode che posso capire. …

10 algorithms algorithm-analysis reference-request runtime-analysis

Domande taggate «reference-request»