Em conexão com a Slither Fazer a ligação quebra-cabeça, eu estive pensando: Suponha que eu tenho um grade de células quadrados, e eu quero encontrar um ciclo simples de bordas de grade, uniformemente de forma aleatória entre todos os ciclos simples possíveis.n×nn×nn\times n Uma maneira de fazer...
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...
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...
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 1} {2 3}...
Considere o seguinte problema: Entrada : um hiperplano H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , dado por um vetor a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n e b ∈ Zb∈Zb \in \mathbb{Z} na representação binária padrão. Saída : x ∈ Z n...
Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 outros nós que diferem...
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 Weiner....
Hiroimono é um quebra-cabeça completo de popular . Estou interessado na complexidade computacional de um quebra-cabeça relacionado.NPNPNP O problema é: Entrada : Dado um conjunto de pontos em em um x grade quadrada e inteiron knnnnnnkkk Pergunta : Existe um polígono retilíneo (seus lados...
Perguntado pela primeira vez em math.SE sem respostas. Suponha que eu tenha um gráfico planar, com uma incorporação planar, como encontro a decomposição da árvore? O que é a decomposição de árvore ideal de uma -by- grade quadrada? Não sabe ao certo como definir "ideal", mas deve distinguir entre...
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 ser únicos, mas...
Minha pergunta diz respeito à prova do principal teorema de Ajtai em seu artigo inovador de 1996, Gerando instâncias rígidas de problemas de treliça , o que indica uma conexão entre os problemas de treliça de pior caso e de malha dura de caso médio. Esta prova é difícil para mim entender. Existe...