¿Hay libros recientes sobre algoritmos en línea? Solo conozco dos libros sobre el tema. Computación en línea y análisis competitivo de Allan Borodin y Ran El-Yaniv: este es un libro clásico pero antiguo, y no contiene muchos avances recientes en el campo. El diseño de algoritmos competitivos en...
En el problema de extensibilidad, se nos da parte de la solución y queremos decidir si podemos extenderla a una solución completa. Algunos problemas de extensibilidad se pueden resolver de manera eficiente, mientras que otros problemas de extensibilidad transforman un problema fácil en uno...
Quiero definir una noción de "cercanía" entre dos idiomas regulares de palabras finitas en Σ∗Σ∗\Sigma^* (y / o palabras infinitas en ΣωΣω\Sigma^\omega ). La idea básica es que queremos que dos idiomas estén cerca si no difieren en muchas palabras. También podríamos usar la distancia de edición de...
Estoy buscando una implementación de un algoritmo para calcular el ancho de ruta de un gráfico. Es bien sabido que calcular el ancho de ruta es equivalente a calcular el número de búsqueda de nodos, el número de separación de vértices o el grosor de intervalo del gráfico. El algoritmo no tiene que...
El ancho de árbol y el ancho de ruta son parámetros populares, que miden la cercanía de un gráfico a un árbol o una ruta, respectivamente. De hecho, parece que el ancho de árbol es tan popular que aparece en muchos documentos, libros y notas de conferencias que ofrecen (incluso muy suaves)...
Estoy buscando una referencia (no una prueba que pueda hacer) a la siguiente extensión de Chernoff. Dejar que serán variables aleatorias booleanas, no necesariamente independientes . En cambio, se garantiza que P r ( X i = 1 | C ) < p para cada i y cada evento C que solo depende de { X j | j ≠...
Ramificar y vincular es una heurística eficaz para los problemas de búsqueda, y Wikipedia enumera una serie de problemas difíciles en los que se ha utilizado ramificar y vincular. Sin embargo, no he podido encontrar referencias que sugieran que es más que solo "un método" para resolver estos...
¿Hay algún problema que sea NP completo cuando se usa geometría euclidiana pero que está bien definido y puede resolverse en tiempo polinómico para alguna geometría no
Como estoy interesado en los analizadores (principalmente en las gramáticas de expresión de analizadores), me pregunto si hay algún trabajo que ofrezca un tratamiento categórico del análisis. Cualquier referencia sobre aplicaciones de la teoría de categorías al análisis es muy...
Es fácil ver que si entonces hay un total de problemas de búsqueda de N P que no se pueden resolver en tiempo polinómico (cree un problema de búsqueda total al tener tanto a los testigos como miembros como a los que no son miembros).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq...
¿Cuál es el algoritmo determinista más rápido conocido que puede reconocer gráficos dirigidos con un par de ciclos de vértices disjuntos? Sé que los gráficos con un mínimo de tres grados siempre tienen ese par ( Thomassen'83 ), pero aun así no puedo encontrar un algoritmo eficiente en el caso...
¿Se sabe si el problema de evaluación del circuito está en ? ¿Qué tal (uniform )? N C 1 A L o g T i m e N C 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que los circuitos de profundidad pueden evaluarse con circuitos de profundidad donde...
En la definición de rastreabilidad de parámetros fijos (fuertes), el límite de tiempo es una expresión de la forma donde la instancia de entrada es ( x , k ) con el parámetro k , p es un polinomio yf es una función computable .F( K ) . p ( | x | ) ,F(k).pag(El |XEl |),f(k).p(|x|),( x , k...
Tengo una pregunta sobre la reducibilidad SERF de Impagliazzo, Paturi y Zane y los algoritmos subexponenciales. La definición de SERF-reducibilidad ofrece lo siguiente: Si P1P1P_1 es SERF-reducible a y hay un algoritmo para para cada , entonces hay un algoritmo para para cada . (El parámetro de...
Estoy interesado en modelar objetos, desde la programación orientada a objetos, en la teoría del tipo dependiente. Como posible aplicación, me gustaría tener un modelo donde pueda describir diferentes características de los lenguajes de programación imperativos. Solo pude encontrar un artículo...
La definición de los números de Ramsey es la siguiente: Deje que sea un número positivo tal que cada gráfico de la orden, al menos contiene ya sea un clique sobre vértices o un conjunto estable en vértices.R ( a , b )R(un,si)R(a,b)a bR ( a , b )R(un,si)R(a,b)ununasisib Estoy trabajando en alguna...
Estoy interesado en la complejidad del problema de conjunto dominante (DSP) en algunas clases de gráficos específicos que son subclases de gráficos cordales . Un gráfico es un gráfico de ruta no dirigida si es el gráfico de intersección de vértices de una familia de rutas en algún árbol no...
Dado un gráfico plano, uno puede incrustarlo en tiempo lineal cruzando libremente en una cuadrícula . Me interesa saber si se conoce algún algoritmo eficiente para insertar en línea recta un gráfico plano que se cruce libremente en una cuadrícula , para alguna pequeña , de modo que se maximice el...
Mientras escribía una pequeña publicación sobre la complejidad de los videojuegos Nibbler y Snake ; Descubrí que ambos pueden modelarse como problemas de reconfiguración en gráficos planos; y parece poco probable que tales problemas no hayan sido bien estudiados en el área de planificación del...
Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por