Estoy interesado en modelos de gráficos aleatorios que son similares a los gráficos de redes informáticas reales. No estoy seguro de si el modelo común bien estudiado ( vértices, cada borde posible se selecciona con probabilidad ) es bueno para estudiar redes informáticas reales (¿verdad?).G ( n ,...
En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por...
Cálculo de la constante Cheeger de un gráfico , también conocida como la constante de isoperimétrico (porque es esencialmente una relación de área mínima y / o volumen), se sabe que es NP-completo. Generalmente es aproximado. Estoy interesado en saber si se conocen algoritmos polinómicos exactos...
En la computación cuántica adiabática (AQC), uno codifica la solución a un problema de optimización en el estado fundamental de un [problema] Hamiltoniano . Para llegar a este estado fundamental, comienza en un estado inicial (fundamental) fácilmente refrigerable con Hamiltoniano H i y "recocido"...
Estoy interesado en el siguiente problema: dado un conjunto X y los subconjuntos X_1, ..., X_n de X, encuentre una coloración de los elementos de X con k colores de manera que los elementos en cada X_i sean todos de colores diferentes. Más específicamente, estoy mirando el caso donde todos los X_i...
¿Cuáles son los algoritmos eficientes conocidos para calcular un determinante de una matriz entera con coeficientes en , el anillo de residuos módulo . El número puede no ser primo sino compuesto (por lo que los cálculos se realizan en anillo, no en un campo).
Problema: se nos da un conjunto de palos que tienen longitudes enteras. La suma total de sus longitudes es n (n + 1) / 2. ¿Podemos separarlos para obtener palos de tamaño en tiempo polinómico? 1 , 2 , ... , n1,2,...,norte{1,2,\ldots,n} Sorprendentemente, la única referencia que encuentro para...
Un enfoque reciente para crear una moneda en línea descentralizada, llamada Bitcoin , ha generado cierto interés. El objetivo es tener una forma de transferir divisas sin una autoridad central y sin doble gasto o falsificación. Su enfoque es hacer que todos los nodos de la red intenten verificar...
¿Hay algún algoritmo para la resolución SAT que no esté basado en DPLL? ¿O todos los algoritmos utilizados por los solucionadores SAT están basados en
El problema de la satisfacción es, por supuesto, un problema fundamental en la CS teórica. Estaba jugando con una versión del problema con infinitas variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuración básica. Sea un conjunto de variables no vacío y...
Me gustaría aprender sobre la Complejidad Parametrizada (tanto en el lado algorítmico como en el lado de la dureza). ¿Qué libros / apuntes puedo leer sobre este
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los...
El problema de detención para las máquinas de Turing es quizás el conjunto canónico indecidible. Sin embargo, demostramos que hay un algoritmo que decide casi todas las instancias del mismo. Por lo tanto, el problema de detención se encuentra entre la creciente colección de quienes exhiben el...
Trabajar directamente con la complejidad del tiempo o los límites inferiores del circuito es aterrador. Por lo tanto, desarrollamos herramientas como la complejidad de la consulta (o la complejidad del árbol de decisiones) para manejar los límites inferiores. Dado que cada consulta toma al menos un...
Me gustaría saber si ha habido conjeturas que durante mucho tiempo no han sido probadas en TCS, que luego fueron probadas por una implicación de otro teorema, que pueden haber sido más fáciles de probar.
Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor de ,...
2 preguntas para los geómetras computacionales o algebraistas: Estoy empezando a sumergirme en la geometría computacional y me encanta =) Estoy intentando leer el famoso artículo de Guibas y Stolfi llamado "Primitivas para la manipulación de subdivisiones generales y el cálculo de Diagramas de...
¿Es cierto que hay problemas en la jerarquía polinómica que se pueden resolver en el tiempo (por una máquina de Turing alterna en algún nivel de la jerarquía polinómica) que no se pueden resolver en O ( n k - 1 ) en ningún nivel de jerarquía polinómica? En otras palabras, ¿existe un teorema de...
XORification es la técnica para hacer que una función o fórmula booleana sea más difícil al reemplazar cada variable por el XOR de k ≥ 2 variables distintas x 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Soy consciente de los usos de esta técnica en la complejidad de...