Алгоритмы для графических критериев разделения

arXiv: 261 030.36502v 1 Annualce Type: New Brieflow: Statistical графические модели представляют собой представления зависимости между компонентами случайного вектора. Они кодируют эти зависимости с помощью графических критериев разделения. Мы рассматриваем алгоритмическую проблему проверки заявлений о раздельности для различных классов графиков и критериев разделения, разработанных общиной. Мы принимаем решение о том, что все критерии, которые мы изучаем, могут быть проверены с помощью модульных вариаций достижимости. Для всех критериев разделения, но для выделения $sigma$, это дает алгоритм линейного времени. Это, по сути дела, оптимальное время для загрузки самого графика является линейным временем в количестве краев на графике. Используя систему CIfly для развертывания модульных вариаций достижимости, мы также предоставляем код R и Python для реализации наших алгоритмов. Мы оцениваем эмпирическое время работы и масштабируем поведение в симуляционном исследовании.