Реализация мембранных алгоритмов с помощью марковских систем

Работа посвящена исследованию алгоритмических возможностей марковских систем на примере решения двух NP-полных задач - поиска гамильтонова пути в ориентированном графе и задачи о выполнимости булевой формулы. Рассматриваются вопросы реализации мембранных алгоритмов решения этих задач, имеющих полиномиальную зависимость времени работы от размера задачи. Приводятся результаты численного исследования предложенных алгоритмов.