recientemente, Craig Gentry publicó el primer esquema de cifrado de clave pública (sobre espacio de texto plano {0,1}) que es completamente homomórfico, lo que significa que uno puede evaluar de manera eficiente y compacta AND y XOR en textos cifrados sin conocer la clave de descifrado secreta. Me...
Ejemplos bien conocidos de computación inspirada en fenómenos naturales son las computadoras cuánticas y las computadoras de ADN. ¿Qué se sabe sobre el potencial y / o las limitaciones de la informática con las leyes o la gravedad de Maxwell? Es decir, ¿incorporar las soluciones "rápidas" de la...
Como todos sabrán, hay una caída continua de la crisis financiera de 2008. Estaba pensando en cómo la teoría de la complejidad encajaba en todo esto, cuando me di cuenta de que no conocía las clases básicas de complejidad relacionadas con la economía financiera. Entonces, mi pregunta es ¿cuál es...
¿Existen permutaciones y gramática libre de contexto de tamaño polinómico (en ) que describe el lenguaje finito sobre el alfabeto ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ACTUALIZACIÓN: Para una permutación es posible. es la inversión...
El teorema de Fáry dice que se puede dibujar un gráfico plano simple sin cruces para que cada borde sea un segmento de línea recta. Mi pregunta es si existe un teorema análogo para las gráficas del número de cruce acotado . Específicamente, ¿podemos decir que se puede dibujar un gráfico simple con...
En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada...
Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de...
Me ha fascinado la explosión extraordinaria en Smoothed Analysis y me llamó la atención una afirmación en el artículo Smoothed Analysis of Integer Programming . Esto indicó que la programación lineal entera está en P suavizado si está polinómicamente limitada. ¡Esto era esencial porque la...
Considere un espacio de Hilbert . Una base de producto no extensible (UPB) es un conjunto de vectores de producto | v i ⟩ = | v 1 i ⟩ ⊗ ⋯ ⊗ | v n i ⟩ tal que:H= H1⊗ ⋯ ⊗ HnorteH=H1⊗⋯⊗HnorteH = H_1 \otimes \dots \otimes H_nEl | vyo⟩ = | v1yo⟩ ⊗ ⋯ ⊗ | vnorteyo⟩El |vyo⟩=El |vyo1⟩⊗⋯⊗El |vyonorte⟩\vert...
Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k]...
Tengo un gráfico que consiste solo en gráficos de estrellas. Un gráfico de estrella consiste en un nodo central que tiene bordes para cada otro nodo en él. Deje ser diferentes gráficos radiales de diferentes tamaños que están presentes en . Llamamos al conjunto de todos los nodos que son centros en...
Aquí hay un problema que me ha estado molestando por un tiempo. Digamos que una cadena es una secuencia de 1s y 0s, y una cadena comodín es una secuencia de 1, 0 y? S. Todas las cadenas y cadenas comodín tienen la misma longitud. Estos son comodines UNIX estándar; 10 ?? 1 coincide con 10011, 10111,...
Me pregunto si el siguiente problema tiene un nombre o algún resultado relacionado con él. Sea un gráfico ponderado donde denota el peso del borde entre y , y para todos , . El problema es encontrar un subconjunto de vértices que maximice la suma de los pesos de los bordes adyacentes a ellos:...
Como es viernes, es hora de una pregunta de CW. Estoy buscando heurísticas que tengan un amplio uso en problemas de optimización. Para limitar el alcance a más heurísticas 'amigables con la teoría', aquí están las reglas (algunas arbitrarias, otras no) Debe ser un método bien definido sin...
Parece que en los lenguajes de consulta populares para bases de datos relacionales, es posible crear consultas que requerirán muchos recursos para responder. En la práctica, los administradores de bases de datos administran esto limitando la cantidad de memoria por consulta y verificando si hay...
Tenemos un conjunto, , de listas de elementos del conjunto . Cada elemento de aparece en una única lista en . Estoy buscando una estructura de datos que pueda realizar las siguientes actualizaciones:N = { 1 , 2 , 3 , . . . , n } N LLLLnorte= { 1 , 2 , 3 , . . . , n }N={1,2,3,...,n}N = \{ 1, 2, 3,...
Uno de los principales problemas en la enumeración de gráficos es determinar la 'forma' de un gráfico, por ejemplo, la clase de isomorfismo de cualquier gráfico particular. Soy plenamente consciente de que cada gráfico se puede representar como una matriz simétrica. Sin embargo, para obtener su...
Incluso si no es un punto crucial, no veo ninguna literatura sobre esta cuestión. ¿Hay resultados de relativización? ¿No sería bastante sencillo demostrar una inclusión estricta adaptando el teorema de la jerarquía de tiempo no determinista explorando todos los caminos posibles de la máquina...
Me preguntaba si el orden de las declaraciones de tipo inductivo puede importar. Por ejemplo, en Coq, puede definir Natya sea por: Inductive Nat := | O : Nat | S : Nat -> Nat. o Inductive Nat := | S : Nat -> Nat | O : Nat. Quizás esto cambie el orden de los parámetros en el...
En alguna área de investigación en CS obtuvimos algunos resultados muy interesantes. Ahora estamos pensando en publicarlos. En el grupo que somos, la filosofía es publicar inmediatamente cosas pequeñas en los documentos de la conferencia, lo cual está bien pero no es lo mejor. Ahora estoy pensando...