Оценка оптимальности результатов работы жадного иерархического алгоритма для решения задачи о наименьшей общей надстроке

Задача о наименьшей общей надстроке – это NP-полная задача, имеющая примене- ние в секвенировании цепочки ДНК. Часто на практике точные алгоритмы решения задач класса NP не применимы, поскольку имеют экспоненциальную асимптотику работы. По этой причине вместо точных алгоритмов нередко используют прибли- женные. Несмотря на то, что такой подход накладывает некоторые ограничения на применимость результата (например, неоптимальные решения должны быть допусти- мы), он является широко используемым, благодаря своей эффективности. К сожале- нию, несмотря на то, что с момента появления первой гипотезы о существовании 2- оптимального алгоритма для решения задачи о наименьшей общей надстроке прошло уже более 30 лет, на текущий момент не существует алгоритма решения задачи о над- строке, для которого такая константа приближения была бы доказана. Тем не менее, существует несколько перспективных алгоритмов, константа приближения которых ещё не была точно оценена. Данная работа рассматривает жадный иерархический алгоритм (Greedy Hierarchical Algorithm), – приближенный алгоритм решения зада- чи о надстроке, и нацелена на продвижение исследований по определению константы точности этого алгоритма.