Domande taggate «descriptive-complexity»

La complessità descrittiva classifica i problemi in base a quanto sia difficile esprimere il problema in un certo formalismo logico.

2
Esistono rappresentazioni descrittive della complessità delle classi di complessità quantistica?
Il titolo dice più o meno tutto, ma immagino di poter aggiungere un po 'di background e alcuni esempi specifici che mi interessano. I teorici della complessità descrittiva, come Immerman e Fagin, hanno caratterizzato molte delle classi di complessità più note usando la logica. Ad esempio, NP può essere caratterizzato …
5
Perché i database relazionali funzionano affatto, data la complessità esponenziale teorica della ricerca di risposte (nella dimensione della query)?
Sembra essere noto che per trovare una risposta a una query su un database relazionale D , occorre tempo | D | | Q | e non ci si può liberare dell'esponente | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Dato che può essere molto grande, ci chiediamo perché i database funzionino affatto nella …
1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
2
Problemi di ottimizzazione di MSOL su grafici di larghezza di banda limitata, con predicati di cardinalità
CMSOL sta contando la logica monadica del secondo ordine, cioè una logica di grafici in cui il dominio è l'insieme di vertici e spigoli, ci sono predicati per l'adiacenza vertice-vertice e l'incidenza di vertice-vertice, c'è quantificazione su spigoli, vertici, insiemi di bordi e vertici imposta e esiste un predicato che …
1
P e complessità descrittiva
Nel Complexity Zoo, si dice [ 1 ] che, nella complessità descrittiva, può essere definito da tre diversi tipi di formule, che è anche , e anche come .PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) Tuttavia, ci sono alcune eccezioni, ad esempio, non può essere espressa da FP (FP ha la stessa potenza espressiva con LFP). …
2
Quando una proprietà FO uccide la durezza NL?
Contesto: consideriamo solo digrafi. Lascia che CYCLE sia il linguaggio dei grafici con un ciclo; è un problema completo della BN. Lascia che HASEDGE sia il linguaggio dei grafici con almeno un bordo. Quindi banalmente, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} non è più difficile per NL, mentre CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} rimane tale. …
1
È possibile utilizzare una versione della complessità descrittiva del teorema di Rice per separare AC0 e PSPACE?
In questa domanda , è stato menzionato che ci sono versioni descrittive della complessità del teorema di Rice. Ho trovato una prova del seguente teorema: Data una classe di complessità C , le proprietà non banali delle lingue in C non possono essere calcolate in C Avevo precedentemente pubblicato la …
1
Permutazione unidirezionale finita con dominio infinito
Sia una permutazione. Nota che mentre agisce su un dominio infinito, la sua descrizione potrebbe essere finita. Per descrizione , intendo un programma che descrive la funzionalità di . (Come nella complessità di Kolmogorov.) Vedi le spiegazioni di seguito. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Ad esempio, la funzione NOT …
3
Comprensione della logica del punto minimo fisso
Per capire meglio un articolo sto cercando di ottenere una breve comprensione della logica dei punti meno fissi. Ci sono alcuni punti in cui sono bloccato. Se è un grafico eG=(V,E)G=(V,E)G = (V,E) Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land P(z,b)) \} …
2
Intuizione dietro i sistemi di prova
Sto cercando di capire l'articolo su p-Optimal Proof Systems e Logic per PTIME . C'è una nozione chiamata sistemi di prova nel documento e non capisco l'intenzione: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identifichiamo i problemi con sottoinsiemi di in .QQQΣ*Σ∗\Sigma^* Penso che l'intenzione sia quella …
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.