Scienza del computer

3

Puoi darmi qualche suggerimento su un buon libro introduttivo (ma completo) su Logica e calcolo? Alcuni argomenti sfocati che ho in mente sono: Presburger artihm., PA, ZF, ZFC, HOL Teoria degli insiemi, teoria dei tipi Calcolo di modelli (macchine di Turing) in diverse teorie Collegamenti con complessità computazionale (FMT, complessità …

11 reference-request logic books

2

Implementazione della struttura dei dati immutabile (persistente) simile a matrice con indicizzazione rapida, aggiunta, anteposizione, iterazione

Sto cercando una struttura di dati persistente simile all'array (ma immutabile), che consenta operazioni veloci di indicizzazione, aggiunta, prepend e iterazione (buona località). Clojure fornisce un vettore persistente, ma è solo per un'aggiunta veloce. Scala's Vector ha effettivamente un'appendice e prepend a tempo costante, ma non riesco a capire come …

11 data-structures functional-programming persistent-data-structure

1

Turing machine - nastro infinito in una o due direzioni

Ho visto le macchine turing essere rappresentate con nastri infiniti in una e in due direzioni. C'è qualche differenza nella potenza di tali macchine da turismo o sono sostanzialmente equivalenti? Nella mia testa penso che siano equivalenti, dal momento che immagino che ci debba essere un modo per rappresentare il …

11 turing-machines

3

Comprensione di un algoritmo per il problema della stazione di servizio

Nel problema del distributore di benzina ci vengono date città e strade tra di loro. Ogni strada ha lunghezza e ogni città definisce il prezzo del carburante. Un'unità di strada costa un'unità di carburante. Il nostro obiettivo è di passare da una fonte a una destinazione nel modo più economico …

11 algorithms graphs recurrence-relation

3

Algoritmo per abbinare i numeri con il numero minimo di mosse

Questa è una sorta di domanda a distanza di modifica ed è molto semplice. Sono solo un cervello morto su questo argomento e non riesco a capirlo finora. Data una serie di numeri, ad es [3, 1, 1, 1] Come si trasformerebbero tutti i numeri in modo più efficiente nello …

11 algorithms optimization

1

Algoritmo parallelo per trovare il massimo nel

Ci è stato presentato in classe un algoritmo per trovare il massimo in un array in parallelo nella complessità temporale con computer.n 2O ( 1 )O(1)O(1)n2n2n^2 L'algoritmo era: Dato un array A di lunghezza n: Crea un array di flag B di lunghezza n e inizializzalo con zero con computer.nnn …

11 algorithms search-algorithms parallel-computing

1

Quanto velocemente possiamo decidere se un determinato DFA è minimo?

Minimizzando automi finiti deterministici (DFA) è un problema che è stato accuratamente studiato in letteratura, e sono stati proposti diversi algoritmi per risolvere il seguente problema: Dato un DFA , calcolare un corrispondente minimo DFA accettare la stessa lingua A . La maggior parte di questi algoritmi viene eseguita in …

11 algorithms formal-languages finite-automata

1

Questo NP è difficile? Non posso provarlo.

Ho un problema e credo sia NP-difficile, ma non posso provarlo. Ecco un grafico di livello, in cui il livello 0 è il livello più elegante e il livello L il più basso. ci sono dei bordi diretti tra i livelli, dove un bordo (A, B) indica che il nodo …

11 graphs np

2

Difficile problema computazionale su una classe speciale di grafici bipartiti

Sono interessato alle proprietà di una classe di grafici bipartiti cui tutti i nodi in X sono 3 regolari, tutti i nodi in Y sono 2 regolari e | X | = | 2 Y / 3 | . Innanzitutto, si tratta di una classe ben nota di grafici? In …

11 complexity-theory graph-theory

2

Esempi di linguaggi senza contesto con complementi senza contesto

Le lingue senza contesto non sono chiuse sotto integrazione. Nelle lezioni ci è stato dato lo stesso argomento di qui su Wikipedia : Per sia A che B sono senza contesto, ma la loro intersezione A ∩ B non lo è. Dal momento che le lingue senza contesto sono chiuse …

11 formal-languages context-free

1

Suggerimenti per l'insegnamento tramite Live Coding

Sono coinvolto in un corso di programmazione e algoritmi del primo anno. In una recente conferenza, ho deciso di presentare il materiale utilizzando la codifica live , il che significa essenzialmente che mi siedo dietro la tastiera e scrivo codice e lo valuto , usando emacs per facilitare il processo. …

11 education didactics

1

Variante del problema dello zaino

Come affronteresti il problema dello zaino in una situazione di programmazione dinamica se ora dovessi limitare il numero di articoli nello zaino di una costante ? Questo è lo stesso problema (peso massimo di , ogni articolo ha un valore e peso ) ma è possibile aggiungere solo articoli allo …

11 algorithms optimization dynamic-programming knapsack-problems

1

Complessità nel decidere se una formula ha esattamente 1 incarico soddisfacente

Il problema decisionale Data una formula booleana , ha esattamente un compito soddisfacente?ϕϕ\phiϕϕ\phi può essere visto in , -hard e -hard. Qualcosa di più noto sulla sua complessità?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory complexity-classes satisfiability

1

Algoritmo per verificare se una lingua è regolare

Esiste un algoritmo / procedura sistematica per verificare se una lingua è regolare? In altre parole, dato un linguaggio specificato in forma algebrica (pensa a qualcosa come ), verifica se il linguaggio è regolare o meno. Immagina di scrivere un servizio web per aiutare gli studenti a fare tutti i …

11 algorithms formal-languages regular-languages decision-problem

1

Spazio di stato raggiungibile di un 8 puzzle

Ho appena iniziato a studiare l'intelligenza artificiale e mi chiedo perché lo spazio di stato raggiungibile di un 8 puzzle sia 9!/29!/29!/2 . Vedo che il numero di permutazioni delle tessere è 9!9!9!ma non è immediatamente ovvio il motivo per cui metà dei possibili stati del puzzle sono irraggiungibili in …

11 artificial-intelligence