In breve: come sono classificati i sistemi di tipi in contesti accademici; in particolare, dove posso trovare fonti affidabili che chiariscono le distinzioni tra i diversi tipi di sistema di tipi? In un certo senso la difficoltà con questa domanda non è che non riesco a trovare una risposta, ma …
Quando si tratta di progettare algoritmi, si impiegano spesso le seguenti tecniche: Programmazione dinamica La strategia golosa Dividere e conquistare Mentre per i primi due metodi ci sono basi teoriche ben note, vale a dire il principio di ottimalità di Bellman e la teoria matroid (resp. Greedoid), non sono riuscito …
Ho finito la maggior parte del materiale nel libro Intro to Algorithms di Cormen e sto cercando un libro di algoritmi che copra materiale oltre il libro di Corman. Ci sono dei consigli? NOTA: l'ho chiesto su StackOverflow ma non ero molto contento della risposta. NOTA: guardando la maggior parte …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Che cos'è un buon libro di informatica per principianti per un giovane adulto, diciamo, un 15enne? Voglio iniziare in CS, ma non ho idea …
Interagisco spesso con persone che vogliono chiedere un algoritmo per un problema computazionale (o la sua complessità), ma non lo esprimono in modo rigoroso per noi (informatici) per capire. Riferirli a libri come CLRS non è utile perché gli esempi di solito hanno un modo abbastanza semplice di affermare rigorosamente, …
Ultimamente ho letto un po 'di letteratura e ho trovato strutture di dati piuttosto interessanti. Ho studiato vari metodi per ottenere i tempi di aggiornamento fino a tempo di aggiornamento nel caso peggiore [1-7].O(1)O(1)\mathcal{O}(1) Di recente ho iniziato a cercare strutture di dati prive di blocchi, per supportare un accesso …
Recentemente ho trovato in un documento [1] una versione simmetrica speciale di SAT chiamata 2/2/4-SAT . Ma ci sono molte varianti , ad esempio: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Alcune altre varianti sono trattabili: - , Planar-NAE- , ...222SATSAT\text{SAT}SATSAT\text{SAT} Esistono documenti di indagine (o pagine Web) che classificano …
Alcuni algoritmi complicati ( union-find ) hanno la funzione di Ackermann inversa quasi costante che appare nella complessità del tempo asintotico e sono ottimali nel caso peggiore se il termine di Ackermann inverso quasi costante viene ignorato. Esistono esempi di algoritmi noti con tempi di esecuzione che coinvolgono funzioni che …
Le lingue senza contesto non sono chiuse sotto complemento, lo sappiamo. Per quanto ho capito, le lingue senza contesto che sono un sottoinsieme di un'*B*a∗b∗a^*b^* per alcune lettere a , ba,ba,b sono chiuse sotto complemento (!?) Ecco il mio argomento. Ogni linguaggio CF LLL ha un'immagine Parikh semi-lineare π( L …
Ok prima di iniziare mi rendo conto che questo è ai margini dell'argomento (ho letto la guida Domande su questo sito), in particolare perché questo non è un problema reale. Tuttavia: Non riesco a trovare nulla di rilevante su Google Da un punto di vista purista sicuramente deve rientrare in …
Il perfezionamento delle partizioni è una tecnica in cui si inizia con un insieme finito di oggetti e si divide progressivamente l'insieme. Alcuni problemi, come la minimizzazione di DFA, possono essere risolti utilizzando il perfezionamento della partizione in modo abbastanza efficiente. Non conosco altri problemi che di solito vengono risolti …
Ho avuto problemi ad accettare la visione teorica della complessità di "risolto in modo efficiente dall'algoritmo parallelo" che è data dalla classe NC : NC è la classe di problemi che possono essere risolti da un algoritmo parallelo nel tempo su processori con .p ( n ) ∈ O ( …
Molti algoritmi di flusso massimo che comunemente vedo implementati, l'algoritmo di Dinic, il push relabel e altri, possono migliorare il loro costo del tempo asintotico attraverso l'uso di alberi dinamici (noti anche come alberi tagliati a link). Push relabel funziona in o O ( V 3 ) o O ( …
Sto cercando di capire chi ha coniato il termine "machine learning". Una domanda ausiliaria è da dove viene citato Arthur Samuel che definisce il campo dell '"apprendimento automatico" nel 1959 come: il campo di studio che offre ai computer la capacità di apprendere senza essere esplicitamente programmato ? Puoi trovare …
L' algoritmo Ramer-Douglas-Peucker per la semplificazione della linea ha un runtime caso peggiore . Per input casuali opportunamente distribuiti, ha previsto una complessità di runtime . In 2D, ci sono altri algoritmi con la complessità runtime caso peggiore , che calcolano esattamente lo stesso risultato dell'algoritmo Ramer-Douglas-Peucker. Poiché questi algoritmi …
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.