El problema del chisme en los sistemas distribuidos es el siguiente. Tenemos un gráfico con n vértices. Cada vértice v tiene un mensaje m v que debe enviarse a todos los nodos.GGGnnnvvvmvmvm_v Ahora, mi pregunta está en el contexto del modelo de red ad-hoc (suponemos que un nodo no tiene ningún...
Hay dos tipos principales de fallas del procesador en los modelos de computación distribuida: (1) Fallos de bloqueo: un procesador se detiene y nunca más se inicia. (2) Fallos bizantinos: los procesadores se comportan de manera adversa, maliciosa. Mi pregunta es: ¿Cuáles son algunos otros...
Recientemente, estaba revisando una introducción a los algoritmos holográficos. Encontré algunos objetos combinatorios llamados Pfaffians. No sé mucho sobre eso en este momento y encontré algunos usos sorprendentes a los que se les puede dar. Por ejemplo, llegué a saber que se pueden usar para...
Mientras intentaba resolver un problema, terminé expresando parte de él como el siguiente programa lineal entero. Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables se establece en cero, y el resto puede tomar valores integrales positivos:x...
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...
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 ≠...
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...
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
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...
La fórmula más pequeña conocida para el determinante tiene un tamaño acuerdo con el folclore (o Ran Raz en su papel Las fórmulas multilineales para permanente y determinante son de tamaño superpolinomial ).norteO (logn )norteO(Iniciar sesiónnorte)n^{\mathcal O(\log n)} ¿Tienes alguna referencia...
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...
Motivación: un coautor edita un manuscrito y me gustaría ver un resumen claro de las ediciones. Todo "diff" -como herramientas tienden a ser inútil si usted está tanto en el texto desplazando dentro (por ejemplo, la reorganización de la estructura) y haciendo las modificaciones locales. ¿Es...
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...
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