¿Existe una base de datos de problemas conocidos con información sobre su complejidad y algoritmos, problemas relacionados, referencias, etc. que está disponible para nosotros? [Si no, ¿podemos hacer uno? Sé que esto está fuera de tema, pero sería TAN
Esta es una publicación cruzada de MathOverflow. El problema de probar si una red de cara simplicial (informalmente, un grupo de caras) es politopal a veces se llama el problema de Steinitz . Sturmfels y Bokowski avanzaron un conjunto de métodos a fines de los años 80 para probar si la red...
Me imagino que esta debe ser una pregunta introductoria de geometría computacional, pero no estoy seguro de las mejores frases de búsqueda, y también estoy interesado en las variaciones de la pregunta, por lo que espero punteros a referencias útiles. Estoy interesado en algoritmos factibles para el...
Que le den un conjunto de Dirigido acíclicos gráficos G 1 , G 2 , . . . , G n sobre el mismo conjunto de vértices . También se le da una permutación del conjunto de vértices . ¿Cuál es el mejor algoritmo que podría identificar los gráficos entre que tienen como un tipo topológico? ¿Podría alguien...
Estoy buscando una referencia para la complejidad de la comunicación aleatoria unidireccional (clásica) cuando el universo puede ser grande. Digamos que Alice y Bob tienen conjuntos de tamaño elegidos de un universo de tamaño y Bob quiere determinar si la intersección de sus conjuntos está vacía o...
Escriba como el mapa Parikh --es decir, , donde es el número de veces que aparece en . Es bien sabido que, para un CFL , es un conjunto semilineal (este es el teorema de Parikh). Se conocen otras cosas interesantes, pero no he encontrado nada sobre el mapa Parikh de un lenguaje sensible al...
Será la primera vez para mí aprender teoría de grafos. ¿Qué tipo de formación matemática necesito para preparar tesis de maestría sobre este tema en los próximos años? ¿Qué temas deben revisarse y hay algún libro que los cubra
Quiero dividir N números dados (pueden o no ser iguales) en 2 subconjuntos de modo que los 2 subconjuntos tengan una suma lo más cercana posible y también la cardinalidad de los conjuntos es igual (si n es par) o difiere solo en 1 ( si n es impar) Creo que podemos hacer esto en tiempo pseudo...
Mientras escribía un programa de Petri Net, me encontré con una elección sobre las estructuras de datos para representar el gráfico. Las listas de adyacencia (es decir, listas que enumeran los arcos dentro y fuera de lugares o transiciones individuales) son fáciles de implementar, pero mientras...
El siguiente problema surgió recientemente de mi investigación y me gustaría preguntar si alguien sabe si este problema se consideró antes o si ha oído hablar de algo que pueda estar relacionado. La configuración general es la siguiente. Se nos ha dado FFF , una familia de ttt -subsets de { 1 , 2...
Dado un gráfico acíclico dirigido con nodos, ¿cómo se puede determinar si hay una ruta entre alguno de los siguientes n pares de nodos ? Hay un algoritmo simple en (donde m es el número de aristas) haciendo una búsqueda desde cada nodo , pero ¿se puede hacer mejor?2n2n2nO ( n ⋅ ( n + m ) ) 1 … n( 1...
En el contexto de la percolación de enlaces en donde es un número entero positivo, considere el problema de calcular una aproximación -de la percolación crítica dada una dimensión de red y un parámetro de precisión como entradas. ¿Hay algún resultado conocido sobre la complejidad de tal problema? d...
La dimensión VC es una medida de la complejidad de las clases de funciones que está estrechamente vinculada a la complejidad de la muestra. La dimensión de rotura de grasa es una generalización adecuada para dominios ordenados más ricos: es decir, . ¿Existe una generalización estándar de la...
Estoy mirando la página 28 de Lovasz "Programas semidefinidos y optimización combinatoria" y ofrece la siguiente aproximación del número de independencia del gráfico maxu′Zumaxu′Zu\max u' Z u sujeto a Z≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in...
Inspirado por esta pregunta , tenía curiosidad por saber si había una estrategia de reducción para los combinadores de SKI sin tipo que se sabía que era normal o perpetua. Como se describe aquí (Doce aquí ), las reglas no determinantes del cálculo del combinador son las siguientes: yox → xIx→xIx...
El siguiente lema no es difícil de probar. Lema : Sea y k ∈ [ n ] . Si m 1 , m 2 , ... , m r son enteros (algunos de ellos pueden ser negativos) de modo que m 1 c 1 + m 2 c 2 + ⋯ + m r c r = k , entonces ∃ enterosc1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n]k∈[n]k∈[n]k \in...
La conectividad algebraica de un gráfico G es el segundo valor propio más pequeño de la matriz laplaciana de G. Este valor propio es mayor que 0 si y solo si G es un gráfico conectado. La magnitud de este valor refleja qué tan bien conectado está el gráfico general. por ejemplo, " agregar bucles...
La pregunta es: ¿Existe siempre un esquema de aproximación de polivinilos para problemas con NP completo que tienen algoritmos de tiempo pseudopolinomiales (como la mochila, por
¿Cuáles son las mejores referencias para el autoestudio en DATALOG? Estoy particularmente interesado en el poder expresivo, los resultados de complejidad, los métodos de evaluación, las extensiones de DATALOG con negación, etc. ¿Hay libros o documentos que cubran todo
Estoy buscando trabajo en sistemas que sean similares a los secuenciantes de orden superior de K. Dosen ("Sistemas secuenciales para lógica modal", JSL 50 ). El único trabajo que conozco es el reciente trabajo de Iemhoff y Metcalfe ("Teoría de la prueba de reglas admisibles", Annals of Pure and...