Scienza del computer

1

È determinabile se un automa pushdown riconosce una determinata lingua normale?

Il problema se due automi pushdown riconoscano la stessa lingua è indecidibile. Il problema se un automa pushdown riconosce la lingua vuota è decidibile, quindi è anche decidibile se riconosce una determinata lingua finita. Non è possibile stabilire se la lingua accettata da un automa pushdown sia regolare. Ma ... …

16 computability undecidability pushdown-automata

1

L'insolvibilità del problema N-Body equivale al problema dell'arresto

Non esiste una soluzione analitica generale al problema n-body in grado di produrre una funzione analitica che può essere utilizzata per fornire lo stato di un sistema n-body a tempo arbitrario t con precisione esatta. Tuttavia, ci sono alcuni casi speciali di sistemi n-body per i quali è nota una …

16 computability turing-machines undecidability computation-models

1

Perso in un concerto "unidirezionale"

Tu e un amico ci siete persi a vicenda sulla linea per un concerto, e nessuno dei due è sicuro di chi di voi sia più avanti. Formalmente, ognuno ha una coordinata intera e può solo camminare verso una coordinata più alta o rimanere in posizione. Supponendo che tu e …

16 algorithms randomized-algorithms

3

C'è un punto di vista della complessità del teorema di Galois?

Il teorema di Galois afferma effettivamente che non si possono esprimere le radici di un polinomio di grado> = 5 usando funzioni razionali di coefficienti e radicali - non si può leggere questo per dire che dato un polinomio non esiste un algoritmo deterministico per trovare le radici? Consideriamo ora …

16 complexity-theory np-complete np polynomials

1

Differenze tra il modello dell'attore e i processi sequenziali comunicanti (CSP)

Quando osserviamo il modello di attore e i processi sequenziali comunicanti , vediamo che entrambi stanno provando a fare concorrenza sulla base del passaggio dei messaggi , ma sono distinti . (Vediamo implementazioni del Modello CSP in go-lang 's goroutines (e di Clojure core.async ) e il modello attore di …

16 concurrency message-passing

2

Un approccio di punteggio agli avversari informatici che necessita di un bilanciamento

Questa domanda riguarda un approccio agli avversari informatici che ho creato e che sono attualmente in uso o che si prevede di utilizzare in diversi giochi per computer. sfondo L'anno scorso, quando cercavo di migliorare un avversario informatico per un gioco chiamato "Minesweeper Flags" (breve descrizione: una versione multiplayer a …

16 algorithms artificial-intelligence computer-games

2

In che modo un euristico ammissibile garantisce una soluzione ottimale?

Quando si utilizza A * (o qualsiasi altro algoritmo di individuazione del percorso migliore), si dice che l'euristico usato dovrebbe essere ammissibile , cioè non dovrebbe mai sopravvalutare la lunghezza (o le mosse) del percorso della soluzione effettiva. In che modo un euristico ammissibile garantisce una soluzione ottimale? Preferibilmente sto …

16 algorithms artificial-intelligence search-algorithms heuristics

1

Un percettrone può dimenticare?

Vorrei creare un sistema di apprendimento automatico online basato sul Web, in cui gli utenti possano aggiungere continuamente campioni classificati e aggiornare il modello online. Vorrei usare un percettrone o un algoritmo di apprendimento online simile. Tuttavia, gli utenti possono commettere errori e inserire esempi irrilevanti. In tal caso, vorrei …

16 machine-learning online-algorithms

2

Quali sono le critiche riguardo alle prestazioni di HTM?

Di recente ho appreso dell'esistenza di questa memoria temporale gerarchica (HTM) . Ho già letto il documento Hierarchical Temporal Memory: Concepts, Theory and Terminology (di Jeff Hawkins e Dileep George), che sembra piuttosto facile da capire, ma una bandiera rossa è che il documento non è né sottoposto a revisione …

16 neural-networks hierarchical-temporal-memory

2

Esiste una soluzione più rapida per il problema della Grande Muraglia di Google Code Jam

Considera la seguente domanda di Google Code Jam round 1C : La Grande Muraglia cinese inizia come una linea infinita, dove l'altezza in tutte le posizioni è .000 Alcuni numero di tribù , N ≤ 1000 , attaccherà la parete del muro in base ai seguenti parametri - un giorno …

16 algorithms data-structures binary-trees

1

Trasformare una copertura arbitraria in una copertina di vertice

Dato è un grafico planare e lascia che denoti l'incorporamento nel piano st ogni bordo ha lunghezza . Ho inoltre un setG=(V,E)G=(V,E)G=(V,E)GG\mathcal{G}111CCC di punti in cui ciascun punto è contenuto in G . Inoltre, esso vale per ogni punto p in G che esiste un c ∈ C con geodetica …

16 algorithms graph-theory set-cover

3

Qual è la differenza tra automi finiti e macchine a stati finiti?

Ho usato FSM in progetti di circuiti sequenziali digitali. Ma non ho familiarità con Finite Automata. Qualcuno può aiutarmi a capire la differenza 'fondamentale' tra i due?

16 terminology automata finite-automata

2

Colora un albero binario per essere un albero rosso-nero

Una domanda di intervista comune è quella di fornire un algoritmo per determinare se un determinato albero binario è bilanciato in altezza (definizione dell'albero AVL). Mi chiedevo se possiamo fare qualcosa di simile con gli alberi Rosso-Nero. Dato un albero binario non colorato arbitrario (con nodi NULL), esiste un algoritmo …

16 algorithms data-structures binary-trees search-trees

2

Un linguaggio denso NP completo implica P = NP

Diciamo che il linguaggio è denso se esiste un polinomio p tale che | J c ∩ Σ n | ≤ p ( n ) per tutti gli n ∈ N . In altre parole, per ogni data lunghezza n esistono solo polinomialmente molte parole di lunghezza n che non …

16 complexity-theory time-complexity np-complete satisfiability

3

Tasto di aumento e tasto di riduzione in un min-heap binario

In molte discussioni sull'heap binario, normalmente solo la chiave di riduzione viene elencata come operazione supportata per un heap min. Ad esempio, CLR capitolo 6.1 e questa pagina di Wikipedia . Perché la chiave di aumento non è normalmente elencata per min-heap? Immagino sia possibile farlo in O (altezza) scambiando …

16 algorithms data-structures heaps priority-queues