Scienza del computer

1

Qual è la differenza tra fermare, accettare e decidere nel contesto delle macchine Turing?

Accettare significa che il TM leggerà e riconoscerà un carattere dalla cella da cui sta attualmente leggendo? Ed è un caso che una TM si fermi se l'ingresso è decidibile?

10 terminology turing-machines undecidability

1

Risolutore Unificazione vs. SAT

Ho letto su Wikipedia che l' unificazione è un processo per risolvere il problema della soddisfacibilità. Allo stesso tempo, so che tali solutori sono chiamati "solutori SAT" o "solutori SMT". Quindi, sono nomi diversi per la stessa cosa? Se dici che sono diversi, ti preghiamo di sottolineare un difetto nel …

10 terminology sat-solvers unification

1

Prova che un albero di ricerca binario costruito casualmente ha un'altezza logaritmica

Come si dimostra che l'altezza prevista di un albero di ricerca binario creato casualmente con nodi è ? C'è una prova in CLRS Introduzione agli algoritmi (capitolo 12.4), ma non lo capisco.nnnO ( logn )O(log⁡n)O(\log n)

10 data-structures algorithm-analysis binary-trees search-trees average-case

3

Un problema di heap d-ary da CLRS

Mi sono confuso mentre risolvo il seguente problema (domande 1–3). Domanda Un heap d -ary è come un heap binario, ma (con una possibile eccezione) i nodi non foglia hanno d figli invece di 2 figli. Come rappresenteresti un heap d -ary in un array? Qual è l'altezza di un …

10 data-structures time-complexity runtime-analysis

1

Matematica per TCS major

Sto cercando una specializzazione in Teorica Informatica; in particolare, sono interessato alla teoria della complessità e alla teoria degli automi probabilistici. Mentre mi sto laureando in un anno, quali corsi avanzati di matematica (come la teoria di Galois o l'analisi armonica, per esempio) pensi che sarebbe utile prendere in carico …

10 complexity-theory automata education

1

Variabili distinte per diverse clausole

Nella dimostrazione del teorema della risoluzione, si presume che le variabili nelle diverse clausole siano distinte. Questo non è qualcosa che accade automaticamente; richiede un codice e un calcolo extra significativi da implementare. Detto questo, sto cercando un test case per questo. Il problema è che, in tutti i casi …

10 logic automated-theorem-proving

1

Le lingue normali sono chiuse in ordine (immagine Parikh)?

Supponiamo che sia una lingua normale rispetto a un alfabeto ordinato. La lingua è costruita prendendo ogni parola in L e ordinandola sempre una lingua normale?LLLLLL

10 formal-languages regular-languages

1

Micro-ottimizzazione per il calcolo della distanza di modifica: è valida?

Su Wikipedia , viene fornita un'implementazione per lo schema di programmazione dinamica dal basso verso l'alto per la distanza di modifica. Non segue completamente la definizione; le cellule interne sono calcolate così: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := …

10 algorithms dynamic-programming string-metrics correctness-proof program-optimization

2

Complessità informatica

Qual è la complessità dell'informatica ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory integers number-theory

2

Determinazione del numero particolare in tempo e spazio (caso peggiore)

\newcommand\ldotd{\mathinner{..}} Dato che A[1..n]A[1..n]A[1\ldotd n] sono numeri interi tali che 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m per tutto 1≤k≤n1≤k≤n1\le k\le n e il verificarsi di ciascuno numero tranne un numero particolare in A[1..n]A[1..n]A[1\ldotd n] è un numero dispari. Prova a trovare il numero la cui occorrenza è un numero pari. Esiste un algoritmo …

10 algorithms search-algorithms

1

Determinare quanto è simile una determinata stringa a una raccolta di stringhe

Non sono sicuro che questa domanda appartenga qui e mi scuso in caso contrario. Quello che sto cercando di fare è sviluppare un modo programmatico in cui posso determinare probabilisticamente se una determinata stringa "appartiene" in un sacco di stringhe. Ad esempio, se ho una borsa con 10.000 nomi di …

10 algorithms reference-request string-metrics

2

Qual è l'altezza media di un albero binario?

Esiste una definizione formale relativa all'altezza media di un albero binario? Ho una domanda tutorial su come trovare l'altezza media di un albero binario usando i seguenti due metodi: La soluzione naturale potrebbe essere quella di prendere la lunghezza media di tutti i possibili percorsi dalla radice a una foglia, …

10 graph-theory terminology combinatorics binary-trees

1

Come dimostrare che i loop ε non sono necessari nei PDA?

Nel contesto della nostra indagine sugli automi di heap , vorrei dimostrare che una particolare variante non può accettare linguaggi non sensibili al contesto. Poiché non abbiamo un modello grammaticale equivalente, ho bisogno di una prova che usi solo automi; pertanto, devo dimostrare che gli automi di heap possono essere …

10 automata pushdown-automata

1

Turing Recognizable => enumerable

Ottengo la prova di passare da un enumeratore a una Turing Machine (continuo a eseguire l'enumeratore e vedere se corrisponde all'input) ma non vedo come funziona l'altro modo. Secondo i miei appunti e il libro (Introduzione alla teoria del calcolo - Sipser), per ottenere l'enumeratore di Turing da una macchina …

10 computability turing-machines intuition

1

Dimostra che una funzione booleana calcolabile in T (n) da una macchina RAM è in DTIME (T (n) ^ 2)

La domanda è l'esercizio 1.9 del libro Compora complessità computazionale di Arora-Barak : un approccio moderno : Definire una macchina di Turing RAM come macchina di Turing con memoria ad accesso casuale. Formalizziamo questo come segue: La macchina ha un array infinito A che è inizializzato su tutti gli spazi. …

10 complexity-theory turing-machines machine-models simulation