Después de leer esta respuesta hace un tiempo, me interesé por el cifrado totalmente homomórfico. Después de leer la introducción de la tesis de Gentry, comencé a preguntarme si su esquema de cifrado podría usarse para la ejecución de código ajeno como se define en el tercer párrafo. En un esquema...
En La complejidad computacional de la óptica lineal ( ECCC TR10-170 ), Scott Aaronson y Alex Arkhipov argumentan que si las computadoras cuánticas pueden ser simuladas eficientemente por las computadoras clásicas, entonces la jerarquía polinómica se colapsa al tercer nivel. El problema motivador es...
Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales...
Para verificar mi comprensión, me gustaría compartir algunas ideas sobre los requisitos de energía de la computación. Este es un seguimiento de mi pregunta anterior y podría estar relacionado con la pregunta de Vinay sobre las leyes de conservación . Se me ocurrió que, desde un punto de vista...
Al diseñar algoritmos de aproximación, a veces se resuelve un programa semidefinido seguido de un paso de redondeo. Un ejemplo de uso frecuente para ilustrar esto es Max-Cut. (Ver, por ejemplo, Algoritmos de aproximación de Vijay Vazirani). ¿Existen buenas fuentes educativas o encuestas que vayan...
Supongamos que se nos da varios polígonos disjuntos simples en el plano, y dos puntos y fuera de cada polígono. El problema de la ruta más corta euclidiana es calcular la ruta más corta euclidiana desde hasta que no intersecta el interior de ningún polígono. Para ser concretos, supongamos que las...
Deje ser un gráfico. Para un vértice x ∈ V , definir N ( x ) para ser el barrio (abierto) de x en G . Es decir, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in Vnorte( x )N(x)N(x)XxxsolGG . Defina dos vértices u , v en G para que seangemelossi u y v tienen el mismo conjunto de vecinos, es...
Además de la complejidad de comunicación (determinista) de una relación , otra medida básica para la cantidad de comunicación necesaria es el número de partición de protocolo . La relación entre estas dos medidas se conoce hasta un factor constante. La monografía de Kushilevitz y Nisan (1997) daRc...
¿Hay problemas en CS donde no se conocen algoritmos eficientes, a pesar de los teoremas de existencia que demuestran que tales algoritmos eficientes deben existir? ¿Cómo se llaman estos problemas? ¿Dónde puedo encontrar
Tengo dificultades para enseñar el concepto de funciones computables. Traté de desarrollar la idea de por qué investigadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaron la noción de 'computabilidad'. Los estudiantes inmediatamente preguntaron: "¿Qué significa la...
Esta pregunta es sobre la complejidad temporal del algoritmo de flujo máximo de Ford-Fulkerson cuando se usa DFS para encontrar rutas de aumento. Hay un ejemplo bien conocido que muestra que el uso de DFS puede necesitar un número lineal de iteraciones en el flujo máximo; consulte, por ejemplo, la...
Si un problema es NP-hard (usando reducciones de tiempo polinomiales), ¿eso implica que es P-hard (usando espacio de registro o reducciones NC)? Parece intuitivo que si es tan difícil como cualquier problema en NP, debería ser tan difícil como cualquier problema en P, pero no veo cómo encadenar las...
Me pregunto si hay alguna justificación para creer que o para creer que ?N L ≠ LnorteL = LNL=LNL=LnorteL ≠ LNL≠LNL\neq L Se sabe que . La literatura sobre derandomization de es bastante convincente de que . ¿Alguien sabe acerca de algunos artículos o ideas convincentes que ? R L R L = L N L ≠...
¿Qué se sabe sobre las estructuras de datos que pueden mantener una secuencia de elementos sujetos a las siguientes dos operaciones? Push (x): agrega x al final de la secuencia y devuelve un identificador para su posición en la secuencia Extracto (S): dado un conjunto desordenado de...
¿Alguien sabe de un programa de código abierto para calcular la descomposición de gráficos en árbol para una "k" fija (ancho)? Sé que el problema de encontrar Tree-Decomposition es NP-Hard para la variable "k", pero mis instancias de entrada serán realmente pequeñas (~ 10 nodos) y "k" es...
¿Qué aplicaciones tiene el Vertex Cover Problem en el mundo real? ¿Qué industria o proyectos de investigación utilizan software implementado realmente que se basa en resultados teóricos para el problema de Vertex Cover? En particular, ¿se implementa alguno de los siguientes resultados teóricos en...
Estoy considerando clases de gráficos que pueden caracterizarse por subgrafos prohibidos. Si una clase de gráfico tiene un conjunto finito de subgrafos prohibidos, entonces hay un algoritmo de reconocimiento de tiempo polinómico trivial (uno puede usar la fuerza bruta). Pero una familia infinita...
En un artículo de Science de 2002, Mezard, Parisi y Zecchina presentaron la heurística de propagación de creencias para 3SAT aleatorio. Los experimentos indican que la heurística funciona bien para proporciones de restricciones por variable para las cuales es probable que exista una asignación...
Estoy buscando una referencia para el siguiente resultado: Agregar dos enteros en la representación factorizada es tan difícil como factorizar dos enteros en la representación binaria habitual. (Estoy bastante seguro de que está ahí afuera porque esto es algo que me había preguntado en algún...
Un tensor es una generalización de vectores y matrices a dimensiones superiores y el rango de un tensor también generaliza el rango de una matriz. A saber, el rango de un tensor es el número mínimo de rango uno tensores que suma a T . Un vector y una matriz son tensores de grado 1 y 2...