Была проделана большая работа по вычислительным задачам для частичных порядков (например, распознавание, число переходов, распознавание графа сравнимости и т. Д.).
Мне любопытно, какая работа, связанная с решетками, была проделана. Я искал вокруг и не нашел много похожих работ для решеток.
В частности, меня интересует, были ли исследованы следующие проблемы решетки:
Распознавание решетки: с учетом DAG или частичного порядка это на самом деле решетка?
Распознавание графа решетчатой сравнимости: при заданном неориентированном графе G можно ли ориентировать ребра G так, чтобы результирующая ориентация была решеткой?
Определение / подсчет неприводимых элементов решетки
Определение, является ли данная решетка распределенной / модульной
Ответы:
По вашим вопросам (2 + 4): неориентированный граф G - это покрывающий граф (не граф сравнимости!) Распределенной решетки, если он является медианным графом и имеет две вершины, которые дополняют друг друга (на противоположных сторонах каждой эквивалентности Джоковича). класс ребер); увидеть Даффуса, Дуайт; Соперник, Иван (1983), "Графы, ориентируемые как распределительные решетки", Учеб. AMS 88 (2): 197–200. Это можно превратить в эффективный алгоритм, объединив алгоритм распознавания медианного графа (см. Статью в Википедии) с алгоритмом поиска комплементарных пар вершин (см. Теорему 3 arxiv: cs.DS / 0206033 ).
источник
Вот ссылка, может быть, она может вам помочь. http://fc.isima.fr/~nourine/publications.php М. Хабиб и Л. Нурин: линейный алгоритм времени для распознавания распределительных решеток, RR LIRMM, № 92-012, 1992.
источник