En el contexto de algunos trabajos recientes , hemos estado definiendo un lenguaje basado en una lógica de tres valores à la Kleene, donde significa verdadero, para falso y para error o no sabe. Para demostrar que nuestro lenguaje era expresivo, queríamos demostrar que podíamos construir un...
Cada vez más se confía en los motores de búsqueda como guardianes de la información, sin embargo, los criterios utilizados por los motores de búsqueda para clasificar los resultados son opacos para los usuarios. ¿Cómo pueden los usuarios estar seguros de que sus resultados no están sesgados o...
Actualmente estoy investigando en pseudoaleatoriedad, que involucra un zoológico de objetos maravillosos, como generadores pseudoaleatorios, extractores de aleatoriedad, gráficos de expansión, etc. Me parece un tema fascinante, pero una cosa que me vuelve loco es el exceso de parámetros que son...
¿Cuál es la posibilidad de que un informático cambie su campo en un matemático puro? ¿Y cuál es la forma más fácil de hacerlo? ¿Algún ejemplo para las personas que podrían
Mi pregunta es un poco vaga. Me he estado preguntando si (y cómo), podemos aplicar la noción de ancho de árbol a los problemas de empaque en los gráficos. Estaría contento con cualquier idea o referencia de trabajos de investigación anteriores sobre esto (suponiendo que haya alguna relación)....
Tengo una pregunta, cuya respuesta es probablemente conocida, pero parece que no puedo encontrar nada significativo después de un poco de búsqueda, por lo que agradecería un poco de ayuda. Mi pregunta es si se sabe que decidir si un número es trascendental es indecidible. Posiblemente, uno asume...
¿Hay algún resultado conocido sobre la complejidad de encontrar un separador (de cualquier tamaño) que satisfaga una propiedad dada? Sé que es fácil encontrar un separador de camarillas (tiempo polinómico) y también sé que muchos documentos consideran el problema de encontrar pequeños separadores...
Hay un programa lineal para el que quiero no solo una solución, sino una solución que sea lo más central posible en el politopo que asuma el valor mínimo. A priori, esperamos que la cara de minimización sea de alta dimensión por varias razones, incluyendo que la función objetivo que se minimiza es...
En Graphic TSP , se le proporciona un gráfico no dirigido no ponderado y el objetivo es encontrar un recorrido más corto en que visite cada vértice al menos una vez . Tenga en cuenta que esto no es igual que la búsqueda de un circuito hamiltoniano en . Mis preguntas son:G GGGGGGGGGG ¿Cuál es la...
Supongamos que es un gráfico incrustado en una superficie compacta orientable del género g para que la incrustación sea celular. Considere el dual de la gráfica G ∗ . Supongamos que C 1 y C 2 sean ciclos disjuntos en G ∗ que son homotópicos entre sí y que E 1 y E 2 sean sus conjuntos de aristas...
Estoy buscando la dimensión VC del siguiente sistema establecido. Universo tal que U ⊆ R 3 . En el sistema de conjuntos R, cada conjunto S ∈ R corresponde a una esfera en R 3 de modo que el conjunto S contiene un elemento en U si y solo si la esfera correspondiente lo contiene en R 3 .U= { p1, p2,...
En una pregunta anterior Algoritmo parametrizado para encontrar bicliques , pregunté si había algoritmos parametrizados rápidos para encontrar un -biclique en un gráfico de n vértices y aprendí que estaba abierto si es FPT wrt k . ¿Es lo mismo para contar las k × k -bicliques, o se sabe que esto es...
Me gustaría disculparme por todas las publicaciones a continuación. Elegí el foro equivocado para publicar esto originalmente. Sin embargo, en lugar de hacer de esto un desperdicio completo, he reelaborado la pregunta para que sea un verdadero problema de "Ciencia de la Computación...
Sea una unidad cuadrada. En función de β , ¿cuál es el número máximo de regiones β- grasas disgregadas en pares con un diámetro de al menos 1 que puede intersecar S ?SSSββ\betaββ\betaSSS A continuación, damos una figura que muestra que para , el número máximo es 7. ¿Qué pasa con...
Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n )reSPAGSUNACmi(norte) \mathsf{DSPACE(n)} ¿Existe algún problema conocido...
Según el título, aparte de usar un solucionador de LP de propósito general, ¿hay un enfoque para resolver sistemas de desigualdades sobre las variables Xyo, ... , xkXyo,...,Xkx_i, \ldots, x_k donde las desigualdades tienen la forma ∑yo ∈ yoXyo< ∑j ∈ JXj∑yo∈yoXyo<∑j∈JXj\sum_{i \in I} x_i <...
Esta es una pregunta que hice en el foro de matemáticas SE, y me remitieron aquí. Así que aquí está la cuestión- Soy un novato tanto en matemática formal como en informática teórica, así que por favor tengan paciencia conmigo si encuentran que mi pregunta no está bien formulada. El modelado...
Supongamos que tenemos un gráfico en nodos. Nos gustaría asignar a cada nodo un o un . Llame a esto una configuración . El número de s que tenemos que asignar es exactamente (por lo tanto, el número de s es ). Dada una configuración , observamos cada nodo y sumamos los valores asignados a sus...
Estoy buscando un teorema que diga algo como esto: si el tiempo de cobertura de una cadena de Markov reversible es pequeño, entonces la brecha espectral es grande. Aquí la brecha espectral significa, es decir, ignoramos el valor propio más pequeño de la cadena.1 - | λ2El |1-El |λ2El...
Editar: ahora hay una pregunta de seguimiento relacionada con esta publicación. Definiciones Sean y enteros. Usamos la notación .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Se dice que una matriz es una matriz de color to- si se cumple lo siguiente:c×cc×cc \times cM=(mi,j)M=(mi,j)M...