Il calcolo con il Dna è un nuovo paradigma di calcolo che impiega manipolazioni biomolecolari per risolvere problemi computazionali. Nel 1994 Leonard Adleman sorprese la comunità scientifica usando gli strumenti della biologia molecolare per risolvere un’istanza del problema del percorso hamiltoniano su un grafo orientato (PPHO). Questa è stata la prima volta che un problema matematico è stato risolto con la biologia. Negli anni successivi molti altri problemi sono stati affrontati usando manipolazioni con il DNA. Numerosi studi teorici hanno suggerito algoritmi con il DNA per la soluzione di vari problemi come: il problema della soddisfacibilità di una formula booleana, la decifrazione del DES, il calcolo di determinanti etc..Per dare un’idea di questo nuovo tipo di calcolo si descrive il primo esperimento di Adleman e la soluzione teorica al problema della soddisfacibilità fornita da Richard Lipton, che è stata successivamente implementata da numerosi ricercatori. Il miglior risultato sperimentale a questo proposito è quello ottenuto nel 2002 da un gruppo di studiosi coordinati da Adleman e riguarda una formula con 20 variabili.