Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
Trovare una soluzione a un problema di soddisfacibilità è più difficile che decidere di soddisfarla?
Il problema è determinare se una determinata espressione booleana è soddisfacente dal punto di vista computazionale distinta dal trovare effettivamente una soluzione all'espressione? In altre parole, esiste un altro modo per scoprire che una determinata espressione è soddisfacente senza determinare esplicitamente le "giuste impostazioni" per le variabili booleane? O tutte …
1
Ci sono problemi esistenti che non sarebbero risolvibili con un oracolo di arresto?
Capisco che la maggior parte dei problemi sono banali se è disponibile un oracolo di arresto (o, penso equivalentemente, iper-computazione). Tuttavia, l'applicazione dell'argomento che mostra il problema di Halting è impossibile per una macchina di Turing mostra anche che è impossibile per un oracolo di Turing + decidere il problema …
2
Universi nella teoria dei tipi dipendenti
Sto leggendo sulla teoria dei tipi dipendenti nel libro online sulla teoria dei tipi di omotopia . Nella sezione 1.3 del capitolo Teoria dei tipi , introduce la nozione di gerarchia degli universi : , doveU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots ogni universo è un elemento del prossimo universo …
2
Algoritmo per determinare se due regex sono equivalenti
Date due espressioni arbitrarie regolari, esiste un algoritmo "efficiente" per determinare se corrispondono allo stesso insieme di stringhe? Più in generale, possiamo calcolare la dimensione dell'intersezione dei due set di partite? In quali algoritmi ci sono per farlo e in quale classe di complessità vivono? Se non accettiamo la stella …
2
Possiamo mostrare che una lingua non è calcolabile in modo computabile mostrando che non esiste un verificatore per essa?
Una delle definizioni di un insieme calcolabile (ce, equivalente a ricorsivamente enumerabile, equivalente a semidecidabile) è la seguente: è ce se esiste una lingua decidibile V ⊆ Σ ∗ (chiamato verificatore) st per tutte le x ∈ Σ ∗ ,A ⊆ Σ*A⊆Σ∗A \subseteq \Sigma^*V⊆ Σ*V⊆Σ∗V\subseteq \Sigma^*x ∈ Σ*x∈Σ∗x\in \Sigma^* sse …
3
Nozioni di calcolo efficiente
Un algoritmo della macchina di Turing a tempo polinomiale è considerato efficiente se il suo tempo di esecuzione, nel peggiore dei casi, è limitato da una funzione polinomiale nella dimensione di input. Sono a conoscenza della forte tesi di Church-Turing: Qualsiasi modello di calcolo ragionevole può essere simulato in modo …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.