CMSOL - это подсчет монадической логики второго порядка, т. Е. Логики графов, в которой доменом является множество вершин и ребер, существуют предикаты для смежности вершин и вершин, существует ребро-вершина, существует количественное определение по ребрам, вершинам, наборам ребер и вершинам. множества, и существует предикат , который выражает ли размер является по модулю .н п
Знаменитая теорема Курселя гласит, что если является свойством графов, выражаемых в CMSOL, то для каждого графа длины дерева не более можно решить за линейное время, выполняется ли , при условии, что в дана разложение дерева вход. В более поздних версиях теоремы было снято требование, чтобы во входных данных была дана декомпозиция дерева (потому что можно вычислить с помощью алгоритма Бодлендера ), а также была разрешена оптимизация вместо простого решения; то есть, учитывая формулу MSOL мы также можем вычислить наибольшее или наименьшее множество которое удовлетворяет .G k Π Gϕ ( S )
Мой вопрос касается адаптации теоремы Курселя к графам ограниченной ширины кликов. Существует аналогичная теорема, которая гласит, что если у вас есть MSOL1, который допускает количественное определение по вершинам, ребрам, множествам вершин, но не множествам ребер, то при заданном графе ширины кликов (с заданным выражением клика), для каждого фиксированного можно решить в линейное время удовлетворяет ли граф некоторой формуле MSOL1 ; все ссылки, которые я видел, указывают наk k G ϕ
Решаемые задачи оптимизации линейного времени на графах ограниченной ширины клики по Курселю, Маковскому и Ротиксу, Теория вычислительных систем, 2000.
Я попытался прочитать статью, но она не является самостоятельной в отношении точного определения MSOL1, и ее, честно говоря, трудно прочитать. У меня есть два вопроса относительно того, что именно можно оптимизировать в FPT, параметризуемое шириной клика графика, если во входных данных дано выражение клики.
- Разрешает ли MSOL1 предикат для проверки размера набора по модулю некоторого числа?
- Можно ли найти набор минимального / максимального размера который удовлетворяет формуле MSOL1 в FPT, параметризованной по ширине клика, когда задано выражение?ϕ ( S )
По обоим этим вопросам я также хотел бы знать, какие правильные ссылки следует приводить при утверждении этих результатов. Заранее спасибо!
Ответы:
После расспросов кажется, что ответы на 1) и 2) - ДА. Оптимизация мощности множества возможна в LinEMSOL (как упомянул Мартин Лакнер); как мне сказали, существование предикатов кардинальности не является проблемой, поскольку они могут эффективно обрабатываться автоматами дерева конечных состояний, которые должны следовать (более явно, чем в первоначально упомянутой статье) из деревьев разбора On и Myhill-Nerode- инструменты типа для обработки графов ограниченной ширины ранга .
источник
http://www.labri.fr/perso/courcell/Textes1/BC-Makowsky-Rotics(2000).pdf (упомянутая вами статья, но более удобочитаемая версия) определяет LinEMSOL (определение 10). LinEMSOL допускает задачи оптимизации MSO1, а теорема 4 утверждает, что такие задачи можно трактовать с фиксированными параметрами в зависимости от ширины клика. Таким образом, ответ на ваш второй пункт / вопрос должен быть да.
Относительно первого пункта: В «Минус-вершинах, монадической логике второго порядка и гипотезе Сисе» Бруно Курселя и Санг-Ила авторы пишут, что «Можно доказать, что никакая формула МС φ (X) не может выразить в каждой структуре множество X имеет четную мощность [10] "где [10] =" Courcelle, монадическая логика второго порядка графов "
надеюсь, это поможет
источник