¿Qué tan bien se ha investigado el siguiente problema en TCS? (¡Pido disculpas si la declaración del problema suena vaga!) Dado un modelo de computación MC (máquina de Turing, autómatas celulares, máquina Kolmogorov-Uspenskii ... etc.) y un modelo de ruido que podría afectar la computación de MC,...
Sea una fórmula CNF con n variables y m cláusulas. Supongamos que t ∈ { 0 , 1 } n representa una asignación variable y f φ ( t ) ∈ { 0 , ... , m } cuenta el número de cláusulas satisfechas por una asignación variable a φ . Luego defina Median-SAT como el problema de calcular el valor mediano de f φ...
Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d =...
Considere la siguiente pregunta natural: dado un lenguaje finito , ¿cuál es la gramática libre de contexto más pequeña que genera ?LLLLLL Podemos hacer la pregunta más interesante especificando una secuencia de idiomas , por ejemplo, es el conjunto de todas las permutaciones de : intuitivamente,...
¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de...
Ya hice esta pregunta en stackoverflow , pero tal vez sea más adecuada para este sitio. El problema es: Tengo N pares de enteros sin signo. Necesito ordenarlos. El vector final de los pares debe clasificarse de manera no decreciente por el primer número de cada par y no cada vez más por el...
Sea G un gráfico no dirigido de n-nodos, y sea T un subconjunto de nodos de V (G) llamados terminales . Un preservador de distancia de (G, T) es un gráfico H que satisface la propiedad reH( u , v ) = dsol( u , v )reH(tu,v)=resol(tu,v)d_H(u,v) = d_G(u,v) para todos los nodos u, v en T. (Tenga en...
Dos partes de TCS son algoritmos y complejidad. Voy simplista decir que los algoritmos es el estudio de los límites superiores, lo que demuestra que se puede hacer algo (con recursos restringidos, dados), y la complejidad se trata de demostrar que usted no puede hacerlo sin algunos recursos...
Hay un hermoso teorema de Koebe (ver aquí ) que establece que cualquier gráfico plano se puede dibujar como un gráfico de besos de discos (muy romántico ...). (Dicho de otra manera, cualquier gráfico plano se puede dibujar como el gráfico de intersección de los discos). El teorema de Koebe no es...
Estoy interesado en implementar SM para la tarea LP, sin embargo, he oído hablar de posibles dificultades: el libro de Cormen dice que es posible tener datos de entrada que harán que la implementación ingenua se comporte en un tiempo exponencial. También he oído que la implementación ingenua puede...
Estoy interesado en la optimización del flujo de datos y gráficos de flujo de control y, en particular, más complejo desde el punto de vista computacional. Pero también será interesante conocer los últimos inventos en el campo de las optimizaciones de
¿Se sabe algo sobre el siguiente problema? ¿Tiene sentido? Como se llama ¿Es trivialmente equivalente a algún otro problema? ¿Cuál es la complejidad del tiempo? Dado un gráfico G = (V, E) no dirigido (general / planar / acotado / etc.), Encuentre un subconjunto máximo de aristas E ', de modo que...
Greg Egan en su ficción "Dark Integers" (historia sobre dos universos con dos matemáticas diferentes que se comunican mediante la demostración de teoremas de inconsistencia en la aritmética) afirma que es posible construir una computadora de propósito general únicamente en enrutadores de Internet...
Últimamente he estado tratando con algoritmos relacionados con la compresión, y me preguntaba cuál es la mejor relación de compresión que puede lograrse mediante la compresión de datos sin pérdida. Hasta ahora, la única fuente que pude encontrar sobre este tema fue Wikipedia: La compresión sin...
G=(V,E)G=(V,E)G=(V,E)e(S,Sc)SScminS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Más concretamente supongo que sé el diámetro es de al menos (o como máximo) DDD . ¿Qué me dice esto sobre la conductancia, si...
Se sabe desde hace mucho tiempo que, dado cualquier grado de re Turing, existe un grupo finitamente presentado cuyo problema de palabras está en ese grado. Mi pregunta es si lo mismo es cierto para los grados de Turing de tiempo polinómico arbitrario . Específicamente, dado un conjunto decidible, ,...
Estoy preparando material del curso sobre heurística para la optimización, y he estado buscando métodos de descenso coordinado. La configuración es aquí una función multivariada fff que desea optimizar. fff tiene la propiedad que se restringe a cualquier variable individual, es fácil de optimizar....
En las tablas hash que resuelven colisiones mediante sondeo lineal, para garantizar el rendimiento esperado de , es necesario y suficiente que la función hash sea de una familia independiente de 5. (Suficiencia: "Sondeo lineal con independencia constante", Pagh et al. , Necesidad: "Sobre la...
Existen varios problemas en la teoría de representación combinatoria y la geometría algebraica para los cuales no se conoce una fórmula positiva. Estoy pensando en varios ejemplos, pero permítanme tomar los coeficientes de cálculo de Kronecker como mi ejemplo. Por lo general, la noción de "fórmula...
Beigi, Shor y Watrous tienen un muy buen artículo sobre el poder de las pruebas cuánticas interactivas con mensajes cortos. Consideran tres variantes de 'mensajes cortos', y la específica que me interesa es su segunda variante donde se puede enviar cualquier número de mensajes, pero la longitud...