Scienza del computer

3

Versione costruttiva della decidibilità?

Oggi a pranzo, ho sollevato questo problema con i miei colleghi e, con mia sorpresa, l'argomento di Jeff E. secondo cui il problema è decidibile non li ha convinti ( ecco un post strettamente correlato su mathoverflow). Un'affermazione del problema che è più facile da spiegare ("è P = NP?") …

9 computability undecidability

2

È possibile che il problema di arresto sia risolvibile per tutti gli input tranne il codice della macchina?

Questa domanda mi è venuta in mente riguardo al problema dell'arresto e non sono riuscito a trovare una buona risposta online, chiedendomi se qualcuno può aiutare. È possibile che il problema di arresto sia decidibile per qualsiasi TM su qualsiasi input purché l'ingresso non sia il TM stesso? Fondamentalmente: Halts(TM, …

9 computability undecidability halting-problem

4

Perché dovremmo studiare tutte e tre le forme di rappresentazione degli automi finiti?

DFA, NFA e epsilon NFA tutti e tre ci consentono di rappresentare un linguaggio regolare particolare. Con una qualsiasi di queste rappresentazioni possiamo arrivare alla stessa espressione regolare, allora perché dobbiamo studiare tutte e tre le forme di rappresentazione degli automi finiti? Ci possono essere delle spiegazioni su ciò che …

9 automata finite-automata education

1

Cosa significa freccia in su (

Sto imparando alberi di punti panoramici e l'ho incontrato leggendo il documento Strutture di dati e algoritmi per la ricerca dei vicini più vicini negli spazi metrici generali di Peter Yianilos ( Atti della SODA 1993 , SIAM, pagine 311–321; PDF ). Il seguente pseudocodice appare in Algorithm 1. funzione …

9 notation

2

Come dimostrare che la 3 colorazione è decidibile?

Per dimostrare che la 3 colorazione è decidibile, è sufficiente dire: Ogni nodo nel grafico ha 3 colori possibili Pertanto, possiamo enumerare tutte le possibilità e quindi verificare che nessun bordo contenga nodi dello stesso colore3n3n3^n Ciò dimostra che la 3 colorazione è decidibile? O devo costruire una macchina di …

9 computability turing-machines colorings

2

Provare un'operazione di ordinamento nel sistema di tipi

Voglio sapere fino a che punto un sistema di tipi in un linguaggio di programmazione può essere utile. Ad esempio, so che in un linguaggio di programmazione tipicamente dipendente, possiamo creare una Vectorclasse che incorpora la dimensione del vettore nella firma del tipo. È come un esempio di fatto. Possiamo …

9 type-theory functional-programming dependent-types

1

Trovare la sottosequenza ripetuta più lunga

Data una stringa , vorrei trovare la sottosequenza ripetuta (almeno due volte) più lunga. Cioè, vorrei trovare una stringa che è una sottosequenza (non deve essere contigua) di tale che . Cioè, è una stringa le cui metà appaiono due volte di seguito. Nota che è una sottosequenza di , …

9 algorithms optimization dynamic-programming strings subsequences

1

Predizione della sequenza pseudo-casuale

Disclaimer: sono un biologo, mi dispiace per (forse) una domanda di base formulata in termini così rozzi. Non sono sicuro se dovrei porre questa domanda qui o su DS / SC, ma CS è il più grande di tre, quindi ecco qui. (Dopo che ho pubblicato, mi è venuto in …

9 machine-learning probability-theory

3

Il conteggio dei riferimenti GC e GC di tracciamento è una proprietà del linguaggio o una proprietà di implementazione?

A volte sentiamo "Swift non fa il classico (tracciamento) GC, usa ARC." Ma non sono sicuro che ci sia qualcosa nella semantica di Swift che richieda il conteggio dei riferimenti. Sembra che si possa costruire il proprio compilatore e runtime Swift per usare GC di traccia. Quindi, cos'è esattamente "contato …

9 semantics garbage-collection

3

DFA per accettare tutte le stringhe binarie di forma potenza di (non divisibile per ) cioè

Possiamo formare DFA accettando numeri binari divisibili per nnn . Ad esempio, DFA che accetta numeri binari divisibili per 2 può essere formato come segue: Allo stesso modo DFA che accetta numeri binari divisibili per 3 può essere formato come segue: Possiamo seguire una procedura ben definita per formare questi …

9 regular-languages automata finite-automata regular-expressions

2

Decidibilità del controllo di un antiderivativo?

Supponiamo di avere due funzioni FFF e GGG e sono interessato a determinare se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Supponiamo che le mie funzioni siano composte da funzioni elementari (polinomi, esponenziali, registri e funzioni trigonometriche), ma non, diciamo, serie di Taylor. Questo problema è risolvibile? In caso contrario, è semidecidibile? (Lo …

9 computability undecidability mathematical-analysis computer-algebra

1

Il non determinismo in un turing machine non deterministico è diverso da quello degli automi finiti e degli automi push down?

Consenti una stringa di input come . Quindi se un NFA è attualmente nello stato (e ha letto l'input fino all'alfabeto ) quindi prima di leggere il simbolo di input successivo l'NFA si divide in due NFA, uno in stato e l'altro in , se c'è una transizione di il …

9 turing-machines finite-automata pushdown-automata computation-models nondeterminism

1

Informazioni sui grafici il cui bordo impostato si decompone in abbinamenti perfetti

Esiste una caratterizzazione dei grafici il cui bordo impostato si decompone in un'unione disgiunta di abbinamenti perfetti? Una banale classe di tali grafici sono i grafici - d- regolari ( n , n ) . Il loro set bordo si decompone in d accostamenti disgiunti perfetti. ddd( n , n …

9 graph-theory graphs

1

Come misurare praticamente l'entropia di un file?

Sto cercando di misurare ora molte informazioni (ridondanti) non ridondanti contenute nel mio file. Alcuni lo chiamano la quantità di entropia. Ovviamente esiste lo standard p (x) log {p (x)}, ma penso che Shannon lo considerasse solo dal punto di vista della trasmissione attraverso un canale. Quindi la formula richiede …

9 entropy

1

Come si determina il numero di errori nell'algoritmo Welch-Berlekamp?

Nell'algoritmo Welch-Berlekamp per la decodifica dei codici Reed-Solomon, viene fornito un elenco di punti (ai,bi)(ai,bi)(a_i, b_i) rappresentano un messaggio con errori eee su bibib_i in posizioni sconosciute (ed eee viene dato all'algoritmo). L'output è un polinomio che passa attraverso tutti i punti dati tranne quelli in cui si sono verificati …

9 algorithms error-correcting-codes