Ciencias de la computación teórica

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 estudiaba la teoría de …

8 ds.data-structures  functional-programming  sparse-matrix 

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 2 …

8 cc.complexity-theory  randomness  percolation 

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 …

8 ds.algorithms  co.combinatorics  partition-problem 

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 ( …

8 ds.algorithms  graph-algorithms  directed-acyclic-graph 

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 todos?

8 graph-theory  co.combinatorics  soft-question  advice-request 

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 …

8 cc.complexity-theory  communication-complexity  coding-theory  query-complexity 

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 …

8 fl.formal-languages  automata-theory 

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 siguiente problema. Entrada: …

8 reference-request  cg.comp-geom 

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 …

8 cg.comp-geom 

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 no. Me gustaría …

8 cc.complexity-theory  reference-request  lower-bounds  communication-complexity 

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 …

8 ds.algorithms  graph-algorithms  directed-acyclic-graph 

¿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 útil]

8 cc.complexity-theory  reference-request  survey 

Mi deseo es describir la complejidad temporal de varios enfoques de agrupación. Por ejemplo, supongamos que tenemos puntos de datos en m espacio dimensional.nnnmmm Supongamos además que la matriz de diferencia de pares ΔΔ\Delta de n×nn×nn\times n dimensiones ya está calculada y que ya hemos gastado O(m⋅n2)O(m⋅n2)O(m\cdot n^2) pasos. ¿Cuál …

8 lg.learning  clustering 

Estoy buscando trabajo para calcular el cierre transitivo de una relación afín en el siguiente sentido: Sea la relación definida por un sistema de desigualdades lineales sobre las variables reales , es decirx 1 , ... , x n , x ′ 1 , ... , x ′ nR(x1,…,xn,x′1,…,x′n)R(x1,…,xn,x1′,…,xn′)R(x_1,\dots,x_n,x'_1,\dots,x'_n)x1,…,xn,x′1,…,x′nx1,…,xn,x1′,…,xn′x_1,\dots,x_n,x'_1,\dots,x'_n A …

8 ds.algorithms  linear-algebra  matrices 

Existen numerosas herramientas / paquetes de teorías gráficas. Cada uno con sus pros y sus contras. ¿Cuál debería ser la semántica / sintaxis de un lenguaje de programación para resolver problemas de teoría de grafos?

8 graph-theory  pl.programming-languages  software