Scienza del computer

3

Relazione tra teoria dei tipi russelliana e sistemi di tipi

Di recente mi sono reso conto che esiste una sorta di relazione tra la teoria dei tipi russelliana e i sistemi di tipi, come ad esempio trovato in Haskell. In realtà, alcune delle notazioni per tipi in Haskell sembrano avere precursori nella teoria dei tipi. Ma, IMHO, la motivazione di …

12 programming-languages type-theory

1

Conteggio del numero di somme da sottoquarti contigui di un array

Ci viene dato un array con tutto un [ i ] > 0 .a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Ora abbiamo bisogno di scoprire quante somme distinte possono essere formate dai suoi sottoarrays (dove un subarray è un intervallo contiguo dell'array, cioè per …

12 arrays substrings suffix-array

2

Esiste una definizione CS formale di VCS e versioni dei file?

Non so se fosse uno scherzo, ma una volta ho letto quella che è stata definita una definizione formale di un file in un sistema di controllo delle versioni come git, hg o svn. Era qualcosa di simile a un oggetto matematico come un omeomorfismo. Era uno scherzo o esiste …

12 terminology reference-request

2

Dimostrare completezza NP nel decidere la soddisfacibilità della formula booleana monotona

Sto cercando di risolvere questo problema e sto davvero lottando. Una formula booleana monotona è una formula nella logica proposizionale in cui tutti i letterali sono positivi. Per esempio, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) è una funzione booleana monotona. D'altra parte, …

12 complexity-theory np-complete satisfiability

2

Perché la trasformazione laplace non è popolare per la convoluzione dell'elaborazione delle immagini?

Perché la trasformazione laplace non è popolare per la convoluzione dell'elaborazione delle immagini? La maggior parte dei libri di testo converte solo le trasformate di Fourier.

12 history image-processing

2

Algoritmo di etichettatura del tempo lineare per un albero?

Ho un albero non diretto di cui voglio etichettare i vertici. I nodi foglia dovrebbero essere etichettati uno. Quindi, supponi che le foglie siano state rimosse. Nell'albero che rimane, le foglie dovrebbero essere etichettate due. Questo processo continua in modo ovvio fino a quando tutti i vertici hanno un'etichetta. Il …

12 algorithms trees

4

La complessità dei problemi fortemente NP-difficili o completi cambia quando il loro input è codificato unario?

La difficoltà di un problema fortemente NP-hard o NP-complete (come ad esempio definito qui ) cambia quando il suo input è unario anziché codificato binario? Che differenza fa se l'ingresso di un problema fortemente NP-difficile è codificato unario? Voglio dire, se prendo ad esempio il problema debolmente completo di zaino …

12 complexity-theory time-complexity np-complete

2

Piastrellatura di un poligono ortogonale con quadrati

Dato un poligono ortogonale (un poligono i cui lati sono paralleli agli assi), voglio trovare il più piccolo insieme di quadrati interni-disgiunti, la cui unione equivale al poligono. Ho trovato diversi riferimenti a problemi leggermente diversi, come ad esempio: Coprire un poligono ortogonale con quadrati - simile al mio problema, …

12 algorithms computational-geometry tiling

3

L'importanza di forme normali come la forma normale di Chomsky per i CFG

Comprendo che le grammatiche senza contesto possono essere utilizzate per rappresentare linguaggi senza contesto e potrebbe avere ambiguità. Abbiamo anche forme normali come Chomsky e Greibach forma normale. Non riuscivo a capirne la necessità. Perché sono importanti nella teoria delle lingue? Tutti i libri di testo a cui ho fatto …

12 formal-languages context-free formal-grammars normal-forms

5

Difetto nel mio NP = CoNP Proof?

Ho questa "prova" molto semplice per NP = CoNP e penso di aver fatto qualcosa di sbagliato da qualche parte, ma non riesco a trovare ciò che è sbagliato. Qualcuno mi può aiutare? Sia A un problema in NP, e sia M il fattore decisivo per A. Sia B il …

12 complexity-theory p-vs-np check-my-proof np

4

Apprendimento automatico vs identificazione del sistema?

Qualcuno potrebbe spiegarmi le differenze e le somiglianze tra apprendimento automatico e identificazioni di sistema? Sono solo due nomi della stessa cosa? In questa pagina , dicono: Le comunità di apprendimento automatico e di identificazione del sistema devono affrontare problemi simili in cui è necessario costruire un modello da osservazioni …

12 machine-learning

2

Se

Di ', L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Quindi come possiamo dimostrare che L∗L∗L^* è regolare? Se LLL è regolare, ovviamente anche L∗L∗L^* è regolare. Se LLL è finito, allora è regolare e di nuovo L∗L∗L^* è regolare. Inoltre ho notato che, per L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p …

12 formal-languages regular-languages

3

In che modo la "deforestazione" rimuove gli "alberi" da un programma?

Penso che comprenda come la deforestazione consuma e produce un elenco allo stesso tempo (da una piega e una funzione spiegata - vedi questa buona risposta su CodeReview qui ), ma quando ho confrontato quello con la voce di Wikipedia sulla tecnica ha parlato di "rimozione alberi "da un programma. …

12 terminology compilers functional-programming

3

Esiste un test efficiente per stabilire se un NFA accetta un sottoinsieme di un altro NFA?

Quindi, so che testare se una lingua normale è un sottoinsieme della lingua normale S è decidibile, dal momento che possiamo convertirli entrambi in DFA, calcolare R ∩ ˉ S e quindi verificare se questa lingua è vuota.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Tuttavia, poiché ciò richiede la conversione in DFA, è possibile …

12 algorithms regular-languages automata np-complete decision-problem

2

Importanza della ricorsione nella teoria della calcolabilità

Si dice che la teoria della computabilità sia anche chiamata teoria della ricorsione. Perché si chiama così? Perché la ricorsione ha tanta importanza?

12 computability terminology history