Preguntas etiquetadas con cc.complexity-theory

Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal referencia?

25 cc.complexity-theory  reference-request  big-list 

Esto está relacionado con la pregunta ¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP? Algunos problemas naturales (-completos) tienen testigos de longitud lineal: una asignación satisfactoria para , una secuencia de vértices para , etc. S A T H A M P A …

24 cc.complexity-theory  complexity-classes  np 

EDITAR (v2): se agregó una sección al final sobre lo que sé sobre el problema. EDITAR (v3): discusión agregada sobre el grado de umbral al final. Pregunta Esta pregunta es principalmente una solicitud de referencia. No sé mucho sobre el problema. Quiero saber si ha habido trabajo previo sobre este …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su complejidad. El problema es el siguiente. Instancia: un entero , …

24 cc.complexity-theory  ds.algorithms  reference-request 

Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye clases de complejidad …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Está claro que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( ). Hay una gran cantidad de clases de complejidad entre y . Los ejemplos incluyen , , , , , . Se cree …

24 cc.complexity-theory  lower-bounds  space-bounded 

¿Cuáles son las consecuencias de tener problemas completos en ?nortePAGS∩ c o NPAGSNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

¿Hay algún problema de NP completo para el cual se sabe un algoritmo de que el tiempo de ejecución esperado es polinómico (para alguna distribución sensata sobre las instancias)? Si no, ¿hay problemas para los cuales se ha establecido la existencia de tal algoritmo? ¿O la existencia de tal algoritmo …

24 cc.complexity-theory  np-hardness 

Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 3 años . En el artículo de Ciencia de 2016 " Realización de un algoritmo Shor escalable " [ 1 ], los autores factorizan 15 con solo 5 qubits, …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

La teoría de la complejidad, a través de conceptos como la completitud de NP, distingue entre problemas computacionales que tienen soluciones relativamente eficientes y aquellos que son intratables. La complejidad "de grano fino" tiene como objetivo refinar esta distinción cualitativa en una guía cuantitativa en cuanto al tiempo exacto requerido …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

El acceso a un oráculo proporcionaría una mayor aceleración súper polinomial para todo en (suponiendo que el conjunto no esté vacío). Sin embargo, está menos claro cuánto se beneficiaría de este acceso al oráculo. Por supuesto, la aceleración en no puede ser superpolinomial, pero aún puede ser polinomial. Por ejemplo, …

23 cc.complexity-theory  np  np-complete 

Actualmente, bitcoin tiene un sistema de prueba de trabajo (PoW) que usa SHA256. Otras funciones hash utilizan una prueba de gráficos de uso del sistema de trabajo, inversión parcial de la función hash. ¿Es posible usar un problema de Decisión en la teoría de nudos como el reconocimiento de nudos …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Un polinomio es una proyección monótona de un polinomio si = poly , y hay una asignación manera que . Es decir, es posible reemplazar cada variable de por una variable o una constante o para que el polinomio resultante coincida con . F( x1, ... , xnorte)f(x1,…,xn)f(x_1,\ldots,x_n)m ( n …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Sé que trivialmente la función OR en nortenn variables X1, ... , xnortex1,…,xnx_1,\ldots, x_n puede representarse exactamente por el polinomio p ( x1, ... , xnorte)p(x1,…,xn)p(x_1,\ldots,x_n) como tal: p ( x1, ... , xnorte) = 1 - ∏nortei = 1( 1 - xyo)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , que es …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

¿Cuáles son las razones de peso para creer ? L es la clase de algoritmos de espacio logarítmico con punteros a la entrada.L≠PL≠PL\neq P Supongamos que L = P por el momento. ¿Cómo sería un algoritmo de espacio logarítmico para un problema P-completo en sus esquemas generales?

23 cc.complexity-theory  complexity-classes