Preguntas etiquetadas con cc.complexity-theory

Considere el siguiente modelo: una cadena de n bits r = r 1 ... r n se elige de manera uniforme al azar. A continuación, cada índice i∈ {1, ..., n} se coloca en un conjunto A con probabilidad independiente 1/2. Por último, se permite que un adversario, para cada …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Una matriz se llama totalmente regular si todas sus submatrices cuadradas tienen rango completo. Tales matrices se usaron para construir superconcentradores. ¿Cuál es la complejidad de decidir si una matriz dada es totalmente regular sobre los racionales? Sobre campos finitos? Más en general, llame a una matriz totalmente regular si …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Estoy interesado en la complejidad de resolver ecuaciones lineales módulo k , para k arbitrario (y con un interés especial en las potencias primarias), específicamente: Problema. Para un sistema dado de ecuaciones lineales en incógnitas módulo , ¿existe alguna solución?n kmmmnnnkkk En el resumen de su artículo Estructura e importancia …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

¡Predecir el mercado de valores es difícil! ¿Puede TCS hacer este sentimiento más formal? Recientemente comencé a pensar un poco sobre las finanzas y me preguntaba cómo podría ayudar el conocimiento de TCS. Los fondos de cobertura y las empresas de inversión parecen utilizar el comercio algorítmico, el aprendizaje automático …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

¿Hay alguna referencia que proporcione detalles sobre los límites inferiores del circuito para problemas difíciles específicos que surgen en la criptografía, como la factorización de enteros, el problema de logaritmo discreto primario / compuesto y su variante sobre el grupo de puntos de curvas elípticas (y sus variedades abelianas de …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Actualmente estoy interesado en obtener (o construir) y estudiar fórmulas 3-CNF que son insatisfactorias y de tamaño mínimo. Es decir, deben consistir en la menor cantidad posible de cláusulas (m = 8 preferiblemente) y la menor cantidad posible de variables distintas (n = 4 o más), de modo que eliminar …

19 cc.complexity-theory  sat 

Parece que se sabe que para encontrar una respuesta a una consulta sobre una base de datos relacional , se necesita tiempo , y no se puede eliminar el exponente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como puede ser muy grande, nos preguntamos por qué las bases de datos funcionan en la práctica.DDD ¿Es solo una …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Supongamos que es el peor tiempo de ejecución de un problema en una entrada de tamaño . Hagamos el problema un poco extraño arreglando para pero para .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Entonces, ¿cuál es el límite inferior del problema? La forma en que lo entendí es solo el límite …

19 cc.complexity-theory  time-complexity 

EDITAR el 2011/02/08: Después de encontrar y leer algunas referencias, decidí separar la pregunta original en dos. Aquí está la parte relativa a UP vs NP, para la parte de clases sintácticas y semánticas, consulte Beneficios para clases sintácticas y semánticas . (el tiempo polinómico inequívoco, verwikiyel zoológicopara referencias) se …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

La paridad y son como gemelos inseparables. O eso parece durante los últimos 30 años. A la luz del resultado de Ryan, habrá un renovado interés en las clases pequeñas.A C0 0AC0AC^0 Furst Saxe Sipser a Yao a Hastad son todas paridades y restricciones aleatorias. Razborov / Smolensky es un …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

¿Cómo diseñarías una imagen para ilustrar la conjetura de los juegos únicos? Esto es para una presentación de "Eventos actuales" sobre juegos únicos en la próxima reunión conjunta de AMS y para el folleto que se producirá. Ejemplos del tipo de ilustraciones producidas en el pasado están en http://www.ams.org/meetings/lectures/current-events-bulletin y …

19 cc.complexity-theory  unique-games-conjecture 

Mi teorema favorito en teoría de la complejidad es el teorema de la jerarquía del tiempo. Sin embargo, esto se hizo en 1965. Quería saber si había algo similar para Quantum Computing. Además, si no, ¿cuáles son las personas / grupos que trabajan en esta dirección?

19 cc.complexity-theory  quantum-computing 

¿Existe algún proyecto en curso para verificar formalmente los teoremas y las pruebas de la teoría de la complejidad utilizando un asistente de pruebas como Coq? ¿Hay límites para hacer esto?

18 cc.complexity-theory  complexity  proof-assistants 

¿Hay algún problema completo de NP sin un subconjunto infinito de instancias tal manera que la membresía en se pueda decidir en tiempo polinómico, y para todos , se pueda resolver en tiempo polinómico? (Suponiendo )Φ x ∈ Φ x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhiXxxPAG≠ NPAGP≠NPP \neq …

18 cc.complexity-theory  np-complete  heuristics 

Estoy interesado en el siguiente problema: Dada una matriz , ¿hay un gráfico no dirigido en n vértices cuya matriz de adyacencia al cuadrado es esa matriz?n×nn×nn\times nnnn ¿Se conoce la complejidad computacional de este problema? Observaciones: Por supuesto, esto también puede expresarse como un problema de búsqueda, donde se …

18 cc.complexity-theory  graph-theory