Mi pregunta es acerca de la equivalencia de la seguridad de varias funciones unidireccionales candidatas que pueden construirse en función de la dureza del factoring. Asumiendo el problema de FACTORIZACIÓN: [Dado para primos aleatorios P , Q < 2 n , encuentre P , Q. ]norte= PQN=PQN = PQPAG,...
Dado un gráfico mixto G=(V,E,A)G=(V,E,A)G=(V,E,A) con bordes EEE y arcos AAA , encuentre una coincidencia en EEE que minimice el número de arcos en G/MG/MG/M , donde G/MG/MG/M se obtiene de GGG al contraer vértices coincidentes y eliminar arcos paralelos ¿Es (la versión de decisión de) este...
Supongamos que es un lenguaje booleano, de cadenas finitas sobre { 0 , 1 } . Sea L n el número de cadenas en L con longitud n . Para una función d ( n ) desde los enteros positivos hasta los números reales positivos, L tiene una densidad superior d ( n ) si L n ≤ 2 n d ( n ) para todos los n...
Estoy buscando el texto completo del resultado de la camarilla Moon and Moser 1965 en Cliques in Graphs (existen gráficos con un número de camarillas máximas exponenciales en ). El muro de pago de mi universidad no tiene acceso a la revista en particular. (De hecho, la vista previa proporciona las...
Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos...
¿Existe un algoritmo de tiempo polinómico para encontrar, si existe, una araña de expansión de un gráfico dado ? Una araña es un árbol con a lo sumo un nodo con un grado mayor que 2: sé que varias condiciones de grado en G (esencialmente, grados de nodo suficientemente grandes) garantizan la...
El algoritmo de Deutsch es una computación cuántica bien conocida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con solo una evaluación de fff . Si reemplazamos +++ con ⋅⋅\cdot el problema parece ser bastante diferente. Mi pregunta es: ¿existe un algoritmo cuántico que calcule el valor de...
En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro...
Estoy bastante familiarizado con la teoría detrás de VC-Dimension, pero ahora estoy mirando los avances recientes (últimos 10 años) en la teoría del aprendizaje estadístico: promedios (locales) Rademacher, Lema de clase finita de Massart, Números de cobertura, Encadenamiento, Dudley Teorema,...
Deje que sea un gráfico con aristas ponderadas (positivamente). Quiero definir el diagrama de Voronoi para un conjunto de nodos / sitios , para asociar con un nodo el subgrafo de inducido por todos los nodos estrictamente más cercanos a que a cualquier otro nodo en , midiendo la longitud de un...
¿Cuál es el resultado del estado del arte sobre la complejidad de las consultas de las fórmulas de aprendizaje 2-DNF PAC adecuadas con consultas de muestra y bajo distribución uniforme ? ¿O alguna atadura no trivial? Debido a que no estoy familiarizado con la teoría del aprendizaje y esta pregunta...
¿Cuál es el mejor límite actual para realizar consultas de conteo de rango de medio espacio en un conjunto de puntos dimensionales, expresados en forma de una compensación tiempo / espacio. De acuerdo con el artículo seminal de 1993 de Matousek (Teorema 6.2, Búsqueda de rangos con cortes...
En el documento Sobre dos problemas de la teoría de la información , Erdõs y Rényi dan límites inferiores sobre el número mínimo de pesadas que uno debe hacer para determinar el número de monedas falsas en un conjunto de monedas.nortenorten Más formalmente: Las monedas falsas tienen un peso...
JBV sugirió que convirtiera algunos comentarios en una pregunta, así que aquí va. Otra pregunta [1] es sobre las aplicaciones de la computación QM. Una respuesta [2] fue "simular eficientemente la mecánica cuántica". Aparentemente, esta idea se remonta a los primeros escritos de Feynman sobre el...
Hace unos años, me encontré con la siguiente regla de la izquierda para la igualdad en el cálculo posterior: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Aquí, s ≐ t ⇝ θs≐t⇝θs...
Sea un conjunto de Bases Mutuamente Imparciales (MUB) en C n , es decir, cada B i es una base ortonormal y para v ∈ B i , w ∈ B j , i ≠ j nosotros tener | ⟨ V | w ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}CnCn\mathbb{C}^nBiBiB_iv∈Bi,w∈Bj,i≠jv∈Bi,w∈Bj,i≠jv \in B_i, w \in B_j, i...
Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo....
Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un vértice, un borde o está vacío....
Recientemente he estado leyendo una buena cantidad de documentos CoLT. Aunque no lucho con los documentos individuales (al menos no más de lo que normalmente lucho con otros documentos de teoría), no creo que tenga una buena comprensión del campo en general. ¿Existe un texto estándar, encuestas o...
Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en...