Запитання з тегом «lattice»

Здійсненності проблема, звичайно ж , основна проблема в теоретичній CS. Я грав з однією версією проблеми з нескінченно великою кількістю змінних.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Основні настройки. Нехай - порожній і, можливо, нескінченний набір змінних . Буквал - це або змінна або її заперечення ¬ x . Пункт c - диз'юнкція кінцевої кількості …

18 reference-request  lo.logic  sat  topology  lattice 

Оскільки термін перевантажений, спочатку коротке визначення. Пост - це набір наділений частковим порядком . Враховуючи два елементи , ми можемо визначити x \ vee y (приєднатись) як їх найменшу верхню межу в X , і аналогічно визначити x \ wedge y (meet) (join) як найбільшу нижню межу.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee …

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

У мене є два розділи [1…n][1…n][1 \ldots n] і шукаю відстань редагування між ними. Цим я хочу знайти мінімальну кількість одиничних переходів вузла в іншу групу, які необхідні для переходу від розділу А до розділу Б. Наприклад, відстань від {0 1} {2 3} {4}до {0} {1} {2 3 4}буде два …

17 ds.algorithms  edit-distance  lattice 

EDIT (За Тарою Б): Я все ще зацікавився б посиланням на доказ цього, оскільки мені довелося це доводити для себе. Я шукаю доказ теореми 4, який з’являється в цій статті: Нескінченна ієрархія перетину мов, що не містять контексту , Лю та Вайнера. Теорема 4: - мірне Афінний різноманіття виявляється у …

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