Quale sarebbe il modo più veloce per farlo (dal punto di vista algoritmico, oltre che pratico)? Stavo pensando qualcosa secondo le seguenti linee. Potrei aggiungere alla fine di un array e quindi usare bubblesort in quanto ha un caso migliore (array totalmente ordinato all'inizio) che è vicino a questo e …
Alan Turing ha proposto un modello per una macchina (la Turing Machine, TM) che calcola (numeri, funzioni, ecc.) E ha dimostrato il Teorema di Halting . Una TM è un concetto astratto di una macchina (o motore se vuoi). Il teorema di Halting è un risultato impossibile. Un Carnot Engine …
Mi è stato assegnato un esercizio nella mia università. L'ho portato a casa e ho provato a programmare un algoritmo per risolverlo, era qualcosa legato ai grafici, alla ricerca di componenti collegati, immagino. Poi ho fatto la cosa più banale che mi è venuta in mente e poi ho mostrato …
Sto cercando di spiegare le basi del Bitcoin ai miei genitori. Uno dei componenti principali di bitcoin è la firma di transazioni per assicurarsi che la tua identità non possa essere rappresentata, e quindi la necessità di spiegare una cifra asimmetrica semplificata. Cos'è una cifra asimmetrica estremamente semplice che posso …
Ci sono molte definizioni online su cosa sia una grammatica senza contesto, ma nulla che trovo soddisfi il mio problema principale: Da quale contesto è libero? Per indagare, ho cercato su Google "grammatica sensibile al contesto", ma non sono ancora riuscito a trovare l'argomento "contesto". Qualcuno può spiegare a cosa …
Capisco che se esistono 2 o più alberi di derivazione sinistra o destra, la grammatica è ambigua, ma non riesco a capire perché sia così grave che tutti vogliono liberarsene.
Il teorema di Rice ci dice che le uniche proprietà semantiche delle Macchine di Turing (cioè le proprietà della funzione calcolata dalla macchina) che possiamo decidere sono le due proprietà banali (cioè sempre vere e sempre false). Ma ci sono altre proprietà delle macchine di Turing che non sono decidibili. …
FRP riguarda eventi e comportamenti in streaming attraverso funzioni pure. Il modello Actor - almeno, come implementato in Akka - riguarda lo streaming di messaggi immutabili (che possono essere considerati eventi discreti) attraverso oggetti potenzialmente impuri, chiamati attori. Quindi in superficie sembrano collegati. Cos'altro possiamo dire su come si relazionavano? …
Stavo leggendo CLRS e si dice: Se il factoring di numeri interi di grandi dimensioni è facile, allora rompere il cryptosystem RSA è facile. Il che ha senso per me perché con la conoscenza di e , è facile creare la chiave segreta che la conoscenza della chiave pubblica. Tuttavia, …
Fondamentalmente sono a conoscenza di tre basi per la matematica Insiemistica Teoria dei tipi Teoria delle categorie Quindi, in che modo sono correlati i linguaggi di programmazione e le basi della matematica? MODIFICARE La domanda originale era "Linguaggi di programmazione basati su basi matematiche" con l'aggiunta del paragarfo di E …
È noto che ogni formula LTL può essere espressa da un automatico Büchi . Ma, a quanto pare, gli automi Büchi sono un modello più potente ed espressivo. Ho sentito da qualche parte che gli automi di Büchi sono equivalenti a -calculus a tempo lineare (ovvero -calculus con punti fissi …
Quando si implementa un dizionario ("Voglio cercare i dati dei clienti in base ai loro ID cliente"), le strutture di dati tipiche utilizzate sono tabelle hash e alberi di ricerca binari. So ad esempio che la libreria C ++ STL implementa dizionari (li chiamano mappe) usando alberi di ricerca binaria …
Intuitivamente, gli "alberi bilanciati" dovrebbero essere alberi in cui i sottoalberi sinistro e destro di ciascun nodo devono avere "approssimativamente lo stesso" numero di nodi. Ovviamente, quando parliamo di alberi bilanciati rosso-nero * (vedere la definizione alla fine), intendiamo effettivamente che sono bilanciati in altezza e in tal senso, sono …
Qual è una buona metafora o un esempio per spiegare a un maggiore inglese la differenza tra l'informatica classica e "essere bravi a usare MS-Windows" scienza del computer programmazione computer utilizzando i computer 3 cose profondamente diverse. La maggior parte delle persone non ha idea di cosa sia persino l'Informatica. …
Stavo attraversando la discussione sulla domanda Come definire le macchine quantistiche di Turing? e sento che la MT quantistica e la TM non etermica sono la stessa cosa. Le risposte all'altra domanda non toccano questo. Questi due modelli sono uguali? Se no, Quali sono le differenze tra Quantum TM e …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.