Scienza del computer

2

Confronto tra l'algoritmo Aho-Corasick e l'algoritmo Rabin-Karp

Sto lavorando su algoritmi di ricerca di stringhe che supportano la ricerca di più schemi. Ho trovato due algoritmi che sembrano i candidati più forti in termini di tempo di esecuzione, ovvero Aho-Corasick e Rabin-Karp . Tuttavia, non sono riuscito a trovare alcun confronto completo tra i due algoritmi. Quale …

11 algorithms algorithm-analysis runtime-analysis strings

1

Struttura dei dati per la mappa a intervalli

Sia un numero intero e denota l'insieme di tutti i numeri interi. Lascia che denoti l'intervallo di numeri interi .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} Sto cercando una struttura di dati per rappresentare una mappa . Voglio che la struttura dei dati supporti le seguenti operazioni:f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} f ( i )get(i)get(i)\text{get}(i) dovrebbe restituire .f(i)f(i)f(i) …

11 algorithms data-structures trees intervals

1

Riduzioni tra problemi indecidibili

Mi dispiace se questa domanda ha qualche banale risposta che mi manca. Ogni volta che studio qualche problema che è stato dimostrato indecidibile, osservo che la prova si basa sulla riduzione di un altro problema che si è dimostrato indecidibile. Capisco che crea una sorta di ordine sul grado di …

11 computability reductions undecidability

1

Perché tutti i problemi in FPTAS sono anche in FPT?

Secondo l'articolo di Wikipedia sugli schemi di approssimazione dei tempi polinomiali : Tutti i problemi in FPTAS sono tracciabili a parametri fissi. Questo risultato mi sorprende: queste classi sembrano completamente diverse l'una dall'altra. FPTAS caratterizza i problemi in base alla loro facilità di approssimazione, mentre FPT caratterizza i problemi in …

11 complexity-theory reference-request approximation parameterized-complexity

1

Come mappare i nastri di una Turing Machine “k-tape” nel singolo nastro di una Turing Machine “1-tape”

Sto leggendo Sipser e trovo difficile capire quale sia il processo in modo tale che se mi dai k macchine Turing con k nastri, posso sputare una macchina Turing equivalente con un solo nastro. Un esempio sarebbe carino. In realtà, un esempio elaborato che mostra come passare da TM che …

11 turing-machines simulation

2

Un classificatore di testo che spiega le sue decisioni

Sto costruendo un classificatore di testo per frasi brevi. Oltre a dire all'utente "la categoria del testo che hai inserito è C", voglio essere in grado di spiegare perché ho preso questa decisione, in modo breve e comprensibile. Ad esempio, non voglio dire all'utente "Ho inserito la tua frase in …

11 machine-learning classification

3

Numero di multiset in modo tale che ciascun numero sia compreso tra 1 e

Il mio problema. Dato , voglio contare il numero di multinsiemi valida S . Una multiset SnnnSSSSSS è valida se La somma degli elementi di èSSS , ennn Ogni numero da a n può essere espresso in modo univoco come somma di alcuni degli elementi di S111nnnSSS . Esempio. Ad …

11 algorithms integers

2

Ciclo più lungo contenuto in due cicli

Il seguente problema è NP-completo? (Suppongo di si). Input: un grafico non orientato in cui il set di spigoli può essere scomposto in due semplici cicli spigolanti (questi non fanno parte dell'input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Domanda: Esiste un ciclo semplice in con lunghezza maggiore di ?GGGkkk Ovviamente il problema è in …

11 graph-theory np-complete decision-problem

1

Torri di Hanoi ma con configurazione iniziale e finale arbitraria

Di recente, ho riscontrato questo problema , una variazione delle torri di Hanoi . Dichiarazione problema: Considera la seguente variazione del ben noto problema Torri di Hanoi: Ci vengono date torri e m dischi di dimensioni impilati su alcune torri. Il tuo obiettivo è trasferire tutti i dischi sulla torre …

11 algorithms combinatorics recursion

2

1 / r forza attrattiva per automa cellulare

Esiste un automa cellulare (in 2D) che simula una forza tra le particelle?1 / r1/r1/r Più specificamente, vorrei sapere se è possibile, con regole di aggiornamento strettamente locali, che due oggetti (definiti all'interno del modello) si attraggano l'un l'altro con una forza , dove è la distanza che separa gli …

11 simulation cellular-automata

1

Lunghezza media di percorsi (semplici) st in un grafico diretto

Dato che l' enumerazione del percorso - è un problema # P-completo, potrebbero esserci metodi efficienti che calcolano (o almeno approssimano) la lunghezza media del percorso - senza enumerarli? Cosa succede se i percorsi sono autorizzati a rivisitare i vertici?ssstttsssttt Anche risultati pertinenti su grafici speciali potrebbero essere utili.

11 algorithms complexity-theory graphs approximation enumeration

4

Può un FSA contare?

Questa potrebbe essere una domanda sciocca. Sembra chiaro che un FSA, dato che è finito, può contare solo il numero di simboli nella sua stringa di input fino a un numero limitato dal numero dei suoi stati. Ma ora supponiamo di dotare l'FSA di funzionalità di output (ad es. Stampa). …

11 automata finite-automata

2

Discreto taglio della torta quando i giocatori si uniscono in ritardo

La solita affermazione del giusto problema di taglio della torta presuppone che tutti gli giocatori ottengano la loro parte allo stesso tempo. Tuttavia, in molti casi i giocatori arrivano in modo incrementale. Ad esempio, possiamo dividere una torta per giocatori, ma poi arriva un nuovo giocatore e vuole una quota.nnnnnn …

11 algorithms game-theory online-algorithms

1

Come rilevare il sole su una foto

Come rileveresti algoritmicamente per una determinata foto se il sole splendeva quando è stata scattata la foto? Esempi Un campione da questa webcam in cima a una montagna: Chiaramente il sole splende. In questo altro esempio è molto meno ovvio: Probabilmente si potrebbe rilevare abbastanza facilmente se è nebbioso, cercando …

11 algorithms image-processing

2

Trovare la lingua generata da una grammatica senza contesto

Questa è una domanda dal libro del Drago (chiedo scusa per errori di traduzione, non ho la versione inglese a portata di mano): Quale lingua viene generata da questa grammatica? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Non so cosa dovrei fare qui. La …

11 formal-languages context-free formal-grammars