Scienza del computer reference-request

2

Metodo per misurare la "somiglianza" tra le grammatiche FSA?

Sto lavorando con un algoritmo di corrispondenza dei modelli che genera un automa a stati finiti aciclico che accetta una determinata stringa di testo e tutte le sue sottostringhe. L'algoritmo FSA viene eseguito su una rappresentazione simbolica di un flusso musicale (ad es. Dati MIDI). Il flusso musicale è stato …

10 formal-languages reference-request finite-automata

2

Possiamo costruire una riduzione del Karp da una riduzione di Cook tra problemi NP?

Abbiamo avuto diverse domande sulla relazione tra le riduzioni di Cook e Karp . È chiaro che le riduzioni di Cook (riduzioni di Turing a tempo polinomiale) non definiscono la stessa nozione di completezza NP delle riduzioni di Karp (riduzioni a tempo multiplo di polinomio), che di solito vengono utilizzate. …

10 complexity-theory reference-request np-complete reductions

1

Breve e chiara dimostrazione del forte teorema della dualità per la programmazione lineare

Considera i programmi lineari D u a l : → c ≤ → y T APr i m a l :A x⃗ ≤ b⃗ max c⃗ TX⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ TUNmin y⃗ …

10 algorithms reference-request linear-programming linear-algebra duality

1

Dato un grafico cordale

Un grafico è cordale se non ha cicli indotti di lunghezza 4 o superiore. Un albero cricca T di G è un albero in cui i vertici dell'albero sono le cricche massimali di G . Un bordo in T corrisponde a un separatore minimo. Il numero di distinti alberi di …

10 algorithms graph-theory reference-request

3

Equa divisione della torta bidimensionale

Sono interessato a procedure per un'equa divisione della terra (ovvero divisione senza invidia o almeno divisione proporzionale). Contrariamente al ben studiato problema della divisione della torta, la divisione della terra è bidimensionale, cioè le preferenze degli utenti possono variare sia in orizzontale che in verticale. Pertanto, non è pratico limitare …

10 reference-request game-theory

3

Introduzione all'analisi del programma

Sto cercando risorse per iniziare con l' analisi del programma . L'unico libro che ho trovato sull'argomento è il libro Nielson & Nielson . Oltre a ciò, sembra che ci siano solo libri "compilatori" in cui "analisi del programma" sarebbe un capitolo o qualcosa del genere. Le persone conoscono altre …

10 reference-request compilers semantics

1

Un linguaggio di programmazione in grado di implementare solo funzioni biiettive calcolabili?

Esistono linguaggi di programmazione (o logica) che possono implementare (o esprimere) una funzione se e solo se f è una funzione biiettiva calcolabile?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

7

Dove trovare articoli di ricerca pubblicati?

Proveniente dal POV di qualcuno che sta pensando di perseguire un dottorato in informatica. Ho difficoltà a decidere su cosa concentrerei la mia ricerca quando andrò per il mio dottorato. Vedi anche questa domanda su academia.SE . Quindi sto pensando che leggere / tenere aggiornati su ciò che la ricerca …

10 reference-request

2

Algoritmo di corrispondenza stringhe k non corrispondente

Sto cercando un algoritmo di corrispondenza delle stringhe k-mismatch veloce. Data una stringa di modello P di lunghezza m e una stringa di testo T di lunghezza n, ho bisogno di un algoritmo veloce (tempo lineare) per trovare tutte le posizioni in cui P corrisponde a una sottostringa di T …

10 algorithms reference-request strings string-metrics substrings

1

Determinare quanto è simile una determinata stringa a una raccolta di stringhe

Non sono sicuro che questa domanda appartenga qui e mi scuso in caso contrario. Quello che sto cercando di fare è sviluppare un modo programmatico in cui posso determinare probabilisticamente se una determinata stringa "appartiene" in un sacco di stringhe. Ad esempio, se ho una borsa con 10.000 nomi di …

10 algorithms reference-request string-metrics

2

Qual è la differenza tra la crittografia classica e la crittografia post-quantistica?

Sarà necessario modificare le definizioni di sicurezza se disponiamo di computer quantistici? Quali costruzioni crittografiche si romperanno? Conosci un sondaggio o un articolo che spiega cosa sarà necessario cambiare?

10 reference-request cryptography quantum-computing

2

Come classifico il mio problema di ottimizzazione dell'input dell'emulatore e con quale algoritmo dovrei affrontarlo?

A causa della natura della domanda, devo includere molte informazioni di base (perché la mia domanda è: come posso restringerla?) Detto questo, può essere sintetizzata (per quanto ne so) Quali metodi esistono per trovare gli ottimum locali su spazi di ricerca combinatoria estremamente ampi? sfondo Nella comunità di superplay assistiti …

10 reference-request machine-learning combinatorics optimization search-problem

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

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

1

Esiste un algoritmo efficiente per determinare se un grafico ha o meno un automorfismo non banale?

Sto lavorando a un problema relativo ai quadrati latini e voglio un metodo per ciò che si riduce essenzialmente al problema decisionale: Input : un grafico finito, semplice G. Output : YESse G ha un automorfismo non banale, NOaltrimenti. Quindi... Domanda : esiste un algoritmo efficiente per determinare se un …

9 algorithms graphs graph-theory reference-request

Domande taggate «reference-request»