Preguntas etiquetadas con reference-request

¿Existen límites inferiores no triviales en el tiempo de ejecución de los algoritmos gráficos en RAM / PRAM / modelos de computación? No estoy buscando los resultados de NP-Hardness aquí. El siguiente es un resultado que pude encontrar [ver ref L92]: 3-Colorear un ciclo n requiere tiempo .Ω ( log∗n …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

La clasificación mediante comparaciones de 2 elementos tiene una complejidad asintótica en el peor de los casos de nlog2(n)nlog2⁡(n)n \log_2(n) (alcanzado por mergesort, heapsort, inserción binaria, ford-johnson al menos), lo cual es óptimo. Si ordenamos usando comparaciones que ordenan k elementos como bloques de construcción, el límite inferior teórico de …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Estoy interesado en punteros a algoritmos (los algoritmos de aproximación están bien) que intentan dividir un gráfico en dos subconjuntos de modo que la suma de los pesos de los bordes dentro de cada subconjunto sea (aproximadamente) igual, y la suma de los pesos de los bordes entre los dos …

8 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Existen algoritmos sencillos para calcular la envoltura superior de una disposición de líneas en el plano. Ver, por ejemplo, la sección 2.3 en las secuencias Davenport-Schinzel de la encuesta y sus aplicaciones geométricas . ¿Existen algoritmos / estructuras de datos conocidos para la versión dinámica del mismo problema? Es decir, …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom 

Estoy buscando ML para generar código más eficiente (es decir, heurística de tiempo de compilación y tiempo de ejecución). Tengo un phd (compiladores, hpc), pero muy poca experiencia en ML. Agradecería cualquier referencia al trabajo existente. Más importante aún, ¿qué técnicas de aprendizaje automático debería explorar? cada muestra de datos …

8 reference-request  optimization  machine-learning  compilers 

¿Qué algoritmos / técnicas matemáticas están disponibles para contar exactamente / aproximadamente el número de conjuntos independientes? ¿Hay / hay una buena referencia / buenas referencias sobre este tema? Estoy interesado en gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular. lo escribirá en términos …

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

La idea de un MST de diámetro restringido es que mantenga todos los vértices conectados y dentro de una cierta distancia el uno del otro. Pero todos los papeles que he visto mantienen el requisito de que produzcas un árbol, cuando permitir ciclos podría ayudar a reducir el diámetro. ¿Alguien …

8 cc.complexity-theory  reference-request  graph-theory 

Estamos trabajando en un documento que presenta algunos algoritmos para encontrar triángulos y motivos de red (subgráficos de tamaño constante, también conocidos como grafitos) en un entorno distribuido. Caracterizamos la compensación entre el número de triángulos en el gráfico y la carga de comunicación necesaria. Estoy buscando referencias al trabajo …

8 reference-request  graph-theory  graph-algorithms 

En el documento "Firmas cortas del emparejamiento de Weil" de Boneh, Lynn y Shacham, estaba revisando la prueba de seguridad como cualquier otra firma. Pero la técnica utilizada en este artículo es bastante única. En lugar de utilizar la interacción normal de retador y adversario, han dividido la prueba en …

8 reference-request  cr.crypto-security 

Hace poco asistí a un taller sobre pseudoaleatoriedad en el Instituto de Matemática de Chennai sobre pseudoaleatoriedad. Venkat Guruswami hizo la siguiente declaración hermosa de pasada durante su charla (sobre la teoría de la codificación): Es notable cuánto se puede probar utilizando el simple hecho de que un polinomio de …

8 reference-request  polynomials 

Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase. Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?

8 reference-request  pl.programming-languages  semantics  compilers 

Se nos dan pilas que contienen "elementos" de diferente color y una máquina que puede procesar múltiples elementos del mismo color de una sola vez. En cada paso, podemos eliminar un elemento de la parte superior de cada pila y ponerlo en nuestra máquina (de manera efectiva, la máquina puede …

8 ds.algorithms  reference-request  scheduling 

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

8 reference-request  lo.logic  proof-theory 

¿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 esto?

8 reference-request  lo.logic  db.databases  logic-programming