О дискретно-автоматных моделях конформного поведения

В работе для исследования феномена конформного поведения вводится дискретно-автоматная модель. Концептуально данная модель близка к дискретным моделям, используемым в компьютерной биологии для описания динамических процессов в генных сетях. В рамках введенной модели исследуются мультиагентные системы, в которых помимо агентов-конформистов, принимающих решения в зависимости от мнения их окружения, имеются агенты, которые никогда не меняют своего мнения (так называемые «агитаторы» и «лоялисты»). Исследуются задачи поиска таких начальных размещений относительно небольшого числа агитаторов (лоялистов), которые способствуют переходу системы в состояние с большинством действующих (бездействующих) агентов. Использованный в работе вычислительный аппарат, основанный на SAT-подходе, позволил с помощью обычного ПК решать соответствующие задачи для случайным образом сгенерированных систем на 100 вершинах.