Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los...
Considere una gráfica con todas las aristas con capacidad unitaria. Uno puede encontrar el corte mínimo en tiempo polinómico. Supongamos que se me permite aumentar la capacidad de cualquier bordes hasta el infinito (equivalente a fusionar los nodos a cada lado del borde). ¿Cuál es la forma óptima...
Supongamos que operamos en un campo finito. Se nos da un gran polinomio fijo p (x) (de, digamos, grado 1000) sobre este campo. Este polinomio se conoce de antemano y se nos permite hacer cálculos utilizando muchos recursos en la "fase inicial". Estos resultados pueden almacenarse en tablas de...
Considere una fórmula Monotone 3CNF que tenga las siguientes restricciones adicionales: Cada variable aparece exactamente en cláusulas.222 Dadas cláusulas, comparten como máximo variable.222111 Me gustaría saber qué tan difícil es contar las tareas satisfactorias de tal...
Aquí hay dos familias de funciones hash en las cadenas X⃗ = ⟨ X0 0X1X2... xmetro⟩X→=⟨X0 0X1X2...Xmetro⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : pagspagspXyo∈ ZpagsXyo∈Zpagsx_i \in \mathbb{Z_p}a ∈ Z p ∀ x ≠ y , P a ( h 1 a ( x ) = h 1 a ( y ) ) ≤ m / ph1una( x⃗ ) = ∑ ayoXyomod...
Introducción Estoy escribiendo mi tesis doctoral sobre Modelado Delta abstracto (ADM), una descripción algebraica abstracta de modificaciones (conocidas como deltas ) capaces de actuar sobre productos (como en 'productos de software'). Esto se puede usar para organizar un conjunto de productos...
Perdone la brevedad del título, es posible que haya sacrificado la claridad en el altar de la concisión. Se puede ver que insertar elementos de una matriz en un árbol de búsqueda binario y volver a leerlos requiere (al insertar) las mismas comparaciones que ejecutar Quicksort en esa matriz. La...
En la introducción de este documento Objetos compartidos eventualmente linealizables (PODC'10) , los autores han presentado la siguiente declaración sin referencias: Sin embargo, la linealización se puede lograr si y solo si se puede resolver el consenso. Aquí, la linealización es la propiedad...
Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in...
Estoy buscando la complejidad de la satisfacción de una fórmula o de una fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ donde ϕ es la fórmula de la forma: ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ∀ y1, ... , ynorte, ∃ x1, ... , xmetro, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃ x1, ......
ECUACIONES LINEALES DE DIOPHANTINE (dados los números naturales , ¿hay números naturales e tales que ?) Se puedan resolver en tiempo polinómico.a , b , cuna,si,Ca, b, cXXxyyya x + b y+ c = 0unaX+siy+C=0 0ax + by + c = 0 Las ECUACIONES DE DIOFANTINA CUADRÁTICA ( ) son NP completas ( problemas de...
El algoritmo de Berkowitz proporciona un circuito de tamaño polinómico con profundidad logarítmica para determinar una matriz cuadrada utilizando potencias matriciales. El algoritmo utiliza implícitamente la cancelación. ¿Es esencial la cancelación para lograr un circuito de tamaño polinómico con...
Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de...
Supongamos que P! = NP. Sabemos que podemos hacer instancias fáciles de 3-SAT en cualquier momento. También podemos generar lo que creemos que son instancias difíciles (porque nuestros algoritmos no pueden resolverlas rápidamente). ¿Hay algo que impida que el conjunto de instancias difíciles sea...
Los equilibrios de Nash son indiscutibles en general. Un equilibrio -Nash es un conjunto de estrategias donde, dadas las estrategias de los oponentes, cada jugador obtiene dentro de el máximo beneficio esperado posible. Encontrar un equilibrio -Nash, dado y un juego, es
Sé del trabajo de Shannon con la entropía, pero últimamente he trabajado en estructuras de datos sucintas en las que la entropía empírica se usa a menudo como parte del análisis de almacenamiento. Shannon definió la entropía de la información producida por una fuente de información discreta como ,...
Hay problemas que son decidibles, hay algunos que son indecidibles, hay semidecidabilidad, etc. En este caso, me pregunto si un problema puede ser metadecidible. Esto significa (al menos en mi cabeza) que no podemos decir si es decidible o no. Tal vez se sabe que la capacidad de decisión es...
Estoy tratando de encontrar un gráfico con esas propiedades para mis estudios, pero desafortunadamente no puedo encontrar ese gráfico. ¿Alguien sabe si existe ese gráfico, o por qué es imposible
Supongamos que tengo puntos en R d . Estos inducen un diagrama de Voronoi. Si asigno a cada uno de los k puntos una etiqueta ± , estos inducen una función binaria en R d . Pregunta: ¿cuál es la dimensión VC de todas esas funciones binarias posibles inducidas por algunos k puntos y algún etiquetado...
Estoy resolviendo un problema de "mezclar" conjuntos de imágenes superpuestas. Estos conjuntos se pueden representar mediante un gráfico ponderado no dirigido como este: Cada nodo representa una imagen. Las imágenes superpuestas están conectadas por un borde. El peso del borde representa el...