Sekwencjonowanie DNA za pomocą izotermicznych bibliotek oligonukleotydów. Część I: sformułowanie problemu, modele grafowe, złożoność obliczeniowa