Вопросы с тегом «lattice»

Проблема удовлетворенности является, конечно, фундаментальной проблемой в теоретической CS. Я играл с одной версией проблемы с бесконечным количеством переменных. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Базовая настройка. Пусть непустое и, возможно, бесконечное множество переменных . Литерал - это либо переменная либо ее отрицание . Предложение - это дизъюнкция конечного числа литералов . Наконец, мы …

18 reference-request  lo.logic  sat  topology  lattice 

Поскольку термин перегружен, сначала дается краткое определение. Poset - это множество наделенное частичным порядком ≤ . Для двух элементов a , b ∈ X , мы можем определить x ∨ y (join) как их наименьшую верхнюю границу в X и аналогично определить x ∧ y (meet) (join) как наибольшую нижнюю …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

У меня есть два раздела [1…n][1…n][1 \ldots n] и я ищу расстояние редактирования между ними. Этим я хочу найти минимальное количество отдельных переходов узла в другую группу, которые необходимы для перехода из раздела A в раздел B. Например, расстояние от {0 1} {2 3} {4}в {0} {1} {2 3 4}будет …

17 ds.algorithms  edit-distance  lattice 

РЕДАКТИРОВАТЬ (Тара B): Я все еще был бы заинтересован в ссылке на доказательство этого, так как я должен был доказать это сам для моей собственной статьи. Я ищу доказательство теоремы 4, которое появляется в этой статье: Бесконечная иерархия пересечений контекстно-свободных языков Лю и Вейнера. Теорема 4: - мерное аффинное многообразие …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice