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...
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
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...
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...
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...
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 sabe...
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 de...
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...
¿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
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...
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 Los...
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...
¿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 .Ω (...
Conozco las siguientes variantes de problemas SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete , y NEXP-complete ( enlace ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB S E T S UM∈LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} SUBSETSUMETROSUBSETSUM...
Supongamos que queremos encontrar el elemento más pequeño de un conjunto , cuyos elementos están indexados de a . No tenemos acceso a los valores de estos elementos, pero podemos comparar cualquiera de los dos elementos de para ver cuál es más pequeño. Para cualquier índices y , hay un asociado...
Estoy buscando el documento original donde Hoare (o alguien más, supongo) discute la terminación (corrección total). O cualquier otro trabajo inicial sobre la terminación de la lógica "vainilla" de Hoare (supongo que con eso me refiero a un HL para un lenguaje de juguete tipo C). He echado un...
Deje que AAA sea un conjunto de tamaño kkk y BBB sea un conjunto de tamaño ℓℓ\ell , para fijo kkk y ℓℓ\ell , y tal que A∩B=∅A∩B=∅A\cap B=\emptyset . ¿Cuál es la (o a) familia Sperner FF\mathcal{F}en A∪BA∪BA\cup B para la cual FB={C∩B : C∈F}FB={C∩B : C∈F}\mathcal{F}_B=\{C\cap B ~:~ C\in\mathcal{F}\}...
Thor Johnson, et al, en su artículo: Ancho de árbol dirigido , introdujeron una definición para la cuadrícula dirigida , y conjeturaron:JkJkJ_k Para cada entero k existe un entero N tal que cada dígrafo con un ancho de árbol N o más tiene un isomorfo menor a J k
Net (también conocido como FreeNet o NetWalk) es un juego de rompecabezas que se juega en una cuadrícula con los siguientes objetos:n × nn×nn \times n hay computadoras ; cada computadora ocupa una celda y tiene un cable de enlace;metromm cada computadora debe estar conectada a la unidad central...
Últimamente he estado jugando con los resúmenes , principalmente del clásico artículo de Abramsky Retracing Some Paths in Process Algebra . Son bastante hábiles (básicamente soluciones a la ecuación de dominio ), y recuerdan mucho a las redes de Kahn.R = I→ ( O × R )R=I→(O×R)R = I \to (O \times...