Scienza del computer

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

1
POSIX BRE può esprimere tutte le lingue regolari?
Sembra che le "Espressioni regolari di base" come definite da POSIX.1-2008 non supportano l'alternanza a|b(sebbene alcune implementazioni grep riconoscano la versione con escape, \|). Dato che le lingue normali sono chiuse in unione per definizione, ciò significa che POSIX BRE ha meno potere espressivo di un automa finito? O c'è …
2
Che cosa otteniamo avendo "tipi dipendenti"?
Pensavo di aver capito bene la tipizzazione dipendente (DT), ma la risposta a questa domanda: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-per-creare-teoria-del-tipo-intuitivo mi ha fatto pensare diversamente. Dopo aver letto su DT e aver cercato di capire cosa sono, sto cercando di chiedermi, cosa otteniamo da questa nozione di DT? Sembrano essere più flessibili e …
2
Dimostrare che DOUBLE-SAT è NP-completo
Il noto problema SAT è definito qui per amor di riferimento. Il problema DOUBLE-SAT è definito come DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Come possiamo dimostrarlo NP-completo? Sarà apprezzato più di …
2
Quando posso usare la programmazione dinamica per ridurre la complessità temporale del mio algoritmo ricorsivo?
La programmazione dinamica può ridurre il tempo necessario per eseguire un algoritmo ricorsivo. So che la programmazione dinamica può aiutare a ridurre la complessità temporale degli algoritmi. Le condizioni generali sono tali che se soddisfatte da un algoritmo ricorsivo implicherebbe che l'uso della programmazione dinamica ridurrà la complessità temporale dell'algoritmo? …
4
L'algoritmo di Dijsktra si applicava al problema del commesso viaggiatore
Sono un principiante (principiante della teoria della complessità computazionale) e ho una domanda. Diciamo che abbiamo un 'Problema del commesso viaggiatore', la seguente applicazione degli algoritmi di Dijkstra lo risolverà? Da un punto iniziale calcoliamo la distanza più breve tra due punti. Andiamo al punto. Eliminiamo il punto di origine. …
1
Che cosa c'è di diverso tra Set e Type in Coq? [chiuso]
Chiuso. Questa domanda è fuori tema . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia sull'argomento per Computer Stack Stack Exchange. Chiuso 2 anni fa . I tipi AFAIU possono essere a i Setcui elementi sono programmi o i propositioncui elementi sono …
1
Perché usare SIMD se abbiamo GPGPU?
Ho pensato che questa domanda fosse meglio servita nella parte CS di Stack Exchange. Ora che abbiamo GPGPU con lingue come CUDA e OpenCL, le estensioni SIMD multimediali (SSE / AVX / NEON) hanno ancora uno scopo? Di recente ho letto un articolo su come utilizzare le istruzioni SSE per …
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.