Perguntas com a marcação «lattice»

O problema da satisfação é, obviamente, um problema fundamental no CS teórico. Eu estava brincando com uma versão do problema com infinitas variáveis. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuração básica. Seja XXX um conjunto de variáveis não vazio e possivelmente infinito . Um literal é uma variável x∈Xx∈Xx \in X ou sua negação …

18 reference-request  lo.logic  sat  topology  lattice 

Como o termo está sobrecarregado, faça uma breve definição primeiro. Um poset é um conjunto XXX dotado de uma ordem parcial ≤≤\le . Dado dois elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (junção) como seu limite superior mínimo em XXX e similarmente definir x∧yx∧yx \wedge y (conhecer) …

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

Eu tenho duas partições de [1…n][1…n][1 \ldots n] e estou procurando a distância de edição entre elas. Com isso, desejo encontrar o número mínimo de transições únicas de um nó em um grupo diferente necessário para passar da partição A para a partição B. Por exemplo, a distância de {0 …

17 ds.algorithms  edit-distance  lattice 

EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e …

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

O teorema do ponto de fixação de Tarski afirma que os pontos de fixação de um operador monótono em uma rede completa são uma rede completa. Por conseqüência, temos um ponto de correção maior e menos único para um operador monótono em uma rede completa. Os pontos de correção podem …

8 algebra  lattice  order-theory