Scienza del computer

3

Perché la minimizzazione di NFA è un problema difficile quando la minimizzazione di DFA non lo è?

So che possiamo minimizzare i DFA trovando e fondendo stati equivalenti, ma perché non possiamo fare lo stesso con gli NFA? Non sto cercando una prova o qualcosa del genere - a meno che una prova sia più semplice da capire. Voglio solo capire intuitivamente perché la minimizzazione di NFA …

14 complexity-theory finite-automata nondeterminism

2

Come costruire praticamente grafici di expander regolari?

Ho bisogno di costruire un grafico di espansione d-regolare per alcuni piccoli d fissi (come 3 o 4) di n vertici. Qual è il metodo più semplice per farlo in pratica? Costruire un grafico d-regolare casuale, che ha dimostrato di essere un espansore? Ho anche letto delle costruzioni Margulis e …

14 graph-theory combinatorics cryptography discrete-mathematics expanders

1

Una Turing Machine può decidere se un NFA accetta una stringa di lunghezza massima?

Voglio sapere se il seguente problema è decidibile: Istanza: un NFA A con n stati Domanda: esiste un numero primo p tale che A accetta una stringa di lunghezza p. La mia convinzione è che questo problema sia indecidibile, ma non posso provarlo. Il decisore può facilmente avere un algoritmo …

14 computability finite-automata

2

Temperatura iniziale in algoritmo di ricottura simulato

Ho eseguito alcuni test su diverse temperature iniziali nel mio algoritmo di ricottura di simulazione e ho notato che la temperatura iniziale influisce sulle prestazioni dell'algoritmo. Esiste un modo per calcolare una buona temperatura iniziale?

14 optimization artificial-intelligence heuristics

1

Algoritmo

Supponiamo di avere numeri interi distinti , in modo tale che per qualche costante e per tutti .nnna1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_n0≤ai≤kn0≤ai≤kn0 \le a_i \le knk>0k>0k \gt 0iii Siamo interessati a trovare i conteggi di tutte le possibili somme a coppie . ( è consentito).Sij=ai+ajSij=ai+ajS_{ij} = a_i + a_ji=ji=ji = j …

14 algorithms time-complexity fourier-transform

2

"Ordine applicabile" e "Ordine normale" in lambda-calcolo

Ordine applicabile : valutare sempre in modo completo gli argomenti di una funzione prima di valutare la funzione stessa, ad esempio - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …

14 logic lambda-calculus normal-forms

1

Problema interessante sull'ordinamento

Dato un tubo con palline numerate (casuali). Il tubo ha fori per rimuovere una palla. Considerare i seguenti passaggi per un'operazione: Puoi scegliere una o più palline dai fori e ricordare l'ordine in cui le hai raccolte. È necessario inclinare il tubo verso il lato sinistro in modo che le …

14 sorting permutations

3

CS teorico e matematica - raccomandazioni di autoapprendimento

Sono un laureato non CS e il mio campo di studio non è correlato alla CS. Tuttavia, come parte di un piano più ampio per diventare un informatico, voglio ottenere una solida base in informatica teorica e matematica in relazione al CS. Ho fatto molte ricerche e selezionato i seguenti …

14 books

1

Algoritmo efficiente per il recupero della chiusura transitiva di un grafico aciclico diretto

Sto cercando di risolvere un problema grafico (non è per i compiti, solo per esercitarmi nelle mie abilità). Viene indicato un DAG , dove è l'insieme dei vertici ed i bordi. Il grafico è rappresentato come un elenco di adiacenza, quindi è un insieme contenente tutte le connessioni di . …

14 algorithms graph-theory graphs

2

Algoritmo Bellman-Ford - Perché i bordi possono essere aggiornati fuori servizio?

L' algoritmo di Bellman-Ford determina il percorso più breve da una sorgente a tutti gli altri vertici. Inizialmente la distanza tra s e tutti gli altri vertici è impostato su ∞ . Quindi viene calcolato il percorso più breve da s a ciascun vertice; questo continua per | V | …

14 algorithms shortest-path

2

Funzione che diffonde l'input

Vorrei sapere se esiste una funzione fff da numeri n-bit a numeri n-bit che presenta le seguenti caratteristiche: fff dovrebbe essere biiettivo Sia fff che f−1f−1f^{-1} dovrebbero essere calcolabili abbastanza velocemente fff dovrebbe restituire un numero che non ha correlazioni significative con il suo input. La logica è questa: Voglio …

14 binary-trees hash binary-arithmetic

2

Come può P =? NP migliora la fattorizzazione a numeri interi

Se effettivamente uguale a N P , in che modo questo migliorerebbe i nostri algoritmi per fattorizzare gli interi più velocemente. In altre parole, che tipo di intuizione ci darebbe questo fatto nel comprendere meglio la fattorizzazione dei numeri interi?PP{\sf P}N PNP{\sf NP}

14 complexity-theory computability np-complete p-vs-np factoring

2

Imposta somiglianza: calcola l'indice Jaccard senza complessità quadratica

Ho un gruppo di n set per i quali ho bisogno di calcolare una sorta di valore di "unicità" o "somiglianza". Ho optato per l' indice Jaccard come metrica adatta. Sfortunatamente, l'indice Jaccard funziona solo su due set alla volta. Per calcolare la somiglianza tra tutti gli set, sarà necessario …

14 algorithms time-complexity

1

Condizioni di planarità per SAT planare 1-in-3

Planar 3SAT è NP-completo. Un'istanza 3SAT planare è un'istanza 3SAT per cui il grafico creato utilizzando le seguenti regole è planare: aggiungi un vertice per ogni e ¯ x iXioXiox_iXio¯Xio¯\bar{x_i} aggiungere un vertice per ogni clausola CjCjC_j aggiungi un bordo per ogni coppia ( xio, xio¯)(Xio,Xio¯)(x_i,\bar{x_i}) aggiungi un bordo dal …

14 np-complete reductions satisfiability 3-sat

2

Classificazione di algoritmi randomizzati

Da Wikipedia sugli algoritmi randomizzati Bisogna distinguere tra algoritmi che usano l'input casuale per ridurre il tempo di esecuzione previsto o l'utilizzo della memoria, ma terminano sempre con un risultato corretto in un lasso di tempo limitato e algoritmi probabilistici che, a seconda dell'input casuale, hanno una possibilità di produrre …

14 algorithms terminology randomized-algorithms nondeterminism machine-models