Теорема Робертсона – Сеймура говорит, что любая минор-замкнутая семья графов можно охарактеризовать конечным числом запрещенных миноров.
Есть ли алгоритм, который для входа выводит запрещенных несовершеннолетних или это неразрешимо?
Очевидно, что ответ может зависеть от того, как описано во входе. Например, если дается которые могут решить членство, мы даже не можем решить, когда-либо отвергает что-либо. Еслидается конечным числом запрещенных несовершеннолетних - ну, это то, что мы ищем. Мне было бы интересно узнать ответ, если гарантированно остановится на любом в какое-то фиксированное количество времени в , Я также заинтересован в любых связанных результатах, где доказано, что он является второстепенным с некоторым другим сертификатом (как в случае или НЕПРАВИЛЬНО ДОКАЗАТЕЛЬСТВО ).
Обновление: Первая версия моего вопроса оказалась довольно простой, основываясь на идеях Марцио и Кимпела, рассмотрим следующую конструкцию. принимает график на вершины тогда и только тогда, когда не останавливается в шаги. Это второстепенное закрытие и время работы зависит только от,
источник
Ответы:
В ответе Мамаду Мустафы Канте (который защитил докторскую диссертацию под руководством Бруно Курселя) на аналогичный вопрос приводятся заметка о вычислимости наборов второстепенных графов для монадических идеалов второго порядка (1997 г.) Б. Курселя, Р. Дауни и М. Товарищи за невычислимый результат (для классов графов, определяемых MSOL , т. Е. Классов , определенных монадической формулой второго порядка) и Препятствия в минор-замкнутом множестве графов, определенных грамматикой без контекста (1998), написанной B Courcelle и G. Sénizergues для результата вычислимости (для HR-определяемых классов графов, то есть классов, определенных грамматикой замены Hyperedge).
Принципиальное различие между вычислимым и невычислимым случаем состоит в том, что (минор-замкнутые) HR-определяемые классы графов имеют ограниченную ширину дерева, в то время как (минор-замкнутые) MSOL-определяемые графы классов не должны иметь ограниченную древовидную ширину. Фактически, если (неосновно замкнутый) класс графов, определяемых MSOL, имеет ограниченную ширину дерева, то он также определяется HR.
Кажется, что ширина дерева действительно важная часть для отделения вычислимых случаев от невычислимых случаев. Другой известный результат (M. Fellows и M. Langston) в основном говорит о том, что если известна оценка максимальной ширины дерева (или ширины пути) конечного набора исключенных миноров, то (конечный) минимальный набор исключенных миноров становится вычислим.
Даже неизвестно, может ли быть вычислен (конечный) минимальный набор исключенных миноров для объединения (которое тривиально минорно-замкнуто) двух классов минор-замкнутых графов, каждый из которых задан их соответствующим конечным набором исключенных миноров, если нет информации о ширине дерева (или ширине пути) доступно. Или, может быть, тем временем было даже доказано, что это вообще не вычислимо.
источник