Espero que esta no sea una pregunta políticamente incorrecta, pero para un estudiante de doctorado que generalmente publica en CCC / ITCS / ICALP (y ocasionalmente en FOCS / STOC), podría ser perjudicial (profesionalmente) publicar trabajos menos significativos en conferencias menos prestigiosas...
En muchos artículos que involucran gramáticas libres de contexto (CFG), los ejemplos de tales gramáticas presentados allí a menudo admiten caracterizaciones fáciles del lenguaje que generan. Por ejemplo: S→aaSbS→aaSbS \to a a S b S→S→S \to genera {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq...
¿Esta respuesta a los principales problemas no resueltos en informática teórica? La pregunta indica que está abierto si un problema particular en NP requiere tiempo de .Ω(n2)Ω(n2)\Omega(n^2) Mirar los comentarios a continuación me hizo preguntarme: Además del relleno y trucos similares, ¿cuál...
Supongamos que y mañana aparece un algoritmo de tiempo lineal rápido para SAT. De repente, RSA es inseguro, gran parte de nuestro sistema de comunicación moderno está roto y necesitamos reconsiderar cómo mantener secretos entre nosotros.P=NPP=NPP = NP Pregunta: ¿Existe una buena referencia única...
Según D. den Hertog, Enfoque de punto interior para la programación lineal, cuadrática y convexa, 1994 , un programa lineal con variables, n restricciones y precisión L se puede resolver en el tiempo O ( n 3 L ) . ¿Se ha mejorado
¿Conoces consecuencias interesantes de conjeturas (estándar) en la teoría de la complejidad en otros campos de las matemáticas (es decir, fuera de la informática teórica)? Preferiría respuestas donde: la conjetura de la teoría de la complejidad es lo más general y estándar posible; También...
Necesito calcular la mediana de carrera: Entrada: nnn , kkk , vector .(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Salida: vector , donde es la mediana de .(y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1})yiyiy_i( xyo, xi + 1, ... , xi + k - 1)(Xyo,Xyo+1,...,Xyo+k-1)(x_i, x_{i+1},...
Una característica bien conocida de las instancias -SAT es la relación del número de cláusulas m sobre el número de variables n , es decir, el cociente ρ = m / n . Para cada k , hay un valor umbral α st \ para ρ ≪ α , la mayoría de las instancias son satisfactorias y para ρ ≫ α la mayoría de las...
ACSL (Ansi C Specification Language), es una especificación para el código C, anotada con comentarios especiales, que permite verificar formalmente el código C. No lo he investigado , pero imagino que los métodos formales utilizados en los verificadores ACSL serían similares a Hoare Logic. Sin...
Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal
Para cualquier , digo que una secuencia s de enteros en { 1 , ... , n } es n -completa si, para cada permutación p de { 1 , ... , n } , se escribe como una secuencia de enteros distintos por pares p 1 , ... , p n , la secuencia p es una subsecuencia de s , es decir, existe 1 ≤ i 1 < i 2n >...
¿Existe un lenguaje NP (preferiblemente natural) completo , de modo que por cada n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 retenciones? En otras palabras, L contiene precisamente la mitad de todas las instancias de n bits.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*n ≥ 1n≥1n\geq 1 El | L∩{0,1 }norteEl | =...
Además de ser completamente académico y obtener un doctorado / postdoctorado, o buscar un trabajo más o menos "estándar" en el desarrollo de software, ¿cuáles son otras opciones de carrera en el campo de CS completo o semi
¿Cuáles son las consecuencias de tener problemas completos en ?nortePAGS∩ c o NPAGSNP∩coNPNP\cap
¿Existe un análogo paralelo natural a los árboles rojo-negros con propiedades similares o incluso no terriblemente peores para las actualizaciones, mientras que es razonablemente eficiente en el trabajo? En términos más generales, ¿qué es lo mejor que podemos hacer para la búsqueda paralela con...
¿Hay algún problema de NP completo para el cual se sabe un algoritmo de que el tiempo de ejecución esperado es polinómico (para alguna distribución sensata sobre las instancias)? Si no, ¿hay problemas para los cuales se ha establecido la existencia de tal algoritmo? ¿O la existencia de tal...
Wikipedia define un segundo ataque de preimagen como: dado un mensaje fijo m1, busque un mensaje diferente m2 tal que hash (m2) = hash (m1). Wikipedia define un ataque de colisión como: encuentre dos mensajes diferentes arbitrarios m1 y m2 de manera que hash (m1) = hash (m2). La única...
Estoy buscando expansores desequilibrados que sean "buenos" y "eficientes en espacio". Específicamente, un gráfico bipartito izquierdo-regular , , , con grado izquierdo es un -expansor si para cualquier de tamaño máximo , el número de vecinos distintos de en es al menos. Se sabe que los...
El enredo a menudo se considera el ingrediente clave que hace que los algoritmos cuánticos sean ... cuánticos, y esto se remonta a los estados de Bell que destruyen la idea de la física cuántica como un modelo probabilístico de estado oculto. En la teoría de la información cuántica (desde mi punto...
El algoritmo de Coppersmith-Winograd es el algoritmo conocido asintóticamente más rápido para multiplicar dos matrices cuadradas. El tiempo de ejecución de su algoritmo es que es el más conocido hasta ahora. ¿Cuál es la complejidad espacial de este algoritmo? ¿Está en ?n×nn×nn \times...