Analisi del codice sorgente bitcoin. Frattale del grafico di Bitcoin un prezzo di almeno $ entro settembre

Algoritmi Approssimanti. Esempio: un algoritmo 2-approssimante per il problema k-clustering. Approssimazioni arbitrariamente buone.

Ricerca esaustiva intelligente. Le tecniche: Backtracking e Branch-and-bound.

Se vi dovesse venire in mente un'idea promettente per risolvere istanze di SAT, considerate la possibilità di partecipare alla prossima edizione di questo evento 7 Il running time dell'algoritmo di Ford e Fulkerson.

La variante con capacity scaling per rendere l'algoritmo polinomiale. Si veda anche [3]: Cap. Il codice scritto in aula per l'Esercizio 5: travasi.

Gli smart contract e gli smart legal contract per un pagamento automatizzato: pro e contro Descrizione del caso e dello smart contract Per creare [1] uno smart contract si utilizza il linguaggio di programmazione Solidity ed in seguito se ne verifica il funzionamento su blockchain Ethereum in ambiente JavaScript VM. Con questi passaggi in mente, si passa alla creazione del codice informatico e se ne analizza il comportamento.

Esempi: Un algoritmo lineare per 2-SAT ottenuto tramite riduzione al problema di scomporre un grafo diretto in componenti fortemente connesse e DAG delle componenti. Richiami su grafi diretti, DAGs e topological sorting.

Introduzione al problema Max Flow [1]: Esercizio 3.

Esempi: Un algoritmo per Chain matrix multiplication e un algoritmo per Independent set su alberi. Esempio: l' algoritmo di Karatsuba per moltiplicare due interi. Cenni all' algoritmo di Strassen per la moltiplicazione di matrici.

Richiami sulle relazioni di ricorrenza e sul Teorema Master. La tecnica Greedy.

Esempio: Un algoritmo greedy per decidere la soddisfacibilità delle formule di Horn [1]: Cap. Per un ripasso sulla tecnica greedy si veda, per esempio, il Capitolo 4 su [3]. Materiale didattico.