Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations

## Контекст Область исследования — Weighted First-Order Model Counting (WFOMC), которая заключается в вычислении взвешенной суммы моделей предложения первого порядка над заданным доменом. Данная задача является центральной в теории вычисления моделей и имеет широкое применение в областях, таких как логические программирование, машинное обучение и теория графов. Существующая проблема заключается в неполном понимании сложности WFOMC для расширенных фрагментов первого порядка. Особенного интереса представляют фрагменты, расширенные до двух и более отношений. Несмотря на то что WFOMC для $\text{FO}^2$ рассчитывается в полиномиальной временной сложности, а для $\text{FO}^3$ является $\mathsf{\#P_1}$-трудной, мало известно о сложности WFOMC при расширении $\text{FO}^2$ вторым и третьим отношением. Эта неопределенность является мотивацией для данного исследования. ## Метод Мы рассматриваем расширение $\text{FO}^2$ для двух отношений, включая линейные порядки и свойство ацикличности. Исследование включает обход и исследование эквивалентности различных моделей. Алгоритмы для WFOMC реализованы с использованием представлений в виде графов и использованием методов групповых вычислений. Для формализации результатов используются методы теории графов и теории чисел. ## Результаты Мы показали, что WFOMC для $\text{FO}^2$ с двумя линейными порядками и двумя свойствами ацикличности является $\mathsf{\#P_1}$-трудной задачей. Однако мы предложили алгоритм, позволяющий вычислить WFOMC для $\text{C}^2$ с линейным порядком, его следующим отношением и другим следующим отношением, за полиномиальное время относительно размера домена. Эти результаты демонстрируют разрыв в сложности WFOMC при расширении двух отношений. ## Значимость Результаты имеют значимость в области логического программирования и вычислений моделей. Изучение WFOMC для расширенных фрагментов позволяет улучшить понимание поведения вычислений моделей в задачах, интересующихся взаимодействием множественных отношений. Данные результаты могут иметь применение в области теории графов, классификации и моделирования взаимосвязей в данных. ## Выводы Мы установили границу сложности WFOMC для расширенных фрагментов $\text{FO}^2$ с двумя отношениями. Наши результаты указывают на необходимость дальнейшего исследования взаимодействия отношений в WFOMC и могут продвинуть знания в области вычислений моделей и логического программирования. Будущие исследования могут сфокусироваться на дальнейшем расширении WFOMC для более сложных фрагментов и применении этих результатов в практических задачах.