Perguntas com a marcação «lattice»

1
Um espaço topológico relacionado ao SAT: é compacto?
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 …


3
Editar distância entre duas partições
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 …


2
Condições suficientes para garantir um ponto de fixação exclusivo (não menos importante / maior ponto de fixação) para funções monótonas em treliça completa
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 …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.