En relación con el rompecabezas Slither Link , me he estado preguntando: supongamos que tengo una cuadrícula de celdas cuadradas , y quiero encontrar un ciclo simple de bordes de cuadrícula, uniformemente al azar entre todos los ciclos simples posibles.n×nn×nn\times n Una forma de hacer esto sería...
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...
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 \wedge y...
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...
Considere el siguiente problema: Entrada : un hiperplano , dado por un vector y en representación binaria estándar.a ∈ Z n b ∈ ZH={y∈Rn:aTy=b}H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zna∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb∈Zb \in \mathbb{Z} Salida...
Hice esta pregunta hace unas semanas en mathoverflow , pero no obtuve respuesta. Aquí, por rejilla 3D de longitud de lado me refiero a la gráfica G = ( V , E ) con V = { 1 , ... , k } 3 y E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + |
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...
Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados...
Primero preguntado en matemáticas . SE sin respuestas. Supongamos que tengo un gráfico plano, con una incrustación plana, ¿cómo encuentro la descomposición del árbol? ¿Cuál es la descomposición óptima del árbol de una rejilla cuadrada -by- d ? No estoy completamente seguro de cómo definir...
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. Los...
Mi pregunta se refiere a la prueba del principal teorema de Ajtai en su innovador artículo de 1996, Generando instancias difíciles de problemas de red , lo que indica una conexión entre los problemas de red dura de peor caso y de media. Esta prueba me es difícil de entender. ¿Existe una exposición...