Preguntas etiquetadas con lattice

El problema de la satisfacción es, por supuesto, un problema fundamental en la CS teórica. Estaba jugando con una versión del problema con infinitas variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuración básica. Sea un conjunto de variables no vacío y posiblemente infinito . Un literal es una variable o su negación . Una …

18 reference-request  lo.logic  sat  topology  lattice 

Dado que el término está sobrecargado, primero una breve definición. Un poset es un conjunto XXX dotado de un orden parcial ≤≤\le . Dados dos elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (unión) como su límite superior mínimo en XXX , y definir de manera similar x∧yx∧yx …

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

Tengo dos particiones de [1…n][1…n][1 \ldots n] y estoy buscando la distancia de edición entre ellas. Con esto, quiero encontrar el número mínimo de transiciones individuales de un nodo en un grupo diferente que son necesarias para pasar de la partición A a la partición B. Por ejemplo, la distancia …

17 ds.algorithms  edit-distance  lattice 

EDITAR (por Tara B): Todavía estaría interesado en una referencia a una prueba de esto, ya que tuve que demostrarlo yo mismo para mi propio artículo. Estoy buscando la prueba del Teorema 4 que aparece en este documento: Una jerarquía infinita de intersecciones de lenguajes sin contexto por Liu y …

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

El teorema del punto de fijación de Tarski establece que los puntos de fijación de un operador monótono en una red completa es una red completa. Como consecuencia, tenemos un punto de fijación máximo único y un punto de fijación mínimo único para un operador monótono en una red completa. …

8 algebra  lattice  order-theory