Ciencias de la computación teórica

(Disculpas si esto está fuera de lugar o es demasiado amplio. Estoy abierto a sugerencias sobre cómo reformularlo). Estoy interesado en rastrear la historia "antigua" de los algoritmos de flujo máximo y los algoritmos de optimización discretos en general. Ford-Fulkerson es mi hombre de paja como punto de partida. ¿Cuáles …

9 ds.algorithms  graph-algorithms  ho.history-overview 

DLOGTIME se define en http://en.wikipedia.org/wiki/DLOGTIME se define en http://en.wikipedia.org/wiki/L_%28complexity%29 NC y NC n se definen en http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} CAROLINA DEL NORTENC\operatorname{NC}CAROLINA DEL NORTEnorteNCn\operatorname{NC}^n DLOGTIME parece ser el más pequeño que podría funcionar. He leído en varios lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq …

9 cc.complexity-theory  circuit-complexity 

Las triangulaciones de Delaunay en el plano maximizan el ángulo mínimo en un triángulo. ¿Es lo mismo válido para la triangulación de puntos de Delaunay en la esfera? (aquí el "ángulo" es el ángulo local en un vecindario alrededor del vértice en el vértice). Inspirado pero no relacionado con esta …

9 cg.comp-geom  delaunay-triangulation 

Estoy leyendo un artículo antiguo de MC Golumbic sobre gráficos de EPT (intersección de bordes de caminos en un árbol). En el documento se muestra que el número de camarillas máximas de una instancia de gráfico EPT es polinomial. Concluye que si un oráculo informa que un gráfico es un …

9 ds.algorithms  graph-algorithms  clique 

Estoy tratando de aprender más sobre la verificación de tipos de todo el programa y los sistemas de inferencia de tipos que usan información de sitios de llamadas de función para calcular la información de tipo (además del enfoque estándar de usar el cuerpo de la función). Por ejemplo, un …

9 pl.programming-languages  type-theory  type-inference  type-systems 

Dada una función submodular on donde y son disjuntos . Aquí y son submodulares en y respectivamente.Ω = X 1 ∪ X 2 X 1 X 2 f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) f …

9 ds.algorithms  submodularity 

Estoy aprendiendo la teoría algebraica del análisis. Mi primer problema es identificar ejemplos de semiring que son específicos de la teoría del lenguaje formal. Aquí hay un intento de construir dos ejemplos. 1 Dada la gramática CNF, los elementos de semiring son conjuntos de símbolos terminales y no terminales con …

9 fl.formal-languages 

En el problema de Max-Cut , se busca un subconjunto S de vértices de un gráfico simple no dirigido dado de modo que el número de aristas entre S y el complemento de S sea lo más grande posible. Max-Cut es APX-complete en gráficos de grado acotado [PY91], y de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Para una aplicación de aprendizaje de máquina, mis necesidades de grupo para calcular la distancia euclídea a la ésimo vecino más cercano en un conjunto para cada (para entre 5 y aproximadamente 100 , y algunos cientos hasta unos pocos millones). Actualmente estamos utilizando el enfoque de fuerza bruta o …

9 reference-request  cg.comp-geom  near-neighbors 

Supongamos un marco en la complejidad de la comunicación donde tenemos dos jugadores A (piojos) y B (ob) y un R (árbitro). A y B no se comunican directamente entre sí. En cada ronda de comunicación, cada uno de ellos envía un mensaje ( , ) a la R. R …

9 cc.complexity-theory  reference-request  communication-complexity 

Wikipedia - SHA-2 dice SHA-224 es idéntico a SHA-256, excepto que: los valores de la variable inicial h0 a h7 son diferentes y la salida se construye omitiendo h7. RFC3874 - Una función de hash unidireccional de 224 bits: SHA-224 dice El uso de un valor inicial diferente asegura que …

9 cr.crypto-security  hash-function 

(Mi pregunta original aún no ha sido respondida. He agregado más aclaraciones). Al analizar caminatas aleatorias (en gráficos no dirigidos) al ver la caminata aleatoria como una cadena de Markov, requerimos que el gráfico no sea bipartito para que se aplique el teorema fundamental de las cadenas de Markov. ¿Qué …

9 pr.probability  random-walks 

Estoy tratando de mostrar que un cierto problema no es posible por una reducción de la cobertura establecida. Mi reducción transforma una instancia con conjuntos de tierra de conjuntos de tamaño nnn y mmm en una instancia de mi problema donde un determinado parámetro rrr es de tamaño O(n+m)O(n+m)O(n+m) . …

9 cc.complexity-theory  approximation-hardness  set-cover 

Me preguntaba qué conjuntos de idiomas se generan por restricciones de expresiones regulares. Supongamos que todas las restricciones tienen un símbolo constante para cada elemento de y concatenación. Entonces se pueden formar ocho clases por la presencia o ausencia de complemento / negación, alteración / unión y la estrella de …

9 fl.formal-languages  regular-expressions 

En todas partes que leí sobre el problema de corte más escaso, solo dice que se sabe que el problema es NP- duro. ¿Dónde puedo encontrar una prueba de esto? ¿Qué problema NP- duro conocido se reduce al problema de corte más escaso? No pude encontrar ninguna prueba en el …

9 cc.complexity-theory  reference-request  np-hardness