Scienza del computer

2

Quali sono gli algoritmi all'avanguardia per l'individuazione di percorsi su una mappa continua della Terra?

Supponiamo di avere una nave di superficie autonoma alimentata a energia solare da qualche parte nei fiordi della Norvegia, dotata di una serie abbastanza recente di mappe, un ricevitore GPS e nessun mezzo per il downlink dei miei comandi dettagliati. Questa nave deve raggiungere, per esempio, l'isola di Hainan il …

14 artificial-intelligence search-algorithms

1

Perché l'algoritmo Hindley-Milner non produrrà mai un tipo come t1 -> t2?

Sto leggendo l'algoritmo di tipizzazione Hindley-Milner mentre scrivo un'implementazione e vedo che, finché ogni variabile è vincolata, otterrai sempre tipi o tipi atomici in cui gli argomenti determineranno il tipo finale, come t1 -> t1o (t1 -> t2) -> (t1 -> t2)dove t1e t2sono variabili di tipo. Non riesco a …

14 lambda-calculus type-theory typing type-inference

1

Il numero di diverse lingue regolari

Dato un alfabeto Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , come molti diversi linguaggi regolari sono lì che può essere accettata da un nnn -Stato automa a stati finiti non deterministico? Ad esempio, consideriamo n=3n=3n=3 . Abbiamo quindi 2182182^{18} diverse configurazioni di transizione e 23232^3 diverse configurazioni di stato iniziale e …

14 formal-languages regular-languages finite-automata combinatorics

4

È necessaria la transitività per un algoritmo di ordinamento

È possibile utilizzare un algoritmo di ordinamento con un confronto non transitivo e, in caso affermativo, perché la transitività è elencata come requisito per i comparatori di ordinamento? Sfondo: Un algoritmo di ordinamento in genere ordina gli elementi di un elenco secondo una funzione di confronto C (x, y), con …

14 algorithms sorting quicksort transitivity

3

Complessità del problema dell'adozione del gattino

Questo è emerso mentre stavo cercando di rispondere a questa domanda sulla minimizzazione della lunghezza dei cavi . Stavo per chiamare questo il problema del "matrimonio poligamo", ma Internet, quindi i gattini. Sìì! Supponiamo di avere gattini che hanno bisogno di essere adottato da N persone, M > N . …

14 algorithms complexity-theory

1

Hashing universale in pratica

Una famiglia di funzioni hash è universale se Puoi trovare ulteriori informazioni sull'hash universale in questo articolo di Wikipedia .HHHh : U→ { 0 , … , M- 1 }h:U→{0,...,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( …

14 data-structures education hash-tables applied-theory

4

Differenza tra set di calcolo tra due set di grandi dimensioni

Ho due grandi insiemi di interi UNUNA e BBB . Ogni set ha circa un milione di voci e ogni voce è un numero intero positivo lungo al massimo 10 cifre. Qual è l'algoritmo migliore per calcolare e B ∖ A ? In altre parole, come posso calcolare in modo …

14 algorithms data-structures sets

1

Come si può limitare l'errore di un'approssimazione senza conoscere la soluzione ottimale?

Stavo guardando questo sito e dice che le persone hanno trovato soluzioni per i tour TSP che sono solo dello 0,031% in più rispetto al tour ottimale. Senza trovare il tour ottimale, come fanno a sapere che lunghezza dovrebbe essere?

14 complexity-theory approximation

2

Efficiente campionamento più brevi

Lasciate GGG un grafo, e lasciare sss e ttt essere due vertici di GGG . È possibile campionare in modo efficiente un percorso sss - più breve in tttmodo uniforme e indipendente in modo casuale dall'insieme di tutti i percorsi più brevi tra sss e ttt ? Per semplicità, possiamo …

14 graph-theory reference-request shortest-path sampling

2

Percorso più breve non intersecante per un grafico incorporato in un piano euclideo (2D)

Quale algoritmo useresti per trovare il percorso più breve di un grafico, che è incorporato in un piano euclideo, in modo tale che il percorso non dovrebbe contenere autointersezioni (nell'incorporamento)? Ad esempio, nel grafico seguente, si desidera passare da . Normalmente, un algoritmo come l'algoritmo di Dijkstra produrrebbe una sequenza …

14 algorithms graphs shortest-path graph-traversal weighted-graphs

2

Esistono documenti sottoposti a revisione paritaria che studiano i pro ei contro della programmazione funzionale?

Qualcuno può riferirmi ad articoli peer-reviewed che studiano i vantaggi o gli svantaggi della scrittura di codice in uno stile funzionale? Esistono articoli che discutono delle applicazioni del calcolo Lambda in campi come l'apprendimento automatico, il design delle lingue, ecc.?

14 reference-request programming-languages lambda-calculus functional-programming

3

C'è qualche vera differenza tra un compilatore e un assemblatore?

C'è qualche differenza tra i due? Secondo il libro di Ullman , i compilatori convertono una lingua in un'altra lingua (di solito di basso livello), così come un assemblatore. In che modo i due sono diversi?

14 terminology compilers

4

Push Down Automatons "indovina" - cosa significa?

Mi rendo conto che gli automi pushdown non deterministici possono essere un miglioramento rispetto a quelli deterministici in quanto possono "scegliere" tra diversi stati e ci sono alcune lingue senza contesto che non possono essere accettate da un pushdown deterministico. Tuttavia, non capisco come esattamente "scelgano". Per i palindormi, ad …

14 automata pushdown-automata nondeterminism

1

I limiti di runtime sono decidibili per qualcosa di non banale?

Problema Dato una macchina di Turing che ha un tempo di esecuzione noto O ( g ( n ) ) rispetto alla lunghezza di ingresso n , il tempo di esecuzione di M ∈ O ( f ( n ) ) ?MMMO ( g(n ))O(g(n)){O}(g(n))nnnM∈ O ( f( n ) …

14 complexity-theory time-complexity

1

È decidibile se una lingua descritta dal numero di occorrenze è regolare?

È noto che la lingua delle parole che contiene lo stesso numero di 0 e 1 non è regolare, mentre la lingua delle parole che contiene lo stesso numero di 001 e 100 è regolare ( vedere qui ). Dato due parolew1,w2w1,w2w_1,w_2 , è decidibile se la lingua delle parole …

14 regular-languages undecidability